在Java中线程同步的经典案例,不同线程对同一个对象同时进行多线程操作,为了保持线程安全,数据结果要是我们期望的结果。

  生产者-消费者模型可以很好的解释这个现象:对于公共数据data,初始值为0,多个线程对其进行增加或者减少,但是我们的目的是无论多少个线程同时操作他,结果都是:当data=0时,只能进行增加,data=1时只能进行减少。

  由于代码比较简单,就把所有的类都写在同一个类里面,以静态内部类的形式出现,这样比较节省篇幅。

1.线程不安全:



public class Test {
    public static void main(String[] args) {
        Resouce resouce = new Resouce();
        for(;;) {
            new Thread(new Run1(resouce)).start();
            new Thread(new Run2(resouce)).start();
        }
    }

    static class Run1 implements Runnable {
        private Resouce resouce;

        public Run1(Resouce resouce) {
            this.resouce = resouce;
        }

        public void run() {
            resouce.add();
        }
    }

    static class Run2 implements Runnable {
        private Resouce resouce;

        public Run2(Resouce resouce) {
            this.resouce = resouce;
        }

        public void run() {
            resouce.minus();
        }
    }

    static class Resouce {
        public int data = 0;

        public void add() {
            data++;
            System.out.println(data);
        }

        public void minus() {
            data--;
            System.out.println(data);
        }
    }
}

输出结果:不是0、1交替出现,因此线程不安全。



2.线程安全:



public class Test {
    public static void main(String[] args) {
        Resouce resouce = new Resouce();
        for(;;) {
            new Thread(new Run1(resouce)).start();
            new Thread(new Run2(resouce)).start();
        }
    }

    static class Run1 implements Runnable {
        private Resouce resouce;

        public Run1(Resouce resouce) {
            this.resouce = resouce;
        }

        public void run() {
            resouce.add();
        }
    }

    static class Run2 implements Runnable {
        private Resouce resouce;

        public Run2(Resouce resouce) {
            this.resouce = resouce;
        }

        public void run() {
            resouce.minus();
        }
    }

    static class Resouce {
        public int data = 0;

        public synchronized void add() {
            while (data != 0) {
                try {
                    wait();
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
            }
            data++;
            System.out.println(data);
            notify();
        }

        public synchronized void minus() {
            while (data == 0) {
                try {
                    wait();
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
            }
            data--;
            System.out.println(data);
            notify();
        }
    }
}

输出结果:0、1交替出现,线程安全。



来说明一下其中的信息:

  1.通过JDK源代码我们可以发现:对于new Thread(new Runnable() {@override run() {}}){@override run(){}}.start();这样的形式来说,事实上是new了一个Thread的子类,然后调用start(),同时参数又是实现了Runnable接口的类的实例,二者均重写了run()方法,那么此时如果都重写了run(),就调用new Thread() {}这里面的run方法,而如果仅仅是new Thread(new Runnable() {@override run() {}}).start();这样的形式就会调用参数里面的run方法,见Thread的源码:



public void run() {
    if (target != null) {
        target.run();
    }
    }



调用Thread的run方法,如果此时Thread的run方法没有被重写,并且target不为null,就调用target的run方法,target就是参数传进来的Runnable接口的实现类。

  2.既然上面第一点说到补充些Thread的run方法就调用参数的run方法,所以我们的测试main方法:



public static void main(String[] args) {
        Resouce resouce = new Resouce();
        for(;;) {
            new Thread(new Run1(resouce)).start();
            new Thread(new Run2(resouce)).start();
        }
    }



就会调用参数(Run1和Run2)的run方法,与此同时,我们分别在Run1和Run2的run方法里面调用Resouce类的add和minus方法,我们让Run1和Run2都持有Reasource这个对象的引用,并且是同一个引用,就实现了多个线程同时操作Resource的同一个实例。然后我们将逻辑(这里就是add和minus这两个同步方法)写在Resource里面。

  3.我们发现在add和minus这两个同步方法里面,add或者minus wait了一段时间被唤醒,他就会执行while块下面的代码,也就是



data++;
            System.out.println(data);
            notifyAll();



或者



data--;
            System.out.println(data);
            notifyAll();



这两个其中的一个,此时我们使用while来判断被唤醒,使用if也可以,不过这里最好是用while,因为,当线程被唤醒之后,while会再检查while的条件,如果不满足就继续睡眠,而if就直接执行下面的代码,原因是,我隐约的记得以前听张孝祥老师说有正在等待的线程有可能被伪唤醒,如果是被伪唤醒的话,不检查while条件,那么就会出现很严重的问题,所以这里要用while。而JDK的原话解释是这样的:“对于某一个参数的版本,实现中断和虚假唤醒是可能的”,说白了就是有可能不是被notify或者notifyAll唤醒,如果不是被这二者唤醒的,那么是不能让他继续执行的。

 

前面使用了synchronized+wait/notifyAll的组合,这二者在线程同步上面是一组的,而JDK还提供了另外一组更为灵活强大的线程同步工具, ReentrantLock+Condition,ReentrantLock就相当于synchronized,而Condition就类似与wait/notify,下面给出例子。



public class Resource {

    private final ReentrantLock lock = new ReentrantLock();
    private final Condition condition = lock.newCondition();
    
    private int num = 0;
    
    public void increase() {
        try {
            lock.lock();
            while(num == 1) {
                try {
                    condition.await();
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
            }
            num++;
            System.err.println(num + "-Thread ID: " + Thread.currentThread().getId());
            condition.signalAll();
        } finally {
            if(lock.isHeldByCurrentThread()) lock.unlock();
        }
    }
    
    public void decrease() {
        try {
            lock.lock();
            while(num == 0) {
                condition.await();
            }
            num--;
            System.err.println(num + "-Thread ID: " + Thread.currentThread().getId());
            condition.signalAll();
        } catch (InterruptedException e) {
            e.printStackTrace();
        } finally {
            if(lock.isHeldByCurrentThread()) lock.unlock();
        }
    }
    
    public static void main(String[] args) {
        final Resource r = new Resource();
        new Thread() {
            public void run() {
                while(true) r.increase();
            };
        }.start();
        
        new Thread() {
            public void run() {
                while(true) r.decrease();
            };
        }.start();
    }
}