The following code is an example of

wait$($mutex$)$;

$...$

critical section

$...$

wait$($mutex$)$;

race condition

guaranteed bounded progress

liveness failure

proper mutual exclusion using mutexes