本系列为本人在研读相关技术书籍后所总结之精华,希望能对大家有所帮助,有兴趣的可以加我好友,大家共同学习进步!
可见性
无法确保执行读操作的线程能适时地看到其他线程写入的值(由于cpu和内存间的写入和读取需要时间)
重排序
在没有同步的情况下,编译器、处理器以及运行时都可能对操作的执行顺序进行一些意想不到的调整。这是要想对内存中的操作顺序进行判断吗,几乎无法得到正确的结论。
失效数据
class MutableInteger {//线程不安全的
private int value;
public int get() {
return value;
}
public void set() {
this.value = value;
}
}
class SynchronizedInteger {//线程安全的
private int value;
public synchronized int get() {
return value;
}
public synchronized void set() {
this.value = value;
}
}
非原子的64位操作
当线程在没有同步的情况下读取变量时,可能会的到一个失效值,但至少这个值是有之前某个某个线程设置的值。这种安全性保证也被称为,最低安全性。但是存在一个例外:非volatile类型的64位数值变量(double long),JVM允许将64的读操作或写操作分解为两个32位操作。
volatile关键字
volatile变量不会被缓存在寄存器或者对其他处理器不可见的地方,因此在读取volatile类型的变量时总会返回最新写入的值。
典型用法:
volatile boolean asleep;
...
while(!asleep)
countSomeSheep();
优点:是一种比synchronized关键字更轻量级的同步机制
缺点:只能保证可见性,不能保证原子性
例如,volatile的语义不足以确保地政操作(count++)的原子性
当且仅当满足以下所有条件时,才应该使用volatile变量:
1.对变量的写入操作不依赖变量的当前值,或者能确保只有单个线程更新变量的值(原子性)
2.该变量不会与其他状态变量一起纳入不变性条件中(同一个锁)
3.在访问变量时不需要加锁
发布与逸出
发布一个对象的最简单方法是将对象的引用保存到一个共有的静态变量中
public static Set<Secret> knownSecrets;
public void initialized(){
knownSecrets = new HashSet<Secret>();
}
当发布一个新对象时,在该对象非私有域中引用的所有对象同样会被发布(调用者可以修改引用对象的内容),这正是需要使用封装的最主要原因:封装能够使得你对程序的正确性进行分析变得可能,并使得无意中破坏设计约束条件变得困难。
线程封闭
当访问共享的可变数据时,通常要使用同步。一种避免使用同步的方式就是不共享数据。如果仅在单线程内访问数据,就不需要同步。这种技术称为线程封闭。
栈封闭
栈封闭式线程封闭的一种特例,在栈封闭中,只能通过局部变量才能访问对象。
ThreadLocal类
维持线程封闭性的一种更规范的方法是使用ThreadLocal,这个类头功了get,set等访问接口或方法,这些方法为每个使用该变量的线程都存在一份独立的副本。
不变性
满足同步需求的另一种方法是使用不可变对象,不可变对象一定是线程安全的。
当满足一下条件时,对象才是不可变的:
1.对象创建以后其状态就不能修改
2.对象的所有域都是final类型
3.对象是正确创建的(this应用没有逸出)
对象中所有域都声明为finnal类型等价于不可变的吗?
答案显然是否定的。
因为final类型的域中可以保存可变对象的引用。
final关键字
final修饰的方法不能被重写
final修饰的类不能被继承
final修饰基本数据类型时,不可修改;修饰引用类型时,引用地址不能更改,但引用对象内容可以更改。
安全发布
//不安全的发布
public Hoder holder;
public void initialize() {
holder = new Holder(42);
}
要安全地发布一个对象,对象的引用以及对象的状态必须同时对其他对象可见,可以通过以下方式实现安全发布:
1.在静态初始化函数中初始化一个对象引用
2.将对象的引用保存到volatile类型的域中
3.将对象的引用保存到某个正确构造对象的final类域中
4.将对象的引用保存到一个由锁保护的域中
容器类中提供了以下的安全发布保证:
1.Hashtable、synchronizeMap或者ConcurrentMap中
2.Vector、CopyOnWriteArrayList、synchronizedList
3.BlockingQueue、ConcurrentLinkedQueue
通常要发布一个静态构造对象,最简单和最安全的方式是使用静态初始化器:
public static Holder holder = new Holder (42);
静态初始化器由JVM在类的初始化阶段执行。由于在JVM内部存在着同步机制,因此通过这种方式初始化的任何对象都可以被安全地发布。
事实不可变对象
如果对象从技术上看是可变的,但其状态在发布后不会再改变,那么把这种对象称为"事实不可变对象".例如,Date本身是可变的,但如果它用于存储每个用户最后登录的时间,放入map后就不会改变,发布后只需将它们视为不可变对象即可。
public Map<String , Date> lastLogin =
Collection.synchronized (new HashMap<String, Date>());
对象的发布取决于它的可变性:
不可变对象 任意机制发布
事实不可变对象 安全方式发布
可变对象 安全方式发布+线程安全或锁保护
安全地共享对象
实用策略:
1.线程封闭:对象只有一个线程拥有
2.只读共享:对象可以由多个线程并发访问,但任何线程都不能修改它
3.线程安全共享:线程安全的对象在其内部实现同步,因此多个线程可以通过对象的公有接口来进行访问而不需要进一步的同步
4.保护对象:被保护对象只能通过持有特定的锁来访问