在不可变对象上同步（Java）

Question

代码段-1

class RequestObject implements Runnable
{
    private static Integer nRequests = 0;

    @Override
    public void run()
    {       
        synchronized (nRequests)
        {
            nRequests++;
        }
    }
}

代码段-2

public class Racer implements Runnable
{
    public static Boolean won = false;

    @Override
    public void run()
    {
        synchronized (won)
        {
            if (!won)
            won = true;
        }
    }        
}

我在第一个代码段中遇到了竞争。我知道这是因为我正在获得对不可变对象（类型为Integer）的锁定。

我已经写了第二个代码片段，这再次使“布尔”不变。但这有效（输出运行中不显示竞争条件）。如果我正确理解了上一个问题的解决方案，则以下是出现问题的一种可能方法

1. 线程1锁定由指向的对象（例如A） won
2. 线程2现在试图获取由指向的对象的锁，won并进入A的等待队列。
3. 线程1进入同步块，验证A是否为假，并通过说出won = true（A认为自己赢得了比赛）创建了一个新对象（例如B ）。
4. “ won”现在指向B。线程1释放了对象A的锁定（不再由指向won）
5. 现在，处于对象A等待队列中的线程2被唤醒，并获得了对对象A的锁定，而对象A仍然是false（不可变地）。现在进入同步块并假定它也赢了，这是不正确的。

为什么第二个代码片段一直都能正常工作？

Answer 1

synchronized (won)
{
if (!won)
won = true;
}

在这里，您有一个暂时的竞争条件，您不会注意到，因为它在第一次执行该run方法后就消失了。在此之后，won变量不断指向的相同的实例Boolean表示true，其因此适当地用作互斥锁。

这并不是说您应该在实际项目中编写此类代码。应该将所有锁定对象分配给final变量，以确保它们永远不变。