Question

我期待这段代码是线程安全的。我跑了几次，但得到了不同的结果。但是，如果我取消注释sleep(1000)部分，它每次打印10000（至少从我的测试运行结果）。

那有什么不对？可能与thread.join()有关吗？

public class Test implements Runnable{

    private int x;

    public synchronized void run(){
            x++;
    }

    public static void main(String args[]){
        Test test = new Test();
        Thread thread = null;
        for (int i = 0; i < 10000; i++) {
            thread = new Thread(test);
            try {
                thread.join();
            } catch (InterruptedException e) {}
            thread.start();
        }
//        try {
//          Thread.sleep(1000);
//      } catch (InterruptedException e) {
//          e.printStackTrace();
//      }
        System.out.println(test.x);
    }
}

编辑：哎呀，我的坏。我误解了Thread＃join函数的方式。并且run()方法同步是一个坏主意。

Answer 1

应在thread.join()之后调用{p> thread.start()。

join()表示“阻塞直到线程完成”。只有在线程启动后才有意义。

据推测，您的Thread.sleep()调用实际上等待所有线程（您实际上没有加入）完成。没有它，当你打印出x的值时，线程可能都没有完成。

Answer 2

这里有两个问题：

主线程在所有工作线程之前完成的竞争条件。
内存可见性问题，主线程无法保证看到x的更新值。

使用Object＃wait实现Thread＃join。使用的条件变量是线程上的活动标志：

groovy:000> new Thread().isAlive()
===> false

Thread.join在线程启动之前检查alive标志，因此isAlive返回false并且在线程可以启动之前返回join。计数器最终仍然会增加，但由于该线程没有发生连接，因此主线程可能会在所有线程都可以执行之前打印出x的结果。

添加睡眠会让所有线程有足够的时间来完成x，这是主线程打印出来时所期望的。

除了竞争条件之外，还存在内存可见性问题，因为主线程直接访问x并且没有使用与其他线程相同的锁。您应该使用synchronized关键字为您的Runnable添加一个访问者：

public class Test implements Runnable{

    private int x;

    public synchronized void run(){
        x++;
    }

    public synchronized int getX() {
        return x;
    }

并更改主要方法以使用访问者：

    System.out.println(test.getX());

内存可见性问题可能并不明显，因为它们取决于JVM对缓存和优化的积极程度。如果您的代码针对生产中的其他JVM实现运行，并且您没有充分防范这些问题，那么您可能会在那里看到错误，无法在PC上本地重现。

使用AtomicInteger可以简化此代码，并允许在删除同步时解决内存可见性问题。

Answer 3

您不要将synchronized添加到run方法。每个线程都有自己的。

您必须同步可变的共享数据。在你的情况下，这是integer x。您可以同步获取/设置或使用AtomicInteger。

这段代码不是线程安全的吗？

3 个答案: