java并发编程(四)共享模型之无锁

本文探讨了在多线程环境下实现账户取款方法的线程安全性,通过两种不同的实现方式——有锁和无锁(CAS)进行了对比,并介绍了AtomicInteger类的使用。

1.问题提出

有如下需求,保证account.withdraw取款方法的线程安全


public class TestAccount{
    public static void main(String[] args) {
        Account account = new AccountUnsafa(10000);
        Account.demo(account);

        Account account2 = new AccountCas(10000);
        Account.demo(account2);
    }
}

/**
 * 保护共享资源--无锁实现
 * @author shm
 * @date  2020/9/26
 */
class AccountCas implements Account{

    private AtomicInteger balance;

    public AccountCas(int balance) {
        this.balance = new AtomicInteger(balance);
    }

    @Override
    public Integer getBalance() {
        return balance.get();
    }

    @Override
    public void withdraw(Integer amounnt) {
        while (true){
            //获取余额的最新值
            int prew = balance.get();
            //要修改的余额
            int next = prew - amounnt;
            //真正修改 (即同步到主存)
            if (balance.compareAndSet(prew,next)){
                break;
            }
        }
    }
}

/**
 * 保护共享资源--有锁实现
 * @author shm
 * @date  2020/9/26
*/
class AccountUnsafa implements Account{

    private Integer balance;

    public AccountUnsafa(Integer balance) {
        this.balance = balance;
    }

    @Override
    public Integer getBalance() {
        synchronized (this) {
            return this.balance;
        }
    }

    @Override
    public void withdraw(Integer amounnt) {
        synchronized (this) {
            this.balance -= amounnt;
        }
    }
}


interface Account {
    //获取余额
    Integer getBalance();

    //取款
    void  withdraw(Integer amounnt);

    /**
     * 方法内会启动1000个线程,每个线程做 -10 元的操作
     * 如果初始余额为10000 那么正确的结果应该是0
     * @param account dsf
     * @return void
     * @author shm
     * @date  2020/9/26
    */
    static void demo(Account account){
        List<Thread> ts = new ArrayList<>();
        for (int i = 0; i < 1000; i++) {
            ts.add(new Thread(()->{
                account.withdraw(10);
            }));
        }

        long start  = System.nanoTime();
        ts.forEach(Thread::start);
        ts.forEach(thread -> {
            try {
                thread.join();
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
        });
        long end  = System.nanoTime();
        System.out.println(account.getBalance()+",cost:"+(end-start)/1000_000+"ms");
    }
    
}

2.CAS与volatile

2.1 CAS工作方式

 其中的关键是compareAndSet,它的简称就是CAS(也有Compare And Swap的说法),它必须是原子操作。

2.2 volatile

2.3 无锁效率分析

2.4 CAS的特点

3 原子整数

J.U.C (java.util.concurrent)并发包提供了:

 

以AtomicInteger为例

updateAndSet原理

4.原子引用

4.1 AtomicReference

  • 可以原子更新的对象引用。

4.2 ABA问题

4.3 AtomicStampedReference

4.4 AtomicMarkableReference

5. 原子数组

 

 

 

申明:内容来自网络,仅供学习使用
https://www.bilibili.com/video/BV1jE411j7uX

<think>我们正在讨论Java并发编程中的共享模型。根据引用[1][2],我们可以总结出Java内存模型(JMM)中关于共享变量的核心概念。 共享模型主要涉及多个线程如何访问共享变量(存储在堆内存中的变量),以及如何保证线程安全。 根据引用[1]: - 工作内存(私有):每个线程有自己的工作内存(栈区PC寄存器),存储线程私有数据。 - 主内存(共享):所有变量都存储在主内存(堆区方法区),所有线程都可以访问。 根据引用[2]: - JMM规定所有变量都存在主存中,每个线程有自己的工作内存(类似于CPU的寄存器或高速缓存)。 - 线程对变量的操作都在工作内存中进行,操作前后需要将值同步到主内存。 因此,共享模型的核心是:多个线程通过主内存共享数据,但每个线程操作的是自己工作内存中的副本,这就导致了可见性问题。 回答用户问题:Java并发编程中的共享模型是什么? 我们可以从以下几个方面来阐述: 1. 共享模型的定义:多线程环境下,多个线程可以访问修改同一个变量(共享变量),这些变量存储在堆内存中。 2. 内存模型:JMM定义了线程主内存之间的抽象关系,即线程对共享变量的操作必须通过工作内存(线程私有)与主内存(共享)交互。 3. 问题:由于每个线程操作的是自己工作内存中的副本,当一个线程修改了共享变量,其他线程可能无法立即看到修改,这就是可见性问题。同时,还有原子性有序性问题。 4. 解决方案:使用同步机制(如synchronized、volatile、原子类等)来保证线程安全。 下面我们组织回答:</think>### Java并发编程中的共享模型详解 #### 一、共享模型的核心概念 在Java并发编程中,**共享模型**指多个线程通过**共享内存区域**进行数据交互的机制。该模型包含三个关键组件: 1. **主内存(共享区域)** 所有共享变量(实例字段、静态字段)存储的区域,位于**堆内存**中[^1][^2]。 ```java // 示例:主内存中的共享变量 class Counter { int count = 0; // 存储在堆内存(主内存) } ``` 2. **工作内存(私有区域)** 每个线程独立拥有的内存空间,存储**主内存变量的副本**,位于**线程栈**中[^1][^2]。 ```mermaid graph LR A[主内存] -->|读取| B[线程1工作内存] A -->|读取| C[线程2工作内存] B -->|修改后同步| A C -->|修改后同步| A ``` 3. **内存交互规则** - 线程不能直接操作主内存,必须通过工作内存副本[^2] - 修改后的值需同步回主内存才能被其他线程可见 - 同步时机由`volatile`、`synchronized`等机制控制 #### 二、共享模型引发的问题与解决方案 | **问题类型** | **产生原因** | **解决方案** | |----------------|---------------------------------------|---------------------------------------| | **可见性问题** | 线程修改副本后未同步到主内存 | `volatile`变量、`synchronized`块 | | **原子性问题** | 多线程操作共享变量的步骤被中断 | 原子类(如`AtomicInteger`)、机制 | | **有序性问题** | 编译器/处理器优化导致指令重排序 | `volatile`、`final`、`synchronized` | **示例:可见性问题演示** ```java public class VisibilityDemo { static /*volatile*/ boolean flag = true; // 不加volatile会导致死循环 public static void main(String[] args) throws InterruptedException { new Thread(() -> { while (flag) {} // 线程1读取工作内存中的副本 System.out.println("线程1停止"); }).start(); Thread.sleep(1000); flag = false; // 主线程修改主内存的值 } } ``` > 当`flag`不加`volatile`时,线程1可能永远读取不到修改后的值[^2] #### 三、共享内存的正确使用模式 1. **不可变对象** 使用`final`修饰的不可变对象天然线程安全: ```java final class ImmutablePoint { private final int x; private final int y; // 无需同步即可安全共享[^1] } ``` 2. **线程封闭** 将共享变量封装到线程局部存储中: ```java ThreadLocal<Integer> threadLocal = ThreadLocal.withInitial(() -> 0); // 每个线程独立操作自己的副本 ``` 3. **安全发布** 通过同步机制安全发布对象: ```java public class SafePublisher { private volatile SharedObject obj; public void init() { obj = new SharedObject(); // volatile保证可见性 } } ``` #### 、JMM(Java内存模型)规范要点 1. **Happens-Before规则** 定义操作间的可见性保证: - 程序顺序规则 - 规则(解先于加) - `volatile`变量规则 - 线程启动/终止规则 2. **内存屏障(Memory Barrier)** `volatile``synchronized`隐式插入内存屏障: ```mermaid graph LR A[写操作] -->|StoreStore屏障| B[写volatile变量] B -->|StoreLoad屏障| C[后续操作] ``` #### 五、共享模型与无编程 无机制(如CAS)依赖于共享模型的可见性保证: ```java AtomicInteger atomicInt = new AtomicInteger(0); void increment() { int oldVal; do { oldVal = atomicInt.get(); // 从主内存读取最新值 } while (!atomicInt.compareAndSet(oldVal, oldVal + 1)); // CAS更新 } ``` > CAS操作需要实时获取主内存最新值[^1][^2] --- **总结**:Java共享模型通过**主内存-工作内存**的抽象,定义了多线程间数据交互的规则。开发者需通过`volatile`、原子类、同步块等机制解决**可见性、原子性、有序性**问题。理解JMM规范是编写高效线程安全程序的基础[^1][^2]。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值