会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 93. 发明授权
    • Apparatus and method for software-based control flow checking for soft error detection to improve microprocessor reliability
    • 用于软件错误检测的软件控制流程检查的装置和方法,以提高微处理器的可靠性
    • US07506217B2
    • 2009-03-17
    • US11325773
    • 2005-12-30
    • Edson BorinCheng C. WangYoufeng Wu
    • Edson BorinCheng C. WangYoufeng Wu
    • G06F11/00
    • G06F11/1004
    • A method and apparatus for software-based control flow checking for soft error detection. In one embodiment, the method includes the instrumentation of one basic block of a target program to update a signature register with a successor basic block signature at an end of the basic block. In addition, the basic block is instrumented to verify that contents of the signature register match a basic block signature at a beginning of the basic block. In one embodiment, an instruction is inserted within the basic block to cause the signature register to store a predetermined value if the contents of the signature register match a basic block signature. In one embodiment, a basic block may be subdivided into a plurality of regions; each region is assigned a signature and instrumented to update the signature register at a beginning of each region. Other embodiments are described and claimed.
    • 一种用于软错误检测的基于软件的控制流程检查的方法和装置。 在一个实施例中,该方法包括在基本块的结尾处对目标程序的一个基本块的仪表进行更新具有后继基本块签名的签名寄存器。 另外,基本块被验证以验证签名寄存器的内容是否与基本块开头的基本块签名相匹配。 在一个实施例中,如果签名寄存器的内容与基本块签名匹配,则在基本块内插入指令以使签名寄存器存储预定值。 在一个实施例中,基本块可以被细分为多个区域; 每个区域都被分配一个签名,并在每个区域的开头进行检测以更新签名寄存器。 描述和要求保护其他实施例。
    • 97. 发明申请
    • Mechanism for software transactional memory commit/abort in unmanaged runtime environment
    • 在非托管运行时环境中软件事务内存提交/中止的机制
    • US20080162885A1
    • 2008-07-03
    • US11648005
    • 2006-12-28
    • Cheng WangYoufeng WuBratin SahaAli-Reza Adl-Tabatabai
    • Cheng WangYoufeng WuBratin SahaAli-Reza Adl-Tabatabai
    • G06F9/30
    • G06F9/3004G06F9/30087G06F9/3842G06F9/3863G06F9/466
    • A method and apparatus for ensuring integrity of transaction exit functions is herein described. Dead local data in a transaction is prevented from overwriting local variables associated with a transaction exit function. In a write-buffering Software Transactional Memory (STM) system, a commit function is associated with a private stack to store local variables to ensure write-back of local dead data in a write-buffer does not corrupt the commit function. Similarly, in a roll-back STM, an abort function is associated with a private stack to store local variables to ensure the roll-back of a program stack with local dead data from a write log does not corrupt the abort function. Alternatively, one stack may be used for the transaction including a first function and an exit function. Here, local dead variables are detected and prevented from overwriting local variables of the exit function.
    • 这里描述了用于确保交易退出功能的完整性的方法和装置。 防止事务中的死地方数据覆盖与事务退出功能相关联的局部变量。 在写缓冲软件事务内存(STM)系统中,提交函数与专用堆栈相关联,以存储局部变量,以确保写缓冲区中的本地死数据的写回不会损坏提交函数。 类似地,在回滚STM中,中止功能与专用堆栈相关联以存储局部变量,以确保来自写入日志的本地死亡数据的程序堆栈的回滚不会破坏中止功能。 或者,可以将一个堆栈用于包括第一功能和退出功能的交易。 这里,检测并防止局部死变量覆盖退出函数的局部变量。
    • 99. 发明申请
    • Apparatus and method for redundant software thread computation
    • 冗余软件线程计算的装置和方法
    • US20070174837A1
    • 2007-07-26
    • US11325925
    • 2005-12-30
    • Cheng WangYoufeng Wu
    • Cheng WangYoufeng Wu
    • G06F9/46
    • G06F9/544G06F11/1497
    • An apparatus and method for redundant software thread computation. In one embodiment, the method includes the replication of an application into two communicating threads, a leading thread and a trailing thread. In one embodiment, the trailing thread repeats computations performed by the leading thread to detect transient faults, referred to herein as “soft errors.” A first in, first out (FIFO) buffer of shared memory is reserved for passing data between the leading thread and the trailing thread. The FIFO buffer may include a buffer head variable to write data to the FIFO buffer and a buffer tail variable to read data from the FIFO buffer. In one embodiment, data passing between the leading thread data buffering is restricted according to a data unit size and thread synchronization between a leading thread and the trailing thread is limited to buffer overflow/underflow detection. Other embodiments are described and claimed.
    • 一种用于冗余软件线程计算的装置和方法。 在一个实施例中,该方法包括将应用程序复制到两个通信线程,前导线程和后退线程中。 在一个实施例中,尾线重复由前导线执行的检测瞬态故障的计算,这里称为“软错误”。 保留共享内存的先进先出(FIFO)缓冲区,用于在前导线程和后线程之间传递数据。 FIFO缓冲器可以包括用于向FIFO缓冲器写入数据的缓冲器头变量和用于从FIFO缓冲器读取数据的缓冲器尾部变量。 在一个实施例中,根据数据单元大小限制在前导线程数据缓冲之间传递的数据,并且前导线程和后退线程之间的线程同步被限制为缓冲器溢出/下溢检测。 描述和要求保护其他实施例。