【java并发编程实战】-----线程基本概念

学习Java并发已经有一个多月了，感受有些东西学习一下子了就会忘记，作了一些笔记可是不系统，对于Java并发这么大的“系统”，须要本身好好总结、整理才能征服它。但愿同仁们一块儿来学习Java并发编程，共同进步，互相指导。

在学习Java并发以前咱们须要先理解一些基本的概念：共享、可变、线程安全性、线程同步、原子性、可见性、有序性。

共享和可变

要编写线程安全的代码，其核心在于对共享的和可变的状态进行访问。

“共享”就意味着变量能够被多个线程同时访问。咱们知道系统中的资源是有限的，不一样的线程对资源都是具备着同等的使用权。有限、公平就意味着竞争，竞争就有可能会引起线程问题。

“可变”是指变量的值在其生命周期内是能够发生改变的。“可变”对应的是“不可变”。咱们知道不可变的对象必定是线程安全的，而且永远也不须要额外的同步（由于一个不可变的对象只要构建正确，其外部可见状态永远都不会发生改变）。因此“可变”意味着存在线程不安全的风险。解决办法：

一、不在线程中共享该状态变量，能够将变量封装到方法中。

二、将状态变量修改成不可变的变量（final）。

三、访问状态变量时使用同步策略。

四、使用原子变量类。

线程安全性

线程安全是一个比较复杂的概念。其核心概念就是正确性。所谓正确性就是某各种的行为与其规范彻底一致，即其近似与“所见即所知（we know it when we see it）”。当多个线程访问某各种时，无论运行时环境采用何种调度方式或者这些线程将如何交替执行，而且在主调代码中不须要任何额外的同步或者协同，这个类都能表现出正确的行为，那么就称这个类是线程安全的。（引自：《Java并发编程实战》）

线程同步

线程经过其核心就在于一个“同”。所谓“同”就是协同、协助、配合，“同步”就是协同步调昨，也就是按照预约的前后顺序进行运行，即“你先，我等， 你作完，我再作”。

线程同步，就是当线程发出一个功能调用时，在没有获得结果以前，该调用就不会返回，其余线程也不能调用该方法。就通常而言，咱们在说同步、异步的时候，特指那些须要其余组件来配合或者须要必定时间来完成的任务。在多线程编程里面，一些较为敏感的数据时不容许被多个线程同时访问的，使用线程同步技术，确保数据在任什么时候刻最多只有一个线程访问，保证数据的完整性。

线程同步的机制主要有：临界区、互斥量、事件、信号量四种方式

一、临界区：经过对多线程的串行化来访问公共资源或一段代码，速度快，适合控制数据访问。在任意时刻只容许一个线程对共享资源进行访问，若是有多个线程试图访问公共资源，那么在有一个线程进入后，其余试图访问公共资源的线程将被挂起，并一直等到进入临界区的线程离开，临界区在被释放后，其余线程才能够抢占。

二、互斥量：采用互斥对象机制。 只有拥有互斥对象的线程才有访问公共资源的权限，由于互斥对象只有一个，因此能保证公共资源不会同时被多个线程访问。互斥不只能实现同一应用程序的公共资源安全共享，还能实现不一样应用程序的公共资源安全共享。

三、信号量：它容许多个线程在同一时刻访问同一资源，可是须要限制在同一时刻访问此资源的最大线程数目。

四、事 件： 经过通知操做的方式来保持线程的同步，还能够方便实现对多个线程的优先级比较的操做。

【引自：百度百科】

原子性

原子是世界上最小的单位，具备不可分割性。在咱们编程的世界里，某个操做若是不可分割咱们就称之为该操做具备原子性。例如：i = 0,这个操做是不可分割的，因此该操做具备原子性。若是某个操做能够分割，那么该操做就不具有原子性，例如i++。非原子操做都存在线程安全问题，这个时候咱们须要使用同步机制来保证这些操做变成原子操做，来确保线程安全。

可见性

线程可见性是指线程之间的可见性，即一个线程对状态的修改对另外一个线程是可见的，也就是一个线程修改的结果，另一个线程立马就知道了。好比volitile修饰的变量，就具有可见性。

有序性

有序性指的是数据不相关的变量在并发的状况下，实际执行的结果和单线程的执行结果是同样的，不会由于重排序的问题致使结果不可预知。volatile, final, synchronized，显式锁均可以保证有序性。