只有当多个线程访问同一资源,并且一个或多个线程写入该资源时,才会出现竞态条件。如果多个线程读取同一资源,则不会出现竞态条件。
我们可以使共享对象不可变,以此来确保线程之间共享的对象不会被任何线程更新,从而保证线程安全。下面是一个例子:
public class ImmutableValue{
private int value = 0;
public ImmutableValue(int value){
this.value = value;
}
public int getValue(){
return this.value;
}
}
注意下ImmutableValue实例的构造函数是如何传递value的。还要注意这里没有赋值方法。一旦创建了ImmutableValue实例,就不能更改其值。它是不可变的。但是你可以使用getValue()方法读取它的值。
如果需要对ImmutableValue实例执行操作,可以用操作的结果值返回一个新的实例来实现。下面是一个add操作的示例:
public class ImmutableValue{
private int value = 0;
public ImmutableValue(int value){
this.value = value;
}
public int getValue(){
return this.value;
}
public ImmutableValue add(int valueToAdd){
return new ImmutableValue(this.value + valueToAdd);
}
}
注意add()方法用加法操作的结果返回了一个新的ImmutableValue实例,而不是自己加上value。
引用不是线程安全的!
必须记住,即使一个对象是不可变的从而是线程安全的,该对象的引用也不一定是线程安全的。看看这个例子:
public class Calculator{
private ImmutableValue currentValue = null;
public ImmutableValue getValue(){
return currentValue;
}
public void setValue(ImmutableValue newValue){
this.currentValue = newValue;
}
public void add(int newValue){
this.currentValue = this.currentValue.add(newValue);
}
}
Calculator类保存了一个ImmutableValue实例的引用。请注意,它可以通过setValue()和add()方法更改该引用。因此,即使Calculator类在内部使用了不可变对象,它本身却不是不可变的,因此也不是线程安全的。换言之:ImmutableValue类是线程安全的,但使用它(的类或方法)却不是线程安全的。当试图通过不变性实现线程安全时,需要记住这一点。
为了使Calculator类线程安全,可以声明getValue()、setValue()和add()方法为synchronized,从而解决该问题。