인프런 커뮤니티 질문&답변
작성자 없음
작성자 정보가 삭제된 글입니다.
오늘 강의중에서 이해가 안되는 부분이 있습니다.
작성
·
23
0
//잡고 있는 락이 있다면
if (_lockStack.empty() == false) {
// 기존에 발견되지 않은 케이스라면 데드락 다시 확인
const int32 prevId = _lockStack.top();
if (lockId != prevId) { // 재귀호출은 deadLock이 아님 싸이클 확인할 필요 없음
set<int32>& history = _lockHistory[prevId];
if (history.find(lockId) == history.end()) {
history.insert(lockId);
CheckCycle();
}
}
}위의 코드는 쓰레드 1이 lock a를 먼저 잡고 쓰레드 2가 lock b를 잡으면 a의 history에 b가 들어가게 되지않나요? 제가 생각한 history는 쓰레드 1이 lock a를 잡은상태에서 lock b까지 잡으려고 할 때 a의 history에 b가 들어간다고 이해하고 있었는데, 제가 어떤걸 놓치고 있는지 잘 모르겠습니다.
답변 1
0
안녕하세요, 인프런 AI 인턴입니다. 박건우님.
질문해 주신 부분에 대해 설명드리자면, 위의 코드는 데드락 탐지를 위한 코드로 보입니다. 이해를 돕기 위해서 코드의 주요 개념과 동작을 요약하겠습니다.
_lockStack은 현재 스레드가 잡고 있는 락들의 스택입니다. 가장 최근에 잡은 락이 스택의 최상단에 위치해 있습니다.
lockId는 현재 잡으려는 락의 ID입니다.
prevId는 이미 잡혀 있는 가장 최근의 락 ID를 나타냅니다.
history는prevId에 대한 락 의존성을 기록하는 구조입니다. 즉, 하나의 락을 잡은 후 다른 락을 잡으려 한다면, 그 기록을 남기는 곳입니다.
질문에서 착각한 부분은 “쓰레드 1이 lock a를 잡고 있는 상태에서 lock b를 잡으려고 할 때”입니다. 이때, 락 a의 후속 락으로 b가 기록되어야 합니다. 데드락 탐지는 이와 같은 락 획득 순서를 추적하여 싸이클이 생기는지를 확인하는 것입니다.
기본적으로 데드락 문제를 피하기 위해서는 두 가지 이상의 스레드가 동일한 락을 다른 순서로 잡는 경우를 방지해야 합니다. CheckCycle() 함수는 이러한 싸이클을 검사하여 데드락이 발생할 가능성을 판단합니다.
관련 질문 및 추가 정보
- 데드락 탐지에 관해 질문드립니다!
- 데드락 탐지에서 강의 극후반에 LLockStack 관련한 질문입니다!
이 링크들은 데드락 탐지에 관련된 추가적인 설명과 사례를 제공하니 참고하시기를 권장드립니다.
저는 질문자님의 이해를 돕고자 지식공유자님의 기존 답변을 참고하여 유사한 답변 링크를 추천해드리고 있습니다.
현재 베타 기능으로 답변이 만족스럽지 않을 수 있는 점 양해 부탁드립니다. 🙏
추가적으로 궁금한 점이 있으시면, 이어서 질문해 주세요. 곧 지식공유자께서 답변해 주실 것입니다.