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

前言

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源头和原理,并采用适当的同步机制(如 synchronizedLockvolatile)以及并发工具(如 CountDownLatchSemaphoreConcurrentHashMap),可以有效避免和解决这些问题。

相关推荐
一点媛艺1 小时前
Kotlin函数由易到难
开发语言·python·kotlin
姑苏风1 小时前
《Kotlin实战》-附录
android·开发语言·kotlin
奋斗的小花生2 小时前
c++ 多态性
开发语言·c++
魔道不误砍柴功2 小时前
Java 中如何巧妙应用 Function 让方法复用性更强
java·开发语言·python
NiNg_1_2342 小时前
SpringBoot整合SpringSecurity实现密码加密解密、登录认证退出功能
java·spring boot·后端
闲晨2 小时前
C++ 继承:代码传承的魔法棒,开启奇幻编程之旅
java·c语言·开发语言·c++·经验分享
老猿讲编程2 小时前
一个例子来说明Ada语言的实时性支持
开发语言·ada
Chrikk3 小时前
Go-性能调优实战案例
开发语言·后端·golang
幼儿园老大*3 小时前
Go的环境搭建以及GoLand安装教程
开发语言·经验分享·后端·golang·go
canyuemanyue3 小时前
go语言连续监控事件并回调处理
开发语言·后端·golang