Download now Free registration required
This paper presents a simple type system for thread-local data in Java. Classes and types are annotated to express thread-locality and unintended leaks are detected at compile-time. The system, called Loci, is minimal, modular and compatible with legacy code. The only change to the language is the addition of two new metadata annotations. The authors implemented Loci as an Eclipse plug-in and used it to evaluate the design on a number of benchmarks. The authors found that Loci are compatible with how Java programs are written and that the annotation overhead is light thanks to a judicious choice of defaults.
- Format: PDF
- Size: 308.5 KB