Transactions are the only composable concurrency control primitive, but this requires that they be nestable.

It’s a key “primitive” missing from almost all high-level programming languages, with the notable exception of some SQL dialects.