摘要
M.Abadi、A.Birrell、T.Harris和M.Isard。 事务记忆和自动互斥的语义。 ACM事务处理。 程序。 语言系统。, 33(1):2:1--2:50,2011年1月。 谷歌学者 数字图书馆 B.Alpern和F.B.Schneider。 定义活力。 信息处理。 莱特。, 21(4):181--185, 1985. 谷歌学者 交叉引用 D.Dice、O.Shalev和N.Shavit。 事务锁定ii。 《2006年DISC会议录》,第194-208页。 Springer-Verlag,2006年。 谷歌学者 数字图书馆 S.Doherty、L.Groves、V.Luchangco和M.Moir。 正式指定和验证事务内存。 电子。 注释Theor。 计算。 科学。, 2009年12月259:245--261。 谷歌学者 数字图书馆 A.Dragojević、R.Guerraoui和M.Kapalka。 扩展事务性内存。 《ACM PLDI’09会议录》,第155-165页。 ACM,2009年。 谷歌学者 数字图书馆 P.Felber、C.Fetzer和T.Riegel。 基于字的软件事务性内存的动态性能调整。 《ACM PPoPP’08会议录》,第237至246页。 ACM,2008年。 谷歌学者 数字图书馆 K.弗雷泽。 实用自由锁。 剑桥大学博士论文,2003年。 谷歌学者 R.Gawlick、R.Segala、J.F.Sögaard-Andersen和N.A.Lynch。 定时和不定时系统中的活力。 信息与计算,141(2):119--1711998年3月。 谷歌学者 数字图书馆 R.Guerraoui和M.Kapalka。 事务记忆原理。 Morgan和Claypool,2010年。 谷歌学者 交叉引用 T.Harris、J.R.Larus和R.Rajwar。 事务存储器,第二版。 摩根和克莱普尔,2010年。 谷歌学者 数字图书馆 M.Herlihy先生。 无需等待同步。 ACM事务处理。 程序。 语言系统。, 13(1):124--1491991年1月。 谷歌学者 数字图书馆 M.Herlihy、V.Luchangco、M.Moir和W.N.Scherer,III.动态数据结构的软件事务内存。 《ACM PODC’03会议录》,第92-101页。 ACM,2003年。 谷歌学者 数字图书馆 M.Herlihy和J.E.B.Moss。 事务性内存:对无锁数据结构的体系结构支持。 SIGARCH计算。 阿基特。 新闻,21(2):289--3001993年5月。 谷歌学者 数字图书馆 M.Herlihy和N.Shavit。 关于进步的性质。 《第15届分布式系统原理国际会议论文集》,第313-328页。 施普林格出版社,2011年。 谷歌学者 数字图书馆 D.Imbs、J.R.de Mendivil和M.Raynal。 简短声明:虚拟世界一致性:STM系统的新条件。 2009年ACM PODC会议记录,第280-281页。 ACM,2009年。 谷歌学者 数字图书馆 S.Jagannathan、J.Vitek、A.Welc和A.Hosking。 事务对象演算。 科学。 计算。 程序。, 57(2):164--1862005年8月。 谷歌学者 数字图书馆 V.Menon、S.Balensiefer、T.Shpeisman、A.-R.Adl Tabatabai、R.L.Hudson、B.Saha和A.Welc。 java-stm的实用弱原子语义。 2008年ACM SPAA会议记录,第314-325页。 ACM,2008年。 谷歌学者 数字图书馆 K.F.Moore和D.Grossman。 事务的高级小步骤操作语义。 《ACM POPL'08会议录》,第51-62页。 ACM,2008年。 谷歌学者 数字图书馆 C.H.帕帕迪米特里奥。 并发数据库更新的可序列化性。 J.ACM,26(4):631--6531979年10月。 谷歌学者 数字图书馆 N.Shavit和D.Touitou。 软件事务性内存。 1995年美国纽约州纽约市ACM PODC’95会议录,第204-213页。 ACM公司。 谷歌学者 数字图书馆 J.-T.Wamhoff和C.Fetzer。 通用事务性内存构造。 2011年11月《交易记录》。 谷歌学者
建议
软件事务存储器中的松弛并发控制 今天的一些TM系统实现了两阶段锁定(2PL)算法,每次发生冲突时都会中止事务。 2PL是一种提供快速事务操作的简单算法。 然而,它限制了基准测试中的并发性。。。