Dotaz: Semafor, interní počítadlo

[Jardík]

Semafory (co jsou v souboru semaphore.h) mají své "počítadlo" (nebo spíše mají hodnotu). Co se stane, když zavolám sem_post() na semafor, který má svou hodnotu na maximu? Přeteče počítadlo a semafor se "zblázní"?

---

---

Odpovědi

[kouby]

Semafor se nezblazni. Funkce ti vrati hodnotu -1 a errno ti nastavi na chybu ERANGE, tzn. ze selhala, citac se nebude inkrementovat. Je pak pouze na tobe aby jsi to osetril.

[Jardík]

Jó, já jsem si toho v tom manuálu nevšiml. V mém se ale píše EOVERFLOW.

BTW nevíte, jak čekat na 2 semafory současně? Jinak, než použitím třetího?

[Michal Kubeček]

Ono je to ještě trochu složitější, protože POSIXová verze manuálové stránky nespecifikuje chování při přetečení vůbec. A vlastně se ani u sem_init() nikde nemluví o tom, že by ta inicializační hodnota musela být maximální možná.

Co se čekání na dva semafory současně týká, je potřeba si nejdřív ujasnit, jak přesně by se to mělo chovat.

[Jardík]

Ještě dotaz, jelikož bych potřeboval mít počítadlo typu size_t, myslíte, že by bylo hodně pomalejší použít mutex a codition variable místo semaforu?

[kouby]

Více ke knihovním funkcím můžete nalézt v manuálu, třetí sekce. Viz. man 3 sem_post