Show simple item record

dc.contributor.advisorPugh, William Wen_US
dc.contributor.authorManson, Jeremyen_US
dc.date.accessioned2005-02-02T06:17:45Z
dc.date.available2005-02-02T06:17:45Z
dc.date.issued2004-10-05en_US
dc.identifier.urihttp://hdl.handle.net/1903/1949
dc.description.abstractAfter many years, support for multithreading has been integrated into mainstream programming languages. Inclusion of this feature brings with it a need for a clear and direct explanation of how threads interact through memory. Programmers need to be told, simply and clearly, what might happen when their programs execute. Compiler writers need to be able to work their magic without interfering with the promises that are made to programmers. Java's original threading specification, its memory model, was fundamentally flawed. Some language features, like volatile fields, were under-specified: their treatment was so weak as to render them useless. Other features, including fields without access modifiers, were over-specified: the memory model prevents almost all optimizations of code containing these "normal" fields. Finally, some features, like final fields, had no specification at all beyond that of normal fields; no additional guarantees were provided about what will happen when they are used. This work has attempted to remedy these limitations. We provide a clear and concise definition of thread interaction. It is sufficiently simple for programmers to work with, and flexible enough to take advantage of compiler and processor-level optimizations. We also provide formal and informal techniques for verifying that the model provides this balance. These issues had never been addressed for any programming language: in addressing them for Java, this dissertation provides a framework for all multithreaded languages. The work described in this dissertation has been incorporated into the version 5.0 of the Java programming language.en_US
dc.format.extent478109 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoen_US
dc.titleThe Java Memory Modelen_US
dc.typeDissertationen_US
dc.contributor.publisherDigital Repository at the University of Marylanden_US
dc.contributor.publisherUniversity of Maryland (College Park, Md.)en_US
dc.contributor.departmentComputer Scienceen_US
dc.subject.pqcontrolledComputer Scienceen_US
dc.subject.pquncontrolledprogramming languagesen_US
dc.subject.pquncontrolledconcurrencyen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record