Próbuję zrozumieć algorytmy Petersona i Dekkera, które są bardzo podobne i wykazują wiele symetrii. Próbowałem sformułować algorytmy w nieformalnym języku w następujący sposób: Peterson's: "I want to enter." flag[0]=true; "You can enter next." turn=1; "If you want to enter and...
Blokady są zwykle wdrażane za pomocą instrukcji testowania i ustawiania oraz wymiany na poziomie maszyny. Czy istnieją inne implementacje, które ich nie wykorzystują? Czy możemy również powiedzieć, że wszystkie rozwiązania problemu krytycznego na poziomie sprzętowym można podzielić na trzy, a...
Obecnie uczęszczam na kurs programowania równoległego na moim uniwersytecie, a ostatnio zaczęliśmy rozmawiać o koncepcji monitora. Chociaż rozumiem potrzebę wzajemnego wykluczenia, nie rozumiem, dlaczego miałbym do tego używać monitora. Jak rozumiem, monitor gwarantuje, że dokładnie jeden proces...
Rozumiem, że najpopularniejsze implementacje muteksu (np. Std :: mutex w C ++) nie gwarantują uczciwości - to znaczy, nie gwarantują, że w przypadku niezgody zamek zostanie przejęty przez wątki w kolejności, w jakiej o nazwie lock (). W rzeczywistości jest nawet możliwe (choć mam nadzieję, że...