会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 92. 发明申请
    • REGISTER ALLOCATION IN ROTATION BASED ALIAS PROTECTION REGISTER
    • 基于旋转的ALIAS保护寄存器中的注册分配
    • US20120260072A1
    • 2012-10-11
    • US13082146
    • 2011-04-07
    • Cheng WangYoufeng Wu
    • Cheng WangYoufeng Wu
    • G06F9/30
    • G06F9/3842G06F9/3838G06F9/384
    • A system may comprises an optimizer/scheduler to schedule on a set of instructions, compute a data dependence, a checking constraint and/or an anti-checking constraint for the set of scheduled instructions, and allocate alias registers for the set of scheduled instructions based on the data dependence, the checking constraint and/or the anti-checking constraint. In one embodiment, the optimizer is to release unused registers to reduce the alias registers used to protect the scheduled instructions. The optimizer is further to insert a dummy instruction after a fused instruction to break cycles in the checking and anti-checking constraints.
    • 系统可以包括优化器/调度器,以在一组指令上调度,计算数据依赖性,检查约束和/或针对所设置的指令集合的反检查约束,并且为该组调度指令分配别名寄存器 关于数据依赖性,检查约束和/或反检查约束。 在一个实施例中,优化器是释放未使用的寄存器以减少用于保护调度指令的别名寄存器。 优化器进一步在融合指令之后插入一个虚拟指令,以便在检查和反查约束中打破周期。
    • 94. 发明申请
    • EFFICIENT AND CONSISTENT SOFTWARE TRANSACTIONAL MEMORY
    • 有效和一致的软件交易记忆
    • US20120016853A1
    • 2012-01-19
    • US13246678
    • 2011-09-27
    • Cheng WangYoufeng WuWei-Yu ChenBratin SahaAli Reza Adl-Tabatabai
    • Cheng WangYoufeng WuWei-Yu ChenBratin SahaAli Reza Adl-Tabatabai
    • G06F7/00
    • G06F8/458G06F9/3004G06F9/30087G06F9/3834G06F9/3859G06F9/3863G06F9/467
    • A method and apparatus for efficient and consistent validation/conflict detection in a Software Transactional Memory (STM) system is herein described. A version check barrier is inserted after a load to compare versions of loaded values before and after the load. In addition, a global timestamp (GTS) is utilized to track a latest committed transaction. Each transaction is associated with a local timestamp (LTS) initialized to the GTS value at the start of a transaction. As a transaction commits it updates the GTS to a new value and sets versions of modified locations to the new value. Pending transactions compare versions determined in read barriers to their LTS. If the version is greater than their LTS indicating another transaction has committed after the pending transaction started and initialized the LTS, then the pending transaction validates its read set to maintain efficient and consistent transactional execution.
    • 这里描述了用于在软件事务存储器(STM)系统中有效且一致的验证/冲突检测的方法和装置。 在加载之后插入版本检查障碍,以便在加载之前和之后比较加载值的版本。 此外,使用全局时间戳(GTS)来跟踪最近提交的事务。 每个事务与在事务开始时初始化为GTS值的本地时间戳(LTS)相关联。 作为事务提交,将GTS更新为新值,并将修改的位置的版本设置为新值。 待处理的交易将比较其在LTS阅读障碍中确定的版本。 如果版本大于其LTS,指示在挂起事务启动并初始化LTS之后另一个事务已经提交,则挂起的事务会验证其读取集合以保持有效且一致的事务执行。
    • 96. 发明授权
    • Compiler technique for efficient register checkpointing to support transaction roll-back
    • 编译器技术,用于高效的注册检查点支持事务回滚
    • US07802136B2
    • 2010-09-21
    • US11648486
    • 2006-12-28
    • Cheng WangYoufeng Wu
    • Cheng WangYoufeng Wu
    • G06F11/00
    • G06F9/3863G06F9/3004G06F9/3834G06F11/1407
    • A method and apparatus for efficient register checkpointing is herein described. A transaction is detected in program code. A recovery block is inserted in the program code to perform recovery operations in response to an abort of the first transaction. A roll-back edge is potentially inserted from an abort point to the recovery block. A control flow edge is inserted from the recovery block to a entry point of the transaction. Checkpoint code is inserted before the entry point to backup live-in registers in backup storage elements and recovery code is inserted in the recovery block to restore the live-in registers from the backup storage elements in response to an abort of the transaction.
    • 这里描述用于有效的寄存器检查点的方法和装置。 在程序代码中检测到事务。 在程序代码中插入恢复块,以响应于第一个事务的中止来执行恢复操作。 回退边缘可能从中止点插入到恢复块。 将控制流程边缘从恢复块插入到事务的入口点。 检查点代码被插入到备份存储元件中的备份实时寄存器的入口点之前,并且恢复代码被插入到恢复块中,以便响应于事务的中止从备份存储元件恢复实时寄存器。
    • 98. 发明授权
    • 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.
    • 一种用于软错误检测的基于软件的控制流程检查的方法和装置。 在一个实施例中,该方法包括在基本块的结尾处对目标程序的一个基本块的仪表进行更新具有后继基本块签名的签名寄存器。 另外,基本块被验证以验证签名寄存器的内容是否与基本块开头的基本块签名相匹配。 在一个实施例中,如果签名寄存器的内容与基本块签名匹配,则在基本块内插入指令以使签名寄存器存储预定值。 在一个实施例中,基本块可以被细分为多个区域; 每个区域都被分配一个签名,并在每个区域的开头进行检测以更新签名寄存器。 描述和要求保护其他实施例。