concurrency Making Data Races Unrepresentable Read-Modify-Write Considered Harmful (for business logic flows)