![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Jaroslav Sevcik
Friday 13 July 2007, 14:00-15:00
The Java Memory Model - the Good, the Bad and the Ugly
- đ¤ Speaker: Jaroslav Sevcik
- đ Date & Time: Friday 13 July 2007, 14:00 - 15:00
- đ Venue: FW11
Abstract
We describe our formalisation of the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) research paper (Manson et al, 2005) and published in the Java Language Specification. The DRF guarantee says that all data race free programs can only have sequentially consistent behaviours. Such behaviours can be understood intuitively by programmers. The formalisation revealed that not all of the anticipated conditions in the JMM definition were actually necessary for the DRF guarantee. This allows us to suggest a quick fix to a serious bug discovered by Cenciarelli et al (2007) without invalidating the DRF guarantee. We will also overview other inconsistencies and bugs that we have found in the JMM .
Series This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Computing and Mathematics
- Department of Computer Science and Technology talks and seminars
- FW11
- Interested Talks
- Logic and Semantics Seminar (Computer Laboratory)
- Martin's interesting talks
- School of Technology
- tcw57âs list
- Trust & Technology Initiative - interesting events
- yk373's list
- yk449
Note: Ex-directory lists are not shown.