高薪程序员必修课-java并发编程的bug源头

前言

        Java并发编程虽然强大，但也容易引发复杂的bug。并发编程的bug主要源自以下几个方面：竞态条件、死锁、内存可见性问题和线程饥饿。了解这些bug的源头及其原理，可以帮助开发者避免和解决这些问题。以下是详细的讲解和相应的示例。

1. 竞态条件（Race Condition）

原理

竞态条件发生在多个线程同时访问和修改共享资源时，由于操作的交错顺序不同，导致程序的行为和结果不可预测。具体表现为多个线程在没有适当同步的情况下访问和修改同一变量。

示例

下面是一个竞态条件的示例，演示多个线程同时修改共享变量 counter 的问题。

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）

原理

死锁是指两个或多个线程相互等待对方持有的资源，导致所有线程都无法继续执行。死锁通常发生在多线程程序中使用多个锁时，锁获取的顺序不一致导致循环等待。

示例

下面是一个简单的死锁示例，两个线程尝试获取相同的锁，但顺序不同，导致死锁。

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 的修改，另一个线程可能看不到。

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资源。导致某些线程长期处于等待状态。

示例

下面是一个线程饥饿的示例，展示了低优先级线程可能永远得不到执行机会。

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），可以有效避免和解决这些问题。