unlink() 在检查存在后立即失败并显示“没有这样的文件或目录”

Question

我在我的应用程序中观察到非常奇怪的行为。

我有以下功能：

bool File::Exists(const std::string & Path)
{
    struct stat S;
    if(stat(Path.c_str(), &S) != 0)
        return false;

    if(!S_ISREG(S.st_mode))
        return false;

    return true;
}

void File::Remove(const std::string & Path)
{
    if(unlink(Path.c_str()) != 0)
        throw Exceptions::Exception(EXCEPTION_PARAMS, errno);
}

我使用的代码是：

...
const std::string Path = ...;
if(File::Exists(Path))
    File::Remove(Path);
...

此时抛出异常：

No such file or directory (2)

关键事实：

• 每 1k-10k 调用发生一次
• 所有被删除的文件都是二进制文件，大约20MB
• 这是在应用程序线程中调用的，但是这是访问这些文件的唯一线程（没有其他线程/进程访问它们）。甚至没有他们所在的其他进程/用户访问分区。
• 要删除的文件位于已安装的 CIFS (SMB)（网络）安装点上

为什么 stat() 报告文件存在，但 unlink() 有时会失败？

Answer 1

为什么 stat() 报告文件存在，但 unlink() 有时会失败？

因为通话不会同时发生。

这个错误很常见，它有自己的name and even a Wikipedia page：

在软件开发中，检查时间到使用时间（TOCTTOU 或 TOCTOU，发音为“TOCK too”）是一类软件错误，由 在检查条件（例如 安全凭证）以及该检查结果的使用。这是 竞争条件的一个示例。

Answer 2

这些调用的强度如何？您是否要一次删除数千个文件？还是每秒/分钟一两个？通过网络，您可能会遇到各种超时，这些超时可能被解释为“没有这样的文件或目录”，但实际上是另一个问题。

如果你还是要删除它们，为什么还要检查它们的存在呢？只需删除它们，并检查异常以了解它是否不存在，或者是否存在其他错误 - 甚至不这样做。要么它们消失了，要么你无论如何都不能删除它们......