您可以安全地同步 Java 方法参数吗？

Question

获取此代码：

public class MyClass {
    private final Object _lock = new Object();
    private final MyMutableClass _mutableObject = new MyMutableClass()

    public void myMethod() {
        synchronized(_lock) { // we are synchronizing on instance variable _lock
            // do something with mutableVar 
            //(i.e. call a "set" method on _mutableObject)
        }
    }
}

现在，想象一下将 myMethod() 中的代码委托给您传递锁的某个辅助类

public class HelperClass {
    public helperMethod(Object lockVar, MyMutableClass mutableVar) {
        synchronized(lockVar) { // we are now synchronizing on a method param, 
                                // each thread has own copy
            // do something with mutableVar 
            // (i.e. call a "set" method on mutableVar)
        }
    }
}

可以重写“myMethod”以通过传递它的锁变量来使用 HelperClass，这样一切仍然是线程安全的吗？即，

public void myMethod() {
    _helperObject.helperMethod(_lock, _mutableObject);
}

对此我不确定，因为 Java 会按值传递 lockVar，并且每个线程都会获得一个单独的 lockVar 副本（即使每个副本都指向堆上的同一个对象）。我想问题归结为“同步”关键字的工作原理——它是锁定变量还是变量引用的堆上的值？

Answer 1

同步是在对象上完成的，而不是变量。

变量/成员 [有时] 包含 objects，它是包含在 [variable] x 中的结果 object 实际上在 synchronized(x) 中同步。

变量的线程可见性还有一些其他问题（例如，可能从变量中读取“陈旧”对象），但这不适用于这里：没有重新分配 _lock 和可见性保证初始（“最终”）分配。因此可以保证，在这种情况下，方法参数将始终包含用于同步的正确（相同）对象。

但是，如果使用的锁定对象（可能_lock 不是最终的）发生更改，则需要重新评估适当的值/线程可见性，但与任何跨线程访问没有区别。

编码愉快。