会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 12. 发明申请
    • DYNAMIC OPTIMIZATION FOR CONDITIONAL COMMIT
    • 动态优化条件咨询
    • US20120079245A1
    • 2012-03-29
    • US12890638
    • 2010-09-25
    • Cheng WangEdson BorinYoufeng WuShiliang HuWei LiuMauricio Breternitz, JR.
    • Cheng WangEdson BorinYoufeng WuShiliang HuWei LiuMauricio Breternitz, JR.
    • G06F9/312G06F9/38G06F9/30
    • G06F9/3842G06F8/52G06F9/3004G06F9/30072G06F9/30087G06F9/30116G06F9/3857
    • An apparatus and method is described herein for conditionally committing and/or speculative checkpointing transactions, which potentially results in dynamic resizing of transactions. During dynamic optimization of binary code, transactions are inserted to provide memory ordering safeguards, which enables a dynamic optimizer to more aggressively optimize code. And the conditional commit enables efficient execution of the dynamic optimization code, while attempting to prevent transactions from running out of hardware resources. While the speculative checkpoints enable quick and efficient recovery upon abort of a transaction. Processor hardware is adapted to support dynamic resizing of the transactions, such as including decoders that recognize a conditional commit instruction, a speculative checkpoint instruction, or both. And processor hardware is further adapted to perform operations to support conditional commit or speculative checkpointing in response to decoding such instructions.
    • 本文描述了用于有条件地提交和/或推测性检查点事务的装置和方法,这可能导致事务的动态调整大小。 在二进制代码的动态优化期间,插入事务以提供存储器排序保护措施,这使得动态优化器能够更积极地优化代码。 并且条件提交可以有效地执行动态优化代码,同时尝试防止事务用尽硬件资源。 虽然投机检查点能够在中止交易后快速有效地恢复。 处理器硬件适于支持事务的动态调整大小,诸如包括识别条件提交指令的解码器,推测性检查点指令或两者。 并且处理器硬件还适于执行响应于解码这样的指令来支持条件提交或推测性检查点的操作。
    • 15. 发明授权
    • 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.
    • 一种用于软错误检测的基于软件的控制流程检查的方法和装置。 在一个实施例中,该方法包括在基本块的结尾处对目标程序的一个基本块的仪表进行更新具有后继基本块签名的签名寄存器。 另外,基本块被验证以验证签名寄存器的内容是否与基本块开头的基本块签名相匹配。 在一个实施例中,如果签名寄存器的内容与基本块签名匹配,则在基本块内插入指令以使签名寄存器存储预定值。 在一个实施例中,基本块可以被细分为多个区域; 每个区域都被分配一个签名,并在每个区域的开头进行检测以更新签名寄存器。 描述和要求保护其他实施例。