跳到主要内容
10.1145/2694344.2694374acm会议文章/章节视图摘要出版物页面阿斯普洛斯会议记录会议集合
研究论文

无围栏非对称同步的时间限制TSO

出版:2015年3月14日出版历史

摘要

本文介绍了一个时间有界的总存储排序(TBTSO)内存模型,并显示它支持无阻塞栅栏解决方案非对称同步问题,例如内存回收和偏向锁定中出现的问题。

TBTSO通过以下方式加强TSO记忆模型边界存储从存储缓冲区溢出到内存所需的时间。这个界限允许为非对称问题设计无障碍算法,这些问题需要性能关键快速通道与不常执行的同步慢速路径。我们通过构造(1)一个无栅栏版本的危险指示灯内存回收方案,以及(2)无围栏偏置锁与非托管环境兼容的算法,因为它不依赖安全点或类似机制。

我们进一步认为,TBTSO可以在对现有TSO架构进行适当修改的情况下在硬件中实现。然而,我们的设计对商用硬件的专有实现细节进行了假设;因此,它最好作为讨论硬件TBTSO实现可行性的起点。我们还展示了最小操作系统支持如何使TBTSO算法适应x86系统。

工具书类

  1. SPARC体系结构手册第8版。普伦蒂斯·霍尔,1992年。谷歌学者谷歌学者数字图书馆数字图书馆
  2. 英特尔64与IA-32体系结构软件开发人员手册,第3卷:系统编程指南。http://download.intel.com/products/processor/manual/325384.pdf2013年6月。谷歌学者谷歌学者
  3. 英特尔64与IA-32体系结构优化参考手册。https://www-ssl.intel.com/content/www/us/en/architecture-and-technology/64-ia-32-architectures-optimization-manual.html2013年7月。谷歌学者谷歌学者
  4. D.Alistarh、P.Eugster、M.Herlihy、A.Matveev和N.Shavit。StackTrack:并发内存回收的自动事务方法。《第九届欧洲计算机系统会议记录》,EuroSys’14,第25:1-25:14页,美国纽约州纽约市,2014年。ACM公司。国际标准图书编号978--1-4503--2704--6。10.1145/2592798.2592808.谷歌学者谷歌学者数字图书馆数字图书馆
  5. C.Blundell、M.M.Martin和T.F.Wenisch。Invisifence:传统多处理器中的性能透明内存排序。2009年,美国纽约州纽约市,第36届计算机体系结构国际研讨会论文集,ISCA’09,第233-244页。ACM公司。是978--1——60558--526-0。10.1145/1555754.1555785.谷歌学者谷歌学者数字图书馆数字图书馆
  6. A.Braginsky、A.Kogan和E.Petrank。抛锚:非阻塞数据结构的轻量级内存管理。2013年,美国纽约州纽约市,第25届ACM算法与架构并行性研讨会论文集,SPAA’13,第33-42页。ACM公司。谷歌学者谷歌学者数字图书馆数字图书馆
  7. R.Budruk、D.Anderson和E.Solari。PCI Express系统架构。培生教育,2003年。国际标准书号0321156307。谷歌学者谷歌学者数字图书馆数字图书馆
  8. J.科尔贝。关于vsyscalls和vdso。http://lwn.net/Articles/446528/, 2011. Linux世界新闻。谷歌学者谷歌学者
  9. J.科尔贝。(几乎)在3.10中完全无需操作。http://lwn.net/Articles/549580/, 2013. Linux世界新闻。谷歌学者谷歌学者
  10. M.Desnoyers、P.E.McKenney、A.S.Stern、M.R.Dagenais和J.Walpole。读拷贝更新的用户级实现。IEEE并行和分布式系统汇刊,23(2):375-3822012。谷歌学者谷歌学者数字图书馆数字图书馆
  11. D.Dice、H.Huang和M.Yang。非对称Dekker同步。http://home.comcast.net/pjbishop/Dave/Asymmetric-Dekker-Synchronization.txt, 2001.谷歌学者谷歌学者
  12. E.W.迪克斯特拉。配合顺序过程。http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD123.PDF, 1968.谷歌学者谷歌学者数字图书馆数字图书馆
  13. A.Dragojević、M.Herlihy、Y.Lev和M.Moir。硬件事务内存简化内存管理的功能。《第30届ACM SIGACT-SIGOPS分布式计算原理研讨会论文集》,PODC’11,第99-108页,美国纽约州纽约市,2011年。ACM公司。国际标准图书编号978--1-4503-0719-2。10.1145/1993806.1993821.谷歌学者谷歌学者数字图书馆数字图书馆
  14. Y.Duan、A.Muzahid和J.Torrellas。WeeFence:在TSO中实现围栏免费。第40届计算机体系结构国际研讨会论文集,ISCA’13,第213-224页,美国纽约州纽约市,2013年。ACM公司。10.1145/2485922.2485941.谷歌学者谷歌学者数字图书馆数字图书馆
  15. K.弗雷泽。实用的锁自由。博士论文,剑桥大学,计算机实验室,剑桥大学计算机实验室,2004年2月。谷歌学者谷歌学者
  16. J.L.Hennessy和D.A.Patterson。计算机体系结构,第四版:定量方法。Morgan Kaufmann Publishers Inc.,美国加利福尼亚州旧金山,2006年。ISBN 0123704901。谷歌学者谷歌学者数字图书馆数字图书馆
  17. M.Herlihy先生。无需等待同步。美国计算机学会程序设计语言与系统汇刊(TOPLAS),13:124-1491991年1月。10.1145/114005.102808.谷歌学者谷歌学者数字图书馆数字图书馆
  18. M.赫利希和N.沙维特。多处理机编程的艺术。摩根考夫曼出版公司,美国加利福尼亚州旧金山,2008年。ISBN 0123705916、9780123705914。谷歌学者谷歌学者数字图书馆数字图书馆
  19. M.Herlihy、V.Luchangco、P.Martin和M.Moir。非阻塞内存管理支持动态大小的数据结构。美国计算机学会计算机系统学报(TOCS),23(2):146-1962005年5月。谷歌学者谷歌学者数字图书馆数字图书馆
  20. K.川端康成(K.Kawachiya)、A.Koseki和T.Onodera。锁保留:Java锁基本上不需要原子操作。《第17届ACM SIGPLAN面向对象编程、系统、语言和应用会议论文集》,OOPSLA’02,第130-141页,美国纽约州纽约市,2002年。ACM公司。国际标准图书编号1--58113-471-1。10.1145/582419.582433.谷歌学者谷歌学者数字图书馆数字图书馆
  21. L.Lamport。如何制作正确执行多进程程序的多处理器计算机。IEEE计算机汇刊,28(9):690--6911979年9月。ISSN 0018--9340。10.1109/TC.1979.1675439。谷歌学者谷歌学者数字图书馆数字图书馆
  22. C.Lin、V.Nagarajan和R.Gupta。地址-软件围栏。《第27届超级计算国际会议论文集》,ICS’13,第313--324页,美国纽约州纽约市,2013年。ACM公司。10.1145/2464996.2465015.谷歌学者谷歌学者数字图书馆数字图书馆
  23. R.Liu、H.Zhang和H.Chen。使用被动读写器锁的可扩展读写同步。在2014年USENIX年度技术会议记录中,USENIX ATC’14,第219-230页,宾夕法尼亚州费城,2014年6月。USENIX协会。ISBN 978--1-931971-10-2。谷歌学者谷歌学者数字图书馆数字图书馆
  24. J.D.McCalpin。当前高性能计算机的内存带宽和机器平衡。IEEE计算机学会计算机体系结构技术委员会(TCCA)通讯,第19-25页,1995年12月。谷歌学者谷歌学者
  25. P.E.麦肯尼。结构化延迟:通过延迟实现同步。ACM通讯,56(7):40-492013年7月。10.1145/2483852.2483867.谷歌学者谷歌学者数字图书馆数字图书馆
  26. P.E.McKenney和J.D.Slingwine。读-副本更新:使用执行历史来解决并发问题。《第十届并行和分布式计算与系统国际会议论文集》,IASTED’98,第508-518页。ACTA出版社,1998年。谷歌学者谷歌学者
  27. 迈克尔先生。高性能动态无锁哈希表和基于列表的集合。2002年,美国纽约州纽约市,第14届ACM并行算法和架构年会论文集,SPAA'02,第73-82页。ACM公司。谷歌学者谷歌学者数字图书馆数字图书馆
  28. 迈克尔先生。危险提示:无锁物体的安全内存回收。IEEE并行和分布式系统汇刊,15(6):491-5042004年6月。谷歌学者谷歌学者数字图书馆数字图书馆
  29. A.Morrison和Y.Afek。边界TSO处理器上的无障碍工作窃取。《第19届编程语言和操作系统架构支持国际会议论文集》,ASPLOS’14,第413-426页,美国纽约州纽约市,2014年。ACM公司。国际标准图书编号978--1-4503--2305-5。10.1145/2541940.2541987.谷歌学者谷歌学者数字图书馆数字图书馆
  30. T.Onodera、K.Kawachiya和A.Koseki。已重新考虑Java的锁保留。M.Odersky,编辑,《ECOOP 2004——面向对象编程》,《计算机科学讲义》第3086卷,第559-583页。施普林格-柏林-海德堡,2004年。国际标准图书编号978--3-540-22159-3。谷歌学者谷歌学者
  31. G.L.彼得森。关于互斥问题的神话。信息处理快报,12(3):115-1161981。ISSN 0020-0190。谷歌学者谷歌学者交叉引用交叉引用
  32. W.Ruan、Y.Liu和M.Spear。通过利用硬件周期计数器提高基于Timestamp的事务性内存。ACM架构与代码优化汇刊(TACO),10(4):40:1--40:212013年12月。ISSN 1544-3566。10.1145/2541228.2555297.谷歌学者谷歌学者数字图书馆数字图书馆
  33. K.Russell和D.Detlefs。使用偏置锁定和批量重新偏置消除与同步相关的原子操作。在第21届ACM SIGPLAN面向对象编程系统、语言和应用年度会议论文集中,OOPSLA’06,第263-272页,美国纽约州纽约市,2006年。ACM公司。国际标准图书编号1--59593-348-4。10.1145/1167473.1167496.谷歌学者谷歌学者数字图书馆数字图书馆
  34. P.Sewell、S.Sarkar、S.Owens、F.Z.Nardelli和M.O.Myreen。x86-TSO:x86多处理器的严格且可用的程序员模型。ACM通讯,53(7):89-972010年7月。谷歌学者谷歌学者数字图书馆数字图书馆
  35. A.Singh、S.Narayanasamy、D.Marino、T.Millstein和M.Musuvathi。端到端的顺序一致性。在《第39届计算机体系结构年度国际研讨会论文集》中,ISCA’12,第524-535页,美国华盛顿特区,2012年。IEEE计算机学会。谷歌学者谷歌学者数字图书馆数字图书馆
  36. D.J.Sorin、M.D.Hill和D.A.Wood。内存一致性和缓存一致性入门。摩根&克莱普尔出版社,2011年第1版。ISBN 1608455645,97816084556445。谷歌学者谷歌学者数字图书馆数字图书馆
  37. F.J.Torres-Rojas、M.Ahamad和M.Raynal。共享分布式对象的时间一致性。《第18届ACM分布式计算原理研讨会论文集》,PODC’99,第163-172页,美国纽约州纽约市,1999年。ACM公司。国际标准图书编号1--58113-099-6。10.1145/301308.301350.谷歌学者谷歌学者数字图书馆数字图书馆
  38. J.Triplett、P.E.McKenney和J.Walpole。通过相对论编程实现可调整大小、可扩展的并发哈希表。2011年USENIX年度技术会议记录,USENIXATC’11,第145-158页,美国加利福尼亚州伯克利,2011年。USENIX协会。谷歌学者谷歌学者数字图书馆数字图书馆
  39. J.R.Vash、B.Jung和R.Tan。分布式缓存代理中的系统级静止和每线程事务围栏。http://www.google.com/patents/US8443148, 2013. 美国专利8443148 B2。谷歌学者谷歌学者
  40. N.Vasudevan、K.S.Namjoshi和S.A.Edwards。简单快速的偏置锁。《第19届并行体系结构和编译技术国际会议论文集》,PACT’10,第65-74页,美国纽约州纽约市,2010年。ACM公司。国际标准图书编号978--1-4503-0178-7。10.1145/1854273.1854287.谷歌学者谷歌学者数字图书馆数字图书馆
  41. T.F.Wenisch、A.Ailamaki、B.Falsafi和A.Moshovos。无等待存储多处理器的机制。2007年,美国纽约州纽约市,第34届计算机体系结构国际研讨会论文集,ISCA’07,第266-277页。ACM公司。10.1145/12506621.1250696。谷歌学者谷歌学者数字图书馆数字图书馆

索引术语

  1. 无围栏非对称同步的时间限制TSO

        建议

        评论

        登录选项

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

        登录

        完全访问权限

        • 发布于

          封面图片ACM会议
          ASPLOS’15:第二十届编程语言和操作系统体系结构支持国际会议论文集
          2015年3月
          720页
          国际标准图书编号:9781450328357
          内政部:10.1145/2694344
          • 封面图片ACM SIGPLAN注意事项
            ACM SIGPLAN通知 第50卷第4期
            ASPLOS’15年
            2015年4月
            676页
            国际标准编号:0362-1340
            EISSN公司:1558-1160
            内政部:10.1145/2775054
            期刊目录
          • 封面图片ACM SIGARCH计算机架构新闻
            ACM SIGARCH计算机架构新闻 第43卷第1期
            阿斯普洛斯2015
            2015年3月
            676页
            国际标准编号:0163-5964
            内政部:10.1145/2786763
            期刊目录

          版权所有©2015 ACM

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

          发布者

          计算机协会

          美国纽约州纽约市

          出版历史

          • 出版:2015年3月14日

          权限

          请求有关此文章的权限。

          请求权限

          检查更新

          限定符

          • 研究论文

          接受率

          ASPLOS’15年纸张接受率48属于287提交文件,17%总体验收率535属于2,713提交文件,20%

          即将召开的会议

          ASPLOS’25年

        PDF格式

        以PDF文件的形式查看或下载。

        PDF格式

        电子阅读器

        使用eReader联机查看。

        电子阅读器