SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Thu 23 Oct 2014 13:30 - 13:52 at Salon F - Concurrency Chair(s): David Grove

Non-volatile main memory, such as memristors or phase change memory, can revolutionize the way programs persist data. In-memory objects can themselves be persistent without the need for a separate persistent data storage format. However, the challenge is to ensure that such data remains consistent if a failure occurs during execution.

In this paper, we present our system, called Atlas, which adds durability semantics to lock-based code, typically allowing us to automatically maintain a globally consistent state even in the presence of failures. We identify failure-atomic sections of code based on existing critical sections and describe a log-based implementation that can be used to recover a consistent state after a failure. We discuss several subtle semantic issues and implementation tradeoffs. We confirm the ability to rapidly flush caches as a core implementation bottleneck and suggest partial solutions. Experimental results confirm the practicality of our approach and provide insight into the overheads of such a system.

Thu 23 Oct

oopsla2014
13:30 - 15:00: OOPSLA - Concurrency at Salon F
Chair(s): David GroveIBM Research
oopsla2014141406380000013:30 - 13:52
Talk
Dhruva ChakrabartiHP Labs, Hans-J. BoehmGoogle, Kumud BhandariRice University
Link to publication
oopsla2014141406515000013:52 - 14:15
Talk
Guy L. Steele Jr.Oracle Labs, Doug LeaState University of New York (SUNY) Oswego, Christine H. FloodRed Hat
Link to publication
oopsla2014141406650000014:15 - 14:37
Talk
Malavika SamakIndian Institute of Science, Bangalore, Murali Krishna RamanathanIndian Institute of Science, Bangalore
Link to publication
oopsla2014141406785000014:37 - 15:00
Talk
Tom BerganUniversity of Washington, Dan GrossmanUniversity of Washington, Luis CezeUniversity of Washington
Link to publication