【多线程安全的三大特性】

越来越亮

于 2024-08-19 23:18:13 发布

阅读量417

点赞数 12

文章标签： spring java 后端

本文链接：https://blog.csdn.net/weixin_43933594/article/details/141337211

版权

多线程安全的三大特性通常指原子性、可见性和有序性，理解如下：

一、原子性

定义
- 原子性是指一个操作或者一系列操作要么全部执行成功，要么全部不执行，不会出现部分执行的情况。在多线程环境下，这意味着一个原子操作不会被其他线程中断。
举例
- 例如，对基本数据类型的赋值操作通常是原子性的。比如 int i = 10;，这个操作在执行过程中不会被其他线程干扰，要么成功地将 i 赋值为 10，要么不进行任何操作。
- 但像 i++; 这样的操作就不是原子性的，它实际上包含了读取 i 的值、将值加一、再将结果写回 i 这三个步骤。在多线程环境下，如果两个线程同时执行 i++;，可能会出现结果小于预期的情况，因为一个线程可能在另一个线程执行到一半的时候进行了干扰。
确保原子性的方法
- 使用同步机制，如 synchronized 关键字或者 java.util.concurrent.atomic 包中的原子类（如 AtomicInteger）。这些机制可以确保一组操作在执行过程中不会被其他线程中断，从而保证原子性。

二、可见性

定义
- 可见性是指当一个线程修改了一个共享变量的值时，其他线程能够立即看到这个修改。在多线程环境下，由于编译器优化、处理器缓存等原因，一个线程对变量的修改可能不会立即被其他线程感知。

举例

考虑以下代码：

class VisibilityExample {
    private boolean flag = false;

    public void setFlag() {
        flag = true;
    }

    public void checkFlag() {
        while (!flag) {
            // 等待 flag 被设置为 true
        }
    }
}

在这个例子中，如果没有适当的同步机制，即使一个线程调用了 setFlag() 方法将 flag 设置为 true，另一个线程在执行 checkFlag() 方法时可能仍然看不到这个修改，从而导致无限循环。

确保可见性的方法
- 使用 volatile 关键字修饰变量。当一个变量被声明为 volatile 时，JVM 会确保对这个变量的写操作立即刷新到主内存，并且对这个变量的读操作会强制从主内存中读取最新的值。
- 使用同步机制，如 synchronized 关键字。当一个线程进入 synchronized 代码块时，它会从主内存中读取共享变量的值，当它退出 synchronized 代码块时，它会将修改后的变量值刷新到主内存中，从而保证其他线程能够看到最新的值。

三、有序性

定义
- 有序性是指程序中代码的执行顺序按照代码的书写顺序执行。在多线程环境下，由于指令重排序等原因，代码的执行顺序可能与书写顺序不一致。
举例
- 例如，有以下代码：
```
int x = 0;
int y = 1;
int z = x + y;
```
在没有同步机制的情况下，编译器或处理器可能会对这些指令进行重排序，比如先执行 int y = 1; 和 int z = x + y;，然后再执行 int x = 0;。在单线程环境下，这种重排序不会影响程序的结果，但在多线程环境下，可能会导致错误的结果。
确保有序性的方法
- 使用 volatile 关键字。volatile 关键字不仅可以保证可见性，还可以禁止指令重排序，从而确保变量的读写操作按照程序的书写顺序执行。
- 使用同步机制，如 synchronized 关键字。synchronized 关键字可以确保在同一时刻只有一个线程执行被 synchronized 修饰的代码块，从而保证代码的执行顺序按照程序的预期进行。