求Linux下不满足write()后read()返回写入数据的文件系统实例

《Linux write() 手册页》指出：

POSIX 要求，可证明发生在write()返回之后的read(2)调用必须返回新写入的数据。请注意，并非所有文件系统都符合 POSIX 标准。

对应的POSIX规范对常规文件write()成功返回后的要求为：

当对常规文件的write()调用成功返回后：

• 对该write()修改过的文件字节位置的任何成功read()调用，都应返回该write()指定的数据，直到这些字节位置被再次修改。
• 后续对文件同一字节位置的任何成功write()调用，都应覆盖该位置的文件数据。

不符合上述规则的文件系统实例 #

Linux 下确实存在不符合该POSIX语义的文件系统，典型例子包括：

• NFS（网络文件系统）：在部分场景或旧版本协议（如NFSv2）中，客户端缓存未及时同步到服务器时，会出现write()成功返回后，后续read()读取到旧数据的情况。这是因为NFS通过客户端缓存提升性能，牺牲了部分严格一致性。
• 部分分布式文件系统：比如早期Ceph版本、GlusterFS的特定模式，这类系统采用最终一致性策略，write()成功仅代表数据已提交到集群节点，而非完成全集群同步，后续read()可能需要等待同步完成才能获取新数据。
• 特殊配置的tmpfs：默认场景下tmpfs符合POSIX语义，但当使用O_DIRECT标志进行读写操作时，可能出现不符合规则的边缘情况。

这些文件系统大多是出于性能、分布式架构设计的权衡，以牺牲严格一致性为代价换取更高的吞吐量或更低的延迟。

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