NB: Certain write operations' consistency is affected by faithful support of these semantics, thus their consistency/atomicity is as good as the support of these semantics by the interpreter.
NB: Certain write operations' consistency is affected by faithful support of these semantics, thus their consistency/atomicity is as good as the support of these semantics by the interpreter.
Currently, this allows us to implement all the write scenarios in terms of append and move, however if this proves too difficult to support by backends, we may want to relax the move semantics and instead add additional primitive operations for the conditional write operations.