• 은행원 알고리즘(회피)

    https://velog.io/@minu-j/운영체제-만화로-알아보는-은행원-알고리즘-교착상태-회피-알고리즘

    수요가 공급보다 많을 때, 작업들을 처리할 수 있는 안전순서열 이 확보된 상태인지 확인함을써 데드락을 방지한다.

    데드락 방지기법중 회피에 해당한다.

    한정적인 자원에 대해, 수요가 많을 때 사용할 수 있는 방법이다.

    A, B, C가 요구하는 자원의 합이 보유한 자원의 양을 넘어서지만, A, B, C중 특정 프로세스에게 자원을 집중시켜 해당 프로세스를 완료시킬 수 있다. A,B,C에 대해 앞선 방법으로 처리가 가능한 순선열이 존재하는 상태를 안전상태라고 한다.

    자원할당전 안전상태를 유지할 수 있는지 사전에 판단하는 알고리즘이다.

  • 자원할당 그래프(회피)

    https://wannabe-gosu.tistory.com/26

    자원가 프로세스를 노드로 만들고 자원할당, 자원요구에 대한 그래프를 만든다.

    순환이 발생한다면 2가지 경우가 있다.

    • 사이클에 포함되는 자원 A에 대한 인스턴스가 1개인경우(A라는 자원의 Available한 자원 수)
      • 무조건 데드락상태
    • 자원이 2개이상인 경우
      • 데드락 위험상태

    데드락 방지기법중 회피에 해당한다.