uu.seUppsala universitets publikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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 (engelsk)Independent thesis Advanced level (degree of Master (Two Years)), 20 poäng / 30 hpOppgave
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.

sted, utgiver, år, opplag, sider
2011.
Serie
IT, 11 024
Identifikatorer
URN: urn:nbn:se:uu:diva-155786OAI: oai:DiVA.org:uu-155786DiVA: diva2:428159
Utdanningsprogram
Master Programme in Computer Science
Uppsök
Technology
Veileder
Examiner
Tilgjengelig fra: 2011-06-29 Laget: 2011-06-29 Sist oppdatert: 2011-06-29bibliografisk kontrollert

Open Access i DiVA

fulltext(540 kB)212 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 540 kBChecksum SHA-512
65a3a6acd1bd3be20338d39728178d8128478510b1262b3f4420fdcd598cb0d845a4265320dfb542a3fac31b5526297a3bc4c97dc72769701a91c8875e4bfde4
Type fulltextMimetype application/pdf

Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 212 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

Totalt: 460 treff
RefereraExporteraLink to record
Permanent link

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