并发化
多线程编程的实质就是将任务的处理方式由串行改为并发,即实现并发化,以发挥并发的优势。
如果一个任务的处理方式可以由串行改为并发(或者并行),那这个任务就是可并发化(可并行化)的。但是,并发未必就比串行的处理效率更高或者效率提高得那么明显。而且,有些任务的处理方式必须是串行的。
必须串行的任务
- 对具有排他性资源的操作,如:打印机一次只能打开一个文件;
- 存在数据依赖关系的操作;
- Happen-Before规则
- ...
排他性资源
由于资源的稀缺性或者资源本身的特性,在多个线程间共享同一个资源时,只能够被一个线程占用的资源被称为排他性资源。
常见的排他性资源包括处理器、数据库连接、文件等。
数据依赖关系
类型 | 代码示例 | 说明 |
---|---|---|
写后读(WAR) | x = 1; y = x + 1; | 后一条语句的操作数包含前一条语句的执行结果 |
读后写(RAW) | x = y; x = 1; | 前一条语句读取一个变量后,后一条语句更新了该变量的值 |
写后写(WAW) | x = 1; y = 2; | 两条语句对统一变量进行写操作 |
Happen-Before规则
- 程序顺序原则:一个线程内保证语义的串行性;
- volatile规则:volatile变量的写,先发生于读,保证了volatile变量的可见性;
- 锁规则:解锁(unlock)必然发生在随后的加锁(lock)前;
- 传递性:A先于B,B先于C,那么A必然先于C;
- 线程的start()方法先于它的每一个动作;
- 线程的所有操作先于线程的终结Thread.join();
- 线程的中断interrupt()先于被中断线程的代码;
- 对象的构造函数执行、结束先于finalize()方法。