let's say, i have a bunch of transactional references, and i describe an effect in which, i fork on a 100 fibers, a 100 stm transactions, one on each, for executing mutations on that bunch of transactional references.
i run this effect.
true/false: we cannot lay any guarantees on the order of consummation of all these transactions. if we run this effect, a number of times, the order will change.
ps: if the transaction semantics are well defined under the purview of guarantees given by zio stm, the data will not corrupt, and the app will never run into an illegal state.
let's say, i have a bunch of transactional references, and i describe an effect in which, i fork on a 100 fibers, a 100 stm transactions, one on each, for executing mutations on that bunch of transactional references.
i run this effect.
true/false: we cannot lay any guarantees on the order of consummation of all these transactions. if we run this effect, a number of times, the order will change.
ps: if the transaction semantics are well defined under the purview of guarantees given by zio stm, the data will not corrupt, and the app will never run into an illegal state.