并发编程-part01

什么是线程安全性？

当多个线程访问某个类时，这个类始终表现出正确的行为，那么就说这个类是线程安全的。
正确性：多线程访问某个类时，不管运行时环境采用何种调度方式或者这些线程将如何交替进行，并且在主调函数中不需要任何额外的同步或协同，这个类都能表现出正确的行为，那么就称这个类是线程安全的。

在线程安全类中封装了必要的同步机制，因此客户端无须进一步采取同步机制

无状态的类

类中不存在有状态的变量，以及其他有状态类的引用
这个计算过程中的临时状态仅存在于线程栈中的局部变量中并且只能由正在执行的线程访问。
如Servlet

@ThreadSafe
public class StatelessFactorizer implements Servlet {
	public void service (ServletRequert sq,ServletResponse){
		//业务逻辑
	}
}
@ThreadSafe
public class StatelessFactorizer2 implements Servlet {
	@Autowried
	private StatelessDao statelessDao;//这个也是无状态的类的引用
	public void service (ServletRequert sq,ServletResponse){
		//业务逻辑
	}
}

无状态的类是线程安全的类，其产出的对象也是线程安全的

有状态的类

在有状态的类中添加了无状态的域
该域一般是多线程的共享资源

有状态的类是线程不安全的

竞态条件

并发编程中，由于不恰当的执行时序而出现不确定的结果。
在某个计算的正确性取决于多个线程的交替执行的时序时，那么就会发生竞态条件
最常见的竞态条件是：“先检查后执行（Check Then Act）”操作
还一个 “延迟初始化”导致竞态条件 例如：DCL

数据竞争

多线程访问共享的非final类型的域时，如果不外加同步来进行协同，那么这个域就存在数据竞争。

原子性

假定有两个操作A和B，如果从执行A的线程来看，当另一个线程执行B时，要么将B全部执行完，要么完全不执行B，那么A和B互为原子操作。
原子性的定义：一组语句作为一个不可分割的单元被执行。

在Java中有个原子性的类：java.util.concurrent.atomic包中的类
这个包中的原子性是通过CAS指令来保证的

CAS原理

• CAS的全称为Compare And Swap，直译就是比较交换。是一条CPU的原子指令，其作用是让CPU先进行比较两个值是否相等，然后原子地更新某个位置的值，其实现方式是基于硬件平台的汇编指令，在intel的CPU中，使用的是cmpxchg指令，就是说CAS是靠硬件实现的，从而在硬件层面提升效率。

• 利用CPU的CAS指令，同时借助JNI来完成Java的非阻塞算法，其它原子操作都是利用类似的特性完成的。在 java.util.concurrent 下面的源码中，Atomic, ReentrantLock 都使用了Unsafe类中的方法来保证并发的安全性。

• CAS操作是原子性的，所以多线程并发使用CAS更新数据时，可以不使用锁，JDK中大量使用了CAS来更新数据而防止加锁来保持原子更新。

CAS 操作包含三个操作数 ：内存偏移量位置（V）、预期原值（A）和新值(B)。 如果内存位置的值与预期原值相匹配，那么处理器会自动将该位置值更新为新值 。否则，处理器不做任何操作。

CAS的缺点

1.只能保证对一个变量的原子性操作

2.长时间自旋会给CPU带来压力

3.ABA问题

多个原子性的状态也不能保证该类是线程安全的
在Servlet中添加一个状态变量时，可以通过线程安全的对象来管理Servlet的状态以维护Servlet的线程安全性。
但如果想在Servlet中添加更多的状态，那么只添加更多的线程安全的状态变量是不能保证该Servlet是线程安全的。
虽然单个状态变量是原子性的，但是在操作上可能多个状态之间存在竞态条件（也就是业务逻辑中存在非原子操作，对状态变量进行了修改），他们的执行时序会影响Servlet的执行结果。