Instrukcja reordering & happens-before relation w Javie [duplikat]

W książce Java współbieżność w praktyce, kilka razy powiedziano nam, że instrukcje naszego programu mogą być zmieniane przez kompilator, przez JVM w czasie wykonywania, a nawet przez procesor. Powinniśmy więc założyć, że uruchamiany program nie będzie miał instrukcji wykonywanych w dokładnie takiej samej kolejności, jak podaliśmy w kodzie źródłowym.

Jednak ostatni rozdział omawiający model pamięci Java zawiera listę happens-before reguły wskazujące, które instrukcje są zachowywane przez JVM. Pierwsza z tych zasad to:

• " reguła kolejności programu. Każda akcja w wątku dzieje się przed każdą akcją w tym wątku, która pojawia się później w kolejności programu."

Wierzę ,że "kolejność programów" odnosi się do kodu źródłowego.

Moje pytanie: zakładając tę regułę, zastanawiam się, jaką instrukcję można właściwie uporządkować.

"akcja" jest zdefiniowana następująco:

Model pamięci Java jest określony w kategoriach działań, które obejmują odczyt i zapis do zmiennych, blokady i odblokowanie monitorów oraz uruchamianie i łączenie z wątkami. JMM definiuje częściowe porządkowanie nazwane happens before dla wszystkich działań w programie. Aby zagwarantować, że wątek wykonujący akcję B może zobaczyć wyniki akcji A (niezależnie od tego, czy A i B występują w różnych wątkach), musi istnieć związek a przed A I B. W przypadku braku a dzieje się to przed zamówieniem między dwiema operacjami, JVM może dowolnie zmieniać ich kolejność.

Inne wymienione reguły porządkowe to:

• zasada blokady monitora. Odblokowanie blokady monitora następuje przed każdą kolejną blokadą tej samej blokady monitora.
• zmienna zmienna zmienna. Zapis do pola lotnego następuje przed każdym kolejnym odczytem tego samego pola.
• zasada rozpoczęcia wątku. Wezwanie do wątku.start na wątku dzieje się przed każdą akcją w rozpoczęty wątek.
• zasada zakończenia wątku. Każda akcja w wątku dzieje się zanim jakikolwiek inny wątek wykryje, że wątek został zakończony, albo przez pomyślny powrót z wątku.Dołącz lub przez wątek.isAlive zwraca false.
• zasada przerwania. Wątek wywołujący przerwanie na innym wątku dzieje się zanim przerwany wątek wykryje przerwanie (albo przez wyrzucenie InterruptedException, albo wywołanie jest przerwane lub przerwane).
• reguła Finalizera. Koniec a konstruktor dla obiektu dzieje się przed rozpoczęciem finalizatora dla tego obiektu.
• przechodniość. Jeśli A dzieje się przed B, A B dzieje się przed C, to a dzieje się przed C.