整数对象的同步块

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对象。Integer对象是不可变的……一旦创建，它们就无法更改。

最重要的是，您并没有在所有线程中使用相同的syncPObj，不同的线程在不同的时间使用不同的syncObject进行同步。

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

private static final Object syncObject = new Object(); 

然后，您的计数器应该是用于性能的原始（int），称为“计数器”之类的东西。

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

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

Answer 2

如所假定的，这是因为Integer对象的不可变性。

我已将同步块更改为

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

并且我的控制台充满了false

因此，每次我增加Integer一个新对象。

因此，我仅从旧对象读取，并且不会被锁定。

Answer 3

这些操作通常是通过Atomic完成的。 在这里看看。 这些结构是专为多线程计算而设计的。 普通的实现不是线程安全的。