公开(公告)号：US20130318507A1

公开(公告)日：2013-11-28

申请号：US13893238

申请日：2013-05-13

申请人： Mauricio Breternitz, JR. ,  Youfeng Wu ,  Cheng Wang ,  Edson Borin ,  Shiliang Hu ,  Craig B. Zilles

发明人： Mauricio Breternitz, JR. ,  Youfeng Wu ,  Cheng Wang ,  Edson Borin ,  Shiliang Hu ,  Craig B. Zilles

IPC分类号： G06F11/36

CPC分类号： G06F8/443 ,  G06F8/52 ,  G06F9/3004 ,  G06F9/30072 ,  G06F9/30087 ,  G06F9/30116 ,  G06F9/3842 ,  G06F9/3857 ,  G06F9/466 ,  G06F11/3672 ,  G06F11/3688

摘要： 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.

摘要翻译： 本文描述了用于有条件地提交和/或推测性检查点事务的装置和方法，这可能导致事务的动态调整大小。 在二进制代码的动态优化期间，插入事务以提供内存排序保护措施，这使得动态优化器能够更积极地优化代码。 并且条件提交可以有效地执行动态优化代码，同时尝试防止事务用尽硬件资源。 虽然投机检查点能够在中止交易后快速有效地恢复。 处理器硬件适于支持事务的动态调整大小，诸如包括识别条件提交指令的解码器，推测性检查点指令或两者。 并且处理器硬件还适于执行响应于解码这样的指令来支持条件提交或推测性检查点的操作。

公开(公告)号：US08549504B2

公开(公告)日：2013-10-01

申请号：US12890639

申请日：2010-09-25

申请人： Mauricio Breternitz, Jr. ,  Youfeng Wu ,  Cheng Wang ,  Edson Borin ,  Shiliang Hu ,  Craig B. Zilles

发明人： Mauricio Breternitz, Jr. ,  Youfeng Wu ,  Cheng Wang ,  Edson Borin ,  Shiliang Hu ,  Craig B. Zilles

IPC分类号： G06F9/45

CPC分类号： G06F8/443 ,  G06F8/52 ,  G06F9/3004 ,  G06F9/30072 ,  G06F9/30087 ,  G06F9/30116 ,  G06F9/3842 ,  G06F9/3857 ,  G06F9/466 ,  G06F11/3672 ,  G06F11/3688

摘要： 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.

公开(公告)号：US08522223B2

公开(公告)日：2013-08-27

申请号：US11603375

申请日：2006-11-22

申请人： Cheng Wang ,  Youfeng Wu ,  Wei-Yu Chen ,  Zhiwei Ying

发明人： Cheng Wang ,  Youfeng Wu ,  Wei-Yu Chen ,  Zhiwei Ying

IPC分类号： G06F9/45

CPC分类号： G06F9/466 ,  G06F8/41

摘要： In general, in one aspect, the disclosure describes a method to detect a transaction and direct non transactional memory (TM) user functions within the transaction. The non TM user functions are treated as TM functions and added to the TM list.

摘要翻译： 通常，在一个方面，本公开描述了一种检测事务中的交易和直接非事务性存储器（TM）用户功能的方法。 非TM用户功能被视为TM功能并添加到TM列表中。

公开(公告)号：US08418156B2

公开(公告)日：2013-04-09

申请号：US12639251

申请日：2009-12-16

申请人： Cheng Wang ,  Youfeng Wu

发明人： Cheng Wang ,  Youfeng Wu

IPC分类号： G06F9/45

CPC分类号： G06F9/3834 ,  G06F8/52 ,  G06F9/3004 ,  G06F9/30087 ,  G06F9/3857

摘要： Generally, the present disclosure provides systems and methods to generate a two-stage commit (TSC) region which has two separate commit stages. Frequently executed code may be identified and combined for the TSC region. Binary optimization operations may be performed on the TSC region to enable the code to run more efficiently by, for example, reordering load and store instructions. In the first stage, load operations in the region may be committed atomically and in the second stage, store operations in the region may be committed atomically.

摘要翻译： 通常，本公开提供了用于生成具有两个单独提交阶段的两阶段提交（TSC）区域的系统和方法。 可以为TSC区域识别并组合经常执行的代码。 可以在TSC区域上执行二进制优化操作，以通过例如重新排序负载和存储指令来使代码更有效地运行。 在第一阶段中，区域中的加载操作可以原子地进行，并且在第二阶段中，区域中的存储操作可以原子地进行。

公开(公告)号：US20120079246A1

公开(公告)日：2012-03-29

申请号：US12890639

申请日：2010-09-25

申请人： Mauricio Breternitz, JR. ,  Youfeng Wu ,  Cheng Wang ,  Edson Borin ,  Shiliang Hu ,  Craig B. Zilles

发明人： Mauricio Breternitz, JR. ,  Youfeng Wu ,  Cheng Wang ,  Edson Borin ,  Shiliang Hu ,  Craig B. Zilles

IPC分类号： G06F9/30 ,  G06F9/44 ,  G06F15/00

CPC分类号： G06F8/443 ,  G06F8/52 ,  G06F9/3004 ,  G06F9/30072 ,  G06F9/30087 ,  G06F9/30116 ,  G06F9/3842 ,  G06F9/3857 ,  G06F9/466 ,  G06F11/3672 ,  G06F11/3688

摘要： An apparatus and method is described herein for conditionally committing /andor 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.

摘要翻译： 本文描述了用于有条件地提交/推测的检查点事务的装置和方法，这可能导致事务的动态调整大小。 在二进制代码的动态优化期间，插入事务以提供存储器排序保护措施，这使得动态优化器能够更积极地优化代码。 并且条件提交可以有效地执行动态优化代码，同时尝试防止事务用尽硬件资源。 虽然投机检查点能够在中止交易后快速有效地恢复。 处理器硬件适于支持事务的动态调整大小，诸如包括识别条件提交指令的解码器，推测性检查点指令或两者。 并且处理器硬件还适于执行响应于解码这样的指令来支持条件提交或推测性检查点的操作。

公开(公告)号：US20110145551A1

公开(公告)日：2011-06-16

申请号：US12639251

申请日：2009-12-16

申请人： Cheng Wang ,  Youfeng Wu

发明人： Cheng Wang ,  Youfeng Wu

IPC分类号： G06F12/00 ,  G06F9/312

CPC分类号： G06F9/3834 ,  G06F8/52 ,  G06F9/3004 ,  G06F9/30087 ,  G06F9/3857

摘要： Generally, the present disclosure provides systems and methods to generate a two-stage commit (TSC) region which has two separate commit stages. Frequently executed code may be identified and combined for the TSC region. Binary optimization operations may be performed on the TSC region to enable the code to run more efficiently by, for example, reording load and store instructions. In the first stage, load operations in the region may be committed atomically and in the second stage, store operations in the region may be committed atomically.

摘要翻译： 通常，本公开提供了用于生成具有两个单独提交阶段的两阶段提交（TSC）区域的系统和方法。 可以为TSC区域识别并组合经常执行的代码。 可以在TSC区域上执行二进制优化操作，以通过例如重新加载和存储指令来使代码更有效地运行。 在第一阶段中，区域中的加载操作可以原子地进行，并且在第二阶段中，区域中的存储操作可以原子地进行。

公开(公告)号：US20100306512A1

公开(公告)日：2010-12-02

申请号：US12856505

申请日：2010-08-13

申请人： Cheng Wang ,  Youfeng Wu

发明人： Cheng Wang ,  Youfeng Wu

IPC分类号： G06F9/312

CPC分类号： G06F9/3863 ,  G06F9/3004 ,  G06F9/3834 ,  G06F11/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.

摘要翻译： 这里描述用于有效的寄存器检查点的方法和装置。 在程序代码中检测到事务。 在程序代码中插入恢复块，以响应于第一个事务的中止来执行恢复操作。 回退边缘可能从中止点插入到恢复块。 将控制流程边缘从恢复块插入到事务的入口点。 检查点代码被插入到备份存储元件中的备份实时寄存器的入口点之前，并且恢复代码被插入到恢复块中，以便响应于事务的中止从备份存储元件恢复实时寄存器。

公开(公告)号：US20080282116A1

公开(公告)日：2008-11-13

申请号：US11770095

申请日：2007-06-28

申请人： Cheng Wang ,  Youfeng Wu

发明人： Cheng Wang ,  Youfeng Wu

IPC分类号： G06F9/44 ,  G06F11/00

CPC分类号： G06F11/1487 ,  G06F8/458 ,  G06F9/4484

摘要： Disclosed is a method for running a first code generated by a Software-based Redundant Multi-Threading (SRMT) compiler along with a second code generated by a normal compiler at runtime, the first code including a first function and a second function, the second code including a third function. The method comprises running the first function in a leading thread and a tailing thread (104); running the third function in a single thread (106), the leading thread calls the third function and running the second function in the leading thread and the tailing thread (108), the third function calls the second function. The present disclosure provides a mechanism for handling function calls wherein SRMT functions and binary functions can call each other irrespective of whether the callee function is a SRMT function or a binary function and thereby dynamically adjusts reliability and performance tradeoff based on run-time information and user selectable policies.

公开(公告)号：US20080126764A1

公开(公告)日：2008-05-29

申请号：US11528801

申请日：2006-09-27

申请人： Youfeng Wu ,  Cheng Wang ,  Ho-seop Kim

发明人： Youfeng Wu ,  Cheng Wang ,  Ho-seop Kim

IPC分类号： G06F9/44 ,  G06F9/318

CPC分类号： G06F9/466

摘要： Dynamic optimization of application code is performed by selecting a portion of the application code as a possible transaction. A transaction has a property that when it is executed, it is either atomically committed or atomically aborted. Determining whether to convert the selected portion of the application code to a transaction includes determining whether to apply at least one of a group of code optimizations to the portion of the application code. If it is determined to apply at least one of the code optimizations of the group of optimizations to the portion of application code, then the optimization is applied to the portion of the code and the portion of the code is converted to a transaction.

摘要翻译： 通过选择应用代码的一部分作为可能的事务来执行应用代码的动态优化。 事务有一个属性，当它被执行时，它被原子地提交或原子地中止。 确定是否将应用程序代码的所选部分转换为事务包括确定是否将应用程序代码的一部分中的至少一个代码优化组合应用。 如果确定将优化组的代码优化中的至少一个应用于应用代码的部分，则优化被应用于代码的该部分，并将该部分代码转换为事务。

公开(公告)号：US20080120590A1

公开(公告)日：2008-05-22

申请号：US11603375

申请日：2006-11-22

申请人： Cheng Wang ,  Youfeng Wu ,  Wei-Yu Chen ,  Zhiwei Ying

发明人： Cheng Wang ,  Youfeng Wu ,  Wei-Yu Chen ,  Zhiwei Ying

IPC分类号： G06F9/44

CPC分类号： G06F9/466 ,  G06F8/41

摘要： In general, in one aspect, the disclosure describes a method to detect a transaction and direct non transactional memory (TM) user functions within the transaction. The non TM user functions are treated as TM functions and added to the TM list.

摘要翻译： 通常，在一个方面，本公开描述了一种检测事务中的交易和直接非事务性存储器（TM）用户功能的方法。 非TM用户功能被视为TM功能并添加到TM列表中。