并发编程--volatile应用与原理


volatile在并发编程中扮演着重要的角色(并发编程包java.util.concurrent中运用了volatile的特性),volatile被称为轻量级锁,它在多处理器开发中保证了共享变量的“可见性”,可见性的意思是当一个线程修改一个共享变量时,另外一个线程能读到这个修改的值。 如果volatile量修符使用恰当的,它比synchronized的使用和行成本更低,因它不会引起线程上下文的切度。

   Java范第3版中volatile的定如下:Java言允许线访问共享量,了确保共享量能被准确和一致地更新,线应该确保通排他锁单量。Java言提供了volatile,在某些情况下比要更加方便。如果一个字段被声明成volatileJava线程内存模型确保所有线程看到量的是一致的。

volatile是如何来保性的呢?X86理器下通工具JIT编译器生成的汇编指令来volatile行写操作CPU会做什么事情。
Java如下。
instance = new Singleton(); // instancevolatile
转变汇编,如下。
0x01a3de1d: movb $0×0,0×1104800(%esi);0x01a3de24: lock addl $0×0,(%esp);
volatile量修的共享行写操作的候会多出第二行汇编,通过查IA-32件开者手册可知,Lock的指令在多核理器下会引了两件事情[1]
1)将当前理器存行的数据写回到系内存。
2个写回内存的操作会使在其他CPU存了内存地址的数据无效。
了提高理速度,理器不直接和内存行通信,而是先将系内存的数据到内部
存(L1L2或其他)后再行操作,但操作完不知道何会写到内存。如果声明了volatile行写操作,JVM就会向理器送一条Lock的指令,将量所在存行的数据写回到系内存。但是,就算写回到内存,如果其他理器存的值还是旧的,再算操作就会有问题。所以,在多理器下,了保各个理器的存是一致的,就会实现缓存一致性协议,每个理器通嗅探在总线播的数据来检查自己存的是不是期了,当理器发现自己存行对应的内存地址被修改,就会将当前理器的存行置成无效状,当理器对这个数据行修改操作的候,会重新从系内存中把数据理器里。

下面来具体volatile的两条实现
1Lock

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值