Dekker 's Algorithm for 3 processes (작동하지 않는다)

Question

나는 Dekker 's Algorithm으로 간단한 프로그램을하려고하는데, 3 개의 프로세스가있다. 내 코드는 다음과 같습니다.

class DekkerAlg { 

static final int iter = 2000000; 
static volatile int sharedResource = 0; 
/* Thread P wants to enter in the CS */ 
static volatile boolean wantp = false; 
/* Thread Q wants to enter in the CS */ 
static volatile boolean wantq = false; 
/* Thread R wants to enter in the CS */ 
static volatile boolean wantr = false; 
/* Who's next? */ 
static volatile int turn = 1; 

    class P extends Thread { 
     public void run() { 
      for (int i=0; i<iter; ++i) { 
       wantp = true; 
       while (wantq || wantr) { 
        if (turn == 2 || turn == 3) { 
         wantp = false; 
         while (turn == 2 || turn == 3) 
          Thread.yield(); 
         wantp = true; 
        } 
       } 

       ++sharedResource; 

       turn = 2; 
       wantp = false; 
      } 
     } 
    } 

    class Q extends Thread { 
     public void run() { 
      for (int i=0; i<iter; ++i) { 
       wantq = true; 
       while (wantp || wantr) { 
        if (turn == 1 || turn == 3) { 
         wantq = false; 
         while (turn == 1 || turn == 3) 
          Thread.yield(); 
         wantq = true; 
        } 
       } 

       --sharedResource; 

       turn = 3; 
       wantq = false; 
      } 
     } 
    } 

    class R extends Thread { 
     public void run() { 
      for (int i=0; i<iter; ++i) { 
       wantr = true; 
       while (wantp || wantq) { 
        if (turn == 1 || turn == 2) { 
         wantr = false; 
         while (turn == 1 || turn == 2) 
          Thread.yield(); 
         wantr = true; 
        } 
       } 

       ++sharedResource; 

       turn = 1; 
       wantr = false; 
      } 
     } 
    } 

    DekkerAlg() { 
     Thread p = new P(); 
     Thread q = new Q(); 
     Thread r = new R(); 
     p.start(); 
     q.start(); 
     r.start(); 

     try { 
      p.join(); 
      q.join(); 
      r.join(); 
      System.out.println("Shared Resource value: " + sharedResource); 
      System.out.println("Should be 2000000."); 
     } 
     catch (InterruptedException e) {} 
    } 

    public static void main(String[] args) { 
     new DekkerAlg(); 
    } 
} 

내 코드가 100 % 맞는지 확실하지 않습니다. P가 CS에 들어가기를 원한다면, 먼저 Q 또는 R이 진입하려고하는지 확인해야하며, 자신의 차례가 아니라면 기다린다. 2000000 반복와 스레드 Q와 R.

• 와 같은 절차 : 프로그램 200 반복으로
• 에게 작동하지 않습니다 프로그램은 때때로

작동 내가 데커의 알고리즘이 작동하지 않는 것 같아요 3 프로세스하지만 내 코드가 올바른지, 왜 내 프로그램이 실패 하는지를 알아야합니다.

감사합니다. 그것에 대해

Answer 1

알고리즘의 특정 구현이 작동하는지 아이디어를 얻을려고, 이유 또는 테스트  을 ("증거"    정확성의).
구현시 Q에 에 P의 ID를 할당하고 R을 (인스턴스화, 시작 및) 참여시키지 마십시오.
하나의 실행 가능한 클래스의 인스턴스를 사용하는 리팩토링 : volatile유형[]는 유형의 배열 휘발성 참조를 선언 - 당신이 뭔가를해야합니다.

세 개 이상의 프로세스가있는 경우 확장자가 없으면 turn을 다른 값 (완료 또는 종료)으로 설정하지 않는 프로세스의 ID로 설정하고 다른 프로세스 완료 또는 종료되지 않았습니다.

---

어려운 부분은 mutual exclusion for 3 processes […] without [changing Dekker's] entire algorithm 될 것이다 - 당신이 뮤텍스 구현의 역사를 되돌아 자신을 찾을 수 있습니다.
초기 모델은 JVM Memory Model과는 다른 많은 메모리 모델로 만들어졌습니다.