Change search
ReferencesLink to record
Permanent link

Direct link
Evaluating the Accuracy of Annotations in the Loci 3.0 Pluggable Type Checker
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology.
2013 (English)Independent thesis Advanced level (degree of Master (Two Years)), 30 credits / 45 HE creditsStudent thesis
Abstract [en]

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, describe the process of adding Loci annotations to two multi-threaded benchmarks, and measure 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 more than 85,000 LOC, using 451 annotations. These results show that Loci can be used to capture a high-rate of thread-locality with a small annotation overhead.

Place, publisher, year, edition, pages
IT, 13 013
National Category
Engineering and Technology
URN: urn:nbn:se:uu:diva-195827OAI: diva2:608397
Educational program
Master Programme in Computer Science
Available from: 2013-02-27 Created: 2013-02-27 Last updated: 2013-02-27Bibliographically approved

Open Access in DiVA

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

By organisation
Department of Information Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 296 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: 269 hits
ReferencesLink to record
Permanent link

Direct link