0
나는 피터슨 알고리즘 증명을 봤는데 대부분의 사이트가 진행 요구 사항을 증명하는 것을 방해하지 않는다는 것을 알아 차렸다. 왜 그런가? 누군가 설명 할 수 있습니까?기아가 없음을 증명하면 교착 상태 또는 라이브 록 (진행)이 없음을 증명할 필요가 없습니다.
A
답변
0
만약 당신의 질문을 이해한다면, 기아가 없다는 것은 교착 상태/라이브 로직이 없다는 것을 의미하는 간단한 대답입니다 : 굶주린 프로세스가 없다면, 진행할 모든 프로세스가 결국 그렇게 될 수 있습니다. 교착 상태가 아니어야한다. 이것은 각 개념의 정의에서 쉽게 따릅니다.