java多线程常见报错和处理办法整理

死锁：当线程相互等待时

死锁是多线程编程中最经典的难题之一，通常发生在两个或更多线程无限期地等待对方释放锁资源时。其产生的必要条件包括互斥、持有并等待、不可剥夺和循环等待。在代码中，这常常表现为嵌套的同步块或方法，例如线程A持有锁L1并尝试获取锁L2，而线程B正持有锁L2并尝试获取锁L1，双方陷入僵持。

处理死锁的策略重在预防。首先，应尽量避免嵌套获取不同的锁。如果无法避免，则必须确保所有线程以全局一致的固定顺序来申请锁，这可以破坏“循环等待”条件。其次，尝试使用带有超时机制的锁获取方法，如`Lock.tryLock(long time, TimeUnit unit)`，这样线程在指定时间内未获得锁会放弃并释放已持有的资源，从而回退并重试。最后，一些静态分析工具可以帮助在代码层面检测出潜在的死锁风险。

线程安全与数据竞争

当多个线程同时访问共享的可变数据，且至少有一个线程执行写操作时，就可能引发数据竞争，导致程序出现非预期的、难以复现的错误结果。常见的报错表象可能并非直接的异常，而是程序逻辑混乱、计算结果不准，或在某些极端情况下抛出`ArrayIndexOutOfBoundsException`等运行时错误。

解决线程安全问题的核心是正确地同步。对于基本的同步需求，可以使用`synchronized`关键字修饰方法或代码块，确保同一时刻只有一个线程能执行该临界区。更灵活的方案是使用`ja va.util.concurrent.locks`包下的`ReentrantLock`等显式锁。对于集合类，应优先使用`ConcurrentHashMap`、`CopyOnWriteArrayList`等线程安全的并发容器，而非手动同步普通的`HashMap`或`ArrayList`。此外，将共享变量声明为`volatile`可以保证其可见性，但无法保证复合操作的原子性，需根据场景谨慎选用。

资源管理与中断异常

线程生命周期管理不当会引发一系列问题。`InterruptedException`是一个常见的检查型异常，当线程在阻塞状态（如`sleep()`、`wait()`、`join()`）中被其他线程调用`interrupt()`方法中断时抛出。粗暴地捕获后不处理，或者简单地调用`Thread.stop()`（已废弃）来终止线程，会导致资源无法正确释放、数据状态不一致等严重后果。

正确的处理方式是响应中断。在捕获`InterruptedException`后，通常应执行必要的清理工作，然后要么向上层抛出异常，要么通过`Thread.currentThread().interrupt()`重新设置中断状态，让调用栈上层代码知晓并处理。对于需要长时间运行的任务，应在循环中定期检查`Thread.isInterrupted()`状态，以便优雅地退出。对于线程池中线程的回收，务必确保任务代码能妥善处理中断，并合理配置线程池参数（如核心线程数、存活时间、工作队列类型），避免资源泄漏。

线程池与执行异常

使用`ExecutorService`等线程池框架时，提交的任务如果抛出了未捕获的异常，默认情况下这个异常可能会被“吞掉”，仅打印到标准错误流，开发者难以察觉。这可能导致任务静默失败，业务逻辑中断却无日志可查。此外，不当的线程池配置（如无界队列搭配固定线程数）可能导致内存溢出。

为了捕获并处理任务中的异常，可以为线程池设置自定义的`ThreadFactory`，在其中为每个工作线程设置一个`UncaughtExceptionHandler`。或者，在使用`submit()`方法提交`Callable`或`Runnable`任务时，通过返回的`Future`对象的`get()`方法来获取执行结果或异常。对于资源管理，应根据任务特性（CPU密集型、IO密集型）合理配置线程池大小，并使用有界队列以防止资源耗尽。任务执行完毕后，应适时调用`shutdown()`或`shutdownNow()`来关闭线程池。

内存可见性与volatile的使用

在缺乏同步的情况下，一个线程对共享变量的修改，可能不会立即被其他线程看到，这是由于现代计算机架构中缓存的存在所导致的“内存可见性”问题。这会使程序运行结果依赖于不可预测的线程执行时序，引发诡异的bug。

`volatile`关键字是解决可见性问题的轻量级同步机制。它确保了对该变量的读写直接作用于主内存，而非线程的工作内存，从而保证一个线程的写操作能立即对其他线程可见。然而，`volatile`无法保证复合操作（如递增`i++`）的原子性。其典型适用场景包括作为状态标志（如`boolean shutdownRequested`），或者用于安全发布不可变对象（通过确保引用本身的可见性）。对于更复杂的共享状态更新，仍需使用`synchronized`或`ja va.util.concurrent.atomic`包中的原子类。