Atomicity problem on IC

Explanation

The transaction must either fully happen or not happen at all. It must not complete partially.

For more details: source code

Deploy a local canister

$ make local

Perform update calls

$ for i in {0..99};
  do dfx canister call block_on update&
done

Verify

$ dfx canister call block_on query