1/ we have locking primitives, fields which indicate what lock protects them,
and pointers which are typed to say what lock they own.
Locks are generally nreader-xor-1writer and spin or wait on a queue,
1/ we have locking primitives, fields which indicate what lock protects them,
and pointers which are typed to say what lock they own.
Locks are generally nreader-xor-1writer and spin or wait on a queue,