|
DRUM >
College of Computer, Mathematical & Natural Sciences >
Computer Science >
Technical Reports from UMIACS >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1903/1118
|
| Title: | Semantics of Multithreaded Java |
| Authors: | Manson, Jeremy
Pugh, William |
| Type: | Technical Report |
| Issue Date: | 10-May-2001 |
| Series/Report no.: | UM Computer Science Department; CS-TR-4215
UMIACS; UMIACS-TR-2001-09 |
| 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) |
| URI: | http://hdl.handle.net/1903/1118 |
| Appears in Collections: | Technical Reports of the Computer Science Department
Technical Reports from UMIACS
|
All items in DRUM are protected by copyright, with all rights reserved.
|
