Windows의 경쟁 조건을 가진 프로그램,하지만 우분투에서 경쟁 조건을 강조하기 위해 설계 과제에

Question

, 우리는 다음과 같은 코드

public class IncreaseDecrease { 

    public static int IntegerVariable = 0; 
    public static final int NUM_ITER = 5000000; 

    public static void main(String[] args) throws Exception { 

     Increase inc; 
     Decrease dec; 

     while (true) {   
      inc = new Increase(); 
      dec = new Decrease(); 

      inc.start(); 
      dec.start(); 

      inc.join(); 
      dec.join(); 

      System.out.println(IntegerVariable); 
      IntegerVariable = 0; 
      Thread.sleep(750); 
     } 
    } 
} 

class Increase extends Thread { 

    @Override 
    public void run() { 
     for (int i = 0; i < IncreaseDecrease.NUM_ITER; i++) { 
      IncreaseDecrease.IntegerVariable++; 
     } 
    } 
} 

class Decrease extends Thread { 

    @Override 
    public void run() { 
     for (int i = 0; i < IncreaseDecrease.NUM_ITER; i++) { 
      IncreaseDecrease.IntegerVariable--; 
     } 
    } 
} 

각 스레드는 업데이트 할 수 있습니다 경우 0을 인쇄 할 것으로 예상된다이 코드를 받았다 없습니다 다른 값이 읽기 전에 값이 읽히지 만 경쟁 조건으로 인해 발생하지 않으면 -5000000에서 5000000 사이의 값을 인쇄 할 수 있습니다. Windows 및 repl.it에서이 코드를 실행하여 예상 출력을 얻었습니다. -310951 -1918567 -3374495 -3219135 -2286639 -3221055 -3794319 -2442047 -2776415 -3617391 하지만 우분투에서는 실행할 때마다 매번 0을주었습니다.

제 질문은 왜 이런 일입니까? 우분투는 스레드를 다르게 관리합니까, 아니면 내 컴퓨터의 특별한 경우입니까?

편집 : 다른 방법으로 증가분을 넣고 한 번 더 작업을 추가 한 후 경쟁 조건을 관찰했습니다.

public class IncreaseDecrease { 

    public static int IntegerVariable = 0; 
    public static final int NUM_ITER = 5000000; 

    public static void main(String[] args) throws Exception { 

     Increase inc; 
     Decrease dec; 

     while (true) {   
      inc = new Increase(); 
      dec = new Decrease(); 

      inc.start(); 
      dec.start(); 

      inc.join(); 
      dec.join(); 

      System.out.println(IntegerVariable); 
      IntegerVariable = 0; 
      Thread.sleep(750); 
     } 
    } 
    public static void increment() 
    { 
     IntegerVariable++; 
     double a = Math.pow(3, 7); 
    } 
    public static void decrement() 
    { 
     IntegerVariable--; 
     double a = Math.pow(3, 7); 
    } 
} 

class Increase extends Thread { 

    @Override 
    public void run() { 
     for (int i = 0; i < IncreaseDecrease.NUM_ITER; i++) { 
      IncreaseDecrease.increment(); 
     } 
    } 
} 

class Decrease extends Thread { 

    @Override 
    public void run() { 
     for (int i = 0; i < IncreaseDecrease.NUM_ITER; i++) { 
      IncreaseDecrease.decrement(); 
     } 
    } 
} 

Answer 1

나는 사지에 나가서 줄과 Windows에서하지 않는 동안 핫스팟이 리눅스에서 더 그럴듯한 설명은 서버 컴파일러입니다 사용한다고 주장 : 컴파일러는 단일로 전체 루프를 대체 할 수 있습니다 표현은 HotSpot이 확실히 할 수있는 것입니다. 모든 원시 메소드를 추가하면 불가능하므로 경쟁 조건을 훨씬 더 준수 할 수 있습니다.

이 경우도 마찬가지라고 생각합니다.

IntegerVariable volatile을 만들려고 했습니까? 이것은 발생할 수있는 일부 컴파일러 최적화를 방지합니다.

public static volatile int IntegerVariable = 0; 

Answer 2

그들이 진정하고 효율적으로 균일하게 처리를 인터리브 것을 자바 스레드에 대한 일반적인 오해가있다 : 여기에 최종 코드입니다. 실제로는 사실이 아니며 서로 다른 시스템의 다른 JVM은 다르게 작동합니다.

JVM이 스레드를 전환하기로 결정할 때 모두 발생합니다. JVM은 아마도 Thread.sleep()이나 블로킹 메소드 인 synchronized 또는 lock에 도달 할 때마다 스레드를 전환 할 것입니다. 그러나 일반적으로 스레드가 블로킹 등을 수행하지 않으면 스레드를 실행할 수 있습니다.

루프는 일시 중지없이 값을 증가 및 감소시킬 때 회전합니다. 루프에 Thread.sleep(0) 호출을 추가하면 JVM에서 스레드를/밖으로 전환 할 수있는 더 많은 기회를 제공하므로 차이가 발생할 수 있습니다.

for (int i = 0; i < IncreaseDecrease.NUM_ITER; i++) { 
     IncreaseDecrease.IntegerVariable--; 
     // Add this. 
     Thread.sleep(0); 
    }