A parameterized type system for race-free Java programs
A parameterized type system for race-free Java programs
复制标题
DOI：
10.1145/504282.504287
复制
发表时间：
2001-10
期刊：
影响因子：
--
通讯作者：
Chandrasekhar Boyapati;M. Rinard
中科院分区：
文献类型：
--
作者：
Chandrasekhar Boyapati;M. Rinard
本文提出了一个新的静态类型系统的多线程程序，在我们的系统中的任何良好类型的程序是免费的数据竞争。我们的类型系统比以前的类型系统更有表现力。特别是，我们的系统允许程序员编写泛型代码来实现一个类，然后创建同一个类的不同对象，这些对象具有同一个类的不同对象，这些对象具有不同的保护机制。这种灵活性使程序员能够减少程序中不必要的同步操作的数量，而不会冒数据竞争的风险。我们还支持默认类型，这可以减少编写额外类型注释的负担。我们的经验表明，我们的系统提供了一个有前途的方法，使多线程程序更可靠和有效的
This paper presents a new static type system for multithreaded programs; any well-typed program in our system is free of data races. Our type system is significantly more expressive than previous such type systems. In particular, our system lets programmers write generic code to implement a class, then create different objects of the same class that have different objects of the same class that have different protection mechanisms. This flexibility enables programmers to reduce the number of unnecessary synchronizationoperations in a program without risking data races. We also support default types which reduce the burden of writing extra type annotations. Our experience indicates that our system provides a promising approach to make multithreaded programs more reliable and efficient