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