베이커리 알고리즘에 대한 설명 및 4가지 사항 증명

소개글

베이커리 알고리즘에 대한 설명 및 4가지 사항 증명에 대한 보고서 자료입니다.

목차

1. 알고리즘 설명

2. 알고리즘 증명

본문내용

→ 베이커리 알고리즘은 각각의 프로세스들이 주체가 되어 이 알고리즘을 이용해서 자신이 임계구역에 들어가야 할지, 아니면 더 기다려야 할지를 결정한다. 따라서 앞서 두 프로세스간 알고리즘처럼 어떠한 조건식에 의해 다른 프로세스를 block하는 것이 아니라 대기번호, 프로세스번호의 순서에 의해 결정이 되는 것이기 때문에 상호 방해 요건을 충족시킨다.

키워드

베이커리,   알고리즘,   증명