Wait & Signal order

Question

Если следующие части кода выполняются в том порядке, в котором я их поместил, могу ли я быть уверенным, что поток 1 пробуждается сначала потоком 3, позже с последующим потоком 2?

main: 
sem_init(&x,0,0); 

thread 1: 
sem_wait(&x); 

thread 2: 
sem_wait(&x); 

thread 3: 
sem_post(&x); 

Answer 1

Нет оснований для такого предположения. Это зависит от того, когда поток 1 и поток 2 invoquing sem_wait(), то есть на то, что они делают до и как планировщик дает им CPU для запуска. Если вы хотите, чтобы поток 1 будет разбужен до того нить 2, вам нужен еще один семафор:

main: 
sem_init(&x,0,0); 
sem_init(&y,0,0); 

thread 1: 
sem_wait(&x); 
sem_post(&y); 

thread 2: 
sem_wait(&y); 

thread 3: 
sem_post(&x);