番石榴 swMATH ID: 22683 软件作者： David F.Bacon、Robert E.Strom、Ashis Tarafdar 描述： 番石榴：没有数据种族的爪哇方言。我们引入了Guava，这是一种Java方言，其规则静态地保证并行线程仅通过同步方法访问共享数据。我们的方言区分了三类类：（1）监视器，它可以从多个线程引用，但其方法是串行访问的；（2） 无法引用的值，因此从不共享；和（3）对象，这些对象可以有多个引用，但只能来自一个线程，因此不需要同步。Guava绕过了与当今Java内存模型相关的问题，Java内存模型必须定义并发线程在没有同步的情况下访问共享内存时的行为。我们概述了番石榴的语法和语义规则。我们讨论了Guava的实现如何利用这些规则重新启用标准Java所禁止的编译器优化。我们讨论了某些多处理器体系结构的编译器如何自动生成某些编程习惯用法，例如双重检查读取，作为序列化监视器的优化。 主页： https://dl.acm.org/citation.cfm？id=353197 关键词： 并发；监视器；Java语言；数据竞争；螺纹安全性；TOMS_发布 相关软件： Modula公司；OCaml公司；AtomCaml公司；平面图；雾化器；琳达；地震TM；石灰；埃尔朗；斯卡拉；多Java；ConTest公司；橡皮擦；Java PathFinder；阿达95；veriSoft软件 引用于： 1文件 标准条款 1出版物描述软件 年份 番石榴：没有数据种族的爪哇方言链接David F.Bacon、Robert E.Strom、Ashis Tarafdar 2000 2位作者引用 1 丹·格罗斯曼 1 迈克尔·林根伯格。 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文