说明:以下我主要从面向对象设计的角度出发介绍几种保障线程安全的设计技术,这些技术可以
使得我们在不必借助同步锁
的情况下保障线程安全,这就避免锁可能导致的问题及其资源的开销。
开篇先说一下,什么时候才会出现线程安全问题 ?也就是线程安全问题发生是哪三个条件 ?
条件一:存在共享变量(允许多个线程同时去操作的变量);
条件二:得是在多线程的环境下。其中客户端访问服务端天生就是多线程环境;
条件三:存在多个线程操作共享变量时涉及到存储的过程,也就是改变共享变量的状态。
举一个是线程安全的存在共享数据并且是多线程环境的例子:Spring中的 bean
就是这样的,我们都知道 bean 有且只有一个,还是在服务端,是一个天然的多线程环境,还是被多个线程所共享的。那么它为什么还是线程安全的呢 ?
我的理解是 bean 中没有涉及到数据的存储过程。SpringMVC层的 Controller 注入 Spring 层的 Service ,Service 又注入 Mybatis 的 Dao ,Dao 的 mapper 里面的 Sql 语句,这时才去数据库操作数据。整个过程中只有在数据库中才涉及到了数据的存储。 bean 虽然是在多线程的环境和是共享的数据,但是它没有涉及数据的存储,所以它是线程安全的。
回到主题:保障线程安全的设计技术,正片开始
一、变量定义为局部变量
JVM里规定,Java运行数据区划分为以下五部分(对JVM不太了解的朋友,可以看看我的这系列文章):
线程私有:Java虚拟机栈、本地方法栈、程序计数器
线程共享:堆空间、方法区(非堆)
1、Java虚拟机栈:
栈空间(Stack Space)为线程的执行准备一段固定大小的存储空间,每个线程都有独立的线程栈空间,创建线程时就为线程分配栈空间。
在线程栈中每调用一个方法就给方法分配一个栈帧,栈帧用于存储方法的局部变量、操作数栈、方法返回地址、动态链接、还有一些附加信息
。即局部变量存储在栈空间中,基本类型变量也是存储在栈空间中,引用类型变量值也是存储在栈空间中,引用的对象存储在堆中。由于Java虚拟机栈是相互独立的,一个线程不能访问另外一个线程的栈空间,因此线程对局部变量以及只能通过当前线程的局部变量才能访问的对象进行的操作具有固定的线程安全性。<