专栏首页10km的专栏java:基于volatile和Thread Local Storage的双重检查锁定实现延迟初始化

java:基于volatile和Thread Local Storage的双重检查锁定实现延迟初始化

版权声明:本文为博主原创文章,转载请注明源地址。 https://blog.csdn.net/10km/article/details/78519756

总在同一个地方栽坑里是不可原谅的,以本文做个记录,以防下次再犯。 下面这段很简单的基于双重检查锁定(Double-checked locking)实现的延迟初始化(Lazy initialization)代码,还是让spotbugs找出了问题(感谢spotbugs)。 原因很简单,这种模式在java下无效,因为filedNames 变量不是线程可见的,具体原因涉及到java内存模型,网上已经有文章很深入的介绍,参见本文末尾的参考资料4

	private List<String> filedNames = null;
	public List<String> getFieldNames() {
	    // Double-checked locking
		if(null == filedNames){
			synchronized(this){
				if(null == filedNames){
					filedNames = doGetFieldNames();		
				}
			}
		}
		return filedNames;
	}

#解决方案1

把 fieldName 声明为volatile型,其他代码不变。 注意: 这个解决方案需要JDK5或更高版本(因为从JDK5开始使用新的JSR-133内存模型规范,这个规范增强了volatile的语义)。关于volatile关键字的含义参见参考资料。

	/** JDK5 required */
	private volatile List<String> filedNames = null;
	public List<String> getFieldNames() {
	    // Double-checked locking
		if(null == filedNames){
			synchronized(this){
				if(null == filedNames){
					filedNames = doGetFieldNames();		
				}
			}
		}
		return filedNames;
	}

#解决方案2 基于线程本地存储TLS(Thread Local Storage)实现双重检查锁定,这个方法也是 [《The “Double-Checked Locking is Broken” Declaration》][1]论文中提出的方案之一。 这个方案不需要volatile关键字支持当然也就没有JDK5以上版本的要求,但是略复杂,多了一个ThreadLocal变量,并且分成了两个方法。

	private volatile List<String> filedNames = null;
	/** 如果perThreadInstance.get() 返回一个非null值,说明 filedNames 已经被初始化过了 */
	@SuppressWarnings("rawtypes")
	private final ThreadLocal perThreadInstance = new ThreadLocal();
	public List<String> getFieldNames() {
		this.assertJavaBean();
		if(null == perThreadInstance.get()){
			initFieldNames();
		}
		return filedNames;
	}
	/** 同步初始化filedNames变量 */
	@SuppressWarnings({ "unchecked" })
	private void initFieldNames() {
		synchronized(this){
			if(null == filedNames){
				filedNames = doGetFieldNames();		
			}
		}
		// 给perThreadInstance设置一个非null值
		perThreadInstance.set(perThreadInstance);
	}

#通用化封装 说话仅仅一个延迟初始化就整出这么多问题,搞出这么多代码,虽然问题解决了,但对于我这个懒人来说实在太复杂了,如果项目中还有多个地方要用到延迟初始化,每个都要这么写代码实在是一件非常痛苦的事儿。 既然原理搞明白了,那么把这两种延迟初始化的解决方案用用泛型类封装一下不就可以复用了么?

于是我很快把上面的代码做了封装,顶层是接口类ILazyInitVariable,只有一个接口方法get(),接下来是个中间BaseLazyVar抽象类定义一个doGet()方法用于具体的初始化,BaseTls和BaseVolatile分别是基于前述方案2和方案1的具体实现类(也是抽象类,具体doGet()方法还是需要子类来完成)

完整代码如下

ILazyInitVariable.java

接口定义 ILazyInitVariable.java,中间抽象类BaseLazyVar也在其中

package gu.simplemq;

/**
 * 延迟初始化(Lazy initialization)变量封装接口
 * @author guyadong
 *
 * @param <T> 延迟变量类型
 */
public interface ILazyInitVariable<T> {
	public static abstract class BaseLazyVar<T> implements ILazyInitVariable<T>{
		/**
		 * 返回 T 实例
		 * @return
		 */
		abstract protected T doGet() ;
	}
	/**
	 * 返回延迟初始化的 T 实例 
	 * @return
	 */
	public T get();
}

##BaseVolatile.java

package gu.simplemq;

/**
 * 基于volatile的双重检查锁定实现{@link ILazyInitVariable}的抽象类<br>
 * 要求 JDK5 以上版本 
 * @author guyadong
 *
 * @param <T> variable type
 */
public abstract class BaseVolatile<T> extends ILazyInitVariable.BaseLazyVar<T>{
	private volatile T var = null;
	public BaseVolatile() {
	}
	@Override
	public T get() {
		// Double-checked locking
		if(null == var){
			synchronized(this){
				if(null == var){
					var = doGet();
				}
			}
		}
		return var;
	}
}

##BaseTls.java

package gu.simplemq;

/**
 * 基于Thread Local Storage的双重检查锁定实现{@link ILazyInitVariable}的抽象类<br>
 * @author guyadong
 *
 * @param <T> variable type
 */
public abstract class BaseTls<T> extends ILazyInitVariable.BaseLazyVar<T> {
	/**
	 * If perThreadInstance.get() returns a non-null value, this thread has done
	 * synchronization needed to see initialization of helper
	 */
	@SuppressWarnings("rawtypes")
	private final ThreadLocal perThreadInstance = new ThreadLocal();
	private T var = null;

	public BaseTls() {
	}

	@Override
	public T get() {
		if (null == perThreadInstance.get()) {
			initFieldNames();
		}
		return var;
	}

	@SuppressWarnings({ "unchecked" })
	private void initFieldNames() {
		synchronized (this) {
			if (null == var) {
				var = doGet();
			}
		}
		// Any non-null value would do as the argument here
		perThreadInstance.set(perThreadInstance);
	}
}

##使用示例 有了通用化封装,以用BaseVolatile为例

本文最开始的延迟初始化代码就很简单了:

	// filedNames  定义为ILazyInitVariable接口实例,并用BaseVolatile类实例化
	private final ILazyInitVariable<List<String>>filedNames = new BaseVolatile<List<String>>(){
		@Override
		protected List<String> doGet() {
		    // 调用初始化方法
			return doGetFieldNames();
		}};
	public List<String> getFieldNames() {
		return filedNames.get();
	}

#参考资料

  1. [《The “Double-Checked Locking is Broken” Declaration》][1]
  2. [《Lazy initialization》][2]
  3. [《Double-checked locking》][3]
  4. [《双重检查锁定与延迟初始化》][4]
  5. [《双重检查锁定失败可能性——参照《The “Double-Checked Locking is Broken” Declaration》》][5]
  6. [《Java中Volatile关键字详解》][6] [1]:http://www.cs.umd.edu/~pugh/java/memoryModel/DoubleCheckedLocking.html [2]:https://en.wikipedia.org/wiki/Lazy_initialization [3]:https://en.wikipedia.org/wiki/Double-checked_locking [4]:http://www.infoq.com/cn/articles/double-checked-locking-with-delay-initialization [5]:http://freish.iteye.com/blog/1008304 [6]:https://www.cnblogs.com/zhengbin/p/5654805.html

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • java:基于volatile和Thread Local Storage的双重检查锁定实现延迟初始化

    总在同一个地方栽坑里是不可原谅的,以本文做个记录,以防下次再犯。 下面这段很简单的基于双重检查锁定(Double-checked locking)实现的延迟...

    用户1148648
  • thrift/swift:ThriftMethodProcessor代码分析

    thrift是一种跨语言的RPC框架,为了保证在各种语言下都能正确表述,IDL语言在设计的时候就只能选取各种语言的共性。 比如对于null,虽然在java中...

    用户1148648
  • java 8:只取年月日的java.util.Date(时分秒清零)对象

    废弃的方法(@Deprecated) 如果不想要java.util.Date中的时分秒数据,希望将它清零,只保留年月日,最简单的办法是 调用setHours...

    用户1148648
  • java:基于volatile和Thread Local Storage的双重检查锁定实现延迟初始化

    总在同一个地方栽坑里是不可原谅的,以本文做个记录,以防下次再犯。 下面这段很简单的基于双重检查锁定(Double-checked locking)实现的延迟...

    用户1148648
  • 老板来了怎么办?人脸识别+手机推送让你立刻知道

    用户1737318
  • Cell Ontology:解析细胞类型新维度

    记得在文章CD8+CD28- Treg||我就不信就我一个人觉得现有的细胞群命名有点麻烦和文章单细胞数据科学的十一个重大挑战中,我们提出过传统细胞类型定义的困惑...

    生信技能树jimmy
  • Android开发之漫漫长途 Ⅲ——Activity的显示之Window和View(2)

    该文章是一个系列文章,是本人在Android开发的漫漫长途上的一点感想和记录,我会尽量按照先易后难的顺序进行编写该系列。该系列引用了《Android开发艺术探索...

    LoveWFan
  • Android开发之漫漫长途 Ⅱ——Activity的显示之Window和View(1)

    该文章是一个系列文章,是本人在Android开发的漫漫长途上的一点感想和记录,我会尽量按照先易后难的顺序进行编写该系列。该系列引用了《Android开发艺术探索...

    LoveWFan
  • 接入层Nginx架构及模块介绍分享

    1)帮助大家对Nginx有一定的认识 2)熟悉Nginx有哪些应用场景 3)熟悉Nginx特点和架构模型以及相关流程 4)熟悉Nginx定制化开发的几种模...

    Lucien168
  • (数据科学学习手札24)逻辑回归分类器原理详解&Python与R实现

    一、简介   逻辑回归(Logistic Regression),与它的名字恰恰相反,它是一个分类器而非回归方法,在一些文献里它也被称为logit回归、最大熵...

    Feffery

扫码关注云+社区

领取腾讯云代金券