为什么Boost要强调distinct objects的thread-safety？

根据Boost官方文档所述：

线程安全
不同对象：安全。
共享对象：
除restart()和notify_fork()函数外均是安全的。当存在未完成的run()、run_one()、run_for()、run_until()、poll()或poll_one()调用时调用restart()会导致未定义行为。当其他线程正在调用任何io_context函数，或与该io_context关联的I/O对象的任何函数时，不应调用notify_fork()函数。

通常讨论线程安全时，我们关注的是同一对象在多线程中的读写行为，Boost为何要特意强调不同对象的线程安全性？

这其实是在明确不存在隐式全局共享状态——很多异步框架或I/O库的底层可能依赖全局资源，比如全局线程池、共享的系统I/O句柄管理表，哪怕是不同的实例也可能因为共享这些资源而引发线程安全问题。

Boost.Asio特意标注“不同对象：安全”，就是给开发者吃定心丸：只要你用的是各自独立的io_context实例，哪怕在不同线程里操作这些实例，完全不用担心它们之间会互相干扰，也不需要额外加锁同步。

举个实际场景：你在主线程创建一个io_context处理网络请求，同时在后台线程创建另一个io_context处理文件I/O，这两个实例的操作完全隔离，不会因为跨线程操作不同实例而触发竞态条件。

反过来想，如果不明确这一点，开发者可能会默认不同对象也需要同步，无端增加不必要的锁拖慢性能；或者担心不同实例共享底层资源不敢同时使用，限制了架构设计的灵活性。

内容的提问来源于stack exchange，提问作者John