Software Transactions are to Concurrency as Garbage Collection is to Memory Management

Abstract

This position paper pursues an analogy: Software transactions (also known as atomicity) are to (thread-based shared-memory) concurrent programming as garbage collection is to memory management.