跳到主要内容
10.1145/2332432.2332435acm会议文章/章节视图摘要出版物页面播客会议记录会议集合
研究论文

事务内存的活性

出版:2012年7月16日出版历史

摘要

尽管在事务性内存(Transactional Memory,TM)方面做了大量工作,但人们对它能提供多大的活力知之甚少。本文首次对该问题进行了形式化处理。我们证明,任何TM实现都无法确保本地进度,这类似于TM环境中的等待自由,我们强调了不同的方法来规避这种不可能性。

工具书类

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

索引术语

  1. 事务内存的活性

        建议

        评论

        登录选项

        检查您是否可以通过登录凭据或您的机构访问本文。

        登录

        完全访问权限

        • 发布于

          封面图片ACM会议
          PODC’12:2012年ACM分布式计算原理研讨会论文集
          2012年7月
          410页
          国际标准图书编号:9781450314503
          内政部:10.1145/2332432

          版权所有©2012 ACM

          如果复制品不是为了盈利或商业利益而制作或分发的,并且复制品的第一页载有本通知和完整引文,则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布,在服务器上发布或重新发布到列表,需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

          出版商

          计算机协会

          美国纽约州纽约市

          出版历史

          • 出版:2012年7月16日

          权限

          请求有关此文章的权限。

          请求权限

          检查更新

          限定符

          • 研究论文

          接受率

          总体验收率740属于2,477提交文件,30%

          即将召开的会议

          24年PODC
          ACM分布式计算原理研讨会
          2024年6月17日-21日
          南特,法国

        PDF格式

        以PDF文件查看或下载。

        PDF格式

        电子阅读器

        使用eReader联机查看。

        电子阅读器