That use of volatile for signalling thread exit, although it might work ok in practice, is still a data race and so UB under C11/C++11 MM rules.