【Java并发】Java内存模型和线程安全

Java内存模型

1、原子性
指一个操作是不可中断的,即使实在多个线程一起执行的时候,一个操作一旦开始,就不会被其它线程干扰。
i++是原子操作吗?
答案是否定的,两个线程对i++进行操作,线程1读到i++为2,线程2也进行操作读到i++为2,最终i=2,但是两个线程同时对i++进行操作,i应该为3的,所以i++并不是原子操作,不满足原子特性。

2、有序性:
程序实际执行的顺序和你实际书写的顺序未必是一样的。
一条指令的执行是可以分为很多步骤的
–取指 IF
–译码和取寄存器操作数 ID
–执行或者有效地址计算 EX
–存储器访问 MEM
–写回 WB
《【Java并发】Java内存模型和线程安全》

3、可见性:
当一个线程修改了某一个共享变量的值,其他线程是否能够立刻指导这个修改。
编译器优化
硬件优化,如批操作

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

线程安全

指某个函数、函数库在多线程环境中被调用时,能够正确地处理各个线程的局部变量,使程序功能正确完成。
i++在多线程下访问的情况:
《【Java并发】Java内存模型和线程安全》
代码:

public class AccountingSync implements Runnable{ 
      static AccountingSync instance=new AccountingSync(); 
      static int i=0; 
      @Override 
      public void run() {
            for(int j=0;j<10000000;j++){ 
                  synchronized(instance){ 
                  i++;
                               } 
                      } 
      }
    原文作者:java内存模型
    原文地址: https://blog.csdn.net/liutengteng130/article/details/74009081
    本文转自网络文章,转载此文章仅为分享知识,如有侵权,请联系博主进行删除。
点赞