Wątek zderzył się z zablokowanym Mutexem

Question

Jest scenariusz, mam dwa wątki, oba używają tego samego muteksu. Jeden wątek zablokował muteks i rozbił się. Jaki byłby stan mutex? Czy nadal jest zablokowany i druga nitka nigdy nie jest właścicielem tego muteksu? Oznacza sytuację impasu?

Edit - także wyjaśnić przypadek Pthread na systemach Linux

Answer 1

Ponieważ nie określono co OS, powiem ci, co się dzieje w Win32.

W systemie Win32 drugi wątek otrzyma WAIT_ABANDONED, gdy przejdzie do oczekiwania na muteks należący do wątku, który został zakończony. Należy zauważyć, że odbiór WAIT_ABANDONED oznacza, że ​​drugi wątek otrzymał muteks, więc nie będzie zakleszczenia. Drugi wątek powinien wykryć wynik WAIT_ABANDONED i sprawdzić, czy zasoby chronione przez muteks są w poprawnym stanie. Jeśli wykryje uszkodzenie i nie wykryje żadnego, można bezpiecznie kontynuować. Jeśli nie, dobrym pomysłem jest zgłoszenie jakiegoś błędu.

W niektórych implementacjach muteksu nie ma możliwości wykrycia, że ​​wątek będący jego właścicielem zakończył się, a kończy się zakleszczeniem.

W przypadku niektórych implementacji muteksu istnieje sposób na wykrycie, co jest właścicielem wątku, wykrycie, że wątek będący właścicielem został zakończony, a następnie przejęcie na własność muteksu.

Answer 2

To z pewnością zależy na (przynajmniej) dwie rzeczy:

• Jak mutex jest realizowany, a
• Jak wywala wątek (to wyjątek, czy też po prostu „zniknąć”) .

Na przykład w synchronized bloków Javy są gwarantowane zostać zwolnione, gdy „gwint odbywa się z obiektem” - cokolwiek to znaczy (patrz link). Zgodnie z artykułem this:

Zatrzymanie wątku powoduje odblokowanie wszystkich zablokowanych monitorów.

Ok, stop() ing uwolnień przewlec monitory, ale co, jeśli nić tylko jakoś znika, jest on następnie „zrobić z obiektem”? Nie widzę tego udokumentowanego nigdzie. Ale jest oczywiste, że ktoś musi zwolnić zablokowane muteksy, w przeciwnym razie zablokują się; być może niektóre muteksy lub środowiska zawierają mechanizmy, które automatycznie wyzwalają muteksy, jeśli wątek, który je zablokował, przestaje istnieć.

Kolejny przykład: java.util.concurrent.Lock Dokumenty polecają za pomocą instrukcji finally zwolnić blokadę, aby cokolwiek stało się z wykonywanym wątkiem, zamek zostałby zwolniony. Jeśli jednak wątek zniknie, zanim instrukcja zostanie wykonana, blokada nigdy nie zostanie zwolniona i rzeczywiście wystąpi zakleszczenie. Oczywiście wątki nie powinny "znikać" tak po prostu.

Całkiem dobre pytanie!

Answer 3

Dziękuję za odpowiedź. http://msdn.microsoft.com/en-us/library/ms687032%28VS.85%29.aspx MSDN mówi również, że zwalnia mutex, a wątki oczekujące otrzymują status WAIT_ABANDONED.