베이커리 알고리즘(Bakery Algorithm)에 대한 증명
페이지 정보
작성일 22-10-20 04:27
본문
Download : 베이커리 알고리즘(Bakery Algorithm)에 대한 증명.hwp
→ 자신의 임계구역에 들어가기 전에 프로세스들은 번호를 부여받게 된다 동시에 두 프로세스가 임계구역에 돌입할 준비를 하면서 같은 번호표를 받는 경우가 발생할 수 있는데(+1을 한참하려는 와중에 또 다른 프로…(투비컨티뉴드 )
레포트/기타
%EC%97%90%20%EB%8C%80%ED%95%9C%20%EC%A6%9D%EB%AA%85_hwp_01.gif)
%EC%97%90%20%EB%8C%80%ED%95%9C%20%EC%A6%9D%EB%AA%85_hwp_02.gif)
베이커리 알고리즘(Bakery Algorithm)에 대한 증명에 대한 reference(자료)입니다.
Download : 베이커리 알고리즘(Bakery Algorithm)에 대한 증명.hwp( 70 )
운영체제3베이커리알고리즘
순서
,기타,레포트
베이커리 알고리즘(Bakery Algorithm)에 대한 증명
다. 프로세스 id는 유니크하며 전체적으로 순서를 이룬다.(choosing은 대기번호 number를 부여받는 중임을 다른 프로세스에게 알리는 역할을 한다.
boolean choosing
int number
CS에 진입하고자 하는 프로세스는 자기 choosing을 true로 세팅하고 자기 number를 다른 프로세스들이 갖고 있는 number값 중에서 가장 큰 값에 1 더한 값으로 세팅한다.설명
베이커리 알고리즘(Bakery Algorithm)에 대한 증명에 대한 자료입니다. 운영체제3베이커리알고리즘 , 베이커리 알고리즘(Bakery Algorithm)에 대한 증명기타레포트 ,
1. 알고리즘 설명(explanation)
상점에 들어온 고객들은 대기번호를 하나씩 받는다.) 그리고 일일이 다른 프로세스들을 조사하면서 대기하는데, 모든 프로세스의 choosing이 false가 될 때까지(다른 프로세스들이 자기의 대기번호를 받을 때까지 대기), 그리고 다른 프로세스의 number값이 자기보다 크거나, 같더라도 자기의 id가 더 낮을 때까지 기다린다. 가장 낮은 대기번호를 갖고 있는 고객이 다음번에 빵을 살 수 있다
불행하게도 베이커리 알고리즘은 두개의 프로세스가 똑같은 번호를 받지 않을 것이란 걸 보장하지 못한다.(두개의 프로세스가 같은 번호를 받을 수 있다 ) 이 경우 낮은 이름을 갖고 있는 프로세스가 먼저 처리된다 즉 대기번호는 같을지라도 프로세스 id가 더 낮은 프로세스가 먼저 생성된 거라고 말할 수 있기에 먼저 처리되는 것이다. 이렇게 기다리다가 조건을 만족하게 되면 CS로 진입하고 CS를 모두 처리하고 나오면서는 자기의 number를 0으로 세팅한다.
2. 알고리즘 증명
1) 상호 배제(Mutual exclusion) : 한 프로세스가 자신의 임계구역에서 수행 중이면, 다른 프로세스들은 자신의 임계구역에 들어갈 수 없다. 그리고 다시 choosing을 false로 전환한다.
