如果我使用普通 IO API 读取和写入单个文件，则可以保证写入在每个块的基础上是原子的。也就是说，如果我的写入只修改了一个块，操作系统保证要么写入整个块，要么什么都不写入。
如何在内存映射文件上实现相同的效果？
内存映射文件只是字节数组，所以如果我修改字节数组，操作系统无法知道我何时认为写入“完成”，因此它可能（即使不太可能）换出内存就在我写块操作的中间，实际上我写了半个块。
我需要某种“进入/离开临界区”，或者在写入文件时将文件的页面“固定”到内存中的某种方法。存在这样的东西吗？如果是这样，是否可以跨常见的 POSIX 系统和 Windows 移植？
【问题讨论】：
如果我使用普通 IO API 读取和写入单个文件，则可以保证写入是基于每个块的原子操作。也就是说，如果我的写入只修改了一个块，操作系统保证要么写入整个块，要么什么都不写入。
在一般情况下，操作系统不保证使用“普通 IO API”完成的“块写入”是原子的：
此外，您通常关心多个扇区的持久性（例如，如果发生断电，我在该扇区之前发送的数据是否肯定在稳定的存储上？）。如果正在进行任何缓冲，您的写入可能仍然只在 RAM/磁盘缓存中，除非您使用另一个命令先检查/使用 flags requesting cache bypass and said flags were actually honoured 打开文件/设备。
【讨论】：
保持journal 的技术似乎是唯一的方法。我不知道这如何与多个应用程序写入同一个文件一起工作。 Cassandra 项目有一个good article，关于如何通过期刊获得绩效。关键是要确保，日志只记录 积极 动作（我的第一种方法是将每次写入的前映像写入日志允许您回滚，但它过度复杂）。
所以基本上你的内存映射文件在标题中有一个transactionId，如果你的标题适合一个块，你就知道它不会被破坏，尽管很多人似乎用校验和写了两次：[header[cksum]] [header[cksum]] .如果第一个校验和失败，请使用第二个。
日志看起来像这样：
[beginTxn[txnid]] [offset, length, data...] [commitTxn[txnid]]
您只需继续附加日记记录，直到它变得太大，然后在某个时候将其翻转。当你启动你的程序时，你检查文件的事务 id 是否在日志的最后一个事务 id ——如果不是，你回放日志中的所有事务以同步。
【讨论】：
FlushFileBuffers Win API 函数。