如何用C++标准库避免锁文件创建的TOCTOU竞争条件？

核心需求分析 #

要实现目录同步程序的多实例互斥，必须避免TOCTOU竞争条件——即"检查锁不存在"和"创建锁"之间的间隙被其他实例抢占。要求使用C++标准库实现，兼容WebDav等网络驱动器，不依赖操作系统特定API。

候选方案逐一分析 #

1. std::fopen 带 "x" 标志 #

• 行为："x" 模式要求仅当文件不存在时才创建并打开，若文件已存在则直接失败。
• 原子性：符合要求。底层操作系统会保证"检查文件存在性+创建文件"的操作是原子的，彻底避免TOCTOU问题。
• 注意事项：持有锁期间需保持文件打开状态（关闭文件后其他实例可重新创建锁文件），操作完成后再关闭并删除锁文件。多数网络文件系统（包括WebDav）支持该语义。

2. std::filesystem::create_directory #

• 行为：仅当目标目录不存在时才创建成功，若目录已存在则返回false（非抛出版本）或抛出异常。
• 原子性：C++17标准明确要求该操作是原子的，完全满足互斥需求。
• 优势：锁目录比锁文件更难被误删除（需手动删除空目录），部分网络文件系统对目录操作的原子性支持更稳定。释放锁时只需删除空目录即可。

3. std::filesystem::rename #

• 行为：原子性重命名操作，但需配合临时文件使用：先创建唯一临时文件，再尝试重命名为锁文件名。若锁文件已存在，重命名会失败。
• 原子性：重命名本身是原子的，但多了创建临时文件的步骤，不如直接创建锁文件/目录简洁。适合对锁文件有特殊命名需求的场景。

4. std::filesystem::copy_file #

• 行为：默认不覆盖目标文件，若目标存在则操作失败，但"检查目标存在性+复制内容"的过程并非原子——复制内容本身是耗时操作，期间可能出现竞争。
• 结论：不适合作为锁实现，无法避免TOCTOU问题。

最优方案推荐 #

优先选择以下两种方案：

• 锁目录方案：使用std::filesystem::create_directory（或非抛出版本create_directory_v）创建空目录作为锁。创建成功即获取锁，操作完成后删除空目录释放锁。该方案实现简单，稳定性高。
• 锁文件方案：使用std::fopen("lockfile", "wx")（或C++的std::ofstream带std::ios::excl标志）创建锁文件，保持文件打开状态直到操作结束，再关闭并删除文件。适合习惯使用文件锁的场景。

两种方案均兼容绝大多数网络文件系统，无需依赖操作系统特定API，彻底解决TOCTOU竞争问题。

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