[이펙티브 자바] Item17 완벽공략. final과 자바 메모리 모델 JMM

item17. 변경 가능성을 최소화 하라. 

" p105. 새로 생성된 불변 인스턴스를 동기화 없이 다른 스레드로 건네도 문제없이 동작한다.(JLS 17.4, 17.5)"

 

 

 

JMM (Java Memory Model) 

: JMM 이라고 해서 구글링해보면 JVM의 힙, 스택... 이런 설명으로 이어지는 글들이 많은데 이건 JMM으로 JVM과는 다르다!! 

자바 메모리 모델 JMM은 JVM의 메모리 구조가 아니라 적법한 legal 프로그램의 실행규칙이다. 

https://docs.oracle.com/javase/specs/jls/se14/html/jls-17.html#jls-17.4

Chapter 17. Threads and Locks

A memory model describes, given a program and an execution trace of that program, whether the execution trace is a legal execution of the program.

The Java programming language memory model works by examining each read in an execution trace and checking that the write observed by that read is valid according to certain rules.

 

The memory model describes possible behaviors of a program. An implementation is free to produce any code it likes, as long as all resulting executions of a program produce a result that can be predicted by the memory model.

 

JMM 관련 글이 작성된 블로그도 찾아서 첨부~_~ 

https://getchan.github.io/til/java_memory_model/

 

 

 

public class WhiteShip
{
   private  int x;
   private  int y;
   
   public WhiteShip()
   {
      this.x = 1;
      this.y = 2;
   }
   
}

 

 

public static void main(String[] args)
{
   WhiteShip whiteShip = new WhiteShip();
}

그냥 간단하게 WhiteShip 이라는 클래스가 있다고 하고 인스턴스를 생성할 때 x는 1  y는 2로 값을 설정한다고 할 때, 

메인에서 이에 대한 동작을 예측해보면 

1. Object o  = new WhiteShip(); 

2. o.x = 1 

3. o.y = 2 

4. whiteship = o ; 

이런식으로 동작한다고 생각할 수 있다. 

 

그런데  JMM에서는 메모리 모델이 허용하는 범위 내에서 프로그램을 어떻게 실행하든 구현체(JMM)의 자유다..!! 

따라서 메모리 모델이 허용하는 범위내에서는 실행 순서가 바뀔 수도 있다!!

 

1. Object o  = new WhiteShip();

2. whiteship = o ; 

3. o.x = 1 

4. o.y = 2 

이런식으로 동작할 수도 있다는 것이다!! 

 

 

https://docs.oracle.com/javase/specs/jls/se14/html/jls-17.html#jls-17.5

Chapter 17. Threads and Locks

Fields declared final are initialized once, but never changed under normal circumstances. 

 

public class WhiteShip
{
   private final int x;
   private final int y;
   
   public WhiteShip()
   {
      this.x = 1;
      this.y = 2;
   }
   
}

근데 final로 선언하면 final 필드는 초기화가 되어야만 사용할 수 있다. 

어떤 인스턴스의 final 변수를 초기화하기 전까지는 해당 인스턴스를 참조하는 모든 쓰레드는 기다려야 한다(Freeze) 

 

따라서 해당 인스턴스가 생성될 때 반드시 값을 가지고 초기화가 되어야 한다면 final 키워드를 써야한다. 

final 키워드를 사용안하면 멀티 스레드 환경에서 해당 값이 초기화되지 않은 상태에서 참조될 가능성이 있기 때문이다. 

-> 근데 강의를 듣는데 강사님이 final 키워드를 사용하지 않아서 초기화 되지 않은 값이 참조된 상황을 경험해본 적은 없다고 하신다! 

하지만 자바 메모리 모델에서는 그럴 가능성이 있다고 했으니까 그런 가능성도 제외하고 싶다면 final 키워드를 사용하는 것이 좋다~_~