线程安全的核心问题
多个线程同时访问共享资源时，程序的行为可能变得不可预测。比如银行转账系统里，两个线程同时从同一个账户扣款，如果没有保护机制，可能会导致余额算错。这就是典型的线程安全问题。
要让代码在多线程环境下正确运行，关键在于控制对共享数据的访问方式。
用锁来保护临界区
最常见的方式是使用互斥锁（Mutex）。当一个线程拿到锁之后，其他线程必须等待，直到锁被释放。这样就能保证同一时间只有一个线程能操作敏感数据。
在 Java 中，可以用 synchronized 关键字实现：
public class Counter {
private int count = 0;
public synchronized void increment() {
count++;
}
}这个例子中，increment 方法被 synchronized 修饰，意味着每次只能有一个线程进入该方法，避免了竞态条件。
原子操作替代显式加锁
有时候不需要完整的锁机制，只需要保证某个操作不可分割。这时候可以使用原子类。例如 Java 的 AtomicInteger 提供了线程安全的自增操作：
import java.util.concurrent.atomic.AtomicInteger;
public class AtomicCounter {
private AtomicInteger count = new AtomicInteger(0);
public void increment() {
count.incrementAndGet();
}
}底层利用了 CPU 的 CAS（Compare and Swap）指令，效率比加锁更高，适合高并发场景。
避免共享状态
最彻底的办法是不让线程之间共享可变数据。比如每个线程使用自己的变量副本，互不干扰。ThreadLocal 就是干这事的：
private static ThreadLocal<Integer> threadId = new ThreadLocal<Integer>() {
@Override
protected Integer initialValue() {
return Random.nextInt(1000);
}
};每个线程都会独立持有自己的随机数，不会互相影响。就像每个人都有自己的记事本，谁也不改谁的内容。
不可变对象天然线程安全
如果一个对象创建后就不能被修改，那它本身就是线程安全的。String 在 Java 中就是典型例子。多个线程读取同一个字符串，完全不用担心同步问题。
自己设计类时也可以借鉴这一点：把字段设为 final，不提供 setter 方法，构造函数初始化所有值。这样一来，对象一旦生成，谁都无法改动它。
合理设计并发结构
有时候问题出在设计上。比如多个线程频繁争抢同一个资源，与其不断加锁解锁，不如拆分成更小的单元。ConcurrentHashMap 就是这么做的——它把整个哈希表分成多个段，不同线程操作不同段时互不影响。
这就像超市收银台从一个变成十个，排队的人自然就少了。合理的并发结构能大幅降低冲突概率。