Transactional memory systems represent a paradigm shift in concurrent programming by abstracting low-level lock management and enabling sequences of operations to be executed as atomic transactions.

Figure 1 Aria: (1) Transactions in a batch are executed against the same snapshot; (2) To achieve serializability, the transactions that suffer read-after-write conflict (e.g., T3) and ...