![]() |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![]() |
University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > The Java Memory Model - the Good, the Bad and the Ugly
The Java Memory Model - the Good, the Bad and the UglyAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Tom Ridge. 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 . This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsChurchill Archives Centre Combined External Astrophysics Talks DAMTP Economic and Social History SeminarsOther talksAn approach to the four colour theorem via Donaldson- Floer theory Small Opuntioideae Connecting behavioural and neural levels of analysis Biomolecular Thermodynamics and Calorimetry (ITC) THE PYE STORY Ribosome profiling and virus infection Understanding mechanisms and targets of malaria immunity to advance vaccine development Networks, resilience and complexity DataFlow SuperComputing for BigData Investigating the Functional Anatomy of Motion Processing Pathways in the Human Brain Cambridge-Lausanne Workshop 2018 - Day 2 Improving on Nature: Biotechnology and the Ethics of Animal Enhancement |