一个经典的并发导致异常的场景

Posted 2020-11-10 梁桦

源码：

package lsh.concurrency.examples;

public class Novisibility {
    private static boolean ready;
    private static int number;
    private static int count = 0;
    
    private static class ReaderThread extends Thread{
        @Override
        public void run(){
            while(!ready){
                count++;
                Thread.yield();
                try {
                    Thread.sleep(1000);
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
                System.out.println("count= "+count+"; ready= "+ready +" ;number= "+number);
            }
        }
    }
    
    public static void main(String[] args) {
            new ReaderThread().start();
            number = 42;
            try {
                System.out.println("开始休息前， ready= "+ready);
                Thread.sleep(5000);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            ready = true;
            System.out.println("休息够了, ready = "+ready );
    }

}

执行结果：

开始休息前， ready= false
count= 1; ready= false ;number= 42
count= 2; ready= false ;number= 42
count= 3; ready= false ;number= 42
count= 4; ready= false ;number= 42
休息够了, ready = true
count= 5; ready= true ;number= 42

特别留意最后一行里的ready，值为 true。while进入循环的条件明明是ready = false，但是最后一个输出结果怎么是true？

ps. 不是每次输出结果都会像上面那样。

 

 

原因分析：

while循环最后1秒的时候，主线程里的, ready = true; 这行代码先于子线程里while循环语句的输出。故主线程先修改了ready的值为true，等到子线程再次去读ready的值时(已经执行完了while的循环条件判断，判断时时ready的值为false)，第二次读ready得到的值已经是true了。

 

 

补充：如果在while循环的输出之前，将ready = true时的值保存到一个文件里，会发现难易拿到ready的值，因为此时ready的值仍为false； 而如果在while循环的输出之后，对ready = true时，将其值保存到一个文件里，是一件相对容易的事情，因为此时ready值已经为true。