什么是线程安全？

如果一个函数、方法或对象满足以下条件，则称其为线程安全的：

1. 无需外部同步：当多个线程访问该函数或对象时，不需要外部同步机制（如锁）来保证其正确性。这意味着调用者不必担心线程间的竞争条件或死锁等问题。

2. 正确的行为：不论运行时环境如何调度这些线程，该函数或对象都能保持其预期的功能和行为。也就是说，无论这些线程以何种顺序执行，结果都是可预测且一致的。

3. 避免数据污染：多个线程访问共享数据时，不会发生数据污染的情况。数据污染是指由于线程间未正确同步而导致的数据损坏或不一致性。

4. 保证原子性：对于关键的操作，它们要么全部成功执行，要么全部失败，中间不会被其他线程中断。

解决线程安全问题的常见方法：

1. 使用线程安全类：Java 标准库中提供了很多线程安全的类，例如 Vector、StringBuffer、AtomicInteger 等。

2. 加锁：通过 synchronized 关键字或 ReentrantLock 接口等显式锁机制来确保同一时刻只有一个线程可以访问临界区。

3. 不可变对象：不可变对象天生就是线程安全的，因为一旦创建就不能改变其状态，所以多个线程可以自由访问而不必担心数据变化。

4. 使用并发工具类：Java 并发包 (java.util.concurrent) 提供了多种工具类，如 ConcurrentHashMap、CopyOnWriteArrayList 等，这些工具类设计用于多线程环境，可以简化线程安全的实现。

5. 线程本地存储：ThreadLocal 是一种将变量绑定到特定线程的方法，使得每个线程都有自己的副本，从而避免了线程间的共享。

6. 原子类：java.util.concurrent.atomic 包中的原子类（如 AtomicInteger、AtomicLong 等）提供了线程安全的整数和长整型操作，这些操作是原子性的，不需要额外的同步。

7. 无状态/状态封闭：确保对象没有可变状态或者将所有状态封装起来，不让外部修改

假设我们有一个简单的计数器类，需要保证它是线程安全的：

public class ThreadSafeCounter {
    private int count;

    // 使用 synchronized 关键字来保证方法的原子性
    public synchronized void increment() {
        count++;
    }

    public synchronized int getCount() {
        return count;
    }
}

 使用了 synchronized 关键字来确保 increment 和 getCount 方法在同一时刻只能被一个线程访问，从而实现了线程安全。