并发原子性、可见性、有序性与JMM内存模型

本文深入探讨Java并发编程中的原子性、可见性和有序性问题,以及JMM内存模型。通过实例分析,解释了如何保证原子性、可见性和有序性,并详细阐述了Java内存模型的主存与工作内存交互协议,以及其在多线程通信和同步中的作用。文中还介绍了volatile关键字和锁在实现这些特性中的作用,以及happens-before原则,帮助理解Java并发编程的底层机制。
摘要由CSDN通过智能技术生成

并发三大特性与JMM内存模型

并发编程Bug的源头:原子性、可见性和有序性问题



原子性

原子性:保证一个线程中的一次或多次操作不会被其他线程打断

在64位的操作系统中,对基本类型的读取和赋值语句是能保证原子性的。但i++ i-- 这类操作不能保证原子性

在32位的操作系统中,是不能保证long 、double 这类64位变量的原子性;我们可以使用volatile,它可以保证单个变量赋值操作的原子性。


保证原子性的方式:

  • 加锁,加synchronized锁或者是Lock显示锁
  • CAS操作,但CAS只能保证单个变量的原子性


可见性

可见性:多个线程访问同一个共享变量,一个线程修改了,其他线程能立刻读取到修改后的值

下面这个案例就是有可见性问题,线程1一直跳不出循环

public class Visible {
   

    private static boolean flag = true;

    public static void readFlag(){
   
        while (flag){
   

        }
        System.out.println("跳出循环...");
    }

    public static void main(String[] args) throws InterruptedException {
   
        new Thread(() -> readFlag()).start();
        Thread.sleep(100);
        flag = false;
        System.out.println("main thread end..."
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值