[Java][Thread] Happens-before relationship

Java의 동시성 관련 부분을 살피다가 'happens-before relationship'이란 용어가 자주 등장하는 것을 알았다.

 

https://www.logicbig.com/tutorials/core-java-tutorial/java-multi-threading/happens-before.html

Java - Understanding Happens-before relationship

https://en.wikipedia.org/wiki/Happened-before

Happened-before - Wikipedia

https://preshing.com/20130702/the-happens-before-relation/

The Happens-Before Relation

https://jenkov.com/tutorials/java-concurrency/java-happens-before-guarantee.html

 

https://javarevisited.blogspot.com/2020/01/what-is-happens-before-in-java-concurrency.html

What is happens-before in Java Concurrency? An example

https://www.geeksforgeeks.org/happens-before-relationship-in-java/

Happens-Before Relationship in Java - GeeksforGeeks

 

 

위키피디아의 설명. happens-before가 아니라 happened-before로 용어 설명을 하고 있기는 하지만, 둘의 의미가 동일한 것 같다.

In computer science, the happened-before relation (denoted: →) is a relation between the result of two events, such that if one event should happen before another event, the result must reflect that, even if those events are in reality executed out of order (usually to optimize program flow).

발번역

컴퓨터 과학에서, happened-before 관계는 두 이벤트의 결과들 사이의 관계이다. 만약 한 이벤트가 다른 이벤트 전에 일어나야 한다면, 결과는 반드시 그것을 반영해야 한다. 실제로 그 이벤트들이 (일반적으로 프로그램의 흐름을 최적화하기 위해) 순서대로 실행되지 않더라도 말이다.

 

내가 이해한 바는 이렇다.

이벤트 a의 결과를 가지고 이벤트 b의 결과를 내야 할 경우 > a  happenes-before b.

쓰레드 1에서 이벤트 a, 쓰레드 2에서 이벤트 b를 동시에 실행하면, 실행 순서가 a 다음 b일지, b 다음 a 일지는 모르지만, 결과는 a의 결과를 가지고 b의 결과를 내야 한다.

Happens-before 용어는 Java만의 용어는 아니다. happenes-before relation을 통해 멀티 쓰레드, 멀티 코어 환경에서의 성능은 향상(멀티쓰레드-동시성, 멀티 코어-병렬성)시키면서 정확한 결과 값이 나오도록 보장하는 것이다.

 

Java에서 Happens-before relationship을 구현하는 방법 

• Synchronized 사용
• Volatile 사용

• 관련 글 -> [Java] volatile 키워드