[Java] Java의 동시성 이슈

java-study에서 스터디를 진행하고 있습니다.

동시성 프로그래밍에서 발생할 수 있는 문제점

컴퓨터의 CPU와 RAM의 관계도를 그려보면 다음과 같은 그림이 될 것이다.

 

 

CPU가 어떤 작업을 처리하기 위해 데이터가 필요할 때, CPU는 RAM의 일부분을 고속의 저장 장치인 CPU Cache Memory로 읽어들인다. 이 읽어들인 데이터로 명령을 수행하고, RAM에 저장하기 위해서는 데이터를 CPU Cache Memory에 쓴 다음 RAM에 쓰기 작업을 수행한다. 그러나 CPU가 캐시에 쓰기 작업을 수행했다고 해서 바로 RAM으로 쓰기 작업을 수행하지 않는다. 반대로 읽기 작업도 해당 데이터가 RAM에서 변경이 되었다고 해도, 언제 CPU Cache Memory가 아닌 RAM에서 데이터를 읽어 들여서 CPU Cache Memory를 업데이트할 지 보장하지 않는다.

동시성 프로그래밍에서는 CPU와 RAM의 중간에 위치하는 CPU Cache Memory와 병렬성이라는 특징때문에 다수의 스레드가 공유 자원에 접근할 때 두 가지 문제가 발생할 수 있다.

 

• 가시성 문제
• 원자성(동시 접근) 문제

 

사실 위의 두 문제는 동시성보다는 병렬성때문에 발생하는 문제이지만, 자바 스레드는 동시성의 성질을 가지고 있으므로, 자바에서는 동시성 프로그래밍에서 발생하는 문제점이라고 부른다.

 

가시성 문제

여러 개의 스레드가 사용됨에 따라, CPU Cache Memory와 RAM의 데이터가 서로 일치하지 않아 생기는 문제를 의미한다. 이를 해결하기 위해서는 가시성이 보장되어야 하는 변수를 CPU Cache Memory가 아니라 RAM에서 바로 읽도록 보장해야 한다.

이때 변수에 valatile 키워드를 붙임으로써 가시성을 보장할 수 있다.

 

private static volatile boolean isStop;

 

그러나 가시성만 보장된다고 동시성이 보장되는 것은 아니다. 간단한 예를 살펴 보자.

전철 비용을 계산하는 프로그램을 작성한다고 가정하겠다. 이때 나이에 따라서 70세 미만과 70세 이상의 표 값이 다른 상황이고, 날짜를 실시간으로 반영하여 비용을 계산해야 한다.

각 스레드의 역할은 다음과 같다.

 

• Thread 1
  • 고객의 나이를 읽는다.
  • 읽어온 나이를 기준으로 비용을 계산한다.
  • 비용을 반환한다.
• Thread 2
  • 현재 년도를 지속적으로 읽는다.
  • 해가 바뀌면 고객의 나이를 계산한다.
  • 바뀐 고객의 나이를 저장한다.

 

volatile을 통해 가시성을 해결했지만, 해가 바뀌는 시점에 문제가 발생한다.

 

1. 나이가 69세인 고객이 계산을 진행할 때, 첫 번째 스레드에서는 RAM에서 나이가 69세임을 가져와 나이에 따라 비용을 계산하는 메소드를 실행한다.
2. 그러나 마침 해가 딱 바뀌어 년 바뀜을 계산하는 두 번째 스레드에서 RAM에 해당 고객의 나이를 70살로 수정한다.
3. 첫 번째 스레드는 나이가 70세로 바뀐 것을 모르고 69세 기준으로 전철 비용을 계산하여 잘못된 비용을 반환한다.

 

위 예제에서 알 수 있듯이, 가시성이 보장된다고 동시성이 보장되는 것은 아니다. volatile 키워드는 어디까지나 volatile 변수를 메인 메모리로부터 읽을 수 있게 해 주는 것이 전부이고, 다른 스레드에 의해 이 값이 언제든 바뀔 수 있다. 즉, 가시성이란 공유 데이터를 읽는 경우의 동시성만 보장하는 것이라 생각하면 된다.

 

원자성 문제

원자성은 가시성과 멀티 스레드 환경에서 스레드간 공유 메모리 이슈를 발생한다는 점에서 공통점이 있다. 하지만 시스템 관점에서 보면 두 개념은 다르다.

 

• 가시성
  • CPU - Cache - Memory 관계 상의 개념
• 원자성
  • 한 줄의 프로그램 문장이 컴파일러에 의해 기계어로 변경되면서, 이를 기계가 순차적으로 처리하기 위한 여러 개의 Machine Instruction이 만들어져 실행되기 때문에 일어나는 현상
  • 예를 들어 프로그램 언어적으로 i++ 문장은 다음과 같은 기계가 수행하는 명령어로 쪼개진다.
    • i를 메모리로부터 읽는다.
    • 읽은 값에 1을 더한다.
    • 연산한 값을 메모리에 저장한다.
  • 멀티 스레드 환경에서는 한 스레드가 각 기계 명령어를 수행하는 동안에 다른 스레드가 개입하여 공유 변수에 접근하여 같은 기계 명령어를 수행할 수 있으므로 값이 꼬이게 된다. (race condition)

 

원자성 문제를 해결하기 위해서는 synchronized 또는 atomic을 사용해야 한다.

참고로 원자성 문제를 synchronized 또는 atomic을 통해 해결한다면 가시성의 문제도 해결된다. synchronized 블럭을 들어가기 전에 CPU Cache Memory와 Main Memory를 동기화 해주며, atomic의 경우에는 CAS 알고리즘에 의해 원자성 문제와 CPU Cache Memory에 잘못된 값을 참조하는 문제를 동시에 해결해주기 때문이다.

 

synchronized

synchronized는 멀티 스레드 환경에서 동시성 제어를 위해 공유 객체를 동기화하는 키워드이다. synchronized 블록 안에서 관리되는 자원들은 원자성을 보장할 수 있다.

 

atomic

atomic 또한 멀티 스레드 환경에서 원자성을 보장하기 위해 나온 개념이다. 동기화(blockin)가 아닌 CAS(Compared And Swap)라는 알고리즘으로 작동하여 원자성을 보장한다.

CAS 알고리즘이란 volatile에서 설명했던 CPU Cache Memory와 RAM을 비교하여 일치한다면 CPU Cache Memory와 RAM에 적용하고, 일치하지 않는다면 재시도함으로써 어떠한 스레드에서 공유 자원에 읽기/쓰기 작업을 하더라도 원자성을 보장한다.

대표적인 예로, 자바의 Concurrent 패키지의 타입들은 CAS 알고리즘을 이용해 원자성을 보장한다.

 

출처

• https://ecsimsw.tistory.com/entry/자바의-동기화-방식-메모리-가시성이란-synchronized-volatile-atomic
• https://badcandy.github.io/2019/01/14/concurrency-02/
• https://medium.com/thxwelchs/동시성-프로그래밍-2편-멀티쓰레드-객체공유와-상태제어-44e9f697c3d9
• https://velog.io/@syleemk/Java-Concurrent-Programming-가시성과-원자성

 

예상 면접 질문 및 답변

동시성 프로그래밍에서 발생할 수 있는 문제는?

동시성 프로그램에서는 CPU와 RAM의 중간에 위치하는 CPU Cache Memory와 병렬성이라는 특징때문에 가시성 문제, 원자성 문제가 발생할 수 있다.

 

가시성 문제와 원자성 문제에 대해 설명하라.

• 가시성 문제
  • 여러 개의 스레드가 사용됨에 따라, CPU Cache Memory와 RAM의 데이터가 서로 일치하지 않아 생기는 문제를 의미한다. 가시성을 보장되어야 하는 변수에 volatile 키워드를 붙여줘서 RAM에서 바로 읽도록 해야 한다. 그러나 여러 스레드가 공유 자원에 쓰기 연산을 할 경우 가시성을 보장했다고 해서 동시성이 보장되지 않는다.
• 원자성 문제
  • 여러 스레드가 공유 자원에 동시에 쓰기 연산을 할 경우 잘못된 결과를 반환하는 것을 의미한다. 따라서 synchronized, atomic 을 통해 원자성을 보장해야 한다.