volatile的原子性验证

本文探讨了volatile关键字的原子性问题,指出volatile无法确保操作的原子性,并通过执行结果进行了展示。文章最后提示读者,若要保证原子性,需要寻求其他解决方案。
摘要由CSDN通过智能技术生成

volatile的原子性?

什么是原子性?
不可分割,完整性,整体不能加塞或被分割,要么成功要么失败。

package com.yifan.jvm.jmm;


/**
 * 主内存和线程内存
 */
public class Memory {
   

    volatile int count = 0;

    void addCOunt(){
   
        this.count = 10;
    }

    void <
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
原语的原子性是指对于某个操作,要么它完全执行成功,要么完全不执行,没有中间状态。原语的原子性可以确保在多线程环境中,对共享资源的操作不会出现竞态条件(Race Condition)等并发问题。 在单机环境下,可以通过以下方式实现原语的原子性: 1. 使用互斥锁(Mutex):在需要保证原子性的代码块或操作前后使用互斥锁,确保同一时间只有一个线程可以访问该代码块或操作。互斥锁可以通过系统调用或者编程语言提供的库函数来实现。 2. 使用原子操作指令:一些处理器提供了针对共享内存的原子操作指令,如比较并交换(Compare and Swap,CAS)等。这些指令在硬件层面上保证了操作的原子性。 在实现原语的原子性时,需要注意以下问题: 1. 正确性:确保原语的实现逻辑正确,不会引入潜在的逻辑错误。例如,在使用互斥锁时,需要注意加锁和解锁的位置是否正确,避免死锁和解锁未加锁的情况。 2. 性能:选择合适的原子性实现方式以及合理地粒度划分。过细粒度的锁或原子操作可能会导致性能下降,而过粗粒度可能无法发挥并发性能优势。 3. 可见性:在多线程环境中,保证共享资源的可见性,即一个线程对共享资源的修改能够被其他线程正确地读取到。可以通过使用适当的内存屏障(Memory Barrier)或者使用volatile等机制来实现可见性。 4. 死锁和饥饿:在使用互斥锁时,需要注意避免死锁和饥饿的问题。死锁是指多个线程相互等待对方释放锁的情况,饥饿是指某个线程长时间无法获取到锁的情况。 总之,在实现原语的原子性时,需要综合考虑正确性、性能、可见性以及避免死锁和饥饿等问题。选择合适的实现方式,并进行充分的测试和验证,以确保原语的原子性在多线程环境下能够正常工作。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值