公开(公告)号：US09304769B2

公开(公告)日：2016-04-05

申请号：US14271024

申请日：2014-05-06

Applicant: Intel Corporation

Inventor： Bratin Saha ,  Ali-Reza Adl-Tabatabai ,  Quinn A. Jacobson

IPC: G06F9/45 ,  G06F13/00 ,  G06F9/30 ,  G06F9/38 ,  G06F9/46 ,  G06F12/08

CPC classification number: G06F9/30087 ,  G06F9/3004 ,  G06F9/30043 ,  G06F9/30076 ,  G06F9/3834 ,  G06F9/3851 ,  G06F9/3861 ,  G06F9/467 ,  G06F12/0837 ,  G06F2212/62

Abstract: A method and apparatus for enabling a Software Transactional Memory (STM) with precompiled binaries is herein described. Upon encountering an access operation in a transaction, an annotation field associated with a memory location referenced by the access is checked. In response to the memory location representing a previous similar access within the transaction, the access is performed without access barriers. However, if the annotation field is in a default state representing no previous access during a pendancy of the transaction, then a mode of the processor is determined. If the processor mode is in implicit mode, an access handler/barrier is asynchronously executed. Conversely, in an explicit mode, a flag is set instead of asynchronously executing the handler. In addition, during compilation convert explicit and convert implicit instructions are inserted to intelligently convert modes for precompiled and newly compiled binaries. Furthermore, new versions of newly compiled functions may be inserted to provide strong atomicity between previously and newly compiled functions.

Abstract translation: 这里描述了使用预编译二进制文件实现软件事务存储器（STM）的方法和装置。 在事务中遇到访问操作时，检查与由访问引用的存储器位置相关联的注释字段。 响应于表示事务内先前类似访问的存储器位置，访问被执行而没有访问障碍。 然而，如果注释字段处于表示在事务的挂起期间没有先前访问的默认状态，则确定处理器的模式。 如果处理器模式处于隐式模式，则异步执行访问处理程序/障碍。 相反，在显式模式下，设置标志而不是异步执行处理程序。 此外，在编译期间，转换显式和转换隐式指令将被智能地转换为预编译和新编译的二进制文件的模式。 此外，可以插入新版本的新编译的函数，以便在先前和新编译的函数之间提供强大的原子性。

公开(公告)号：US08812792B2

公开(公告)日：2014-08-19

申请号：US14033463

申请日：2013-09-21

Applicant: Intel Corporation

Inventor： Quinn A. Jacobson ,  Anne W. Bracy ,  Hong Wang ,  John P. Shen ,  Per Hammarlund ,  Matthew C. Merten ,  Suresh Srinivas ,  Kshitij A. Doshi ,  Gautham Shinya ,  Bratin Saha ,  Ali-Reza Adi-Tabatabai ,  Gad Sheaffer

IPC: G06F12/00 ,  G06F12/08

CPC classification number: G06F12/0815 ,  G06F11/3471 ,  G06F11/3648 ,  G06F12/0804 ,  G06F12/0817 ,  G06F12/0831 ,  G06F12/0842 ,  G06F12/145 ,  G06F2201/865

Abstract: A technique for using memory attributes to relay information to a program or other agent. More particularly, embodiments of the invention relate to using memory attribute bits to check various memory properties in an efficient manner.

Abstract translation: 使用存储器属性将信息中继到程序或其他代理的技术。 更具体地，本发明的实施例涉及使用存储器属性位以有效的方式检查各种存储器特性。