Integer 对象的同步块

Question

我刚刚在 Java 中遇到了同步块，并编写了一个小程序来测试它是如何工作的。

我创建了 10 个线程，并让每个线程将一个 Integer 对象递增 1000 次。

所以在同步的情况下，我会假设所有线程完成工作后的结果为 10000，而没有同步的结果小于 10000。

但是，同步并没有像我预期的那样工作。

我猜这与对象的不变性有关。

我的程序：

public class SyncTest extends Thread{

    private static Integer syncObj = new Integer(0);
    private static SyncTest[] threads = new SyncTest[10];

    private boolean done = false;

    public void run(){
        for(int i = 0; i < 1000; i++){
            synchronized(syncObj){
                syncObj ++;
            }
        }
        done = true;
    }

    public static void main(String[] args) {

        for(int i=0; i < threads.length; i++){
            threads[i] = new SyncTest();
            threads[i].start();
        }

        while(!allDone()); //wait until all threads finished

        System.out.println(syncObj);
    }

    private static boolean allDone(){
        boolean done = true;
        for(int i = 0; i < threads.length; i++){
            done &= threads[i].done; 
        }

        return done;
    }
}

有人可以澄清一下吗？

Answer 1

syncObject 每次 ++ 时都会发生变化（++ 将其转换为原始 int，递增，然后将其自动装箱回 Integer 对象。整数对象是不可变的……一旦创建，它们无法改变。

底线是你没有在所有线程中使用相同的syncPObj，不同的线程在不同的时间使用不同的syncObjects来同步。

使用一个对象作为同步对象（称为syncObj），并将其声明为最终对象：

private static final Object syncObject = new Object(); 

那么你的计数器应该是性能的原始（int），称之为“计数器”或其他东西。

在syncObject上同步，并增加计数器。

编辑：根据@jsn，done 标志也被破坏，因为您的代码在 isAllDone() 方法上有一个“紧密循环”，这是不好的做法。您应该使用 thread[i].join() 等待（阻塞）每个线程的完成，然后从中检查状态。使用 ExecutorService 是“正确的方法”。

Answer 2

假设这是因为 Integer 对象的不变性。

我已将同步块更改为

Integer old = syncObj;
syncObj ++;
System.out.println(syncObj == old);

我的控制台充满了falses

所以每次我增加Integer 时都会创建一个新对象。

因此我只从旧的Object中读取，它不会被锁定。

Answer 3

这些操作通常使用Atomic 完成。看看here。这些结构专为多线程计算而设计。正常的实现不是线程安全的。