Java并发模型-封装变量保证并发正确性

Java编码规范要求对变量的访问必须通过getter/setter，这样做，其实是最简单的确保线程安全的技术，叫做保证作用域不逸出。接下来，来看看封装变量，对并发结果有什么影响，注意CNT不是private的变量，意味着其他线程可以直接访问CNT，不需要经过incr()和getCNT()!

这是工具类：
public class PrivateFieldDemo {

    static int CNT = 0;

    public synchronized static void incr(){
        CNT++;
    }

    public synchronized  static int getCNT() {
        return CNT;
    }
}

这是测试用例：

public class ClosedFieldDemo {

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

        new Thread(){
            @Override
            public void run() {
                int i = 100000;
                while(i-- > 0) {
                    PrivateFieldDemo.incr();
                }
            }
        }.start();


        new Thread(){
            @Override
            public void run() {
                int i = 100000;
                while(i-- > 0) {
                    PrivateFieldDemo.incr();
                }
            }
        }.start();

        Thread.sleep(3000);
        System.out.println("After increasing, CNT is " + PrivateFieldDemo.getCNT());
    }
}

未封装变量的并发访问

 

一切看起来跟想象中一样美好，输出了正确结果，是不是不封装变量对并发结果正确性没影响？

我们把

PrivateFieldDemo.incr();

换成

PrivateFieldDemo.CNT++;

测试用例如下

public class ClosedFieldDemo {

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

        new Thread(){
            @Override
            public void run() {
                int i = 100000;
                while(i-- > 0) {
                    PrivateFieldDemo.CNT++;
                }
            }
        }.start();

        new Thread(){
            @Override
            public void run() {
                int i = 100000;
                while(i-- > 0) {
                    PrivateFieldDemo.incr();
                }
            }
        }.start();

        Thread.sleep(3000);
        System.out.println("After increasing, CNT is " + PrivateFieldDemo.getCNT());
    }
}

再次执行，结果如下：

未封装变量的并发访问

并发访问结果错误，原因就是CNT的作用域变大了，线程安全的对象必须限制变量的作用域！