A parameterized type system for race-free Java']Java programs

被引：64

作者：

Boyapati, C ^{[1
]}

Rinard, M ^{[1
]}

机构：

[1] MIT, Comp Sci Lab, Cambridge, MA 02139 USA

来源：

ACM SIGPLAN NOTICES | 2001年 / 36卷 / 11期

基金：

美国国家科学基金会;

关键词：

D O I：

10.1145/504311.504287

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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 protection mechanisms. This flexibility enables programmers to reduce the number of unnecessary synchronization operations in a program without risking data races. We also support default types which reduce the burden of writing the extra type annotations. Our experience indicates that our system provides a promising approach to make multithreaded programs more reliable and efficient.

引用

页码：56 / 69

页数：14