WaitForSingleObject - do threads waiting form a queue?
c++, multithreading, mutex, windows
Solution
It is explicitly documented in the SDK article:
If more than one thread is waiting on a mutex, a waiting thread is selected. Do not assume a first-in, first-out (FIFO) order. External events such as kernel-mode APCs can change the wait order.
These kind of events are entirely out of your control. So "undefined behavior" is an appropriate way to describe it.
Problem
If I set 3 threads to wait for a mutex to be release, do they form a queue based on the order they requested it in or is it undefined behaviour (i.e. we don't know which one will pick it up first)?