Plan B: A Buffered Memory Model for Java

Add to your list(s) Download to your calendar using vCal

• David Pichardie - INRIA Rennes / Purdue University
• Tuesday 17 January 2012, 13:00-14:00
• Computer Laboratory, William Gates Building, Room GS15.

If you have a question about this talk, please contact William Denman.

The Java Memory Model (JMM) is an ambitious attempt to provide a semantics for concurrent and, possibly, racy Java programs. It aims to provide a precise semantics that is portable across architectures and enables a variety of compiler optimizations. Unfortunately, the JMM has proven to be challenging for users to understand and for compiler writers to use. In fact, the formal statement of the model is flawed and existing Java compilers do not comply with it. We propose to investigate an alternative proposal that has a tractable definition and intuitive semantics, relates easily to existing architectures, and while still enabling useful optimizations. To this end, we introduce a Buffered Memory Model for Java. Beyond its simplicity advantages for the programmer, the model is also amenable for formal reasoning and verification.

Joint work with D. Demange, V. Laporte, L. Zhao, S. Jagannathan and J. Vitek

This talk is part of the Computer Laboratory Automated Reasoning Group Lunches series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computer Laboratory Automated Reasoning Group Lunches
• Computer Laboratory, William Gates Building, Room GS15
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.