Java线程安全性

      在Java中,线程安全性是指:当多个线程访问某个类时,不管运行时环境采用何种调度方式或者这些进程将如何交替进行,并且在主调代码中不需要任何额外的同步或协同,这个类都能表现出正确的行为,那么就称这个类是线程安全的。

      线程安全性体现在三个方面:原子性、可见性、有序性。

一. 原子性

      原子性提供了互斥访问,同一时刻只能有一个线程来对它进行操作。

      保证原子性有两种方式:

      (1)Atomic包

      (2)锁

  • synchronized:依赖JVM,修饰代码块、方法、静态方法、类(子类继承父类后,父类的synchronized修饰的方法不起作用(synchronized不属于方法声明的一部分),子类需要自己显式声明synchronized关键字。)
  • Lock:依赖特殊的CPU指令,代码实现,ReentrantLock

二. 可见性

     可见性指一个线程对主内存的修改可以及时的被其他线程观察到。

     volatile:通过加入内存屏障禁止重排序优化来实现。(不保证原子性)

  • 对volatile变量写操作时,会在写操作后加入一条store屏障指令,将本地内存中的共享变量值刷新到主内存;
  • 对volatile变量读操作时,会在读操作前加入一条load屏障指令,从主内存中读取共享变量。

     使用volatile必须具备2个条件:①对变量的写操作不依赖当前值;②该变量没有包含在具有其他变量的不变式中。

三. 有序性

      有序性指一个线程观察其他线程中的指令执行顺序,由于指令重排序的存在,该观察结果一般杂乱无序。

      happens-before原则保证指令不能重排,共有8条原则:

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

 

 

 

 

  • 0
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值