Re: Jak bezpecne inicializovat semafor?

[d.petr]

> ------------ Původní zpráva ------------
> Od: Pavel Kankovsky <peak na argo.troja.mff.cuni.cz>
> ----------------------------------------
> On Wed, 1 Dec 2010, d.petr wrote:
> 
> > Funkce semget, semop a semctl jsou mi snad jasné, ale vidím problém
> > v počáteční inicializaci semaforu. Nikde jsem nenašel, že by se dal
> 
> Není to jednoduché. Manuálová sice straší, že není garantovaná iniciální
> hodnota semaforů a že portabilní program musí provést SETVAL. Kuriozní je,
> že příklady na použití uváděné v POSIXu (byť nejsou normativní) jsou
> napsané tak, že počítají s tím, že semafory jsou inicializované na nulu.
> 
> V podstatě existuje takový vychytralý způsob, jak to s velkou
> pravděpodobností vyřešit. Předpokládejme, že každý (i neinicializovaný)  
> semafor bude mít hodnotu 0 až MAX pro nějaké známé MAX (SEMVMX) a že
> operace, která by jí nastavila mimo tento interval, vždy selže.
> 
> 1. Vyrobím semget() na pole N+1 semaforů. (Čím větší N, tím menší
> pravděpodobnost selhání celého postupu za předpokladu, že semafory mají
> na začátku náhodné hodnoty.)
> 
> 2. Přečtu jejich hodnoty pomocí semctl(GETALL). Pokud se hodnot aspoň
> jednoho semaforu č. 0 až N-1 liší od MAX, pak provedu bez čekání semop(),
> které č. 0 až N-1 zvětší na MAX a č. N upraví na 1. Pokud semop()
> z jakéhokoli důvodu selže, pak krok 2 opakuju.
> 
> 3. Pro zamčení provedu semop(), které o jedna zmenší semafor č. N.
> 
> -- 
> Pavel Kankovsky aka Peak                          / Jeremiah 9:21        \
> "For death is come up into our MS Windows(tm)..." \ 21st century edition /

Děkuji za zvláštní algoritmus. Tedy, musel jsem si ho přečíst asi pětkrát. :-) Raději se však přikloním k těm POSIXovým semaforům. Až na jednu vlastnost (neodemknutí při zboření procesu v kritické sekci, viz má odpověď p. Boránkovi) mi vyhovují a přece jen vypadají bezpečněji a jistěji.
PM