公开(公告)号：US07945912B1

公开(公告)日：2011-05-17

申请号：US11445962

申请日：2006-06-02

申请人： Daniel S. Nussbaum ,  Nir N. Shavit ,  Victor M. Luchangco

发明人： Daniel S. Nussbaum ,  Nir N. Shavit ,  Victor M. Luchangco

IPC分类号： G06F9/46

CPC分类号： G06F9/526

摘要： In general, in one aspect, the invention relates to a method of establishing a queue-based lock including inserting a first qnode into a local queue, where the first qnode is associated with a first thread, splicing the local queue into the global queue, obtaining a lock for the first thread when the first qnode is at the head of the global queue, and executing a critical section of the first thread after obtaining the lock.

摘要翻译： 通常，一方面，本发明涉及一种建立基于队列的锁的方法，包括将第一qnode插入到本地队列中，其中第一qnode与第一线程相关联，将本地队列拼接到全局队列中， 当第一个qnode位于全局队列的头部时，为第一个线程获取锁定，并在获取锁定之后执行第一个线程的临界区段。

公开(公告)号：US07496726B1

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

申请号：US11110910

申请日：2005-04-18

申请人： Daniel S. Nussbaum ,  Victor M. Luchangco ,  Mark S. Moir ,  Ori Shalev ,  Nir N. Shavit

发明人： Daniel S. Nussbaum ,  Victor M. Luchangco ,  Mark S. Moir ,  Ori Shalev ,  Nir N. Shavit

IPC分类号： G06F12/00 ,  G06F13/00 ,  G06F13/28

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

摘要： A system for controlling contention between conflicting transactions in a transactional memory system. During operation, the system receives a request to access a cache line and then determines if the cache line is already in use by an existing transaction in a cache state that is incompatible with the request. If so, the system determines if the request is from a processor which is in a polite mode. If this is true, the system denies the request to access the cache line and continues executing the existing transaction.

摘要翻译： 一种用于控制事务性存储器系统中冲突事务之间争用的系统。 在操作期间，系统接收到访问高速缓存行的请求，然后确定高速缓存状态中的高速缓存状态中的高速缓存行是否已被使用，该缓存状态与请求不兼容。 如果是这样，系统确定请求是否来自处于礼貌模式的处理器。 如果这是真的，系统将拒绝访问高速缓存行的请求，并继续执行现有事务。

公开(公告)号：US07346747B1

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

申请号：US11078120

申请日：2005-03-11

申请人： Daniel S. Nussbaum ,  Mark S. Moir ,  Nir N. Shavit ,  Guy L. Steele

发明人： Daniel S. Nussbaum ,  Mark S. Moir ,  Nir N. Shavit ,  Guy L. Steele

IPC分类号： G06F12/00

CPC分类号： G06F12/0815

摘要： A computer system uses transient blocking synchronization for performing operations on shared memory. When performing operations on more than one memory location, the computer system obtains transient exclusive access to a first memory location. The computer system then obtains transient exclusive access to a second memory location, where the transient exclusive access to the second memory location does not expire prior to an expiration of the transient exclusive access to the first memory location or until explicitly unleased.

摘要翻译： 计算机系统使用瞬态阻塞同步来对共享存储器执行操作。 当在多个存储器位置上执行操作时，计算机系统获得对第一存储器位置的瞬时独占访问。 计算机系统然后获得对第二存储器位置的瞬时独占访问，其中对第二存储器位置的瞬时独占访问在到对第一存储器位置的瞬时独占访问期满之前直到明确地未被释放为止。

公开(公告)号：US07779165B2

公开(公告)日：2010-08-17

申请号：US11325150

申请日：2006-01-04

申请人： Mark S. Moir ,  Daniel S. Nussbaum ,  Ori Shalev ,  Nir N. Shavit

发明人： Mark S. Moir ,  Daniel S. Nussbaum ,  Ori Shalev ,  Nir N. Shavit

IPC分类号： G06F3/00

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

摘要： Producers and consumer processes may synchronize and transfer data using a shared data structure. After locating a potential transfer location that indicates an EMPTY status, a producer may store data to be transferred in the transfer location. A producer may use a compare-and-swap (CAS) operation to store the transfer data to the transfer location. A consumer may subsequently read the transfer data from the transfer location and store, such as by using a CAS operation, a DONE status indicator in the transfer location. The producer may notice the DONE indication and may then set the status location back to EMPTY to indicate that the location is available for future transfers, by the same or a different producer. The producer may also monitor the transfer location and time out if no consumer has picked up the transfer data.

摘要翻译： 生产者和消费者流程可以使用共享数据结构来同步和传输数据。 在找到指示EMPTY状态的潜在转移位置之后，生产者可以将要传送的数据存储在传送位置。 生产者可以使用比较和交换（CAS）操作来将转移数据存储到传送位置。 消费者随后可以从传送位置读取传送数据，例如通过使用CAS操作存储传送位置中的DONE状态指示符。 生产者可以注意到DONE指示，然后可以将状态位置设置回EMPTY，以指示该位置可用于由相同或不同的生产者进行将来的转移。 如果没有消费者拿起传输数据，生产者也可以监控传送位置和超时。

公开(公告)号：US07353342B1

公开(公告)日：2008-04-01

申请号：US11078117

申请日：2005-03-11

申请人： Daniel S. Nussbaum ,  Mark S. Moir ,  Nir N. Shavit ,  Guy L. Steele

发明人： Daniel S. Nussbaum ,  Mark S. Moir ,  Nir N. Shavit ,  Guy L. Steele

IPC分类号： G06F12/00

CPC分类号： G06F12/0815

摘要： A computer system implementing transient blocking synchronization allows a memory location leased by a first process to be read-accessible to another process. In other words, more than one thread may have read-only type leases on a given memory location at a given time. Such “shared” leases expire when respective lease periods of the shared leases elapse.

摘要翻译： 实现瞬态阻塞同步的计算机系统允许由第一进程租用的存储器位置对于另一进程是可读访问的。 换句话说，在给定的时间，多个线程可能在给定内存位置上具有只读类型租约。 这种“共享”租赁在共享租赁的各自租赁期过后过期。

公开(公告)号：US08281185B2

公开(公告)日：2012-10-02

申请号：US12494934

申请日：2009-06-30

申请人： Daniel S. Nussbaum ,  David Dice ,  Martin Karlsson ,  Mark S. Moir

发明人： Daniel S. Nussbaum ,  David Dice ,  Martin Karlsson ,  Mark S. Moir

IPC分类号： G06F11/00

CPC分类号： G06F11/141 ,  G06F9/3004 ,  G06F9/30087 ,  G06F9/30123 ,  G06F9/3834 ,  G06F9/3842 ,  G06F9/3861 ,  G06F9/467 ,  G06F11/0766 ,  G06F11/0793

摘要： One embodiment provides a system that facilitates the execution of a transaction for a program in a hardware-supported transactional memory system. During operation, the system records a failure state of the transaction during execution of the transaction using hardware transactional memory mechanisms. Next, the system detects a transaction failure associated with the transaction. Finally, the system provides an advice state associated with the recorded failure state to the program to facilitate a response to the transaction failure by the program.

摘要翻译： 一个实施例提供了一种便于在硬件支持的事务存储器系统中执行程序的事务的系统。 在操作期间，系统使用硬件事务存储器机制在执行事务期间记录事务的故障状态。 接下来，系统检测与事务相关联的事务失败。 最后，系统向程序提供与记录的故障状态相关联的建议状态，以便于程序对事务失败的响应。

公开(公告)号：US08225139B2

公开(公告)日：2012-07-17

申请号：US12493447

申请日：2009-06-29

申请人： Daniel S. Nussbaum ,  David Dice ,  Martin Karlsson ,  Mark S. Moir

发明人： Daniel S. Nussbaum ,  David Dice ,  Martin Karlsson ,  Mark S. Moir

IPC分类号： G06F9/00

CPC分类号： G06F9/30087 ,  G06F9/3842 ,  G06F9/3865 ,  G06F12/0817

摘要： One embodiment provides a system that facilitates the execution of a transaction for a program in a hardware-supported transactional memory system. During operation, the system records a misspeculation indicator of the transaction during execution of the transaction using hardware transactional memory mechanisms. Next, the system detects a transaction failure associated with the transaction. Finally, the system provides the recorded misspeculation indicator to the program to facilitate a response to the transaction failure by the program.

摘要翻译： 一个实施例提供了一种便于在硬件支持的事务存储器系统中执行程序的事务的系统。 在操作期间，系统使用硬件事务存储器机制在执行事务期间记录事务的错误指示符。 接下来，系统检测与事务相关联的事务失败。 最后，系统向程序提供记录的错误指示符，以便程序响应交易失败。

公开(公告)号：US20110078385A1

公开(公告)日：2011-03-31

申请号：US12570591

申请日：2009-09-30

申请人： Yosef Lev ,  Daniel S. Nussbaum ,  Mark S. Moir

发明人： Yosef Lev ,  Daniel S. Nussbaum ,  Mark S. Moir

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

CPC分类号： G06F9/467

摘要： The software transactional memory system described herein may implement a revocable mechanism for managing read ownership in a shared memory. In this system, write ownership may be revoked by readers or writers at any time other than when a writer transaction is in a commit state, wherein its write ownership is irrevocable. An ownership record associated with one or more locations in the shared memory may include an indication of whether the memory locations are owned for writing, and an identifier of the latest writer. A read ownership array may record data indicating which, if any, threads currently own the memory locations for reading. The system may provide an efficient read-validation operation, in which a full read-set validation is avoided unless a change in a global read-write conflict counter value indicates a potential conflict. The system may support a wide range of contention management policies, and may provide implicit privatization.

摘要翻译： 本文描述的软件事务存储器系统可以实现用于管理共享存储器中的读取所有权的可撤销机制。 在该系统中，写入所有权可以在写入器交易处于提交状态之外的任何时候被读者或作者撤销，其中写入所有权是不可撤销的。 与共享存储器中的一个或多个位置相关联的所有权记录可以包括存储器位置是否拥有用于写入的指示以及最新写入器的标识符。 读取所有权阵列可以记录指示线程当前拥有哪个（如果有的话）拥有用于读取的存储器位置的数据。 系统可以提供有效的读取验证操作，其中避免完全读取确认，除非全局读写冲突计数器值的改变表示潜在的冲突。 该系统可以支持广泛的争用管理策略，并可能提供隐含的私有化。

公开(公告)号：US08560816B2

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

申请号：US12827842

申请日：2010-06-30

申请人： Mark S. Moir ,  David Dice ,  Daniel S. Nussbaum ,  James R. Goodman

发明人： Mark S. Moir ,  David Dice ,  Daniel S. Nussbaum ,  James R. Goodman

IPC分类号： G06F9/00

CPC分类号： G06F9/3863 ,  G06F9/3834 ,  G06F9/3859

摘要： Systems and methods described herein for performing incremental register checkpointing may employ a special register to indicate which registers have already been checkpointed. This register may include one bit per register. These systems may also include a special pointer register whose value identifies a location in user memory or in dedicated on-chip storage at which a copy of a register's value should be saved by a checkpointing operation. Only registers modified during speculative execution or execution of a transaction may be checkpointed (e.g., when register modifying instructions are encountered) and subsequently restored (e.g., due to misspeculation or transaction abort), rather than all of the registers of the processor. Each register may be checkpointed at most once for a given speculative episode or atomic transaction. Setting a bit in the special register may prevent checkpointing of the corresponding register. Setting all of the bits in the special register may disable checkpointing.

摘要翻译： 本文描述的用于执行增量寄存器检查点的系统和方法可以使用特殊寄存器来指示哪些寄存器已经被检查点。 该寄存器可以包括每个寄存器一位。 这些系统还可以包括特殊的指针寄存器，其特征指针寄存器的值标识用户存储器中的位置或专用片上存储器，通过检查点操作应该保存寄存器值的副本。 只有在推测性执行或执行交易期间修改的寄存器可以是检查点（例如，当遇到寄存器修改指令时）并且随后恢复（例如，由于错误设置或事务中止）而不是处理器的所有寄存器。 对于给定的投机事件或原子事务，每个寄存器最多可以被检查点一次。 在特殊寄存器中设置一位可能会阻止相应寄存器的检查点。 设置特殊寄存器中的所有位可能会禁用检查点。

公开(公告)号：US08402227B2

公开(公告)日：2013-03-19

申请号：US12750908

申请日：2010-03-31

申请人： Mark S. Moir ,  Yosef Lev ,  Daniel S. Nussbaum

发明人： Mark S. Moir ,  Yosef Lev ,  Daniel S. Nussbaum

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

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

摘要： The system and methods described herein may exploit hardware transactional memory to improve the performance of a software or hybrid transactional memory implementation, even when an entire user transaction cannot be executed within a hardware transaction. The user code of an atomic transaction may be executed within a software transaction, which may collect read and write sets and/or other information about the atomic transaction. A single hardware transaction may be used to commit the atomic transaction by validating the transaction's read set and applying the effects of the user code to memory, reducing the overhead associated with commitment of software transactions. Because the hardware transaction code is carefully controlled, it may be less likely to fail to commit. Various remedial actions may be taken before retrying hardware transactions following some failures. If a transaction exceeds the constraints of the hardware, it may be committed by the software transactional memory alone.

摘要翻译： 本文描述的系统和方法可以利用硬件事务存储器来改善软件或混合事务性存储器实现的性能，即使在硬件事务中不能执行整个用户事务。 原子事务的用户代码可以在软件事务中执行，其可以收集关于原子事务的读取和写入集合和/或其他信息。 可以使用单个硬件事务来通过验证事务的读取集合并将用户代码的效果应用于存储器来提交原子事务，从而减少与承诺的软件事务相关的开销。 由于硬件事务代码被严格控制，所以可能不太可能无法提交。 在出现某些故障之后重试硬件事务之前，可能会采取各种补救措施。 如果事务超出了硬件的限制，则可能仅由软件事务内存提交。