线程安全与锁优化

Java 语言中的线程安全

			1.	不可变
			2.	绝对线程安全
			3.	相对线程安全
			4.	线程兼容
			5.	线程对立
			6.	String不可变，保证了数据安全

线程安全的实现方法

				1.互斥同步
						Synchronized是不公平锁
						Lock：等待中断、实现公平锁、锁的绑定条件
						悲观锁：让线程阻塞同步，进入等待、数据同步
				2.非阻塞同步
						乐观锁：volatile轻量级锁,具有两个特性：1.可见性 2.不可重排序优化  volatile的可见性是指线程修改了这个变量的值，新值对于其他线程可以立即得知。
						不让线程进入阻塞状态，只保证数据同步。

锁优化

				1.自旋锁和自适应锁(基于CAS)
						自旋锁：线程的挂起和唤醒占用内存资源，当一个线程进入锁之后，另一个线程无法进入。则不让其挂起而是让线程进入一个忙循环等待锁释放。
						自适应自旋：不让线程一直忙循环，是看让一个线程自旋时间让JVM自己旋转。
				2.锁消除
						如果JVM判断代码不会出现逃逸，认为线程是私有的则会取消锁。
				3.锁粗化
						当代码一系列操作都是对一个对象反复加锁和解锁则会将锁扩展到整个代码块中
				4.CAS：比较和交换。需要三个操作数：1.内存位置 2.旧的值 3.新的值 。CAS执行指令时，当内存位置符合旧的值，则更新内存位置，否则不更新。无论是否更新了内存位置，都会返回旧的内存地址。
					CAS的缺点：1.ABA的问题 2.循环时间开销大 3.多个共享变量操作无法保证操作原子性
				5.无锁、偏向锁、轻量级锁、重量级锁
					Synchronized通过Monitor来实现线程同步、Monitor时依赖于底层操作系统的Mutex Lock来实现的线程同步。
					锁状态只能升级不能降级
					无锁：没有对资源进行锁定，所有的线程都可以访问并修改同一个资源，但同时只能有一个线程修改成功。无锁的特点就是修改操作在循环内进行，线程会不断的尝试和修改共享资源，如果没有冲突就修改成功并退出，否则就会继续循环尝试。
					偏向锁：偏向锁时指一段同步代码一直被一个线程锁访问，那么该线程会自动获取锁，降低获取锁的代价。只有当遇到其他线程竞争偏向锁时，持有偏向锁的线程才会释放。线程不会主动释放偏向锁。
					轻量级锁：当锁是偏向锁的时候，被另外的线程所访问，偏向锁可以升级为轻量级锁，其他线程会通过自旋的形式尝试获取锁，不会阻塞，从而提高性能。
					重量级锁：等待锁的线程会进入到阻塞状态。
				6.公平锁和非公平锁
						公平锁是指多个线程按照申请锁的顺序来获取锁，线程直接进入到队列排队，队列中的第一个线程才能获得锁。公平锁的优点是等待锁的线程不会饿死。缺点是整体吞吐效率相对非公平锁要低，等待队列中除第一个线程以外的所有线程都有阻塞。CPU唤醒阻塞线程的开销比非公平锁大。
						非公平锁是多个线程加锁时直接获取锁，获取不到才会到等待队列的队尾等待。但如果此时锁刚好可用，那么这个线程可以无阻塞直接获取到锁。所以非公平锁可能出现后申请的线程先获取到锁的场景。非公平锁的优点是可以减少唤醒线程的开销。整体吞吐效率高，因为线程有几率不阻塞直接获取到锁，CPU不必唤醒所有线程，缺点是处于等待队列的线程可能被饿死。或者等待很久才会获取到锁。
				7.可重入锁和非重入锁
						可重入锁又名递归锁，是指在同一线程的外层方法获取锁的时候，再进入该线程的内层方法会自动获取锁(前提是锁对象是同一个对象或者class)，不会因之前已经获取过还没有释放而阻塞。Java中的ReentralLock和Synchronized都是可重入锁。可重入锁的一个优点是可以一定程度上避免死锁。
				8.独享锁和共享锁
						独享锁也叫排他锁，是指该锁一次只能被一个线程所持有，如果线程T对数据A加上排他锁后，则其他线程不能再对A加任何类型的锁。获得排他锁的线程既能修改数据又能读取数据。
						共享锁是指该锁可被多个线程所持有，如果线程T对数据A加上共享锁后，则其他线程只能对A再加共享锁，不能加排他锁。获得锁的线程只能读数据，不能修改数据，独享锁和共享锁是通过AQS实现的。

Java的线程实现

				1.内存线程
				2.用户线程
				3，用户线程与轻量级进程混合实现

Java线程的调动

					1.协同式线程
					2.抢占式线程

线程的状态转换

					1.新建：创建后尚未启动的线程
					2.运行：Runnable包括了操作系统线程的Running和Ready，也就是处于此状态的线程可能正在执行也可能正在等待CPU为他分配时间
					3.无限性等待wait ：出于该种状态的线程不会被CPU分配时间，他们要等待其他线程显示的唤醒
										以下方法会让线程进入到无期限等待状态
											3.1 没有设置Timeout参数的Object.wait（）方法
											3.2 没有设置Timeout参数的Object.join（）方法
											3.3 LookSupport.park ()方法
					4.期限等待sleep：处于该种状态的线程也不会分配时间，不过无需等待其他线程的唤醒，再一定时间后由系统自动唤醒
										以下方法会让线程进入期限等待状态
											4.1 Thread.sleep（）
											4.2 设置了Timeout参数的Object.wait()
											4.3 设置了Timeout参数的Object.join()
											4.4 LookSupport.parkNanos（）
											4.5 LockSupport.parkUntil()
					5.阻塞:线程被阻塞了，“阻塞状态” 和“等待状态”的区别是：阻塞状态在等待着获取一个排他锁，这个时间将另外一个线程放弃这个锁的时候发生，而等待状态则是等待一段时间，或者唤醒动作的发生。在程序等待进入同步区域的时候，线程将进入这个状态
					6.结束：已终止的线程状态。

Java内存模型的特性

					1.原子性
							由java内存模型来直接保证原子性变量操作包括read、load、assign、use、store、write。大致可以认为基本数据类型的操作是原子性的。同时lock和unlock可以保证更大范围的原子性。而Synchronized同步块操作的原子性是用更高层次的字节码指令monitorenter和monitorexit来隐式操作的。
					2.可见性
							当一个线程修改了共享变量的值，其他线程也能够立即得到整个通知，主要是操作细节就是修改值后将同步到主内存种。除了volatile和synchronized和final可以保证可见性。同步块的可见性是由对一个变量执行unlock操作之前，必须把此变量同步到主内存中(store、write)这个规则获得的。而final的可见性是指：被final修饰的字段在构造器中一旦完成，并且构造器没有把this的引用传递出去，那么在其他线程中就能看到final字段的值。
					3.有序性
						先行发生原则happen-befor
						定义：如果一个操作happens-before另一个操作。那么第一个操作的执行结果将对第二个操作可见，而且第一个操作顺序排在第二个操作之前。
						两个操作之间存在happens-befor关系，并不意味着java平台的具体实现要按照happens-befor关系指定的顺序来执行。如果重排序之后的结果，与happens-before关系来执行的结果一致，那么这种重排序并不非法。
						这个原则是判断数据是否存在竞争，线程是否安全的主要依据。先行发生是java内存模型中定义的两项操作之间的偏序关系。
						天然的先行发生关系：
							1.程序次序原则:在一个线程内，代码按照书写的控制流顺序执行
							2.管程锁定原则：一个unlock操作先行发生于后面同一个锁的lock操作
							3.volatile变量原则：volatile变量的写操作先行发生于后面这个变量的读操作
							4.线程启动规则：Thread对象的start方法先行发生于此线程的每一个动作
							5.线程终止规则：线程中所有操作都先行发生于此线程的终止操作
							6.线程中断原则：对线程interrput()方法调用优先发生于被中断的代码检测到中断事件的发生
							7.对象终结原则:一个对象的初始化构造方法先行发生于它的finailze()方法的开始
							8.传递性:如果操作A先于B发生，操作B先于C发生，那么操作A先于操作C