consistent

Eventually consistent STM transactions.

Eventually consistent STM transactions.

Consistent provides eventually consistent atomic transactions, by delaying updates until no threads is mutating a shared variable.

This comes at a cost of having a separate TVar for every thread, but has the advantage that no thread will ever lock or retry except for the manager actor responsible for performing the updates.