Semantics of Multithreaded Java
| dc.contributor.author | Manson, Jeremy | en_US |
| dc.contributor.author | Pugh, William | en_US |
| dc.date.accessioned | 2004-05-31T23:09:00Z | |
| dc.date.available | 2004-05-31T23:09:00Z | |
| dc.date.created | 2001-03 | en_US |
| dc.date.issued | 2001-05-10 | en_US |
| dc.description.abstract | Java 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.extent | 292565 bytes | |
| dc.format.mimetype | application/postscript | |
| dc.identifier.uri | http://hdl.handle.net/1903/1118 | |
| dc.language.iso | en_US | |
| dc.relation.isAvailableAt | Digital Repository at the University of Maryland | en_US |
| dc.relation.isAvailableAt | University of Maryland (College Park, Md.) | en_US |
| dc.relation.isAvailableAt | Tech Reports in Computer Science and Engineering | en_US |
| dc.relation.isAvailableAt | UMIACS Technical Reports | en_US |
| dc.relation.ispartofseries | UM Computer Science Department; CS-TR-4215 | en_US |
| dc.relation.ispartofseries | UMIACS; UMIACS-TR-2001-09 | en_US |
| dc.title | Semantics of Multithreaded Java | en_US |
| dc.type | Technical Report | en_US |