Java LockSupport Memory Consistency

Question

Java 6 API pytanie. Czy zadzwonienie pod numer LockSupport.unpark(thread) ma związek z powrotem z LockSupport.park w wątku just-unparked przed ? Podejrzewam, że odpowiedź brzmi "tak", ale Javadoc nie wspomina o tym wyraźnie.

Answer 1

Wyglądałem jak kod JDK i wygląda na to, że metody LockSupport są zwykle wywoływane poza blokami synchronizacji. Twoje założenie wydaje się więc prawidłowe.

Answer 2

Jeśli nie jest to udokumentowane jako takie, NIE MOŻNA polegać na tym, tworząc relację przed rozpoczęciem.

W szczególności LockSupport.java w kodzie Hotspot po prostu wywołuje Unsafe.park i .unpark!

Zdarza się, że przed dzieje się z pary odczytu zapisu na lotnej flagi stanu lub coś podobnego.

Pamiętaj, że jeśli nie jest udokumentowane jak tworzenie dzieje, zanim relacji wtedy musi traktować go tak, jakby to nie, nawet jeśli może udowodnić, że to nie od konkretnego systemu. Przyszłe systemy i wdrożenia mogą nie być. Pozostawili sobie tę wolność z ważnego powodu.

Answer 3

Właśnie znalazłem to pytanie, ponieważ zadawałem sobie to samo. Według this article przez badacza Oracle David Dice, odpowiedź wydaje się być nie. Poniżej znajduje się odpowiednia część artykułu:

Jeśli wątek jest zablokowany w park() mamy zagwarantowane, że późniejsza unpark() będzie to gotowy. Niezwykle legalna, ale niskiej jakości implementacja implementacji park() i byłaby pustymi metodami, w których program degeneruje się do prostego wirowania. W rzeczywistości jest to test lakmusowy dla prawidłowego użytkowania.

Empty park() i unpark() metody nie daje żadnych dzieje, zanim relacji gwarancji, więc na program w 100% przenośne, nie należy na nich polegać.

Potem znowu, Javadoc of LockSupport mówi:

Metody te są przeznaczone do stosowania jako narzędzia do tworzenia wyższego poziomu narzędzia synchronizacji i nie są same w sobie przydatna dla większości zastosowań kontroli współbieżności. Metoda park jest przeznaczone do użytku tylko w konstrukcjach o postaci:

while (!canProceed()) { ... LockSupport.park(this); }

Skoro masz jawnie sprawdzić jakiś warunek tak, który albo będzie obejmować volatile lub prawidłowo zsynchronizowane zmienne, słabe gwarancje park() nie powinien być problemem, prawda?