WaitForSingleObject -Формируют ли ожидающие потоки очередь?

Если я задаю трем потокам ожидание освобождения мьютекса, формируют ли они очередь на основе порядка, в котором они его запросили, или это поведение не определено (, т.е. мы не знаем, какой из них подхватит его первый )?