java volatile reordering 방지 관련 질문

Question

안녕하세요.자바 메모리 모델 명세를 살펴보던 중, 의문이 생겨서 문의드립니다.1. 동일 스레드 내에서 먼저 오는 액션은 먼저 수행된다. 2. 소멸자는 생성자가 완전히 종료된 후에 수행된다. 3. 서로가 동기화되는 두 액션은 순서대로 수행된다. 4. 모니터의 언락은 뒤에 위치한 모니터의 락보다 앞서 수행된다. 5. volatile 필드에 쓰는 행위는 뒤에 위치한 해당 필드의 읽기 행위보다 앞서 수행된다. 6. 스레드의 start() 행위는 시작된 스레드의 다른 모든 동작보다 앞서 수행된다. 7. 특정 스레드의 모든 행위는 해당 스레드에 관한 join()의 반환보다 앞서 수행된다.1. 위의 내용 중, 아래 두가지의 항목이 약간 혼란스럽습니다. 컴파일 시 reordering을 수행하면 인과관계가 없는 액션들에 한해서 최적화가 되는걸로 알고 있었는데요.동일 스레드 내에서 먼저 오는 액션은 먼저 수행됨이 보장된다는 말과 충돌이 일어나는 것 같습니다.동일 스레드 내에서 먼저 오는 액션은 먼저 수행된다.volatile 필드에 쓰는 행위는 뒤에 위치한 해당 필드의 읽기 행위보다 앞서 수행된다.2. 멀티 스레드에서 reordering이 위험한 이유는, 인과관계 파악이 안돼서 의도와는 다른 순서로 실행돼버리기 떄문이라고 알고 있습니다.그렇다면 volatile 키워드를 사용했을 때, 어떤 근거로 재배치를 막아주는건지 궁금합니다.ex) volatile int a; /** 쓰레드 생성 코드 내부까지 추적해서 volatile 변수를 사용했는지 확인하고, 해당 객체의 start 코드 순서는 건드리지 않는다는 말일까요? 애초에 이런 식으로 순서를 셋팅하는게 문제 있는거 아닌가요? 이해가 잘 안됩니다 ㅠ.ㅠ **/ public void method() { Thread t &#61; new Thread(()->{ System.out.println(a); }); a &#61; 10; t.start)_; }

java volatile reordering 방지 관련 질문

0개의 답변

#volatile 목록