mutual exclusion in shared memory concurrency 5724704