모니터와 synchronized, ReentrantLock, 원자적연산 CAS관련해서 추가적으로 더 깊게 공부했는데 제가 이해한 것이 맞나요??
85
13 asked
운영체제 관점의 실제 모니터 명세는 조건변수를 추가할 수 있습니다.
synchronized는 자바가 구현한 모니터인데 조건변수의 추가가 불가능해서 생산자 소비자 문제를 해결할 수 없습니다.
ReentrantLock은 자체적으로 구현한 락을 사용하지만 그 락의 구현은 실제 조건변수를 추가할 수 있는 모니터의 명세를 따르고 있어 모니터를 구현했다고 할 수 있습니다.
모니터는 CAS를 내부적으로 사용합니다. CAS를 반복문으로 돌리며 바쁜대기를 하거나 Park로 락을 획득하고 반환합니다.
원자적 연산도 CAS를 구현하지만 단순 속도가 synchronized와 ReentrantLock보다 더 빠른 이유는 락의 존재 유무입니다.
혹시 제가 이해한 내용들이 맞을까요?? 현재 81강까지 들었습니다!
Answer 1
1
안녕하세요. 정재익님
다른 부분은 맞는데요. 다음 부분은 정정이 필요합니다.
synchronized는 자바가 구현한 모니터인데 조건변수의 추가가 불가능해서 생산자 소비자 문제를 해결할 수 없습니다.
이 부분은 반은 맞고 반은 틀렸습니다. synchronized 역시 자바의 모든 객체가 기본적으로 가지고 있는 모니터 락과 '스레드 대기 집합(wait set)'이라는 조건 변수를 사용합니다. 따라서 Object.wait()와 Object.notify()를 사용하면 생산자 소비자 문제를 해결할 수는 있습니다.
진짜 문제는 '조건 변수의 추가가 불가능하다'는 점입니다. synchronized는 내부적으로 단 1개의 스레드 대기 집합만 가집니다. 따라서 생산자 스레드와 소비자 스레드가 같은 대기 공간에 섞여서 대기하게 됩니다. 이로 인해 생산자가 데이터를 만든 후 소비자를 깨우고 싶은데 실수로 대기 중인 다른 생산자를 깨우거나(비효율), 반대로 소비자가 다른 소비자를 깨우는 비효율적인 문제가 발생합니다.
(결과적으로 로직은 동작하지만, 헛도는 스레드가 생겨 비효율적입니다.)
감사합니다 🙂
Future cancel기능을 사용했지만 interrupt가 발생하지 않을 때 어떻게 처리해야하나요?
0
73
2
2.스레드 생성과 실행 - 17P 그림 문의
0
74
2
자바 동시성 현업에서 사용예시가 궁금합니다
0
136
1
ReentrantLock 동작 원리에 대한 질문입니다.
0
83
1
synchronized 대신 join 을 사용하여 순서를 보장할 경우 해법이 아닌가요?
0
94
2
메모리 가시성 문제 질문
0
72
1
Future4-이유 질문
0
64
1
오타 제보
0
76
2
runnable 질문
0
95
2
자바가 아닌 다른 언어에서도
0
112
1
메모리 가시성 문제가 발생하는 이유
0
125
1
데몬스레드가 어떨 때 사용이 되는지 궁금합니다.
0
78
1
Future.cancel() 취소를 사용하는 예가 궁금합니다.
0
84
1
synchronized 와 인스턴스의 lock
0
91
2
synchronized 키워드만으로 메모리 가시성이 해결되는 이유가 궁급합니다.
0
63
1
[스레드 풀과 Executor 프레임워크1][문제와 풀이] `log("일부 작업이 실패했습니다.");` 실행되는 경우가 있을까요?
0
59
1
원자적 연산이 멀티스레드 상황에서 안전한 이유를 제대로 이해했는지 확인 부탁드립니다
0
67
2
자바 고급 1,2,3편 같이 진행해도 문제없나요
0
77
2
CPU 캐시 때문에도 잔액이 200원이 될 수 있나요?
0
105
2
synchronized 메서드와 join 관련 질문이 있습니다.
0
69
2
섹션 14. 115번 강의 내용 질문
0
83
2
교안에 있는 7페이지 데이터 영역
0
51
1
Executor 스레드 풀 관리 질문
0
108
2
문제와 풀이 질문!
0
78
1