1、volatile关键字
Java语言提供了一种稍弱的同步机制,即volatile变量。被volatile关键字修饰的变量不会被缓存在寄存器或者对其他处理器不可见的地方,因此在每次读取volatitle类型变量时总会返回最新的值,而不是从寄存器中获取。
加锁机制既然可以确保可见性又可以确保原子性,而volatile只能确保可见性。
2、发布和逸出
“发布(Publish)”一个对象指,使对象能够在当前作用域之外的代码中使用。如将指向该对象的引用保存到其他代码可以访问的地方,或者在某一个非私有的方法中返回该引用,或者将引用传递到其他类的方法中。
当某个不该发布的对象被发布时,这种情况称为逸出(Escape).比如下面的代码:
1 public class UnsafeStates {View Code
2 private String[] states = new String[]{
3 "one",
4 "two"
5 };
6
7 public String[] getStates() {
8 return states;
9 }
10
11 public void setStates(String[] states) {
12 this.states = states;
13 }
14
15 }
如果按照上面的方法发布states,就会出现问题,因为任何调用者都能修改这个数组的内容。数组states已经逸出它所在的作用域,因为这个本是私有的变量已经被发布了。
3、安全对象的构造过程
不要在构造函数中使this引用逸出
下面的一位大神写的案列写的非常清楚:
http://blog.csdn.net/flysqrlboy/article/details/10607295。
主要演示了由内部类导致的this引用逸出是怎样产生的。它需要满足两个条件:一个是在构造函数中创建内部类(EventListener),另一个是在构造函数中就把这个内部类给发布了出去(source.registerListener)。因此,我们要防止这一类this引用逸出的方法就是避免让这两个条件同时出现。也就是说,如果要在构造函数中创建内部类,那么就不能在构造函数中把他发布了,应该在构造函数外发布,即等构造函数执行完毕,初始化工作已全部完成,再发布内部类。