Questo non è chiarito nel prossimo paragrafo dello standard:
Tuttavia, se il thread è sospeso in un punto di annullamento e l'evento per il quale è in attesa si verifica prima che venga eseguita la richiesta di annullamento, non è specificato se la richiesta di annullamento viene eseguita o se la richiesta di annullamento rimane in sospeso e il thread riprende la normale esecuzione.
Il che implica che questa race condition è un comportamento perfettamente legale.