Eventcount / Sequencer

은행의 번호표와 비슷한 개념

 

Sequencer

- 정수형 변수

- 생성시 0으로 초기화, 감소하지 않음

- 발생 사건들의 순서 유지

- ticket() 연산으로만 접근 가능

 

ticket(s)

- 현재까지 ticket() 연산이 호출 된 횟수를 반환

- Indivisible operation

 

Eventcount

- 정수형 변수

- 생성시 0으로 초기화, 감소하지 않음

- 특정 사건의 발생 횟수를 기록

- read(E), advance(E), await(E,v) 연산으로만 접근 가능

 

read(E)

- 현재 Eventcount 값 반환

 

advance (E)

- E<- E+1

- E를 기다리고 있는 프로세스를 깨움

 

await(E,v)

- V는 정수형 변수

- if(E<v ) 이면 E에 연결된 Q 에 프로세스를 전달(push) 및 CPU schduler 호출

 

 

 

 

await 의 E< v  일때 는 기다린다 이것을 토대로 여러 Process 들을  관리 할수 있다.