Volatile可见性及非原子性验证

1.保证可见性

不加volatile程序就会死循环
加volatile就可以保证可见性

package com.liao.jvolatile;

import java.util.concurrent.TimeUnit;

public class JMMDemo {
    private volatile static int num = 0;
    //不加volatile程序就会死循环
    //加volatile就可以保证可见性
    public static void main(String[] args) {
        new Thread(()->{
            while (num==0){ //线程1对主内存的变化是不知道的

            }
        }).start();
        try {
            TimeUnit.SECONDS.sleep(2);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        num = 1;
        System.out.println(num);
    }
}

2.不保证原子性

原子性:不可分割的
线程A在执行任务的时候,不能被打扰的,也不能被分割。要么同时成功,要么同时失败

package com.liao.jvolatile;

//synchronized一定保证原子性
public class VolatileDemo {
    private volatile static int num = 0;

    public static void add(){
        num++;
    }
    public static void main(String[] args) {
        //理论上num结果应该为2万
        for (int i = 1; i <= 20; i++) {
            new Thread(()->{
                for (int j = 1; j <= 1000; j++) {
                    add();
                }
            }).start();
        }
        while (Thread.activeCount()>2){ //activeCount还存活的线程的数量,默认执行的main,gc线程
            Thread.yield();
        }
        System.out.println(Thread.currentThread().getName()+" ----"+num);
    }
}

如果不加lock和synchronized,怎么保证原子性?
使用原子类解决原子性问题**:**

package com.liao.jvolatile;

import java.util.concurrent.atomic.AtomicInteger;

//synchronized一定保证原子性
public class VolatileDemo {
    private volatile static AtomicInteger num = new AtomicInteger();

    public static void add(){
        num.getAndIncrement(); //getAndIncrement是AtomicInteger的+1方法  运用了底层的CAS
    }
    public static void main(String[] args) {
        //理论上num结果应该为2万
        for (int i = 1; i <= 20; i++) {
            new Thread(()->{
                for (int j = 1; j <= 1000; j++) {
                    add();
                }
            }).start();
        }
        while (Thread.activeCount()>2){ //activeCount还存活的线程的数量,默认执行的main,gc线程
            Thread.yield();
        }
        System.out.println(Thread.currentThread().getName()+" ----"+num);
    }
}

这些类的底层都是直接和操作系统挂钩,在内存中修改值!Unsafe类是一个很特殊的存在

  • 1
    点赞
  • 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
发出的红包

打赏作者

Marlboro~

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值