要同步哪些对象？为什么局部变量不好？ [复制]

Question

关于同步的堆栈溢出有很多资料，但我仍然没有获得关于决定将哪个对象用作内在锁的高质量内容。根据经验，有人真的能做出一个好的答案吗？

那么我应该选择“监视器”作为实例变量还是局部变量或拥有该方法的实例？他们三个都很好地完成了这项工作。原始值包装类也使用“池”，因此也没有问题，因为线程“攻击”相同的锁。

那么为什么这样做更好（这个）：

class A {
    void methodA(){
        synchronized (this){
            //some code    
        }
    }
}

对此（实例变量）：

class A {
    String monitor = "monitor";
    void methodA(){
        synchronized (monitor){
            //some code
        }
    }
}

或者超过这个（局部变量）：

class A {
    void methodA(){
        String monitor = "monitor";
        synchronized (monitor){
            //some code
        }
    }
}

它们都工作正常/相同。那么为什么我读到当局部变量隐式使用池来存储对象时我应该避免使用它们呢？在这种情况下，变量的范围有什么影响？

谢谢！

Answer 1

您应该避免使用存储在局部变量中的对象的监视器，因为通常只有当前线程可以访问存储在局部变量中的对象。但由于在这种特殊情况下，局部变量实际上保存了一个来自常量池的全局共享对象，因此您不会遇到这个特殊问题。

使用常量池对象监视器的问题如下：

String monitor = "monitor";
void methodA() {
    synchronized (monitor){
        //some code
    }
}

...是只有一个池化的常量对象。

在 A 类的两个不同实例上运行的两个不同线程不能同时进入 methodA 中的同步块，即使您已确保它应该是安全的（例如，您不触摸静态共享状态） )。

更糟糕的是：其他地方可能还有其他一些 B 类，它也恰好在常量“monitor”字符串上同步。现在使用 B 类的线程将阻止其他不相关的线程使用 A 类。

最重要的是，创建deadlock 非常容易，因为您会在不知不觉中在线程之间共享锁。