Yes; this guarantees only non-reentrancy, not a FIFO order – the callers may execute in any order, but only one may be executing at any given time. Multi-actor execution scenario - #6 by John_McCall might be useful if you're wanting queue-like behaviour.