公开(公告)号：US09336066B2

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

申请号：US12142097

申请日：2008-06-19

申请人： Adam Welc ,  Bratin Saha ,  Ali-Reza Adl-Tabatabai

发明人： Adam Welc ,  Bratin Saha ,  Ali-Reza Adl-Tabatabai

IPC分类号： G06F9/52 ,  G06F9/46

CPC分类号： G06F9/526 ,  G06F9/466

摘要： A method and apparatus for hybrid validation for a Software Transaction Memory (STM) is herein described. During execution of a transaction, when acquiring ownership of meta-data associated with a data element, the meta-data is updated with an ownership reference to a transaction to enable efficient subsequent ownership tests. However, during validation, for some conditions, meta-data is updated from the ownership reference to a write entry reference to enable efficient validation.

摘要翻译： 这里描述了用于软件事务存储器（STM）的混合验证的方法和装置。 在执行事务期间，当获取与数据元素相关联的元数据的所有权时，元数据被更新为对事务的所有权引用，以便能够进行有效的后续所有权测试。 然而，在验证期间，对于某些条件，元数据从所有权引用更新为写入条目引用以实现高效验证。

公开(公告)号：US08086827B2

公开(公告)日：2011-12-27

申请号：US11648485

申请日：2006-12-28

申请人： Adam Welc ,  Bratin Saha ,  Ali-Reza Adl-Tabatabai

发明人： Adam Welc ,  Bratin Saha ,  Ali-Reza Adl-Tabatabai

IPC分类号： G06F9/30

CPC分类号： G06F9/526 ,  G06F9/3004 ,  G06F9/30087 ,  G06F9/3857 ,  G06F9/3863

摘要： A method and apparatus for designating and handling irrevocable transaction is herein described. In response to detecting an irrevocable event, such as an I/O operation, a user-defined irrevocable designation, and a dynamic failure profile, a transaction is designated as irrevocable. In response to designating a transaction as irrevocable, Single Owner Read Locks (SORLs) are acquired for previous and subsequent reads in the irrevocably designated transaction to ensure the transaction is able to complete without modification to locations read from, while permitting remote resources to load from those locations to continue execution.

摘要翻译： 这里描述用于指定和处理不可撤销交易的方法和装置。 响应于检测到诸如I / O操作，用户定义的不可撤销指定和动态故障简档的不可撤销事件，交易被指定为不可撤销。 为了将交易指定为不可撤销，单独所有者读取锁（SORL）是为不可撤销地指定的事务中的先前和后续读取而获取的，以确保事务能够完成，而无需修改读取的位置，同时允许远程资源从 那些位置继续执行。

公开(公告)号：US08627048B2

公开(公告)日：2014-01-07

申请号：US13231575

申请日：2011-09-13

申请人： Adam Welc ,  Bratin Saha ,  Ali-Reza Adl-Tabatabai

发明人： Adam Welc ,  Bratin Saha ,  Ali-Reza Adl-Tabatabai

IPC分类号： G06F9/00

CPC分类号： G06F9/526 ,  G06F9/3004 ,  G06F9/30087 ,  G06F9/3857 ,  G06F9/3863

摘要： A method and apparatus for designating and handling irrevocable transactions is herein described. In response to detecting an irrevocable event, such as an I/O operation, a user-defined irrevocable designation, and a dynamic failure profile, a transaction is designated as irrevocable. In response to designating a transaction as irrevocable, Single Owner Read Locks (SORLs) are acquired for previous and subsequent reads in the irrevocably designated transaction to ensure the transaction is able to complete without modification to locations read from, while permitting remote resources to load from those locations to continue execution.

摘要翻译： 这里描述用于指定和处理不可撤销交易的方法和装置。 响应于检测到诸如I / O操作，用户定义的不可撤销指定和动态故障简档的不可撤销事件，交易被指定为不可撤销。 为了将交易指定为不可撤销，单独所有者读取锁（SORL）是为不可撤销地指定的事务中的先前和后续读取而获取的，以确保事务能够完成，而无需修改读取的位置，同时允许远程资源从 那些位置继续执行。

公开(公告)号：US20090319753A1

公开(公告)日：2009-12-24

申请号：US12142097

申请日：2008-06-19

申请人： Adam Welc ,  Bratin Saha ,  Ali-Reza Adl-Tabatabai

发明人： Adam Welc ,  Bratin Saha ,  Ali-Reza Adl-Tabatabai

IPC分类号： G06F12/06

CPC分类号： G06F9/526 ,  G06F9/466

摘要： A method and apparatus for hybrid validation for a Software Transaction Memory (STM) is herein described. During execution of a transaction, when acquiring ownership of meta-data associated with a data element, the meta-data is updated with an ownership reference to a transaction to enable efficient subsequent ownership tests. However, during validation, for some conditions, meta-data is updated from the ownership reference to a write entry reference to enable efficient validation.

摘要翻译： 这里描述了用于软件事务存储器（STM）的混合验证的方法和装置。 在执行事务期间，当获取与数据元素相关联的元数据的所有权时，元数据被更新为对事务的所有权引用，以便能够进行有效的后续所有权测试。 然而，在验证期间，对于某些条件，元数据从所有权引用更新为写入条目引用以实现高效验证。

公开(公告)号：US20140156953A1

公开(公告)日：2014-06-05

申请号：US14028018

申请日：2013-09-16

申请人： Ali-Reza Adl-Tabatabai ,  Moshe Bach ,  Sion Berkowits ,  James Henry Cownie ,  Yang Ni ,  Jeffrey V. Olivier ,  Bratin Saha ,  Ady Tal ,  Adam Welc

发明人： Ali-Reza Adl-Tabatabai ,  Moshe Bach ,  Sion Berkowits ,  James Henry Cownie ,  Yang Ni ,  Jeffrey V. Olivier ,  Bratin Saha ,  Ady Tal ,  Adam Welc

IPC分类号： G06F9/46

CPC分类号： G06F9/467 ,  G06F9/528 ,  G06F17/30351 ,  G06F17/30353 ,  G06F17/30356 ,  G06F17/30359

摘要： A method and apparatus for unified concurrency control in a Software Transactional Memory (STM) is herein described. A transaction record associated with a memory address referenced by a transactional memory access operation includes optimistic and pessimistic concurrency control fields. Access barriers and other transactional operations/functions are utilized to maintain both fields of the transaction record, appropriately. Consequently, concurrent execution of optimistic and pessimistic transactions is enabled.

摘要翻译： 这里描述了用于软件事务存储器（STM）中的统一并发控制的方法和装置。 与由事务性存储器访问操作引用的存储器地址相关联的事务记录包括乐观和悲观的并发控制字段。 利用访问障碍和其他交易操作/功能来适当地维护交易记录的两个领域。 因此，同时执行乐观和悲观的交易得以实现。

公开(公告)号：US20110320776A1

公开(公告)日：2011-12-29

申请号：US13231575

申请日：2011-09-13

申请人： Adam Welc ,  Bratin Saha ,  Ali-Reza Adl-Tabatabai

发明人： Adam Welc ,  Bratin Saha ,  Ali-Reza Adl-Tabatabai

IPC分类号： G06F9/312

CPC分类号： G06F9/526 ,  G06F9/3004 ,  G06F9/30087 ,  G06F9/3857 ,  G06F9/3863

摘要： A method and apparatus for designating and handling irrevocable transactions is herein described. In response to detecting an irrevocable event, such as an I/O operation, a user-defined irrevocable designation, and a dynamic failure profile, a transaction is designated as irrevocable. In response to designating a transaction as irrevocable, Single Owner Read Locks (SORLs) are acquired for previous and subsequent reads in the irrevocably designated transaction to ensure the transaction is able to complete without modification to locations read from, while permitting remote resources to load from those locations to continue execution.

摘要翻译： 这里描述用于指定和处理不可撤销交易的方法和装置。 响应于检测到诸如I / O操作，用户定义的不可撤销指定和动态故障简档的不可撤销事件，交易被指定为不可撤销。 为了将交易指定为不可撤销，单独所有者读取锁（SORL）是为不可撤销地指定的事务中的先前和后续读取而获取的，以确保事务能够完成，而无需修改读取的位置，同时允许远程资源从 那些位置继续执行。

公开(公告)号：US20080162881A1

公开(公告)日：2008-07-03

申请号：US11648485

申请日：2006-12-28

申请人： Adam Welc ,  Bratin Saha ,  Ali-Reza Adl-Tabatabai

发明人： Adam Welc ,  Bratin Saha ,  Ali-Reza Adl-Tabatabai

IPC分类号： G06F9/40

CPC分类号： G06F9/526 ,  G06F9/3004 ,  G06F9/30087 ,  G06F9/3857 ,  G06F9/3863

摘要： A method and apparatus for designating and handling irrevocable transaction is herein described. In response to detecting an irrevocable event, such as an I/O operation, a user-defined irrevocable designation, and a dynamic failure profile, a transaction is designated as irrevocable. In response to designating a transaction as irrevocable, Single Owner Read Locks (SORLs) are acquired for previous and subsequent reads in the irrevocably designated transaction to ensure the transaction is able to complete without modification to locations read from, while permitting remote resources to load from those locations to continue execution.

摘要翻译： 这里描述用于指定和处理不可撤销交易的方法和装置。 响应于检测到诸如I / O操作，用户定义的不可撤销指定和动态故障简档的不可撤销事件，交易被指定为不可撤销。 为了将交易指定为不可撤销，单独所有者读取锁（SORL）是为不可撤销地指定的事务中的先前和后续读取而获取的，以确保事务能够完成，而无需修改读取的位置，同时允许远程资源从 那些位置继续执行。

公开(公告)号：US08365016B2

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

申请号：US13307492

申请日：2011-11-30

申请人： Jan Gray ,  Martin Taillefer ,  Yossi Levanoni ,  Ali-Reza Adl-Tabatabai ,  Dave Detlefs ,  Vinod Grover ,  Mike Magruder ,  Matt Tolton ,  Bratin Saha ,  Gad Sheaffer ,  Vadim Bassin

发明人： Jan Gray ,  Martin Taillefer ,  Yossi Levanoni ,  Ali-Reza Adl-Tabatabai ,  Dave Detlefs ,  Vinod Grover ,  Mike Magruder ,  Matt Tolton ,  Bratin Saha ,  Gad Sheaffer ,  Vadim Bassin

IPC分类号： G06F11/00

CPC分类号： G06F12/0815 ,  G06F9/467 ,  G06F11/141

摘要： In one embodiment, the present invention includes a method for selecting a first transaction execution mode to begin a first transaction in a unbounded transactional memory (UTM) system having a plurality of transaction execution modes. These transaction execution modes include hardware modes to execute within a cache memory of a processor, a hardware assisted mode to execute using transactional hardware of the processor and a software buffer, and a software transactional memory (STM) mode to execute without the transactional hardware. The first transaction execution mode can be selected to be a highest performant of the hardware modes if no pending transaction is executing in the STM mode, otherwise a lower performant mode can be selected. Other embodiments are described and claimed.

摘要翻译： 在一个实施例中，本发明包括一种用于在具有多个事务执行模式的无界事务存储器（UTM）系统中选择开始第一事务的第一事务执行模式的方法。 这些事务执行模式包括在处理器的高速缓冲存储器内执行的硬件模式，使用处理器的事务硬件执行的硬件辅助模式以及软件缓冲器，以及在没有事务性硬件的情况下执行的软件事务存储器（STM）模式。 如果在STM模式下没有执行等待事务，则可以将第一事务执行模式选择为硬件模式的最高执行模式，否则可以选择较低的执行模式。 描述和要求保护其他实施例。

公开(公告)号：US08185698B2

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

申请号：US11784859

申请日：2007-04-09

申请人： Bratin Saha ,  Ali-Reza Adl-Tabatabai ,  Quinn Jacobson

发明人： Bratin Saha ,  Ali-Reza Adl-Tabatabai ,  Quinn Jacobson

IPC分类号： G06F12/00

CPC分类号： G06F9/3834 ,  G06F9/3851 ,  G06F9/3863 ,  G06F9/467 ,  G06F12/0842

摘要： A method and apparatus for accelerating a software transactional memory (STM) system is described herein. Annotation field are associated with lines of a transactional memory. An annotation field associated with a line of the transaction memory is initialized to a first value upon starting a transaction. In response to encountering a read operation in the transaction, then annotation field is checked. If the annotation field includes a first value, the read is serviced from the line of the transaction memory without having to search an additional write space. A second and third value in the annotation field potentially indicates whether a read operation missed the transactional memory or a tentative value is stored in a write space. Additionally, an additional bit in the annotation field, may be utilized to indicate whether previous read operations have been logged, allowing for subsequent redundant read logging to be reduced.

公开(公告)号：US20120066457A1

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

申请号：US13047257

申请日：2011-03-14

申请人： Benjamin C. Hertzberg ,  Bratin Saha ,  Ali-Reza Adl-Tabatabai

发明人： Benjamin C. Hertzberg ,  Bratin Saha ,  Ali-Reza Adl-Tabatabai

IPC分类号： G06F12/02

CPC分类号： G06F12/023 ,  G06F9/466 ,  G06F9/5016 ,  Y10S707/99943 ,  Y10S707/99953

摘要： Methods and systems are provided for managing memory allocations and deallocations while in transactional code, including nested transactional code. The methods and systems manage transactional memory operations by using identifiers, such as sequence numbers, to handle memory management in transactions. The methods and systems also maintain lists of deferred actions to be performed at transaction abort and commit times. A number of memory management routines associated with one or more transactions examine the transaction sequence number of the current transaction, manipulate commit and/or undo logs, and set/use the transaction sequence number of an associated object, but are not so limited. The methods and systems provide for memory allocation and deallocations within transactional code while preserving transactional semantics. Other embodiments are described and claimed.

摘要翻译： 提供了方法和系统，用于在事务代码（包括嵌套事务代码）中管理内存分配和释放。 方法和系统通过使用标识符（如序列号）来处理事务中的内存管理来管理事务内存操作。 方法和系统还维护在事务中止和提交时间执行的延迟操作的列表。 与一个或多个事务相关联的多个存储器管理例程检查当前事务的事务序列号，操纵提交和/或撤销日志，以及设置/使用关联对象的事务序列号，但不限于此。 方法和系统在事务代码中提供内存分配和释放，同时保留事务语义。 描述和要求保护其他实施例。