-
公开(公告)号:US09411634B2
公开(公告)日:2016-08-09
申请号:US12819494
申请日:2010-06-21
摘要: A software transactional memory system implements a lightweight key-based action framework. The framework includes a set of unified application programming interfaces (APIs) exposed by an STM library that allow clients to implement actions that can be registered, queried, and updated using specific keys by transactions or transaction nests in STM code. Each action includes a key, state information, and a set of one or more callbacks that can be hooked to the validation, commit, abort, and/or re-execution phases of transaction execution. The actions extend the built-in concurrency controls of the STM system with customized control logics, support transaction nesting semantics, and enable integration with garbage collection systems.
摘要翻译: 软件事务内存系统实现了一个轻量级的基于键盘的动作框架。 该框架包括由STM库公开的一组统一的应用程序编程接口(API),允许客户端通过STM代码中的事务处理或事务处理实现使用特定密钥进行注册,查询和更新的操作。 每个动作包括一个密钥,状态信息和一组可以挂接到事务执行的验证,提交,中止和/或重新执行阶段的回调。 该操作通过定制的控制逻辑扩展了STM系统的内置并发控制,支持事务嵌套语义,并实现了与垃圾收集系统的集成。
-
公开(公告)号:US20110314244A1
公开(公告)日:2011-12-22
申请号:US12819499
申请日:2010-06-21
申请人: Sukhdeep S. Sodhi , Yosseff Levanoni , David L. Detlefs , Lingli Zhang , Weirong Zhu , Dana Groff , Michael M. Magruder , Charles David Callahan, II
发明人: Sukhdeep S. Sodhi , Yosseff Levanoni , David L. Detlefs , Lingli Zhang , Weirong Zhu , Dana Groff , Michael M. Magruder , Charles David Callahan, II
摘要: A software transactional memory (STM) system allows the composition of traditional lock based synchronization with transactions in STM code. The STM system acquires each traditional lock the first time that a corresponding traditional lock acquire is encountered inside a transaction and defers all traditional lock releases until a top level transaction in a transaction nest commits or aborts. The STM system maintains state information associated with traditional lock operations in transactions and uses the state information to eliminate deferred traditional lock operations that are redundant. The STM system integrates with systems that implement garbage collection.
摘要翻译: 软件事务存储器(STM)系统允许以STM代码的事务组合传统的基于锁的同步。 STM系统首次在交易中遇到相应的传统锁获取时,获取每个传统锁,并延迟所有传统的锁定版本,直到事务嵌套中的顶级事务提交或中止。 STM系统维护与事务中的传统锁定操作相关联的状态信息,并使用状态信息来消除冗余的延迟传统锁定操作。 STM系统与实施垃圾收集的系统集成。
-
公开(公告)号:US20110314230A1
公开(公告)日:2011-12-22
申请号:US12819494
申请日:2010-06-21
摘要: A software transactional memory system implements a lightweight key-based action framework. The framework includes a set of unified application programming interfaces (APIs) exposed by an STM library that allow clients to implement actions that can be registered, queried, and updated using specific keys by transactions or transaction nests in STM code. Each action includes a key, state information, and a set of one or more callbacks that can be hooked to the validation, commit, abort, and/or re-execution phases of transaction execution. The actions extend the built-in concurrency controls of the STM system with customized control logics, support transaction nesting semantics, and enable integration with garbage collection systems.
摘要翻译: 软件事务内存系统实现了一个轻量级的基于键盘的动作框架。 该框架包括由STM库公开的一组统一的应用程序编程接口(API),允许客户端通过STM代码中的事务处理或事务处理实现使用特定密钥进行注册,查询和更新的操作。 每个动作包括一个密钥,状态信息和一组可以挂接到事务执行的验证,提交,中止和/或重新执行阶段的回调。 该操作通过定制的控制逻辑扩展了STM系统的内置并发控制,支持事务嵌套语义,并实现了与垃圾收集系统的集成。
-
公开(公告)号:US20100083257A1
公开(公告)日:2010-04-01
申请号:US12243371
申请日:2008-10-01
申请人: Weirong Zhu , David L. Detlefs , Yosseff Levanoni , Lingli Zhang
发明人: Weirong Zhu , David L. Detlefs , Yosseff Levanoni , Lingli Zhang
CPC分类号: G06F12/1466 , G06F3/0622 , G06F3/0653 , G06F3/0673 , G06F9/467 , G06F9/526 , G06F2212/1052
摘要: A software transactional memory system is provided that creates an array of transactional locks for each array object that is accessed by transactions. The system divides the array object into non-overlapping portions and associates each portion with a different transactional lock. The system acquires transactional locks for transactions that access corresponding portions of the array object. By doing so, different portions of the array object can be accessed by different transactions concurrently. The system may use a shared shadow or undo copy for accesses to the array object.
摘要翻译: 提供了一种软件事务性内存系统,为每个由事务访问的数组对象创建一个事务锁数组。 该系统将数组对象划分为非重叠部分,并将每个部分与不同的事务锁相关联。 系统为访问数组对象的相应部分的事务获取事务锁。 通过这样做,可以通过不同的事务同时访问数组对象的不同部分。 系统可以使用共享的阴影或复制副本来访问数组对象。
-
公开(公告)号:US08954995B2
公开(公告)日:2015-02-10
申请号:US12243371
申请日:2008-10-01
申请人: Weirong Zhu , David L. Detlefs , Yosseff Levanoni , Lingli Zhang
发明人: Weirong Zhu , David L. Detlefs , Yosseff Levanoni , Lingli Zhang
CPC分类号: G06F12/1466 , G06F3/0622 , G06F3/0653 , G06F3/0673 , G06F9/467 , G06F9/526 , G06F2212/1052
摘要: A software transactional memory system is provided that creates an array of transactional locks for each array object that is accessed by transactions. The system divides the array object into non-overlapping portions and associates each portion with a different transactional lock. The system acquires transactional locks for transactions that access corresponding portions of the array object. By doing so, different portions of the array object can be accessed by different transactions concurrently. The system may use a shared shadow or undo copy for accesses to the array object.
-
公开(公告)号:US08719515B2
公开(公告)日:2014-05-06
申请号:US12819499
申请日:2010-06-21
申请人: Sukhdeep S. Sodhi , Yosseff Levanoni , David L. Detlefs , Lingli Zhang , Weirong Zhu , Dana Groff , Michael M. Magruder , Charles David Callahan, II
发明人: Sukhdeep S. Sodhi , Yosseff Levanoni , David L. Detlefs , Lingli Zhang , Weirong Zhu , Dana Groff , Michael M. Magruder , Charles David Callahan, II
IPC分类号: G06F13/00
摘要: A software transactional memory (STM) system allows the composition of traditional lock based synchronization with transactions in STM code. The STM system acquires each traditional lock the first time that a corresponding traditional lock acquire is encountered inside a transaction and defers all traditional lock releases until a top level transaction in a transaction nest commits or aborts. The STM system maintains state information associated with traditional lock operations in transactions and uses the state information to eliminate deferred traditional lock operations that are redundant. The STM system integrates with systems that implement garbage collection.
摘要翻译: 软件事务存储器(STM)系统允许以STM代码的事务组合传统的基于锁的同步。 STM系统首次在交易中遇到相应的传统锁获取时,获取每个传统锁,并延迟所有传统的锁定版本,直到事务嵌套中的顶级事务提交或中止。 STM系统维护与事务中的传统锁定操作相关的状态信息,并使用状态信息来消除冗余的延迟传统锁定操作。 STM系统与实施垃圾收集的系统集成。
-
公开(公告)号:US20100211931A1
公开(公告)日:2010-08-19
申请号:US12370742
申请日:2009-02-13
申请人: Yosseff Levanoni , David L. Detlefs , Weirong Zhu , Timothy L. Harris , Michael M. Magruder , Mathew B. Tolton
发明人: Yosseff Levanoni , David L. Detlefs , Weirong Zhu , Timothy L. Harris , Michael M. Magruder , Mathew B. Tolton
IPC分类号: G06F9/44
CPC分类号: G06F9/466 , G06F11/141
摘要: A software transactional memory system is provided with overflow handling. The system includes a global version counter with an epoch number and a version number. The system accesses the global version counter prior to and subsequent to memory accesses of transactions to validate read accesses of the transaction. The system includes mechanisms to detect global version number overflow and may allow some or all transactions to execute to completion subsequent to the global version number overflowing. The system also provides publication, privatization, and granular safety properties.
摘要翻译: 软件事务内存系统提供溢出处理。 该系统包括具有时代号和版本号的全局版本计数器。 系统在事务的内存访问之前和之后访问全局版本计数器,以验证事务的读取访问。 该系统包括检测全局版本号溢出的机制,并且可允许一些或所有事务在全球版本号码溢出之后执行完成。 该系统还提供出版物,私有化和粒状安全属性。
-
公开(公告)号:US20100228929A1
公开(公告)日:2010-09-09
申请号:US12400209
申请日:2009-03-09
IPC分类号: G06F12/02
CPC分类号: G06F9/467
摘要: A software transactional memory system is provided that provides privatization safety. The system identifies situations where the completion of a transaction may be expedited because a privatization artifact will not occur. The system determines whether a privatization artifact may occur using a read and write set intersection test, transactional variables, pessimistic locks, or declared privatizing transactions. If a privatization artifact will not occur for a transaction, then the system may allow the transaction to complete prior to one or more earlier transactions.
摘要翻译: 提供了提供私有化安全性的软件事务内存系统。 系统识别事务的完成可能因为私有化工件不会发生而加快的情况。 系统使用读写集合交集测试,事务变量,悲观锁或已声明的私有化事务来确定私有化工件是否可能发生。 如果事务不会发生私有化工件,则系统可能允许事务在一个或多个较早的事务之前完成。
-
公开(公告)号:US08627292B2
公开(公告)日:2014-01-07
申请号:US12370742
申请日:2009-02-13
申请人: Yosseff Levanoni , David L. Detlefs , Weirong Zhu , Timothy L. Harris , Michael M. Magruder , Matthew B. Tolton
发明人: Yosseff Levanoni , David L. Detlefs , Weirong Zhu , Timothy L. Harris , Michael M. Magruder , Matthew B. Tolton
CPC分类号: G06F9/466 , G06F11/141
摘要: A software transactional memory system is provided with overflow handling. The system includes a global version counter with an epoch number and a version number. The system accesses the global version counter prior to and subsequent to memory accesses of transactions to validate read accesses of the transaction. The system includes mechanisms to detect global version number overflow and may allow some or all transactions to execute to completion subsequent to the global version number overflowing. The system also provides publication, privatization, and granular safety properties.
摘要翻译: 软件事务内存系统提供溢出处理。 该系统包括具有时代号和版本号的全局版本计数器。 系统在事务的内存访问之前和之后访问全局版本计数器,以验证事务的读取访问。 该系统包括检测全局版本号溢出的机制,并且可允许一些或所有事务在全球版本号码溢出之后执行完成。 该系统还提供出版物,私有化和粒状安全属性。
-
10.
公开(公告)号:US20090328019A1
公开(公告)日:2009-12-31
申请号:US12163902
申请日:2008-06-27
IPC分类号: G06F9/45
CPC分类号: G06F8/443 , G06F11/3624
摘要: A dynamic race detection system is provided that detects race conditions in code that executes concurrently in a computer system. The dynamic race detection system uses a modified software transactional memory (STM) system to detect race conditions. A compiler converts portions of the code that are not configured to operate with the STM system into pseudo STM code that operates with the STM system. The dynamic race detection system detects race conditions in response to either a pseudo STM transaction in the pseudo STM code failing to validate when executed or an actual STM transaction failing to validate when executed because of conflict with a concurrent pseudo STM transaction.
摘要翻译: 提供了一种动态竞争检测系统,其检测在计算机系统中并发执行的代码中的竞争条件。 动态竞争检测系统使用修改后的软件事务存储器(STM)系统来检测竞争条件。 编译器将未配置为与STM系统一起运行的代码部分转换为与STM系统一起运行的伪STM代码。 动态竞争检测系统响应于伪STM代码中的伪STM事务在执行时无法验证或由于与并发的伪STM事务冲突而被执行时实际的STM事务失败而检测到竞争条件。
-
-
-
-
-
-
-
-
-