lock-free가 각 스레드의 완료 시간을 보장하나요? wait-free와 전체 진행·개별 기아를 어떻게 구분하나요?

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

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

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

구두 답변

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

lock-free는 전체 시스템의 어떤 연산이 계속 진행하는 성질이지 모든 스레드가 제한된 단계 안에 끝나는 보장은 아닙니다. wait-free는 개별 연산의 제한된 진행을 더 강하게 요구합니다.

재시도 CAS 루프의 기아·reclamation·할당기의 blocking을 포함한 실제 API 범위를 봅니다. 알고리즘 핵심이 lock-free여도 전체 함수의 모든 의존성이 그런 것은 아닙니다. 최악 지연·throughput·공정성을 따로 측정합니다.

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

lock-free는 전체 시스템의 어떤 연산이 계속 진행하는 성질이지 모든 스레드가 제한된 단계 안에 끝나는 보장은 아닙니다. wait-free는 개별 연산의 제한된 진행을 더 강하게 요구합니다.
최악 지연·throughput·공정성을 따로 측정합니다.

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

다음 핵심 구분을 반대로 설명하거나 성립 조건을 생략한다: lock-free는 전체 시스템의 어떤 연산이 계속 진행하는 성질이지 모든 스레드가 제한된 단계 안에 끝나는 보장은 아닙니다.

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

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

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