os.makedirs(path, exist_ok=True)是否存在竞态条件引发的虚假异常？

• 核心疑问：如果两个不同进程同时执行os.makedirs(path, exist_ok=True)，会不会因为竞态条件导致其中一个进程抛出本不该出现的异常？
• 担忧的底层逻辑：怕这个调用是先检查目录是否存在，再尝试创建，类似伪代码：

  if not dir_exists(d):
      try_make_dir_and_raise_if_exists(d)
  

  这种两步操作极易出现竞态——进程A检查目录不存在，准备创建时，进程B先创建了目录，此时进程A再执行创建就会报错。
• 调研情况：查过Python官方文档，但没找到关于这个调用竞态安全的明确声明；看到有Stack Overflow回答说它是安全的，但没有给出依据。

结论：不会抛出虚假异常，os.makedirs(path, exist_ok=True)是竞态安全的 #

Python 3.2及以上版本中，os.makedirs的exist_ok=True实现并非“先检查后创建”的两步逻辑，而是直接尝试创建目录，并利用操作系统的原子性系统调用处理冲突：

1. 进程直接调用系统级的创建目录接口（比如Linux的mkdir、Windows的CreateDirectory）；
2. 如果系统返回“目录已存在”的错误（如Linux的EEXIST），且exist_ok=True，Python会捕获这个错误，然后验证该路径确实是一个目录（而非文件或其他类型）；
3. 只要路径是合法目录，就会直接返回，不会抛出异常；只有当路径存在但不是目录时，才会抛出FileExistsError。

这种实现避免了“检查-创建”的竞态窗口，因为创建操作本身是原子性的——操作系统会保证要么创建成功，要么返回已存在的错误，不会出现中间状态导致的虚假异常。

虽然官方文档没有明确标注“竞态安全”，但查看CPython的源码可以验证这一逻辑：os.makedirs在处理exist_ok参数时，会针对性捕获目录已存在的错误，仅在路径类型不符合预期时才重新抛出异常。

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