公开(公告)号：US20090204969A1

公开(公告)日：2009-08-13

申请号：US12029130

申请日：2008-02-11

申请人： Martin Abadi ,  Andrew D. Birrell ,  Timothy L. Harris ,  Michael A. Isard ,  Johnson Ta-Chung Hsieh

发明人： Martin Abadi ,  Andrew D. Birrell ,  Timothy L. Harris ,  Michael A. Isard ,  Johnson Ta-Chung Hsieh

IPC分类号： G06F9/46

CPC分类号： G06F9/466

摘要： Strong semantics are provided to programs that are correctly synchronized in their use of transactions by using dynamic separation of objects that are accessed in transactions from those accessed outside transactions. At run-time, operations are performed to identify transitions between these protected and unprotected modes of access. Dynamic separation permits a range of hardware-based and software-based implementations which allow non-conflicting transactions to execute and commit in parallel. A run-time checking tool, analogous to a data-race detector, may be provided to test dynamic separation of transacted data and non-transacted data. Dynamic separation may be used in an asynchronous I/O library.

摘要翻译： 通过使用在访问外部事务处理的事务中访问的对象的动态分离，为使用事务中正确同步的程序提供了强大的语义。 在运行时，执行操作以识别这些受保护和不受保护的访问模式之间的转换。 动态分离允许一系列基于硬件和基于软件的实现，允许非冲突事务并行执行和提交。 可以提供类似于数据竞争检测器的运行时检查工具来测试事务数据和非事务数据的动态分离。 动态分离可用于异步I / O库。