C17 makes unsuccessful synchronization less ambiguous
engineeringcstandardsconcurrencythreadsC17's publication consolidates corrections to C11. Its mutex and condition-variable resolutions explain why failed acquisition and a returned wait do not establish application state.