Loci: Simple Thread-Locality for Java

Authors:
Tobias Wrigstad;Filip Pizlo;Fadi Meawad;Lei Zhao;Jan Vitek
Affiliations:
Computer Science Dept., Purdue University,;Computer Science Dept., Purdue University,;Computer Science Dept., Purdue University,;Computer Science Dept., Purdue University,;Computer Science Dept., Purdue University,
Venue:
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
Year:
2009

Citing 22
Cited 11

A syntactic approach to type soundness

Information and Computation
Thin locks: featherweight synchronization for Java

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Ownership types for flexible alias protection

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Escape analysis for Java

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Escape analysis for object-oriented languages: application to Java

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Removing unnecessary synchronization in Java

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Guava: a dialect of Java without data races

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Thread-specific heaps for multi-threaded programs

Proceedings of the 2nd international symposium on Memory management
Thread-local heaps for Java

Proceedings of the 3rd international symposium on Memory management
Ownership types for safe programming: preventing data races and deadlocks

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Flexible Alias Protection

ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs

SAS '99 Proceedings of the 6th International Symposium on Static Analysis
A type and effect system for atomicity

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Stack allocation and synchronization optimizations for Java using escape analysis

ACM Transactions on Programming Languages and Systems (TOPLAS)
Object ownership and containment

Object ownership and containment
Compiler optimizations for nondeferred reference: counting garbage collection

Proceedings of the 5th international symposium on Memory management
The DaCapo benchmarks: java benchmarking development and analysis

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Hierarchical real-time garbage collection

Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Streamflex: high-throughput stream programming in java

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Types for atomicity: Static checking and inference for Java

ACM Transactions on Programming Languages and Systems (TOPLAS)
Kilim: Isolation-Typed Actors for Java

ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming

Tribal ownership

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
A type system for data-centric synchronization

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Capabilities for uniqueness and borrowing

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Welterweight java

TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
Location types for safe distributed object-oriented programming

TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
A data-centric approach to synchronization

ACM Transactions on Programming Languages and Systems (TOPLAS)
Multiple aggregate entry points for ownership types

ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
Ownership, filters and crossing handlers: flexible ownership in dynamic languages

Proceedings of the 8th symposium on Dynamic languages
Heap decomposition inference with linear programming

ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
Ownership types: a survey

Aliasing in Object-Oriented Programming
Location types for safe programming with near and far references

Aliasing in Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

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. We implemented Loci as an Eclipse plug-in and used it to evaluate our design on a number of benchmarks. We found that Loci is compatible with how Java programs are written and that the annotation overhead is light thanks to a judicious choice of defaults.