多线程的不安全在于共享了变量实例,因此Thread Specific Storge
模式的思路是把变量与单一线程绑定,那么就不存在共享,自然就避免了加锁消耗以及其他高并发所需要的策略。
Thread Specific Storge
一般有两种策略:1. ThreadLocal策略,也就是与当前线程实例绑定。 2. 借用模式对象池策略,由对象池进行管理,控制对象只能同一时间被一个单线程使用。
ThreadLocal策略
ThreadLocal策略比较简单,其原理是在Thread
类中私有化一个属性变量java.lang.ThreadLocal.ThreadLocalMap
,该Map存储着与当前线程绑定的相关变量。一个ThreadLocal
的基本使用如下:
1 2 3 4 5 6 7 8 9 10 11 12 13 |
private static ThreadLocal<String> threadLocal1 = new ThreadLocal<>(); private static ThreadLocal<String> threadLocal2 = ThreadLocal.withInitial(() -> { System.out.println("t2触发初始化"); return "threadLocal2"; }); public static void main(String[] args) { threadLocal1.set("threadLocal1"); // 触发t2的初始化操作,并返回t2的值 System.out.println(threadLocal2.get()); // 得到t1的值 System.out.println(threadLocal1.get()); } |
上述代码在内存中的结构如下,其对象本身ThreadLocal
会作为ThreadLocalMap
的key存储。
既然是Map结构,那么会有几个问题:
ThreadLocalMap是如何解决hash冲突的?
ThreadLocalMap
是一个简单的Map实现,其没有构造对应的冲突链,而是当遇到冲突时顺延到下一个槽位。具体逻辑可以在java.lang.ThreadLocal.ThreadLocalMap#set
中看到。
ThreadLocalMap的扩容机制是什么?
扩容要提到负载因子,其负载因子计算为threshold = len * 2 / 3
,当元素个数大于该值时会触发扩容,扩容操作把之前元素拷贝进来后替换掉之前的数组。
对象池策略
借还策略下的对象池模式也经常被用来解决非线程安全的类在多线程环境下的使用,所谓的借还模式如下所示
1 2 3 4 5 6 7 8 9 10 11 |
public static void main(String[] args) throws Exception { GenericObjectPool<SimpleDateFormat> pool = new GenericObjectPool<>(new SimplePoolObjectFactory()); // 借对象,如果池中没有对象则主动去创建然后再返回 SimpleDateFormat dateFormat = pool.borrowObject(); try { System.out.println(dateFormat.format(new Date())); } finally { // 用完释放,返回池中 pool.returnObject(dateFormat); } } |
上述代码中pool
是一个多线程可以共享的实例,其必须保证对象的借出与归还的原子性,当对象被借出时那么对象就与当前线程绑定了起来,对象池保证了其他线程操作时不会再次获取到该实例,因此对象不存在共享,也就不存在多线程并发问题。
对象池的控制原理
以apache common pool2
为例,其GenericObjectPool
的实现原理主要是ConcurrentMap
与LinkedBlockingDeque(非JDK版本)
,如下图所示:
对象池本质上是一个集生产与消费,且支持可回收的工厂。生产则对应着用户获取对象时,如果当前idleObjects
中不存在则主动去创建对象,消费则对应着Client的borrowObject
操作,可回收则是returnObject
还回池中操作。作为工厂其由责任对生产出的产品个数与消费能力的变化进行调整,因此还需要有一个后台线程做这件事,对应着是org.apache.commons.pool2.impl.BaseGenericObjectPool.Evictor
类定时清理策略。
对应的核心操作解析:
borrowObject操作
borrowObject
操作主要是从对象池也就是上述的LinkedBlockingDeque<PooledObject<T>> idleObjects
中取出实体,当实体不存在的时候要主动去创建,
1 2 3 4 5 6 7 8 9 |
// 取出队首元素,该方法并不会产生阻塞 p = idleObjects.pollFirst(); if (p == null) { // 没有获取到对应元素则主动创建 p = create(); if (p != null) { create = true; } } |
如果上述过程中仍然没有获取到对象,则根据配置选择是否阻塞当前调用,阻塞则使用BlockingDeque
的take操作或者poll(time)操作
1 2 3 4 5 6 7 8 9 10 11 |
if (p == null) { // 根据最大等待获取时间采取不同的等待策略 if (borrowMaxWaitMillis < 0) { // take操作无限等待 p = idleObjects.takeFirst(); } else { // 有限时间的等待 p = idleObjects.pollFirst(borrowMaxWaitMillis, TimeUnit.MILLISECONDS); } } |
returnObject操作
returnObject
操作主要是把使用过的对象还回池中,反映到操作上就是把一个对象放入LinkedBlockingDeque<PooledObject<T>> idleObjects
的队首或者队尾,当可用对象过多,则是使用直接销毁对象的策略。
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 |
// 最大可用对象数量 final int maxIdleSave = getMaxIdle(); // 池关闭或者池已经满了则主动销毁掉释放过来的对象 if (isClosed() || maxIdleSave > -1 && maxIdleSave <= idleObjects.size()) { try { destroy(p); } catch (final Exception e) { swallowException(e); } } else { // 根据队列配置选择头插法或者尾插法 if (getLifo()) { idleObjects.addFirst(p); } else { idleObjects.addLast(p); } // 关闭则清理池 if (isClosed()) { clear(); } } |
removeAbandoned操作
removeAbandoned
主要应对内存中对象实例进行清理,当Client使用完对象却没有还回,此时该对象就应该被清理掉。
清理策略主要针对被借出的对象,对象被借出时该对象上有对应的时间标记,因此遍历池中所有对象,清除状态为被借出,并且借出时间大于指定时间的对象即可。
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 |
// 获取全部对象的迭代器 final Iterator<PooledObject<T>> it = allObjects.values().iterator(); // 遍历池中产生的所有对象 while (it.hasNext()) { final PooledObject<T> pooledObject = it.next(); synchronized (pooledObject) { // 遍历池中已被借出,并且借出时间大于指定时间的对象 if (pooledObject.getState() == PooledObjectState.ALLOCATED && pooledObject.getLastUsedTime() <= timeout) { // 标记为待清理 pooledObject.markAbandoned(); // 清理对象列表 remove.add(pooledObject); } } } |
Evictor驱逐线程
Evictor
是一个TimerTask
的定时任务,其主要功能是清理可用对象数量,保证idleObjects
中的数量最小可用。
Evictor
对应的操作在org.apache.commons.pool2.impl.GenericObjectPool#evict
方法中,其逻辑是遍历idleObjects
中可用对象,使用策略接口EvictionPolicy
判断是否符合销毁条件,符合则销毁,逻辑比较简单。
而EvictionPolicy
的默认策略为对象在idleObjects
的存活时间大于配置的清理时间,并且当前idleObjects
的数量对象大于最小可用对象配置的情况下进行回收。
1 2 3 4 5 6 7 8 9 10 11 |
@Override public boolean evict(final EvictionConfig config, final PooledObject<T> underTest, final int idleCount) { // 清理策略是根据当前对象的空闲时间与配置空闲时间比较 if ((config.getIdleSoftEvictTime() < underTest.getIdleTimeMillis() && config.getMinIdle() < idleCount) || config.getIdleEvictTime() < underTest.getIdleTimeMillis()) { return true; } return false; } |
总结
Thread Specific Storge
模式的本质是不共享数据,从而解决了多线程下竞争的问题,一般情况下对于构造成本比较小的数据直接使用ThreadLocal
,需要时则直接创建一个与当前线程所绑定。构造成本比较大的对象比如各种连接池则使用对象池方式。
针对这些技术我特意整理了一下,有很多技术不是靠几句话能讲清楚,所以干脆找朋友录制了一些视频,很多问题其实答案很简单,但是背后的思考和逻辑不简单,要做到知其然还要知其所以然。如果想学习Java工程化、高性能及分布式、深入浅出。微服务、Spring,MyBatis,Netty源码分析的朋友可以加我的Java架构群:725633148,群里有阿里大牛直播讲解技术,以及Java大型互联网技术的视频免费分享给大家。