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

用心去追梦

于 2024-08-16 10:25:55 发布

阅读量261

点赞数 5

文章标签： java bug 开发语言

本文链接：https://blog.csdn.net/qq_33240556/article/details/141252568

版权

Java并发编程中的可见性、原子性和有序性是理解并发程序行为的基础概念。这些问题往往是导致并发编程中出现Bug的主要原因。下面我将详细介绍这三个概念，并给出一些示例来说明它们如何影响并发程序的行为。

1. 可见性（Visibility）

定义

可见性是指当一个线程修改了共享变量的值，其他线程能够立即看到这个修改。在Java中，volatile关键字可以保证可见性。

问题

数据竞争：多个线程同时访问同一个变量，并且至少有一个线程对其进行写操作。
脏读：一个线程读取到了另一个线程尚未完成写操作的数据。

示例

假设我们有两个线程A和B，共享一个变量counter。线程A修改了counter的值，但是线程B却读取到了旧的值。

class Counter {
    int counter = 0;

    public void increment() {
        counter++;
    }
}

Counter c = new Counter();

new Thread(() -> {
    try {
        Thread.sleep(100); // 模拟延迟
    } catch (InterruptedException e) {
        e.printStackTrace();
    }
    c.increment(); // 线程A修改counter
}).start();

new Thread(() -> {
    try {
        Thread.sleep(50); // 模拟延迟
    } catch (InterruptedException e) {
        e.printStackTrace();
    }
    System.out.println(c.counter); // 线程B读取counter
}).start();

在这个例子中，由于没有使用volatile关键字修饰counter，线程B可能会读取到旧的值0，即使线程A已经完成了递增操作。

2. 原子性（Atomicity）

定义

原子性是指一个操作要么全部完成，要么全部不完成。在Java中，基本类型的读取和写入操作通常是原子的，但是对于复合操作，如i++;则不是原子的。

问题

数据不一致：当多个线程同时执行复合操作时，可能导致数据不一致。
竞态条件：多个线程并发执行时，由于顺序的不确定性，导致错误的结果。

示例

考虑一个简单的计数器类，其中increment()方法不是原子的。

class Counter {
    int counter = 0;

    public void increment() {
        counter++; // 这个操作在多核处理器上不是原子的
    }
}

Counter c = new Counter();

for (int i = 0; i < 10; i++) {
    new Thread(() -> {
        for (int j = 0; j < 1000; j++) {
            c.increment();
        }
    }).start();
}

// 等待所有线程完成
while (Thread.activeCount() > 2) {
    Thread.yield();
}

System.out.println(c.counter); // 输出可能小于10000

在这个例子中，increment()方法中的counter++操作不是原子的，可能导致最终计数不准确。

3. 有序性（Ordering）

定义

有序性是指程序执行的顺序按照代码的先后顺序进行。然而，在并发环境中，编译器和处理器为了优化性能可能会重新排序指令，从而破坏代码的顺序性。

问题

重排序：编译器或处理器可能会对操作进行重排序，导致程序的行为不符合预期。
数据依赖：如果两个操作之间存在数据依赖关系，重排序可能会导致数据不一致。

示例

假设我们有两个变量x和y，两个线程分别设置这两个变量的值。

class DataOrderingExample {
    volatile int x = 0;
    volatile int y = 0;
    volatile boolean flag = false;

    public void writer1() {
        x = 1; // 设置x的值
        flag = true; // 设置flag
    }

    public void writer2() {
        if (flag) { // 检查flag
            y = 1; // 设置y的值
        }
    }
}

DataOrderingExample example = new DataOrderingExample();

new Thread(() -> {
    example.writer1(); // 线程A
}).start();

new Thread(() -> {
    example.writer2(); // 线程B
}).start();

// 等待所有线程完成
while (Thread.activeCount() > 2) {
    Thread.yield();
}

System.out.println(example.x + ", " + example.y);