Change search
ReferencesLink to record
Permanent link

Direct link
The Design, Implementation and Evaluation of a Pluggable Type Checker for Thread-Locality in Java
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology.
2011 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

This thesis presents a simple type system for expressing thread-locality in Java. Classes and types are annotated to express thread-locality and violations, where supposedly thread-local data may be shared between two or more threads, are detected at compile-time. The proposed system is an improvement over Loci, a minimal and modular type checker for expressing thread-locality in Java due to Wrigstad et al.

The improved Loci system presented in this thesis only adds an additional metadata annotation, four in total. We implemented the system as a command line tool that can be plugged into the standard javac compiler and used it to evaluate our design on a number of benchmarks.

We believe that Loci is compatible with how Java programs are written and that the improved system keeps the annotation overhead light while making it even simpler to treat a value as thread-local.

Place, publisher, year, edition, pages
IT, 11 024
URN: urn:nbn:se:uu:diva-155786OAI: diva2:428159
Educational program
Master Programme in Computer Science
Available from: 2011-06-29 Created: 2011-06-29 Last updated: 2011-06-29Bibliographically approved

Open Access in DiVA

fulltext(540 kB)192 downloads
File information
File name FULLTEXT01.pdfFile size 540 kBChecksum SHA-512
Type fulltextMimetype application/pdf

By organisation
Department of Information Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 192 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 336 hits
ReferencesLink to record
Permanent link

Direct link