-
Data: 2013-06-28 15:36:11
Temat: Re: pytanie z mutexów
Od: Michoo <m...@v...pl> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]On 27.06.2013 22:58, A.L. wrote:
> On Thu, 27 Jun 2013 22:33:02 +0200, Michoo<m...@v...pl> wrote:
>
>>
>> Dyskusja dotyczyła podstawowego elementu synchronizacji. Semafor Dijskry
>> nie jest prostszy niż semafor binarny o semantyce test-and-set (który ma
>> wsparcie sprzętowe na większości współczesnych maszyn) a ma pewne
>> istotne wady (jak brak gwarancji na zagłodzenie). W praktyce implantacja
>> semafora _wymaga_ więc listy procesów oczekujących.
>>
>
> Obawiam sie ze nie zrozumiemy sie.
Też mi się tak wydaje:
dyskusja zaczęła się od różnicy czy podstawowym obiektem
synchronizacyjnym jest semafor uogólniony czy binarny o semantyce
test&set. Semafor uogólniony jest imo równoważny TS + chroniony licznik
co więcej na większości sprzętu realizuje się go jako "uogólniony" TS
(np wspomniane cmpxchg).
>
> P.S. Zadam to samo zadanko co kiedys: procesy a, b, c, d, e, f
>
> Wzajemne wykluczanie: (a,c), (c,f), (a,b), (b,e), (b,d), (c,d), (e,f)
>
> Zaprojeltowac rozwiazanie bez deadlocku i starvation free
Ale już Ci na nie odpowiadałem:
- tworzysz 6 muteksów (A-F)
- sporządzasz dla każdego procesu listę z którymi się wyklucza
- sortujesz te listy w kolejności a-f
Każdy proces wchodząc do sekcji krytycznej pobiera potrzebne mu blokady
w kolejności A-F. Rozwiązuje to problem wzajemnego wykluczania([*]).
Problem zagłodzenia nie wystąpi na pewno gdy muteksy budzą w kolejności
FIFO, przy braku tej gwarancji do zagłodzenia może dojść[**] więc
najlepiej chyba ją zapewnić przez kombinację mutex+lista+condition
variable (dopóki !pierwszy na liście).
[*] Czyim imieniem nazywamy ten algorytm - nie pamiętam. Jest to daleka
wariacja Lamporta.
[**] Choćby a i b "wymieniające się" muteksem A mogą zagłodzić c.
--
Pozdrawiam
Michoo
Następne wpisy z tego wątku
- 28.06.13 22:12 A.L.
- 28.06.13 22:30 Marek Borowski
- 28.06.13 22:51 A.L.
- 29.06.13 00:13 Edek
- 29.06.13 00:39 A.L.
- 29.06.13 01:00 Edek
- 29.06.13 11:03 Marek Borowski
- 30.06.13 20:11 Edek
- 30.06.13 20:20 Edek
- 01.07.13 00:26 Michoo
- 01.07.13 01:47 Edek
- 01.07.13 02:31 A.L.
- 01.07.13 11:32 Michoo
- 01.07.13 12:05 Michoo
- 01.07.13 13:02 Edek
Najnowsze wątki z tej grupy
- Can you activate BMW 48V 10Ah Li-Ion battery, connecting to CAN-USB laptop interface ?
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
- ,,Polski przemysł jest w stanie agonalnym" - podkreślił dobitnie, wskazując na brak zamówień.
- Rewolucja w debugowaniu!!! SI analizuje zrzuty pamięci systemu M$ Windows!!!
- Brednie w wiki - hasło Dehomag
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- U nas propagują modę na SI, a w Chinach naukowcy SI po kolei umierają w wieku 40-50lat
- C++. Podróż Po Języku - komentarz
Najnowsze wątki
- 2025-07-12 Warszawa => PC Hardware Expert / Specjalista PC <=
- 2025-07-12 Warszawa => Account Manager - Usługi rekrutacyjne <=
- 2025-07-12 Warszawa => Administrator IT <=
- 2025-07-12 Warszawa => IT Administrator <=
- 2025-07-12 Warszawa => Asystent/tka ds. Administracji <=
- 2025-07-12 Warszawa => Specjalista/stka ds. Organizacji <=
- 2025-07-12 Warszawa => MENA New Business Manager <=
- 2025-07-12 Gdynia => Controlling systems Consultant <=
- 2025-07-12 Warszawa => Developer Microsoft Dynamics 365 Finance & Operations (D36
- 2025-07-12 Warszawa => Programista Microsoft Dynamics 365 Finance & Operations (D
- 2025-07-12 Warszawa => Dyrektor IT <=
- 2025-07-12 Warszawa => IT Director <=
- 2025-07-12 Czy wypowiedź Kaczyńskiego o Braunie jest skarżalna? ["działa z OBCEJ inspiracji"]
- 2025-07-11 Rejestrator temperatur - termopara, siec
- 2025-07-11 DPD, przeniesienie numerów z a2mobile i z Orange