기어가더라도 제대로

서로 프로세스가 서로가 보유하고 있는 자원을 요청하는 경우 그래프 모델과 상태 전이 모델로 나타낼수 있다. 그래프 모델은 자료구조 보듯이 보면 된다. 서로 자원 할당과 요청 사이에서 Cycle 이 돌고 있다면 데드락이다. 자원에서 프로세스로 에지가 간다면 자원 할당 프로세스에서 자원으로 에지가 간다면 자원 요청 프로세스의 상태를 표로 나타낸 모델 예를 들어, 하나의 프로세스가 자원 두개를 요청할 수 있는 상태를 5가지로 나타낼 수 있다. 프로세스가 2개인 모습을 그리기엔 조금 복잡해질 수 있다. ‏‏ 두개의 프로세스가 자원 두개를 요청할 수 있는 경우의 상태를 나타낸 표이다. 간선에 지나가는 숫자는 해당 프로세스 id 이다. 정점을 하나씩 지나가는 경우는 자원을 요청하거나, 유지하는 경우이다. 정점을 두..