uu.seUppsala universitets publikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
The Design, Implementation and Evaluation of a Pluggable Type Checker for Thread-Locality in Java
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi.
2011 (Engelska)Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
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.

Ort, förlag, år, upplaga, sidor
2011.
Serie
IT, 11 024
Identifikatorer
URN: urn:nbn:se:uu:diva-155786OAI: oai:DiVA.org:uu-155786DiVA: diva2:428159
Utbildningsprogram
Masterprogram i datavetenskap
Uppsök
teknik
Handledare
Examinatorer
Tillgänglig från: 2011-06-29 Skapad: 2011-06-29 Senast uppdaterad: 2011-06-29Bibliografiskt granskad

Open Access i DiVA

fulltext(540 kB)212 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 540 kBChecksumma SHA-512
65a3a6acd1bd3be20338d39728178d8128478510b1262b3f4420fdcd598cb0d845a4265320dfb542a3fac31b5526297a3bc4c97dc72769701a91c8875e4bfde4
Typ fulltextMimetyp application/pdf

Av organisationen
Institutionen för informationsteknologi

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 212 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

Totalt: 460 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf