关于线程安全代码的问题

Question

我有一个类如下

public MyClass{

Boolean flag = false;

    public Boolean getflag(){
       synchronized(flag){
          //BLOCK 1
          return flag;
       }
    }

    public Boolean setflag(){
       synchronized(flag){
           //BLOCK 2
           this.flag = flag;
       }
    }
}

两个方法都在对象标志上同步。现在我的疑问是两个不同的线程是否可以同时执行同步块（1＆2）。 会出现以下情况吗？ 1）线程1正在设置标志值，线程2同时获取其值？

Answer 1

是的，可以。请注意，您正在同步您正在设置的同一对象。因此，setter 可以将对象引用更改为不同的对象，然后 getter 可以在新对象上同步，而 setter 仍在同步块内。

但还有更多：flag（通常）是对系统范围单例 Boolean.TRUE 和 Boolean.FALSE 之一的引用，因此即使不以任何方式提及您的班级，（至少理论上）也可以在班级之外锁定这些内容。在这种情况下，您可能会陷入僵局，并且很难找出原因。

（另请注意，当前形式的代码是错误的，因为 setter 没有参数，因此 this.flag = flag 将引用分配给自身 - 但上面我假设您的意思是它的行为类似于一个普通的 setter :)

修复方法是使用专用的 private final 锁对象（如果您想绝对确保外部没有人可以同步您在类中使用的同一个锁 - 我是这样的）假设你的初衷是）：

public MyClass{

    private final Object lock = new Object();
    private Boolean flag = false;

    public Boolean getflag(){
       synchronized(lock){
          //BLOCK 1
          return flag;
       }
    }

    public void setflag(Boolean flag){
       synchronized(lock){
           //BLOCK 2
           this.flag = flag;
       }
    }
}

如果你不担心关于您内部使用的同一个锁上的其他同步，您可以简单地使您的方法同步（在这种情况下，它们锁定this）。

Answer 2

我假设你的 setFlag 方法实际上应该有一个参数并且没有返回值？

对我来说这看起来是个坏主意。

• Flag 设置为引用 r1
• 线程 1 调用 setFlag(r2)
• 线程 1 获取 r1 上的锁 线程
• 1 设置 flag 为引用 r2
• 线程 2 获取 r2 上的锁
• 两个线程实际上是并发执行的，都在同步块中，但锁定在不同的对象上...

基本上，我认为在可变字段上同步是一个坏主意。有一个最近关于此的问题，您可能会感兴趣。

我会使用这种设计：（

private final Object lock = new Object();
private boolean flag;

public void setFlag(boolean flag) {
    synchronized (lock) {
        this.flag = flag;
    }
}

public boolean getFlag() {
    synchronized (lock) {
        return flag;
    }
}

或者可能只使用易失性字段。这实际上取决于类中的其他内容。）

Answer 3

问题可能出在方法 setFlag 中 - 它将更改“锁定对象”以进行同步。您必须确保在同一对象上同步。
私有对象锁 = new Object();
并同步对象锁。

Answer 4

那是行不通的。您正在阻止标志引用的对象的监视器。想象一下，如果一个线程进入setter，锁定当前的flag对象，然后flag指向一个新的Flag。然后第二个线程进入 getter，并且可以自由地获取标志上的锁，因为它现在指向另一个对象。

因此，您可以有两个线程看似都锁定在“标志”上，但锁定在不同的对象上。这就是为什么用于锁定的对象通常应声明为final，以避免出现这种情况。