神奇的线程安全问题

    读完了《Java并发编程实践》这本书以后，以为对一般的线程安全问题有一个大概的理解，但是今天遇到的这个问题着实非常神奇，在书中也没有被提到过，这里特别记录下来。

 

public class Test {
    public void test1(O o) throws Exception {
        System.out.println("begin o:" + o.getId() + " " + o.getName());
        if (o.getId() == 1) {
            Thread.sleep(10000);
            System.out.println("o1:" + o.getId() + " " + o.getName());
        }

        if (o.getId() == 2) {
            System.out.println("o2:" + o.getId() + " " + o.getName());
        }
        System.out.println("end o:" + o.getId() + " " + o.getName());
    }

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

        final O o1 = new O(1, "o1");
        Thread t1 = new Thread() {
            @Override
            public void run() {
                try {
                    Test test = new Test();
                    test.test1(o1);
                } catch (Exception e) {
                    e.printStackTrace();
                }
            }
        };
        Thread t2 = new Thread() {
            @Override
            public void run() {
                try {
                    o1.setId(2);
                    o1.setName("o2");
                    Test test = new Test();
                    test.test1(o1);
                } catch (Exception e) {
                    e.printStackTrace();
                }
            }
        };
        t1.start();
        Thread.sleep(10);
        t2.start();

    }
}

class O {

    public O(int id, String name) {
        super();
        this.id = id;
        this.name = name;
    }

    private int id;
    private String name;

    public int getId() {
        return id;
    }

    public void setId(int id) {
        this.id = id;
    }

    public String getName() {
        return name;
    }

    public void setName(String name) {
        this.name = name;
    }
}

 

    两个线程先后启动，传入的是不同状态的同一对象。在test1方法的第一条打印中可以看出来，参数对象的状态是不同的，但是当第一个线程在第一个判断处休眠第二个线程开始执行以后，第一个线程打印出来的状态就和之前不一致了，其状态和第二个参数对象的状态一样。按照理论，方法执行以后，JVM会在独立的线程中压入一个方法栈，栈中会包含一个方法执行所需要的所有元素（包括代码和参数），这里为什么会出现方法执行到一半的时候参数状态改变呢？

 

    推测：因为方法栈中压入的是一个对象的指针，而不是整个对象，所有当对象的状态被改变的时候还是可以第一时间被独立线程所察觉，所以尽管已经进入了方法栈，还是会引起对象状态的改变。

 

    以后在处理多线程的问题时，必须要所用无状态Immutable的VO对象。这样才能保证线程安全