ExecutorService 如何保证线程安全

`ExecutorService` 是 Java 中用于管理和控制线程池的框架的一部分。它本身并不直接提供线程安全的功能，但是通过以下几个方面可以间接地确保任务的安全执行：

1. **线程隔离**: `ExecutorService` 使用 `ThreadPoolExecutor` 或其他实现来创建线程池，每个线程都有独立的工作内存空间，这有助于避免数据竞争。

2. **提交任务的方式**: 通常，我们通过 `execute()` 或 `submit()` 方法提交任务到线程池，这些方法内部会处理并发控制，确保任务不会立即被执行，而是按照线程池的规则添加到工作队列中。

3. **并发控制**: 如果需要访问共享资源，最好将操作包装在 `synchronized` 区块或自定义的同步辅助类 (`java.util.concurrent.Callable`, `FutureTask`) 中，确保同一时间只有一个线程执行该部分代码。

4. **`Future` 接口**: 提交的任务返回 `Future` 对象，我们可以使用它来取消任务、检查其是否完成以及获取结果。这种方式允许我们在异步操作完成后采取适当的行动，同时保持对并发控制的控制。

5. **并发容器的使用**: 如果涉及到共享数据结构（如 `BlockingQueue`），应使用 `Collections.synchronizedList()` 等工具来保证线程安全。

6. **避免共享状态**: 尽量减少共享状态，如果确实需要，考虑使用 `ThreadLocal` 或者原子变量来存储局部数据。