スレッドセーフなスレッドと非スレッドセーフなカウンタの実装

Question

これは学校の割り当てですが、私は実際にこの問題を解決する必要があります。私の人生のために、nextValue()の2つの異なるバージョンが異なって振る舞う理由を理解できません.1つはスレッドセーフで、もう1つは違うのです。誰かが私に正しい方向へのポインタを少なくとも与えることはできますか？

た

public class NumGenerator { 

    static final int MIN_VALUE = -256; 
    static final int MAX_VALUE = 255; 
    static final int INITIAL_VALUE = MIN_VALUE -1; 


    private final AtomicInteger counter = new AtomicInteger(INITIAL_VALUE); 
    private final AtomicInteger resetCounter = new AtomicInteger(0); 

    private final Object lock = new Object(); 

    // Thread safe 
    public int nextValue() { 
     int next = counter.incrementAndGet();  
     if (next > MAX_VALUE) {       
      synchronized (lock) {      
       next = counter.incrementAndGet(); 
       if (next> MAX_VALUE) {     
        counter.set(MIN_VALUE); 
        resetCounter.incrementAndGet(); 
        next = MIN_VALUE; 
       } 

      } 
     } 
     return next; 
    } 

    // Non thread safe 
    public int nextValue() { 
     int next = counter.incrementAndGet(); 
     if (next > MAX_VALUE) { 
      synchronized (lock) { 
       int i = counter.get(); 
       if (i > MAX_VALUE) { 
        counter.set(INITIAL_VALUE); 
        resetCounter.incrementAndGet(); 
       } 
       next = counter.incrementAndGet(); 
      } 
     } 
     return next; 
    } 
} 

Answer 1

がのが値を言ってみましょう...私は下の同じクラスの両方のバージョンを用意しましたが、明らかに、彼らは両方のコードに存在していないよ：MIN_VALUE = -1、MAX_VALUE = 3 、カウンタ= 3

コード1：

synchronized (lock) {      
       next = counter.incrementAndGet(); 
       if (next> MAX_VALUE) {     
        counter.set(MIN_VALUE); 
        resetCounter.incrementAndGet(); 
        next = MIN_VALUE; 
       } 

      } 

1. はインクリメントカウンタの値を計算し、それを比較に使用します。
2. したがって、nextの値は4になります。if(next > MAX_VALUE)はif（4> 3）になります。これはnextの値を-1に変更して返します。

コード2：

synchronized (lock) { 
       int i = counter.get(); 
       if (i > MAX_VALUE) { 
        counter.set(INITIAL_VALUE); 
        resetCounter.incrementAndGet(); 
       } 
       next = counter.incrementAndGet(); 
      } 

1. 次に比較対抗するために値を割り当てます。
2. iの値は依然として3になります。if(i > MAX_VALUE)はif（3> 3）になりますが、出力として3を返しません。

incrementAndGetおよびgetが異なる。 同じ値を持つコードが異なる出力を返しています。 最初に値を増分してから条件をチェックし、もう1つは値を最初にチェックしてから操作を実行します。

if（variable> MAX_VALUE）内のコードでも出力が異なります。

これはスレッドの安全性とは関係ありません。

Answer 2

考えてみてください。どちらの方法もスレッドセーフです。どちらの方法でも同期されているためです。 synchronizedブロックはスレッドの安全性のために使用されます。

Answer 3

どちらもスレッドセーフです。おそらく、コードをテストする方法をコードに貼り付けることができます。問題はそこにあるかもしれません。