是否可以使用volatile變量來允許一致的只寫同步？

Question

是否可以使用volatile變量來允許一致的只寫同步？

這是代碼：

public class Controller { 

    Container cont = new Container(); 
    ... 

    public Object get(){ 
     if(!cont.isLocked()){ 
      return cont.getObject(); //many threads can read at the same time 
     } 
     else synchronized(cont){ 
      return cont.getObject(); //threads wait until write is finished 
     } 
    } 

    public void set(Object o){ 
     synchronized(cont){ 
      cont.lock(); 
      cont.setObject(o); 
      cont.unlock(); 
     } 
    } 
} 

public class Container { 
    private volatile boolean lock = false; 
    private Object data; 

    public Container(){ 
      } 

    public void lock() { 
     lock = true; 
    } 

    public void unlock() { 
     lock = false; 
    } 

    public boolean isLocked() { 
     return lock; 
    } 

    public void setObject(Object o) { 
     data = o; 
    } 

    public Object getObject() { 
     return data; 
    } 
} 

一下行不行，還是會打破它，你覺得呢？

Answer 1

它可能會破壞。執行的例子：

• T1：if(!cont.isLocked())返回true
• T2：set(someObject)
• T1：return cont.getObject();返回舊版本

更糟糕的是，因爲你沒有一個適當的happens-在T2與T1之間的關係之前，cont.getObject()可能會返回對由T2創建的新對象的引用，但指向不一致/未完全構造的對象。

您有一個典型的check-then-act問題。

爲什麼你不使用一個易變的引用到你的對象？

public class Controller { 

    private volatile Object obj = new Object(); 

    public Object get(){ return obj; } 
    public void set(Object o){ obj = o; } 
} 

這將是線程安全的。