Skip to main content
Department of Information Technology

Evaluating the Accuracy of Annotations in the Loci 3.0 Pluggable Type Checker


Nosheen Zaza

Date and Time

Monday, November 26th, 2012 at 13:30


Polacksbacken, room 1146


This thesis work investigates the accuracy of Loci, a static type checker in expressing thread-locality at compile time. To do this, we need to capture both thread-locality at runtime, and thread-locality expressed statically using Loci. We present the framework we built to find these measurements, then describe the process of adding Loci annotations to two multi-threaded benchmarks, and measuring the accuracy of expressed thread-locality using the developed framework. We found that Loci annotations could express a thread-locality rate of 99.9% in terms of object count for a small benchmark of 1436 LOC, using a total of 15 annotations, and a rate of 83.5% for a part of Xalan from the DaCapo benchmark suite, composed of 65114 LOC, using less than 280 annotations. These results show that Loci can be used to capture a high-rate of thread-locality with a small annotation overhead.

Updated  2012-11-21 12:09:33 by Frédéric Haziza.