实践中的Java并发-示例14.12

Question

// Not really how java.util.concurrent.Semaphore is implemented
@ThreadSafe
public class SemaphoreOnLock {
    private final Lock lock = new ReentrantLock();
    // CONDITION PREDICATE: permitsAvailable (permits > 0)
    private final Condithtml" target="_blank">ion permitsAvailable = lock.newCondition();
    @GuardedBy("lock") private int permits;

    SemaphoreOnLock(int initialPermits) {
        lock.lock();
        try {
            permits = initialPermits;
        } finally {
            lock.unlock();
        }
    }

/* other code omitted.... */

我对上面的示例有一个疑问，该示例是从 练习 清单14.12计数使用锁实现的信号量的 Java并发中 提取的。

我想知道为什么我们需要在构造函数中获取锁（如所示的lock.lock（）被调用）。据我所知，构造函数是 原子的
（引用转义除外），因为没有其他线程可以获取该引用，因此，其他线程看不到一半构造的对象。因此，我们不需要构造函数的同步修饰符。此外，只要对象被安全发布，我们也不必担心
内存可见性 。

那么，为什么我们需要在构造函数中获取ReentrantLock对象？

Answer 1

半构造对象对其他线程不可见

这不是真的。如果对象具有任何 非最终/易失性
字段，则该对象在构造时对其他线程可见。因此，其他线程可能会看到一个默认值，permits即0可能与当前线程不一致的默认值。

Java内存模型为不可变对象（仅具有最终字段的对象）提供了 初始化安全性
的特殊保证。对另一个线程可见的对象引用并不一定意味着该对象的状态对于使用线程是可见的-JCP $3.5.2

从清单3.15中的Java并发实践中：

似乎在构造函数中设置的字段值似乎是写入这些字段的第一个值，因此没有“旧”值被视为过时的值，但在子类构造函数运行之前， Object
构造函数首先将默认值写入所有字段。因此，可以将字段的 默认 值视为 过时的 值。