Czy tworzenie nowego wątku ma efekt uboczny opróżniania pamięci podręcznej?

Question

Chcę wiedzieć, czy tworzenie nowego wątku w Java wyzwala spłukiwanie pamięci podręcznej. Przypuśćmy, że coś jak to zrobić, w tej kolejności:

1. uruchamiany jest wątek i ustawia zmienną X.
2. Gwint tworzy nowy wątek.
3. Nowy wątek dostępów X.

Moje pytanie jest takie: czy nowy wątek, albo w momencie jego tworzenia lub w momencie rozpoczyna wykonanie, na pewno zobaczyć aktualizację wykonaną przez X stary wątek w kroku 1? Rozumiem, że jeśli stary wątek zmieni wartość X w przyszłości, nie ma gwarancji, że nowy wątek zobaczy te zmiany. W porządku. Chcę tylko wiedzieć, czy nowy wątek zobaczy właściwe wartości, gdy się uruchomi, bez potrzeby jawnej synchronizacji.

Kiedy po raz pierwszy zdecydowałem się zajrzeć do tego tematu, myślałem, że proste wyszukiwanie google natychmiast ujawni odpowiedź, ale z jakiegoś powodu nie mogę znaleźć żadnego wyniku, który rozwiązuje to pytanie.

Answer 1

Tak, jest.

W języku java istnieje relacja 'happens-before', która określa, jakie efekty pamięci są widoczne między dwiema operacjami. Jeśli "A zdarza się - przed B", wówczas akcja B ma zagwarantowane widzenie wszystkich zmian wykonanych przez akcję A.

Uruchamianie wątku tworzy relację "dzieje się przed" między wywołaniem "thread.start()" i wszystkimi kodami, które wykonuje się na nowym wątku. Dlatego nowy wątek gwarantuje efekt pamięciowy polegający na zmianie zmiennej X na pierwszym wątku.

Aby uzyskać szybki przegląd relacji pojawia się przed, zobacz Memory Visibility część przeglądu pakietu java.util.concurrent. W twoim przypadku interesujące bity to:

• Każde działanie w wątku ma miejsce - przed każdą akcją w tym wątku, która pojawia się później w kolejności programu.
• Występuje wezwanie do rozpoczęcia wątku - przed jakimkolwiek działaniem w uruchomionym wątku.

Więcej linków jeśli jesteś ciekaw:

• Java pamięci model jest opisany w Chapter 17 of the Java Language Specification
• Java Memory Model FAQ
• Everything else about JMM