多线程竞态条件示例：Java中同步资源误用

原创柔光的暖阳◎ 2024-10-31 15:33 3阅读 0赞

在Java中，多线程环境下的竞态条件（Race Condition）是指多个线程同时访问共享资源，并且至少有一个线程在修改这个资源，最终结果依赖于线程执行的顺序。如果线程的执行顺序不同，可能会导致不同的结果，这就是竞态条件。

下面是一个简单的Java示例，展示了由于同步资源误用导致的竞态条件：

```javapublic class Counter {
 private int count =0;

public void increment() {
 count++; //这里没有同步，导致竞态条件 }

public int getCount() {
 return count;
 }
}

public class ThreadExample {
 public static void main(String[] args) {
 final Counter counter = new Counter();
Thread thread1 = new Thread(() -> {
 for (int i =0; i <1000; i++) {
 counter.increment();
 }
 });

Thread thread2 = new Thread(() -> {
 for (int i =0; i <1000; i++) {
 counter.increment();
 }
 });

thread1.start();
 thread2.start();

try {
 thread1.join();
 thread2.join();
} catch (InterruptedException e) {
e.printStackTrace();
 }

System.out.println("Expected count:2000, Actual count: " + counter.getCount());
 }
}
```在这个例子中，`Counter` 类中的 `increment` 方法没有进行同步，导致两个线程 `thread1` 和 `thread2`同时访问和修改 `count`变量。由于没有同步，两个线程可能会同时读取 `count` 的值，然后各自增加1，最后只写回一次，导致最终的 `count`值可能小于2000。

为了解决这个问题，我们可以对 `increment` 方法进行同步：

```javapublic synchronized void increment() {
 count++;
}
```或者使用 `synchronized`块：

```javapublic void increment() {
 synchronized (this) {
 count++;
 }
}
```通过同步，我们可以确保在任何时刻只有一个线程可以访问和修改 `count`变量，从而避免竞态条件。