Motivation Crash Recovery, Part 2 R&G - Chapter 18 • Atomicity:

Source URL: inst.eecs.berkeley.edu

Review: The ACID properties Crash Recovery, Part 1 Atomicity: All actions in the Xact happen, or none happen.

Source URL: inst.eecs.berkeley.edu

Exploiting Purity for Atomicity Cormac Flanagan Stephen N. Freund Shaz Qadeer Department of Computer Science Computer Science Department Microsoft Research University of California, Santa Cruz

Source URL: dept.cs.williams.edu

Types for Atomicity: Static Checking and Inference for Java CORMAC FLANAGAN University of California at Santa Cruz STEPHEN N. FREUND and MARINA LIFSHIN Williams College

Source URL: dept.cs.williams.edu

Motivations for Atomicity 1. Beyond Race Conditions Lightweight Analyses For Reliable Concurrency

Source URL: dept.cs.williams.edu

Atomizer: A Dynamic Atomicity Checker For Multithreaded Programs Cormac Flanagan Department of Computer Science University of California at Santa Cruz Santa Cruz, CA 95064

Source URL: dept.cs.williams.edu

Automatic Synchronization Correction for Atomicity Cormac Flanagan Stephen N. Freund Department of Computer Science

Source URL: dept.cs.williams.edu

Transactional Memory in C++ Hans-J. Boehm Google and ISO C++ Concurrency Study Group chair

Source URL: www.hboehm.info

• Transaction processing
• Concurrency control
• Transactional memory
• Lock
• Linearizability
• Atomicity
• Synchronization
• Parallel computing
• Memory model
• Commitment ordering
• Software transactional memory

Velodrome: A Sound and Complete Dynamic Atomicity Checker for Multithreaded Programs Cormac Flanagan Stephen N. Freund

Source URL: dept.cs.williams.edu