Discussion of SCREDIT and SDEBIT operations. And possibly concurrent friendly operations in general.
EIP-7519 Abstract
Two new opcodes that atomically mutate smart contract storage are proposed:
SCREDIT, which increments a storage slot by a specified value, and SDEBIT, which
decrements a storage slot by a specified value. Overflow and underflow errors
are enforced, reverting when an unsigned 256-bit integer would overflow or
underflow.