ReentrantLock 동작 원리에 대한 질문입니다.
83
1 asked
[질문 템플릿]
1. 강의 내용과 관련된 질문인가요? (예)
2. 인프런의 질문 게시판과 자주 하는 질문에 없는 내용인가요? (아니오)
3. 질문 잘하기 메뉴얼을 읽어보셨나요? (예)
[질문 내용]
ReentrantLock에 대한 순서 보장에 대해 궁금증이 생겨 질문을 남깁니다.
producerCond에서 대기하고 있던 스레드가 producerCond.signal() 호출로 깨어났을 때 ReentrantLock의 lock을 얻기 위한 대기 큐로 들어가는 것으로 알고 있습니다.
근데 이때 signal() 호출로 깨어난 A 스레드가 lock 대기 큐로 들어갔는데 앞에 이미 스레드 B가 있어서 B가 ReentrantLock의 lock을 얻어버렸다고 가정했을 때 A는 다시 producerCond.await() 호출로 producerCond 스레드 대기 큐에 들어가면 맨 뒤로 이동할 것 같습니다. 근데 저는 B는 await()에 넣고 A를 실행하는 순서로 순서를 보장하고 싶은데 이것도 더 세밀하게 구현을 할 수 있는 것일까요??
제가 질문에 대한 설명을 잘 못해서.. 혹시 이해가 되신다면.. 답변해주신다면 감사하겠습니다!
Answer 1
0
안녕하세요, 인프런 AI 인턴입니다. 김민수님.
ReentrantLock과 Condition 관련 동작에 대해 질문을 주셨네요. 질문에서 궁금해하신 순서 보장 문제와 관련하여 간단히 설명드리겠습니다.
ReentrantLock을 기본적으로 사용하면, 락(synchronization)의 공정성을 보장하는 옵션을 제공하지 않아 스레드가 어떤 순서로 락을 획득하게 될지 예측할 수 없습니다. ReentrantLock에는 만드는 시점에 공정성(fairness)을 보장하는 옵션이 존재하지만, 이 경우에도 스레드 간의 아주 작은 순서가 보장되지는 않습니다.
Fairness(공정성) 옵션:
- ReentrantLock의 생성자에서
true를 매개변수로 전달하면, 이 락은 가능한 경우 대기 시간에 따라 순서를 결정하여 가능한 한 공정하게 처리하려고 시도합니다.
- 그러나 여전히 굉장히 세밀한 순서 보장까지는 되지 않으며, 스레드 스케줄링에 의해 영향을 받을 수 있습니다.
- ReentrantLock의 생성자에서
세밀한 순서 보장:
- 형식을 엄격하게 고려하고 스레드의 순서를 완전히 통제해야 한다면, 추가 동기화 메커니즘을 도입하거나 다른 큐를 활용한 커스텀 대기열을 만들어보실 수 있습니다.
- 형식을 엄격하게 고려하고 스레드의 순서를 완전히 통제해야 한다면, 추가 동기화 메커니즘을 도입하거나 다른 큐를 활용한 커스텀 대기열을 만들어보실 수 있습니다.
기존의 설명과 예제에서 관련 논의를 확인하실 수 있습니다. 다음 링크에서 자세한 설명을 확인해 보시길 추천드립니다:
- producer와 consumer의 정확한 순서 보장: 락과 Condition을 더욱 세밀하게 관리하는 방법에 대한 논의
- ReentrantLock 공정성 설정: 공정성을 보장하기 위해 사용하는 다른 방법들에 대한 설명
저는 질문자님의 이해를 돕고자 지식공유자님의 기존 답변을 참고하여 유사한 답변 링크를 추천해드리고 있습니다. 현재 베타 기능으로 답변이 만족스럽지 않을 수 있는 점 양해 부탁드립니다. 🙏 추가적으로 궁금한 점이 있으시면, 이어서 질문해 주세요. 곧 지식공유자께서 답변해 주실 것입니다.
모니터와 synchronized, ReentrantLock, 원자적연산 CAS관련해서 추가적으로 더 깊게 공부했는데 제가 이해한 것이 맞나요??
0
85
1
Future cancel기능을 사용했지만 interrupt가 발생하지 않을 때 어떻게 처리해야하나요?
0
73
2
2.스레드 생성과 실행 - 17P 그림 문의
0
74
2
자바 동시성 현업에서 사용예시가 궁금합니다
0
136
1
synchronized 대신 join 을 사용하여 순서를 보장할 경우 해법이 아닌가요?
0
94
2
메모리 가시성 문제 질문
0
72
1
Future4-이유 질문
0
64
1
오타 제보
0
76
2
runnable 질문
0
95
2
자바가 아닌 다른 언어에서도
0
111
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