JAVA: MEMORY CONSISTENCY AND PROCESS COORDINATION
| dc.contributor.author | Higham, Lisa | eng |
| dc.contributor.author | Kawash, Jalal | eng |
| dc.date.accessioned | 2008-02-27T22:14:25Z | |
| dc.date.available | 2008-02-27T22:14:25Z | |
| dc.date.computerscience | 1999-05-27 | eng |
| dc.date.issued | 1998-04-01 | eng |
| dc.description.abstract | In Java, some memory updates are necessarily visible to some threads but never to others. A definition of Java memory consistency must take this fact into consideration to capture the semantics of non-terminating systems, such as a Java operating system. This paper presents a programmer-centered formal definition of Java memory behavior that captures those semantics. Our definition is employed to prove that it is impossible to provide fundamental process coordination in Java, such as critical sections and producer/consumer coordination, without the use of the synchronized and volatile constructs. However, we show that a weaker form of synchronization suffices to solve some of these problems in Java. | eng |
| dc.description.notes | We are currently acquiring citations for the work deposited into this collection. We recognize the distribution rights of this item may have been assigned to another entity, other than the author(s) of the work.If you can provide the citation for this work or you think you own the distribution rights to this work please contact the Institutional Repository Administrator at digitize@ucalgary.ca | eng |
| dc.identifier.department | 1998-622-13 | eng |
| dc.identifier.doi | http://dx.doi.org/10.11575/PRISM/30827 | |
| dc.identifier.uri | http://hdl.handle.net/1880/45995 | |
| dc.language.iso | Eng | eng |
| dc.publisher.corporate | University of Calgary | eng |
| dc.publisher.faculty | Science | eng |
| dc.subject | Computer Science | eng |
| dc.title | JAVA: MEMORY CONSISTENCY AND PROCESS COORDINATION | eng |
| dc.type | unknown | |
| thesis.degree.discipline | Computer Science | eng |
Files
License bundle
1 - 1 of 1