Dotaz: Jak nahradit semafor frontou zpráv?

[ArnoldRimmer]

Ahoj nevite někdo jak se dá nahradit semafor frontou zpráv?

Odpovědi

[Josef Kufner]

Vzhledem k tomu, že každá z těchto věcí funguje poněkud jinak, doporučuju vrátit se k návrhu programu a vymyslet ho znovu, protože kód který dělá to něco, co potřebuješ synchronizovat, můžeš použít, takže i přes to, že je to velký krok zpět, nezabere to tolik času, jako vymýšlet, jak pokroutit frontu zpráv, aby vypadala jako semafor.

[ArnoldRimmer]

No ja vlastně nic neprogramuju, chodím na výšku (ne do hospody aje to jedna otázka u zkoušky, a nikde sem nenašel odpověď

[Jan]

No na fronte sprav se da cekat jedine v pripade ze je prazdna. Takze aby se chovala jako semafor musi se pouzit inverzni logika. Do fronty se posle na zacatku N sprav a kazde vlakno, ktere ma zajem o chraneny objekt si spravu vyzvedne a po uvolneni objektu ji zase strci zpet do fronty. Cimz umozni beh dalsiho vlakna cekajiciho na spravu.

Prakticky vyznam to nema a nevim o systemu, kde existuje fronta sprav a neexistuje semafor. Na windows sice fronta sprav je ale aby sla takhle pouzit budes muset kouzlit s funkci AttachThreadInput(). Tusi nekdo jak to je na Linuxu ?

[ArnoldRimmer]

To zní zajímavě, pravě že by me to zajímalo v linuxu, a je u fronty zpráv neco jako že by ostatní vlákna nabo procesy zablokovala, po dobu nez se do fronty vrátí nějaká zpráva?

[Jan]

u windowsi fronty ano. Funkce GetMessage() vrati teprve az tam nejaka zprava bude, do te doby blokuje (usporne s podporou sheduleru). Normalne zpravy posila hlavne system pro obsluhu oken a vstupu, ale i thready, ktere namaji okna mohou mit obsluhu zprav (staci zavolat libovonou funkci predpokladajici existenci fronty zprav, trebas PeekMessage()). Normalne ma kazdy thread svoji vlastni frontu ale funkci AttachThreadInput() muzeme nekolika threadum vnutit jednu spolecnou. Zpravy pak vkladame funkci PostThreadMesage(). A tak mame k dispozici vse pro vyrobu onoho semaforu, potrebneho k udelani zkousky. (na nic jineho se nehodi)

Netusim jestli ma uvedena technika ma analogii v Linuxu. Spis ne. Tam se na takove hratky pouzivaji sockety. K poradnemu semaforu se tam po dlouhych porodnich bolestech nakonec dopracovali az v kernelu 2.6.

[Michal Hocko]

Zdravim, najjednoduchsie je asi pouzit standardny IPC mechanizmus sprav. Ako uz bolo spomenute, semafor ide simulovat pomocou sprav tak, ze sa na zaciatku do fronty vhodi tolko sprav, kolko sucasnych pistupov do kritickej sekcie sa ma povolit. Kto sa chce do semafora dostat jednoducho zavola msgrcv. Ten sa defaultne zablokuje, ak ziadna sprava vo fronte nie je. To znamena, ze bude proces (vlakno) blokovane do momentu, kym sa tam sprava objavi. msgsnd naopak spravu do fronty posle.

viac samozrejeme

man msgrcv
man msgctl

Uz si nespominam, ako sa volala dana veta, ale ta hovorila, ze vsetky zakladne synchronizacne primitiva (mutexy, semafory, spravy, condition variables) su navzajom ekvivaltne a prevoditelne.

[Jan]

zajimave funkce. Pouziva se to v praxi ? Tedy myslim existuji nejake popularni programy, ktere poskytuji sluzby prostrednictvim fronty zprav ?

[Michal Hocko]

V praxi sa IPC - co zahrnuje semafory, spravy a shared memmory pouzivaju celkom casto. Momentalny stav sa da zistit pomocou

ipcs

Program, ktory by pouzival konkretne spravy pre synchronizaciu ma nenapada...