Inflearn Community Q&A
asked
모니터와 synchronized, ReentrantLock, 원자적연산 CAS관련해서 추가적으로 더 깊게 공부했는데 제가 이해한 것이 맞나요??
Written on
·
53
0
운영체제 관점의 실제 모니터 명세는 조건변수를 추가할 수 있습니다.
synchronized는 자바가 구현한 모니터인데 조건변수의 추가가 불가능해서 생산자 소비자 문제를 해결할 수 없습니다.
ReentrantLock은 자체적으로 구현한 락을 사용하지만 그 락의 구현은 실제 조건변수를 추가할 수 있는 모니터의 명세를 따르고 있어 모니터를 구현했다고 할 수 있습니다.
모니터는 CAS를 내부적으로 사용합니다. CAS를 반복문으로 돌리며 바쁜대기를 하거나 Park로 락을 획득하고 반환합니다.
원자적 연산도 CAS를 구현하지만 단순 속도가 synchronized와 ReentrantLock보다 더 빠른 이유는 락의 존재 유무입니다.
혹시 제가 이해한 내용들이 맞을까요?? 현재 81강까지 들었습니다!
Answer 1
1
안녕하세요. 정재익님
다른 부분은 맞는데요. 다음 부분은 정정이 필요합니다.
synchronized는 자바가 구현한 모니터인데 조건변수의 추가가 불가능해서 생산자 소비자 문제를 해결할 수 없습니다.
이 부분은 반은 맞고 반은 틀렸습니다. synchronized 역시 자바의 모든 객체가 기본적으로 가지고 있는 모니터 락과 '스레드 대기 집합(wait set)'이라는 조건 변수를 사용합니다. 따라서 Object.wait()와 Object.notify()를 사용하면 생산자 소비자 문제를 해결할 수는 있습니다.
진짜 문제는 '조건 변수의 추가가 불가능하다'는 점입니다. synchronized는 내부적으로 단 1개의 스레드 대기 집합만 가집니다. 따라서 생산자 스레드와 소비자 스레드가 같은 대기 공간에 섞여서 대기하게 됩니다. 이로 인해 생산자가 데이터를 만든 후 소비자를 깨우고 싶은데 실수로 대기 중인 다른 생산자를 깨우거나(비효율), 반대로 소비자가 다른 소비자를 깨우는 비효율적인 문제가 발생합니다.
(결과적으로 로직은 동작하지만, 헛도는 스레드가 생겨 비효율적입니다.)
감사합니다 🙂
정말 감사드립니다!!! 지금까지 맞는지 틀린지 헷갈렸었어요 ㅠ