동기화의 기능

1. 배타적 실행

• 한 스레드에서 변경중일 때 다른 스레드는 접근할 수 없다. → 일관된 상태를 보장

1. 안정적 통신

• 같은 락의 보호하에 수행된 이전 수정의 최종 결과를 읽을 수 있게 함
• long, double 같은 원자적 타입은 배타적 실행은 보장하지만 안정적 통신까지는 보장하지 않음 → 안정적 통신을 위해 동기화 필요

가변데이터와 동기화

공유 중인 가변 데이터를 동기화 시켜주지 않으면 문제가 발생한다.

원자적 자원(boolean)에 접근하는 코드이다.

의도는 1초뒤에 멈추는 코드를 작성하였다.

package com.example.teststpringjava;

import java.util.concurrent.TimeUnit;

public class Sync {
    private static boolean stopRequested;

    public static void main(String[] args) throws InterruptedException {
        Thread backgroundThread = new Thread(() -> {
            int i = 0;
            while (!stopRequested)
                i++;
        });

        backgroundThread.start();
        TimeUnit.SECONDS.sleep(1);
        stopRequested = true;
    }
}

Q. 이 코드는 몇 초 뒤에 종료될까?

JVM은 위의 코드를 hoisting(끌어올리기) 기법에 의해 아래처럼 최적화를 진행한다.

public static void main(String[] args) throws InterruptedException {
        Thread backgroundThread = new Thread(() -> {
            int i = 0;
            if (!stopRequested) {
                while (true)
                    i++;
            }
        });

        backgroundThread.start();
        TimeUnit.SECONDS.sleep(1);
        stopRequested = true;
    }

따라서 해당 코드는 종료되지 않는다.