1、ThreadLocal
Java中的ThreadLocal类可以让你创建的变量只被同一个线程进行读和写操作。因此,尽管有两个线程同时执行一段相同的代码,而且这段代码又有一个指向同一个ThreadLocal变量的引用,但是这两个线程依然不能看到彼此的ThreadLocal变量域。ThreadLocal类提供了get和set等访问接口,这些方法为每个线程都存有一个独立的副本,因此每次get总是返回当前线程上一次最小使用set设置的值。
private ThreadLocal myThreadLocal = new ThreadLocal();
这样实例化一个ThreadLocal类,每个线程仅需要实例化一次即可。
myThreadLocal.set("A local value");
String threadLocalValue = (String) myThreadLocal.get();
这样使用set和get来存储和读取一个String对象,因为get返回的是一个Object对象,所以需要强制类型转换,set()方法则依赖一个Object对象参数。
为了不使用强制类型转换可以使用泛型来实例化一个ThreadLocal对象。
private ThreadLocal myThreadLocal1 = new ThreadLocal<String>();
这样读取的时候就不需要进行强制类型转换了
myThreadLocal1.set("Hello ThreadLocal");
String threadLocalValues = myThreadLocal.get();
然后我们还可以可以通过ThreadLocal子类的实现,并覆写initialValue()方法,就可以为ThreadLocal对象指定一个初始化值。
private ThreadLocal myThreadLocal = new ThreadLocal<String>() {
@Override protected String initialValue() {
return "This is the initial value";
}
};
这样指定的初始值对所有线程都是可见的,在set方法被调用之前所有线程读取到的都将是这个初始值。
一个完整的ThreadLocal示例
class myThread implements Runnable{
private ThreadLocal myThreadLocal = new ThreadLocal<String>(){
@Override
protected String initialValue() {
return "a Initialization value ";
}
};
@Override
public void run() {
System.out.println(myThreadLocal.get());
myThreadLocal.set("" + Math.random());
System.out.println(myThreadLocal.get());
}
}
public class Fun {
public static void main(String[] args) {
myThread myRunnabe = new myThread();
Thread myThread1 = new Thread(myRunnabe);
Thread myThread2 = new Thread(myRunnabe);
myThread1.start();
myThread2.start();
}
}
输出:
a Initialization value
a Initialization value
0.3672775208272421
0.5694837916871707
2、不变性
如果某个对象在创建之后就不能被修改,那么这个对象就被称为不可变对象。因为其状态将不会被改变,所以不同线程访问该对象的时候是安全的
满足以下条件的对象是不可变的:
- 对象在创建以后其状态就不能被修改
- 对象的所有域都是final类型的
- 对象是正确创建的
在可变对象基础上构建不可变对象
public final class Aclass{
private final Set<String> set = new HashSet<String>();
public Aclass(){
set.add("aaa");
set.add("bbb");
set.add("ccc");
}
public boolean isSet(String word){
return set.contains(word);
}
}
这样一个类是可变,它的set对象是可变的,但是这个对象在创建之后就是不可改变的了,对于final类型的set对象只能访问不能被修改。
3、安全发布
在某些情况下我们希望在多个线程之间共享对象,此时必须保证安全的进行共享。
public Holder holder;
public void init(){
holder = new Holder(42);
}
这个holder看起来是一个不可变对象,但其实它并不是,他并不满足“对象是正确创建的”这个条件,某些线程将会看到尚未创建完场的对象
可变对象必须通过安全的方式来进行发布,这通常都意味着在发布和使用该对象的线程都必须使用同步。
要安全得发布一个对象,对象的引用以及对象的状态必须同时对其他线程可见,一个正确构造的对象可以通过以下方式来正确发布:
- 在静态初始化函数中初始化一个对象引用
public static Holder holder = new Holder(42);
- 将对象的引用保存到volatile类型的域或者AtomicReferance对象中
- 将对象的引用保存到某个正确构造对象的final类型中
- 将对象得引用保存到一个由锁保护的域中
在线程安全库中的容器提供以下的安全发布保证:
- 通过将一个键或者值放入Hashtable、synchronizedMap或者ConcurrentMap中,可以安全地将它发布给任何从这些容器中访问它的线程(无论是直接访问还是通过迭代器访问)
- 通过将某个元素放入Vector、CopyOnWriteArrayList、CopyOnWriteArraySet、synchronizedList或synchronizedSet中,可以将该元素安全地发布到任何从这些容器中访问该元素的线程
- 通过将某个元素放入BlockingQueue或者ConcurrentLinkedQueue中,可以将该元素安全地发布到任何从这些队列中访问该元素的线程。
事实不可变对象:如果对象从技术上来看是可变的,但其状态在发布以后就不会在改变,那么把这种对象称为“事实不可变对象”,刚刚的holder就是一个事实不可变对象。
所以最后对象的发布需求取决于它的可变性:
- 不可变对象可以通过任意机制发布
- 事实不可变对象必须通过安全方向进行发布
- 可变对象必须通过安全方式进行发布,并且必须是线程安全的或者由某个锁保护起来的
在并发程序中使用和共享对象时,可以使用以下一些实用的策略:
- 线程关闭:对象只能由一个线程拥有,对象被封闭在该线程中,并且只能由这个线程修改
- 只读共享:任何线程都不能修改的对象。
- 线程安全共享:在线程内部实现同步。
- 保护对象:通过持有特定的锁才能访问