CCSTM公司

CCSTM:一个基于库的Scala STM。本文介绍了Scala中基于库的软件事务性存储(STM)CCSTM的设计与实现。我们的设计理念是CCSTM应该是并行程序员的有用工具,而不是任意序列代码的并行化机制,或者系统中唯一的同步原语。CCSTM将事务性读写表示为对引用类型实例的显式方法调用。Scala灵活的方法名、隐式参数和闭包保持了语法的简洁性,引用实例提供了一种自然的方法来扩展额外的STM功能。我们使用静态和动态事务作用域的一种新的混合体来保持可组合性,同时避免作为非特权库的实现所导致的障碍开销。实验表明,CCSTM的性能和可扩展性与字节码重写stm相当。


zbMATH中的参考文献(参考文献34条)

显示第1到第20个结果,共34个。
按年份排序(引用)
  1. 亚伯拉罕,伊泰;切克,雪莉;加沃耶,西里尔;大卫佩莱格:有界重维图的禁止集合距离标签(2010)
  2. 阿隆,诺加;伊梅克、尤瓦;费尔德曼,米迦勒;Tennenholtz,Moshe:贝叶斯无知(2010)
  3. James Aspnes:共享内存共识的模块化方法,以及概率写入模型的应用(2010)
  4. 巴伦博伊姆,列奥尼德;Elkin,Michael:polylogarithmic time中的确定性分布顶点着色(2010)
  5. 巴诺伊,阿莫茨;Cheilaris,Panagiotis;冯义;Levin,Asaf:在时延约束下寻找移动数据,搜索成本(2010)
  6. 比基尔,乔夫罗伊;伯曼,詹娜;克莱门特,朱利安;Kutten,Shay:移动代理网络中的速度利用(2010)
  7. 比利奥夫á-特鲁布í尼奥夫á, 祖扎纳;赫特,马丁;Nielsen,Jesper Buus:同步和异步MPC协议之间的理论差距(2010)
  8. 巴特,维布霍尔;Jayanti,Prasad:读写器同步的恒定RMR解决方案(2010)
  9. 希勒审查官,克伦;Shachnai,Hadas:部分信息传播应用于分布式最大覆盖(2010)
  10. 克莱门蒂,安德里亚;蒙蒂,安吉洛;席尔维斯特里,里卡多:曼哈顿的快速洪水(2010)
  11. 朱雷克,齐佐维茨;科索夫斯基,阿德里安;Pelc,Andrzej:当你忘记时如何相遇:任意图中的对数空间交会(2010)
  12. Danek,Robert:(k)-面包店,局部旋转(k)-使用非原子读写排除(2010)
  13. 达斯萨玛,阿提什;达农纳农凯;潘杜拉根,戈帕尔;Tetali,Prasad:高效分布式随机游动及其应用(2010)
  14. 达斯,山塔努;佛洛奇尼,保罗;圣托罗,尼古拉;山下,Masafumi:关于遗忘机器人的计算能力,形成一系列几何图案(2010)
  15. Els公司ä瑟尔,罗伯特;souewald,Thomas:离散负载平衡(几乎)和连续负载平衡(2010)一样简单
  16. 伊梅克、尤瓦;哈尔德ó瑞森,马格恩ú标准立方米。;曼苏尔,伊沙;帕特·沙米尔,波阿斯;拉德哈基什南,斋库马尔;在线打包和多任务调度(Rawitz,2010年)
  17. 伊梅克、尤瓦;Korman,Amos:分布式环境中的有效阈值检测(扩展摘要)(2010)
  18. 埃亚尔,伊泰;基达尔,伊迪特;Rom,Raphael:传感器网络中的分布式数据分类(2010)
  19. 乔治亚,克雷西斯;吉尔伯特,赛斯;Kowalski,Dariusz R.:满足最后期限,论容错的复杂性(2010)
  20. 哈努塞,尼古拉斯;伊尔辛卡斯,大卫;科索夫斯基,阿德里安;尼塞,尼古拉斯:在不可靠的本地建议的指导下,用一个特工来定位目标,当你有一个时钟时,如何战胜随机漫步(2010年)