Question

我想知道是否有Posix标准保证通过对同一文件名的重复open / close调用，可以保证对文件的修改是可见的。有关说明，请考虑此Bash脚本：

#!/bin/bash

FILE=$(mktemp)

echo "Some data" >> $FILE
cat $FILE

是否保证在echo完成时，文件中的所有数据都可用？

就Posix函数而言，一个例子可能是这样的：

const char fn[] = "/tmp/somefile";
const char data[] = "hello world";

// Stage 1
{
   int fd = open(fn, O_CREAT);
   write(fd, data, sizeof data); // #1
   close(fd);
}

// Stage 2
{
   int fd = open(fn);
   read(fd, ...);                // #2
   close(fd);
}

是否保证第1行的写入对于读取＃2是可见的，或者OS是否可以缓存写入以使其不会及时传播？我们可以假设没有其他进程知道文件名或以其他方式颠覆文件查找。

Answer 1

是。例如。来自write（）规范（http://pubs.opengroup.org/onlinepubs/9699919799/functions/write.html）：

After a write() to a regular file has successfully returned:

    Any successful read() from each byte position in the file that was modified by that write shall return the data specified by the write() for that position until such byte positions are again modified.

    Any subsequent successful write() to the same byte position in the file shall overwrite that file data.

注意它说“Any”read（），即你可以通过它打开（）一个新的fd和read（），并提供相同的保证。

顺便提一下，虽然这种强一致性使得易于推理语义，但它也使得提供具有良好性能的POSIX兼容的分布式FS非常困难，如果不是不可能的话。

文件名上的Posix I / O操作是否顺序连贯？

1 个答案: