Показать сокращенную информацию

Semantics of Multithreaded Java

dc.contributor.authorManson, Jeremyen_US
dc.contributor.authorPugh, Williamen_US
dc.date.accessioned2004-05-31T23:09:00Z
dc.date.available2004-05-31T23:09:00Z
dc.date.created2001-03en_US
dc.date.issued2001-05-10en_US
dc.identifier.urihttp://hdl.handle.net/1903/1118
dc.description.abstractJava has integrated multithreading to a far greater extent than most programming languages. It is also one of the only languages that specifies and requires safety guarantees for improperly synchronized programs. It turns out that understanding these issues is far more subtle and difficult than was previously thought. The existing specification makes guarantees that prohibit standard and proposed compiler optimizations; it also omits guarantees that are necessary for safe execution of much existing code. Some guarantees that are made (e.g., type safety) raise tricky implementation issues when running unsynchronized code on SMPs with weak memory models. This paper reviews those issues. It proposes a new semantics for Java that allows for aggressive compiler optimization and addresses the safety and multithreading issues. (Cross-referenced as UMIACS-TR-2001-09)en_US
dc.format.extent292565 bytes
dc.format.mimetypeapplication/postscript
dc.language.isoen_US
dc.relation.ispartofseriesUM Computer Science Department; CS-TR-4215en_US
dc.relation.ispartofseriesUMIACS; UMIACS-TR-2001-09en_US
dc.titleSemantics of Multithreaded Javaen_US
dc.typeTechnical Reporten_US
dc.relation.isAvailableAtDigital Repository at the University of Marylanden_US
dc.relation.isAvailableAtUniversity of Maryland (College Park, Md.)en_US
dc.relation.isAvailableAtTech Reports in Computer Science and Engineeringen_US
dc.relation.isAvailableAtUMIACS Technical Reportsen_US


Файлы в этом документе

Thumbnail
Thumbnail

Данный элемент включен в следующие коллекции

Показать сокращенную информацию