此篇博客在jvm深入理解中我已经讲过了
原子性
原子性是指一个操作是不可中断的,即使是多个线程一起执行的时候,一个操作一旦开始,就不会被其他线程干扰,
CPU的指令一般都是原子性的操作,我们写的程序代码不一定具有原子性
1. i++ 是原子操作?
1. 读取 2,然后进行++ 3.然后写会,
如果多个线程同时i++他们之间就可能有冲突 (在jvm 的时候也是这个例子)
32位计算机,读写64位数据也不是一个原子性操作,比如long dobule
有序性
在并发的情况下程序有可能发生乱序
在并发情况下,flag =true 和a=1 有可能颠倒执行,因此如果当1线程先执行了 flag =true 然后此时 线程2 就过来执行,他觉得如果flag =true 呢a =1 ,但是此时a 还没有开始复制,这样程序执行结果就不一定了
有序性的成因比较复杂
一条指令执行时可以分为很多步骤的
java程序最终很大的程度有可能会变成汇编码,现在的虚拟机哪怕是解释执行也是变成机械码执行的,jit编译执行也是变成了机械码
--- 取值IF
---译码和取寄存器操作数ID
---执行或者有效访问计算EX CPU 中的ALU 逻辑单元
---存储器访问WEM
---写回WB 寄存器
指令的执行不可能是穿行执行的,因为这样效率太低了,同一时刻,一条指令只能使用一个硬件,实际操作过程中可能是以这种方式运行的,当前一个指令使用完对应的硬件,这个时候这个硬件就空闲了,所以下一条指令中的一个指令就可以在这个硬件上进行执行了,这样流水线操作, 可以把硬件跑满,这样一个时钟周期可以运行一条指令, 这样说的话,如果指令只有以上5中,那么一个CPU时钟周期,指令的运行效率是串行运行效率的五倍
指令重排这个东西知道就行,了解了解
可见性
可见性是指当一个线程修复某一个共享变量的值,其他线程是否能够立即知道这个修改。
--- 编译器优化 , (同一个变量在不同的CPU线程中操作,但是不通过CPU他们之间不可知)
--- 硬件优化(写吸收,批操作)
比如多核CPU ,一个CPU修改完数据,向内存中写入数据,一个CPU 从寄存器中拿数据, 这样数据是拿不到的,
但是他们之间会有一致性的协议,这些问题都是优化造成的,
--- 虚拟机层面的可见性
可见性问题对于java 程序员来说,要从汇编码层次进行分析指令的跳转 ,指令的可见性, 所以很困难,我看了,不是多么懂, 也就不写了, 在jvm 中写了解决可见性问题的方法, volatile 关键字的使用,以及原理, 可以解决这种问题我们把解决问题的方式说说就行了
Happen-Before规则
程序顺序原则:一个线程内保证语义的串行性
volatile规则:volatile变量的写,先发生于读,这保证了volatile变量的可见性
锁规则:解锁(unlock)必然发生在随后的加锁(lock)前
传递性:A先于B,B先于C,那么A必然先于C
线程的start()方法先于它的每一个动作
线程的所有操作先于线程的终结(Thread.join())
线程的中断(interrupt())先于被中断线程的代码
对象的构造函数执行结束先于finalize()方法
a=1;
b=a+1;
线程安全问题概念
指某个函数、函数库在多线程环境中被调用时,能够正确地处理各个线程的局部变量,使程序功
能正确完成。