Transactional Tasks: Parallelism in Software Transactions

Transactional tasks have several useful properties: they are coordinated, they maintain serializability, and they do not introduce non-determinism, allowing the potential parallelism of a program to be fully exploited, while preserving the properties of the separate models where possible.