IOI 첨부 문서

제 7회 국제 정보 올림피아드 3번문제의 첨부 문서

문서 1: 세마포어의 속성

문서 2: 클라이언트의 속성

문서 3: 메시지에 대하여

문서 4: 문제 A.3의 답안지

문서 5: 문제 A.1, A.2의 답안지 (내용없음)

문서 6: 과제 B의 설명과 답안지

문서 7: 문제 C.1의 답안지 (내용없음)

문서 8: 문제 C.2의 답안지 (내용없음)

문서 1: 세마포어의 속성

개체 종류: SEMAPHORE
인스턴스의 예: (SEMAPHORE(1), SEMAPHORE(2), SEMAPHORE(3),...)
상태: (S1, S2) 중 하나이며, 처음 상태는 S1
우선 순위 목록: SERVER(1), SERVER(2), ..., CLIENT(1), CLIENT(2),...

응답 절차

procedure Are_you_open?(Client,Semaphore)
begin
   if    State = S1
   then  State <- S2
         Send("Open(Semaphore,Client)")
   else
   if    State = S2
   then  Send("Closed(Semaphore,Client)")
end

procedure Ready(Server, Semaphore)
begin
   State <- S1
end

문서 2: 클라이언트의 속성

개체 종류: CLIENT
인스턴스의 예: (CLIENT(1), CLIENT(2), CLIENT(3),...)
상태: SA, SB, SC 중 하나이며 처음 상태는 SA
우선 순위 목록: CLIENT, SERVER(1), SERVER(2), ..., SEMAPHORE(1), SEMAPHORE(2), ..., USER(1), USER(2), ...
Countdown: 자연수이며, 초기값은 0.
Waiting_Period: 자연수
Semaphore_Index: 1부터 Number_of_Servers까지의 자연수
Number-of-Servers : 자연수

응답 절차

procedure C_Job(User,Client,Document)
begin
   if    State = SA
   then  State <- SB
         Send("Are_you_open?(Client,
         SEMAPHORE(Semaphore_Index))")
   else
   if    State = SB
   then  Send("Try_later(Client,User,
              Client_is_busy)")
   else
   if    State = SC
   then  Send("Try_later(Client,User,
            All_Servers_are_busy)")
end
 
procedure Open(Semaphore,Client)
begin
    if    State = SB
    then  State <- SC
          Send("S_Job(Client,Server,
                   Document)")
end
 
procedure Closed(Semaphore,Client)
begin
   Countdown <- Waiting_Period
   Send("Wait(Client,Client)")
end
 
procedure Wait(Client,Client)
begin
   Countdown <- Countdown - 1
   if    Countdown > 0
   then  Send("Wait(Client,Client)")
   else  Send("Are_you_open?(Client,
         SEMAPHORE(Semaphore_Index))")
end
 
procedure C_Ready(Server,Client)
begin
   State <- SA
end

문서 3: 메시지에 대하여

메시지 정보(i, j, k는 자연수)

문서 4: 문제 A.3의 답안지

문서 5: 문제 A.1, A.2의 답안지

문서 6: 과제 B의 설명과 답안지

C_Job와 Wait 함수에서 바뀐 부분에 밑줄을 그어 놓았다.

procedure C_Job(User,Client) begin if State = SA then State <- SB for Semaphore_Index <- 1 step 1 until Number_of_Servers Send("Are_you_open?(Client,SEMAPHORE(Semaphore_Index))") else if State = SB then Send("Try_later(Client,User,Client_is_busy)") else if State = SC then Send(,Try_later(Client,User,All_Servers_are_busy)') end

procedure Wait(Client,Client) begin if State = SB then Countdown <- Countdown -1 if Countdown > 0 then Send("Wait(Client,Client)") else if Countdown < 0 then Countdown <- 0 else for Semaphore_Index <- 1 step 1 until Number_of_Servers Send("Are_you_open?(Client,SEMAPHORE(Semaphore_Index))") end

과제 B의 정답으로 올바른 것을 표기하라.

(a) CLIENT(1)의 문서가 SERVER(1)과 SERVER(2)에서 인쇄될 것이다.
CLIENT(2)의 문서는 인쇄되지 않을 것이다.

(b) CLIENT(1)의 문서가 SERVER(1)에서 한 번 인쇄될 것이다.
CLIENT(2)의 문서가 SERVER(2)에서 한 번 인쇄될 것이다.

(d) CLIENT(1)의 문서가 SERVER(2)에서 한 번 인쇄될 것이다.
CLIENT(2)의 문서가 SERVER(2)에서 한 번 인쇄될 것이다.

(e) CLIENT(1)의 문서는 인쇄되지 않을 것이다.
CLIENT(2)의 문서가 SERVER(1)과 SERVER(2)에서 인쇄될 것이다.

문서 7: 문제 C.1의 답안지

문서 8: 문제 C.2의 답안지

제 12회 국제 정보 올림피아드 6번문제의 첨부 내용

types.in의 내용