Java并发程序设计(三) Java内存模型和线程安全

 2019-12-10 15:42  阅读(777)
文章分类:Java Core

Java内存模型和线程安全

一 、原子性

原子性是指一个操作是不可中断的。即使是在多个线程一起执行的时候,一个操作一旦开始,就不会被其它线程干扰。

思考:i++是原子操作吗?

二、有序性

Java代码在执行使,并不一点会按照编写程序的语义顺序执行(为了优化性能)。具体不做解释。

三、可见性

可见性是指一个线程修改了一个共享变量的值,其他线程能否立即知道这个修改。

编译器优化
硬件优化(如写吸收,批操作)

Java虚拟机层面的可见性

1 public class VisibilityTest extends Thread {
     2 private boolean stop;
     3 public void run() {
     4 int i = 0;
     5 while(!stop) {
     6 i++;
     7 }
     8 System.out.println("finish loop,i=" + i);
     9 }
    10 public void stopIt() {
    11 stop = true;
    12 }
    13 public boolean getStop(){
    14 return stop;
    15 }
    16 public static void main(String[] args) throws Exception {
    17 VisibilityTest v = new VisibilityTest();
    18 v.start();
    19 Thread.sleep(1000);
    20 v.stopIt();
    21 Thread.sleep(2000);
    22 System.out.println("finish main");
    23 System.out.println(v.getStop());
    24 }

四、Happen-Before规则

程序顺序原则:一个线程内保证语义的串行性
volatile规则:volatile变量的写,先发生于读,这保证了volatile变量的可见性
锁规则:解锁(unlock)必然发生在随后的加锁(lock)前
传递性:A先于B,B先于C,那么A必然先于C
线程的start()方法先于它的每一个动作
线程的所有操作先于线程的终结(Thread.join())
线程的中断(interrupt())先于被中断线程的代码
对象的构造函数执行结束先于finalize()方法

点赞(0)
版权归原创作者所有,任何形式转载请联系作者; Java 技术驿站 >> Java并发程序设计(三) Java内存模型和线程安全

相关推荐