前言
Java并发编程虽然强大,但也容易引发复杂的bug。并发编程的bug主要源自以下几个方面:竞态条件、死锁、内存可见性问题和线程饥饿。了解这些bug的源头及其原理,可以帮助开发者避免和解决这些问题。以下是详细的讲解和相应的示例。
1. 竞态条件(Race Condition)
原理
竞态条件发生在多个线程同时访问和修改共享资源时,由于操作的交错顺序不同,导致程序的行为和结果不可预测。具体表现为多个线程在没有适当同步的情况下访问和修改同一变量。
示例
下面是一个竞态条件的示例,演示多个线程同时修改共享变量 counter
的问题。
java
public class RaceConditionExample {
private static int counter = 0;
public static void main(String[] args) {
Runnable task = () -> {
for (int i = 0; i < 1000; i++) {
counter++;
}
};
Thread thread1 = new Thread(task);
Thread thread2 = new Thread(task);
thread1.start();
thread2.start();
try {
thread1.join();
thread2.join();
} catch (InterruptedException e) {
e.printStackTrace();
}
System.out.println("Final counter value: " + counter); // 预期结果应为2000
}
}
2. 死锁(Deadlock)
原理
死锁是指两个或多个线程相互等待对方持有的资源,导致所有线程都无法继续执行。死锁通常发生在多线程程序中使用多个锁时,锁获取的顺序不一致导致循环等待。
示例
下面是一个简单的死锁示例,两个线程尝试获取相同的锁,但顺序不同,导致死锁。
java
public class DeadlockExample {
private static final Object lock1 = new Object();
private static final Object lock2 = new Object();
public static void main(String[] args) {
Thread thread1 = new Thread(() -> {
synchronized (lock1) {
System.out.println("Thread 1: Holding lock 1...");
try { Thread.sleep(100); } catch (InterruptedException e) {}
System.out.println("Thread 1: Waiting for lock 2...");
synchronized (lock2) {
System.out.println("Thread 1: Holding lock 1 & 2...");
}
}
});
Thread thread2 = new Thread(() -> {
synchronized (lock2) {
System.out.println("Thread 2: Holding lock 2...");
try { Thread.sleep(100); } catch (InterruptedException e) {}
System.out.println("Thread 2: Waiting for lock 1...");
synchronized (lock1) {
System.out.println("Thread 2: Holding lock 1 & 2...");
}
}
});
thread1.start();
thread2.start();
}
}
3. 内存可见性问题(Memory Visibility Issues)
原理
内存可见性问题指的是一个线程对共享变量的修改,另一个线程可能看不到。Java内存模型(JMM)允许线程将变量缓存到寄存器或CPU缓存中,而不是立即写入主内存。这会导致不同线程看到的变量值不一致。
示例
下面是一个内存可见性问题的示例,展示了一个线程对变量 running
的修改,另一个线程可能看不到。
java
public class MemoryVisibilityExample {
private static boolean running = true;
public static void main(String[] args) {
Thread worker = new Thread(() -> {
while (running) {
// Busy-wait loop
}
System.out.println("Worker thread stopped.");
});
worker.start();
try {
Thread.sleep(1000);
} catch (InterruptedException e) {
e.printStackTrace();
}
running = false;
System.out.println("Main thread set running to false.");
}
}
4. 线程饥饿(Thread Starvation)
原理
线程饥饿发生在某些线程长期得不到执行机会,通常是因为高优先级线程不断占用CPU时间,低优先级线程无法获取CPU资源。导致某些线程长期处于等待状态。
示例
下面是一个线程饥饿的示例,展示了低优先级线程可能永远得不到执行机会。
java
public class ThreadStarvationExample {
public static void main(String[] args) {
Thread highPriorityThread = new Thread(() -> {
while (true) {
// High priority task
}
});
highPriorityThread.setPriority(Thread.MAX_PRIORITY);
Thread lowPriorityThread = new Thread(() -> {
while (true) {
System.out.println("Low priority thread running...");
}
});
lowPriorityThread.setPriority(Thread.MIN_PRIORITY);
highPriorityThread.start();
lowPriorityThread.start();
}
}
总结
竞态条件
- 原理:多个线程同时访问和修改共享资源。
- 示例:多个线程同时增加共享变量。
死锁
- 原理:两个或多个线程相互等待对方持有的资源。
- 示例:线程1持有锁1等待锁2,线程2持有锁2等待锁1。
内存可见性问题
- 原理:一个线程对共享变量的修改,另一个线程可能看不到。
- 示例 :一个线程修改变量
running
,另一个线程看不到变化。
线程饥饿
- 原理:某些线程长期得不到执行机会。
- 示例:高优先级线程不断占用CPU时间,低优先级线程无法获取CPU资源。
理解并发编程中的这些bug源头和原理,并采用适当的同步机制(如 synchronized
、Lock
、volatile
)以及并发工具(如 CountDownLatch
、Semaphore
、ConcurrentHashMap
),可以有效避免和解决这些问题。