单线程文件追加竞态条件疑问：内核是否会使文件指针未指向末尾？

首先可以明确地说：正常情况下，你完全不用担心这种情况发生。内核在处理O_APPEND模式的文件操作时，有非常明确的原子性保证，专门就是为了避免这类问题的。

我来拆解一下背后的逻辑：

• 当你以追加模式（O_APPEND）打开文件后，每次调用write()时，内核会自动做两件事：先原子性地把文件偏移量设置为当前文件的逻辑大小（也就是内核inode结构体里记录的文件大小，不是磁盘上实际已写入的物理大小），然后再执行写入操作。这个过程是不可中断的——哪怕之前的写入数据还在页缓存里没刷到磁盘，逻辑大小已经更新了。
• 当你调用close()关闭文件时，虽然默认情况下内核可能不会立刻把所有缓存数据刷到磁盘（延迟写机制），但inode里记录的文件大小已经是更新后的数值了。所以哪怕你紧接着再次打开同一个文件（不管是追加模式还是普通读写模式），新的文件描述符的初始偏移量都会指向这个逻辑末尾，而不是磁盘上的物理位置。

那有没有可能出现你担心的异常？

• 除非是遇到了非常罕见的内核bug，或者系统在操作过程中突然崩溃（这时候可能inode信息还没来得及更新），但这都属于极端异常场景，不是常规运行时会遇到的情况。在正常的系统运行状态下，内核会严格维护文件的逻辑大小和偏移量的一致性，不会出现你说的“打开文件时fd没指向末尾”的问题。

另外补充一点：如果你是用标准库的函数（比如C的fopen("a")），底层也是封装了O_APPEND标志的，同样遵循上述内核规则，所以不管你是直接调用系统调用还是用标准库，结果都是一样的。

内容的提问来源于stack exchange，提问作者David G.F.