cas 연산3 incrementAndGet 질문
222
49 asked
안녕하세요? 강의 잘 듣고 있습니다. CAS 연산3에서 질문이 있는데요, 아래는 incrementAndGet을 학습용으로 만들어주신 메서드입니다.
private static int incrementAndGet(AtomicInteger atomicInteger) {
int getValue;
boolean result;
// 읽고 -> 읽은 값이 바뀌지 않았는지 확인하고 -> 업데이트
// [읽은 값이 바뀌지 않았는지 확인하고 -> 업데이트] 이 부분을 CAS 연산으로 보장
do{
getValue = atomicInteger.get();
log("getValue : " + getValue);
sleep(100); // 스레드 동시 실행을 위해 잠시 대기
// 읽은 값이 그대로 있다면(벽경되지 않았다면) 내가 의도한 값을 넣어라!
result = atomicInteger.compareAndSet(getValue, getValue+1);
log("result: " + result);
} while(!result); //compareAndSet이 실패했으면 계속 다시 해라
return getValue + 1; // atomicInteger.get() 하지 않는 이유 <- 그새 다른 스레드가 값을 변경할 수 있기 때문
}
이 코드에서 보면
값을 어플리케이션으로 가져와서 -> CAS연산을 시키고 충돌이 발생할 경우 재실행을 시키는데
애초부터 CPU한테 +1을 하는 것을 시키면 굳이 낙관적락을 적용할 필요가 없지 않나요? 굳이 어플리케이션으로 가져와서 검증을 하는 이유를 아무리 생각해봐도 잘 모르겠습니다. ㅠㅠ
Answer 1
2
자문자답 해봅니다.
좀 찾아보니 CAS연산은 결국 CPU가 제공하는 원자적인 명령어를 사용하는 것에 불과하네요
예를 들어 x86아키텍처에서는 [비교 → 비교해서 교환이 참일 경우 값을 교환해주는]동작을 원자적으로 수행하는 CMPXCHG 라는 명령어가 존재하고 이걸 사용할 뿐인거네요.
결과적으로 CAS 기반의 동시성제어는, CPU가 제공하는 원자적 연산이 가능한 명령어들을 최대한 활용해서 낙관적 락 형태로 만드는 것이군요..
모니터와 synchronized, ReentrantLock, 원자적연산 CAS관련해서 추가적으로 더 깊게 공부했는데 제가 이해한 것이 맞나요??
0
81
1
Future cancel기능을 사용했지만 interrupt가 발생하지 않을 때 어떻게 처리해야하나요?
0
70
2
2.스레드 생성과 실행 - 17P 그림 문의
0
69
2
자바 동시성 현업에서 사용예시가 궁금합니다
0
128
1
ReentrantLock 동작 원리에 대한 질문입니다.
0
79
1
synchronized 대신 join 을 사용하여 순서를 보장할 경우 해법이 아닌가요?
0
90
2
메모리 가시성 문제 질문
0
65
1
Future4-이유 질문
0
60
1
오타 제보
0
70
2
runnable 질문
0
91
2
자바가 아닌 다른 언어에서도
0
107
1
메모리 가시성 문제가 발생하는 이유
0
122
1
데몬스레드가 어떨 때 사용이 되는지 궁금합니다.
0
75
1
Future.cancel() 취소를 사용하는 예가 궁금합니다.
0
81
1
synchronized 와 인스턴스의 lock
0
88
2
synchronized 키워드만으로 메모리 가시성이 해결되는 이유가 궁급합니다.
0
60
1
[스레드 풀과 Executor 프레임워크1][문제와 풀이] `log("일부 작업이 실패했습니다.");` 실행되는 경우가 있을까요?
0
55
1
원자적 연산이 멀티스레드 상황에서 안전한 이유를 제대로 이해했는지 확인 부탁드립니다
0
64
2
자바 고급 1,2,3편 같이 진행해도 문제없나요
0
74
2
CPU 캐시 때문에도 잔액이 200원이 될 수 있나요?
0
101
2
synchronized 메서드와 join 관련 질문이 있습니다.
0
66
2
섹션 14. 115번 강의 내용 질문
0
79
2
교안에 있는 7페이지 데이터 영역
0
47
1
Executor 스레드 풀 관리 질문
0
103
2

