Atomicity in System Design and Execution