第一章、走入并行世界
同步和异步
同步和异步通常用来形容一次 方法调用。同步方法调用一旦开始,调用者必须等到方法调用返回后,才能继续后续的行为。 异步方法的调用更像一个消息传递,一旦开始,方法调用就会立即返回,调用者就可以继续后续的操作,调用者就可以继续后继的工作。而 异步方法通常会在另外一个线程中“真实“的执行。整个过程,不会阻碍调用者的工作。对于调用者来说,异步调用似乎是一瞬间就完成的。如果异步调用需要返回结果,那么当这个异步调用真实完成时,则会通知调用者。
例子 : 实体店购物 和 网上购物。
并发和并行
并发偏重于 多个任务交替执行,而多个任务之间有可能还是串行的。而并行是真正意义上的“同时执行”。
临界区
临界区用来表示一种公共资源或者说是共享数据,可以被多个线程调用。但是每一次,只能有一个线程使用它,一旦临界区资源被占用,其他线程要想使用这个资源,就必须等待。
在并行程序中,临界区资源是保护的对象。
阻塞和非阻塞
阻塞和非阻塞通常用来形容多线程间的相互影响。比如一个线程占用了临界区资源,那么其他所有需要这个资源的线程就必须在这个临界区中进行等待。**等待会导致线程挂起,这种情况就是阻塞。**此时如果占用资源的线程一直不愿意释放资源,那么其他所有阻塞在这个临界区上的线程都不能工作。
非阻塞的意思与之相反,他强调没有一个线程可以妨碍其他线程执行。所有线程都会尝试不断前向执行。
死锁(DeadLock)、饥饿(Starvation)和活锁(LiveLock)
饥饿是指一个或多个线程因为种种原因无法获得所需要的资源,导致一直无法执行。
活锁,线程秉承“谦让”的原则,主动将资源释放给他人使用,可能出现资源不断在两个线程中跳动,而没有一个线程可以同时拿到所有资源而正常执行。
无障碍
无障碍是一种最弱的 非阻塞调度。两个线程如果是无障碍的执行,那么他们不会因为临界区的问题导致一方被挂起。换言之,大家都可以大摇大摆的进入临界区了。
如果大家一起修改共享数据,对于无障碍线程来说,一旦检测到这种情况,他会立即对自己所做的修改进行回滚,确保数据安全。但如果没有数据竞争发生,那么线程就可以顺利完成自己的工作,走出临界区。
如果说阻塞的控制方式是悲观策略,那么非阻塞的调度就是一种乐观策略。他认为多个线程之间很有可能不会发生冲突,或者概率不大,但是一旦检测到冲突,就会立即回滚。
一种可行的无障碍实现可以依赖一个**“一致性标记”**来实现。线程在操作之前,先读取并保存这个标记,在操作完成后,再次读取,检查这个标记是否被更改过,如果两者是一致的,则说明资源访问没有冲突。如果不一致,需要重试操作。而任何对资源有修改操作的线程,在修改数据前,都需要更新这个一致性标记,标识数据不再安全。
无锁
无锁的并行都是无障碍的。在无锁的情况下,所有的线程都能尝试对临界区进行访问,但不同的是,无锁的并发保证必然有一个线程能够在有限步内完成操作离开临界区。
在无锁的调用中,一个典型的特点是可能会包含一个无穷循环。在这个循环中,线程会不断尝试修改共享变量。如果没有冲突,修改成功,那么程序退出,否则继续尝试修改。
下面是一段无锁的示意代码,如果修改不成功,那么循环永远不会停止。
while(!atomicVar.compareAndSet(localVar, localVar + 1)){
localVar = atomicVar.get();
}
无等待
无等待是在无锁的基础上的进一步扩展。他要求所有的线程都必须在有限步内完成,这样就不会引起饥饿问题。如果限制这个步骤的上限,还可以进一步分解为有界无等待和线程数无关的无等待几种,它们之间的区别只是对循环次数的限制不同。
一种典型的无等待结构就是RCU(read-copy-update)。它的基本思想是,**对数据的读可以不加控制。**因此,所有的读线程都是无等待的,它们既不会被锁定等待也不会引起任何冲突。但是在写数据的时候,先取得原始数据的副本,接着只修改副本数据(这就是为什么读可以不加控制),修改完成后,在合适的时机写回数据。
Java内存模型(JMM)
原子性
原子性是指一个操作是不可中断的。
对于32位系统来说,long型数据的读写不是原子性的(long有64位)
可见性
可见性是指,当一个线程修改了某个共享变量的值,其他线程是否能够立即知道这个修改。
有序性
并发执行时,程序的执行可能会出现乱序。写在前面的代码,可能会在后面执行。有序性问题的原因是,程序在执行时,可能会进行指令重排,重排后的指令与原指令的顺序未必一致。
之所以需要做 指令重排,就是为了尽量少的中断流水线。
哪些指令不能重排:Happen-Before规则
指令重排是有原则的,并非所有的指令都可以随便改变执行位置。
- 程序顺序原则:一个线程内保证语义的串行性。
- volatile规则,volatile变量的写,先发生于读,这保证了volatile
- 锁规则:解锁(unlock)必然发生在随后的加锁(lock)前
- 传递性:A先于B,B先于C,那么A必然先于C
- 线程的start()方法先于它的每一个动作
- 线程的所有操作先于线程的终结(Thread.join())
- 线程的中断(interrupt())先于被中断线程的代码
- 对象的构造函数执行、结束先于finalize()方法