一.概述
线程安全性一章介绍了如何通过同步构建线程平安的对象，对象的共享将会从另外的角度形容如何保障线程安全性，比方从平安的公布角度，同时介绍了线程平安中其它几个重要概念，如可见性，同步除了能确保原子性之外，另一个就是可见性。
二.公布与逸出
1.公布
公布一个对象的意思是指，使对象可能在以后作用域之外的代码中应用。
public class Test {
//将对象存储在一个共有变量中，所有线程都能拜访，就是一种公布
//，除此之外，还有将对象动过get、set办法或构造函数等裸露进来也是公布
public static List<String> strList = new ArrayList<>();
}2.逸出
某个不应该被公布的对象公布时，这种状况就是逸出。
下方代码展现了在构造函数中，造成了this援用的逸出。
public class Test {
public Test(EventSource source) {
//造成了this援用在结构过程中逸出，此时其余线程获取到的this援用可能是一个未结构实现的对象
source.registerListener(new EventListener() {
public void onEvent(Event e) {
doSomething(e);
}
});
}
}除了上方这种形式外，在构造函数中调用非公有的或者非终结的实例办法，也会导致this在结构过程中逸出，因为这些办法是可重写的，你不晓得子类进行了什么操作。
平安的对象结构过程：不要在结构过程中使this援用逸出。
只有当构造函数实现后，this援用才能够从线程中逸出。
三.可见性
1.定义
当一个线程批改了对象状态后，其余线程可能立刻看到产生的状态变动。
为什么会有不可见的问题，因为每个cpu外围是有本人的缓存的（L1，L2,L3）,为了进步运行效率，cpu会先跟缓存的数据打交道，不会间接跟内存打交道。如果同一个内存地址保留的数据，在各个cpu外部都有缓存，每个线程应用各自的缓存进行操作。在没有正确同步机制的状况下，如果一个线程扭转了该数据，该线程的缓存未必立刻回写到内存，这样就会造成其余线程读取了生效数据，呈现不可预知的问题。
2.相干概念
生效数据：在没有正确的同步机制下，一个线程对变量进行批改，另一个线程拜访扭转量，取得到的未修改完的数据就是生效变量。（集体了解，非官方定义）
最低安全性：当线程在没有同步的状况下读取变量时，可能会读到一个生效值，但至多这个值是由之前某个线程设置的，而不是一个随机值。
重排序：在没有同步的状况下，编译器、处理器以及运行时等都可能对操作的执行程序进行一些意想不到的调整，这些调整通常是为了进步程序的运行效率。
3.保障可见性的办法
为了确保多个线程之间对内存写入操作的可见性，必须应用同步机制。
（1）加锁
内置锁能够用于确保某个线程以一种可预测的形式来查看另一个线程的执行后果，加锁的含意不仅仅局限于互斥行为，还包含内存可见性。Synchronized、Lock均可。
（2）Volatile变量
这是Java提供的一种稍弱的同步机制，用于确保将变量的更新操作告诉到其余线程。当把变量申明为volatile类型后，编译器与运行时都会留神到这个变量是共享的，因而不会将该变量上的操作与其余内存操作一起重排序。批改volatile变量时，会将数据立刻写回内存，而后导致缓存了该数据的其余cpu的缓存有效，这样其余线程在应用该数据的时候必须从内存从新读取数据到缓存，保障了可见性。
加锁机制既能够保障可见性、有序性，又能够保障原子性，而volatile变量只能确保可见性和有序性。
volatile变量的应用条件（必须满足以下所有条件）：
对变量的写入操作不依赖变量的以后值（就是写入时不在乎生效数据），或者能确保只有单个线程更新变量的值。
该变量不会与其余变量一起纳入不变性条件中。
在拜访变量时不须要加锁。（集体感觉这一条反复了，能应用volatile满足同步的话，天然不必加锁）
四.线程关闭
1.定义
线程关闭就是不共享数据，仅在单线程内拜访数据，这样就不须要同步。
2.实现线程关闭的办法
（1）Ad-hoc线程关闭
定义：保护线程关闭的职责齐全由程序实现来承当。（集体了解：就是本人实现同步，这样看起来就是线程关闭的）
（2）栈关闭
在栈关闭中，只能通过局部变量能力拜访对象。（集体了解：能用局部变量，就别用成员变量）
（3）ThreadLocal类
这个类使线程中的某个值与保留值的对象关联起来，通常用于避免对可变的单实例变量或全局变量进行共享。
为每一个线程保留一份数据的正本，能够视为Map<Thread,T>,然而这些特定于线程的值保留在Thread中。
private static ThreadLocal<Connection> connectionHolder = new ThreadLocal<>() {
protected Connection initialValue() {
return DriverManager.getConnection("DBUrl");
};
};
public static Connection getConnection() {
return connectionHolder.get();
}五.不变性
1.定义
如果某个对象在被创立之后其状态就不能被批改，那么这个对象就称为不可变对象，不可变对象肯定是线程平安的。
满足以下条件时，对象才是不可变的：
- 对象创立当前其状态就不能批改。
- 对象的所有域都是final类型
- 对象是正确创立的（在对象的创立期间，this援用没有逸出）。
2.事实不可变对象
如果对象从技术上来看是可变的，但其状态在公布后不会再扭转，那么把这种对象称为“事实不可变对象”。
3.实现不变性的办法
（1）final域
final类型的域是不可批改的，除非某个域是可变的，否则应将其申明为final域。
六.平安地公布
1.如何平安地公布
对象的公布取决于它的可变性：
- 不可变对象能够通过任意机制来公布
- 事实不可变对象必须通过平安形式来公布
- 可变对象必须通过平安形式来公布，并且必须是线程平安的或者由某个锁爱护起来。
最初，书中指出如下代码也是不平安的公布，尽管笔者没有试验进去不安全性，然而集体了解因为int型的n值由默认值0，在没有正确同步的状况下，Test在结构的时候存在指令重排序，导致没有创立实现变量就先将对象的内存地址赋予某一变量，导致其余线程应用该变量时，是一个正在结构中的对象，n可能还没有被赋值。当然自己可能了解的不正确，欢送各位小伙伴来解答。~~~~
public class Test {
private int n;
public Test(int n) {
this.n = n;
}
public int getN() {
return n;
}
}
发表回复