Description
Eventually consistent STM transactions.
Description
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.