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