자바 병렬 시리즈: CAS 메커니즘

자바 병렬 시리즈: CAS 메커니즘
동시 다발 프로그램 에서 'check and act' 장면 이 자주 있 습 니 다. 특정한 변수의 값 을 검사 한 다음 에 해당 하 는 조작 을 합 니 다.
예 를 들 어 자 물 쇠 를 가 져 오 는 예:

class MyLock {
    private boolean locked = false;
    public boolean lock() {
        if(!locked) {
            locked = true;
            return true;
        }
        return false;
    }
}

위의 이 예 는 병발 환경 하에 서 정확 한 운행 을 보장 할 수 없다.스 레 드 A 와 스 레 드 B 는 모두 lock = false 를 검사 할 수 있 습 니 다. 위의 예 는 스 레 드 A 와 B 가 모두 자 물 쇠 를 가 져 올 수 있 습 니 다.
결론: 동시 다발 환경 에서 check and act 는 원자 조작 이 어야 합 니 다.
check 과 act 두 작업 은 분리 할 수 없 는 작업 을 해 야 합 니 다. 스 레 드 A 가 check and act 를 실행 할 때 스 레 드 B 는 B 가 이 작업 을 완성 할 때 까지 기 다 려 야 합 니 다.
자바 에 있 는 자바. util. concurrent. atomic 가 제공 하 는 원자 류 를 사용 하여 원자 조작 을 실현 할 수 있 습 니 다. 원자 류 에 서 는 compare AndSet () 원자 조작 을 제공 합 니 다.

public static class MyLock {
    private AtomicBoolean locked = new AtomicBoolean(false);

    public boolean lock() {
        return locked.compareAndSet(false, true);
    }
}