java并发编程

 

一、并发编程灵魂拷问

1. 如果一个局部变量，是否有线程安全的问题？

   局部变量是线程安全的，因为局部变量是在虚拟机栈中的，是线程私有的，所以一定是线程安全的。

    

2. 如果是一个共享变量呢？

   共享变量每次个线程都可以访问并修改，存在线程安全的问题，所以线程不安全。

    

3. 如果一个共享变量只有读，没有修改，是否线程安全？

   没有修改，我认为可以视作线程安全。因为线程安全的定义：多线程访问同一代码，不会产生不确定的结果。只有读的话，得到的结果都是一样的，所以可以认为是线程安全的。

二、多线程

保证线程的安全性问题，本质上就是保证线程同步，实际上就是线程之间的通信问题。我们知道，在操作系统中线程通信有以下几种方式：

1.信号量    2.信号    3.管道    4.共享内存    5.消息队列    6.socket

java中线程通信主要使用共享内存的方式。共享内存的通信方式首先要关注的就是可见性和有序性。而原子性操作一般都是必要的，所以主要关注这三个问题。

原子性：

即一个操作或者多个操作，要么全部执行并且执行的过程不会被任何因素打断，要么就都不执行。原子性就像数据库里面的事务一样，他们是一个团队，同生共死。

例如：i++等组合操作，总共分为3步执行：

1.读取变量a的值

2.a的值+1

3.将值赋予变量a 。

这三个操作中任何一个操作过程中，a的值被人篡改，那么都会出现我们不希望出现的结果。所以我们必须保证这是原子性的。

Java中的锁的机制解决了原子性的问题。

可见性：

可见性是指当多个线程访问同一个变量时，一个线程修改了这个变量的值，其他线程能够立即看得到修改的值。

可见性出现的原因：

我们知道，java线程通信是通过共享内存的方式进行通信的，而且为了加快执行的速度，线程一般是不会直接操作内存的，而是操作缓存。每个线程都是都有一个属于自己的内存空间，线程对变量的操作都必须将数据从主存中拷贝到自己的内存空间，再对变量进行操作。所以当线程对变量进行修改后，如果数据还没有刷回主存中的话，其他线程是不可见的。

在JMM中，如果一个操作执行的结果需要对另一个操作可见，那么这两个操作之间必须存在happens-before关系。（happens-before关系：先发生的事件的写操作对后发生的事件是可见的）

例如：

//线程1执行的代码
int i = 0;
i = 10;

//线程2执行的代码
j = i;

上述代码中，线程1先执行，获得 i 的值为0，并将 i 的值设为10，但是没有立即将这个值刷回主存，这时线程2读取主存的时候，i 还是0，线程2后续对 i 的操作将会覆盖线程1的操作，导致线程不安全。

而volatile则是解决可见性的问题的。当一个共享变量被volatile修饰时，它会保证修改的值会立即被更新到主存，当有其他线程需要读取时，它会去内存中读取新值。

有序性：

即程序执行的顺序按照代码的先后顺序执行。一般来说，处理器为了提高程序运行效率，可能会对输入代码进行优化，它不保证程序中各个语句的执行先后顺序同代码中的顺序一致，但是它会保证程序最终执行结果和代码顺序执行的结果是一致的。重排序过程不会影响到单线程程序的执行，却会影响到多线程并发执行的正确性。

例如：

//线程1:
context = loadContext();   //语句1
inited = true;             //语句2

//线程2:
while(!inited ){
  sleep()
}
doSomethingwithconfig(context);

如果线程A发生了重排序：

inited = true;    
context = loadContext();

那么线程B就会拿到一个未初始化的content去配置，从而引起错误。

因为这个重排序对于线程A来说是不会影响线程A的正确性的，而如果loadContext()方法被阻塞了，为了增加Cpu的利用率，这个重排序是可能的。

如果要防止重排序，需要使用volatile关键字，volatile关键字可以保证变量的操作是不会被重排序的。