공유 메모리의 락 소유자가 죽었습니다. 락을 다시 얻는 것과 부분 변경 데이터를 복구하는 것은 어떻게 다른가요?

꼬리 질문을 독립 문항으로 확장했습니다. 원래 문항에서 맥락 보기 →

잠깐, 답변을 보기 전에
먼저 내 말로 설명해 볼까요?

답변과 점검 포인트 펼치기답변 접기

구두 답변

정의를 외우기보다, 원리와 조건을 연결해 설명해 보세요.

owner-death를 감지해 락을 다시 얻는 기능이 있어도 보호하던 데이터는 중간 변경 상태일 수 있습니다. 일관성 검사·저널·복구 마커로 상태를 복원한 뒤 정상 사용을 허용해야 합니다.

robust mutex 등 API의 inconsistent·recoverable 상태 계약을 따릅니다. 모든 프로세스가 같은 복구 규칙과 version을 사용해야 합니다. owner 중단 지점별로 데이터 불변식·락 재획득·반복 복구를 시험합니다.

이해가 드러나는 지점을 확인해 보세요.

owner-death를 감지해 락을 다시 얻는 기능이 있어도 보호하던 데이터는 중간 변경 상태일 수 있습니다. 일관성 검사·저널·복구 마커로 상태를 복원한 뒤 정상 사용을 허용해야 합니다.
owner 중단 지점별로 데이터 불변식·락 재획득·반복 복구를 시험합니다.

놓치기 쉬운 조건과 오해를 짚어 보세요.

다음 핵심 구분을 반대로 설명하거나 성립 조건을 생략한다: owner-death를 감지해 락을 다시 얻는 기능이 있어도 보호하던 데이터는 중간 변경 상태일 수 있습니다.

하나 더 질문하며 이해의 범위를 넓혀 보세요.

득점·감점 포인트는 학습용 자기 점검 기준이며, 특정 회사의 실제 채점표가 아닙니다.

답변을 보충하는 개념·예제·슈도코드를 읽어 보세요.