CreateFileMapping 程序之间同步？

Question

我计划使用内存映射打开一个文件。

该文件已被另一个进程以相同的方式打开，即它打开了自己的内存映射视图，并且时不时地编辑该文件。

我希望自己编辑同一个文件，并尽可能有效地与其他进程共享对它的访问权限，而不希望每个进程覆盖另一个进程所做的更改而发生冲突。

首先，我可以直接打开文件：

IntPtr f_ptr = CreateFile(
 path,
 GENERIC_READ | GENERIC_WRITE,
 FILE_SHARE_READ | FILE_SHARE_WRITE,
 IntPtr.Zero,
 OPEN_ALWAYS,
 FILE_FLAG_RANDOM_ACCESS,
 IntPtr.Zero);

但是，直接编辑文件二进制文件是无效的，因为其他进程的内存映射对象很容易覆盖我的更改。

如果我打开自己的文件映射和自己的视图，如下所示，另一个进程似乎会自动更新我的编辑，这样就不会覆盖我的编辑。

这里发生了什么同步性？

这并不是说我打开了自己的映射视图到其他进程的文件映射。我在同一个文件上创建了一个全新的 FileMapping。

文件系统或文件映射系统似乎以某种方式理解这一点。为什么？

// file map pointer
IntPtr m_ptr = CreateFileMapping(f_ptr, IntPtr.Zero, PAGE_READWRITE, 0, 0, "MyMapping");

// map view pointer
IntPtr view_ptr = MapViewOfFileEx(m_ptr, FILE_MAP_WRITE, 0, 0, 0, IntPtr.Zero);

// EDIT FILE CONTENTS

FlushViewOfFile(view_ptr, 0);
UnmapViewOfFile(view_ptr);

CloseHandle(m_ptr);

Answer 1

任何拥有该文件可写视图的人都可以随时写入该文件。如果您希望两个编辑器都能够可靠地写出更改，则必须在更改重叠的情况下执行自己的冲突解决方案。

这似乎不是一个非常容易解决的问题 - 也许您需要一个简单的文档版本控制系统来允许以受控方式合并多个编辑。

Answer 2

一种想法是，您可以在获取命名互斥体（可以通过调用 CreateMutex()，名称参数为非 NULL）。

例如（省略错误处理）：

HANDLE hMutex, hMap;
PVOID pView;

// In reality, it might be good to dynamically generate the name based on
// the file being mapped (eg. its volume and file ID, something like this..)
hMutex = CreateMutex(NULL, FALSE, TEXT("Local\\LockForThisFile"));

hMap = CreateFileMapping( /* ... */ );
pView = MapViewOfFile( /* ... */ );

// Some time later, when you need to do the writes...
//
WaitForSingleObject(hMutex, INFINITE);
PerformWrites(pView);
FlushViewOfFile(pView, 0);
ReleaseMutex(hMutex);

根据您访问它的方式，您可能还需要在读取时获取锁。这当然会限制你的并发性。

顺便说一下，其他一些杂项。评论：

• 如果您在 FlushViewOfFile 调用中比“从视图开始到结束”更具体，这也可能会表现得更好。例如，如果您在偏移量 i 处写入 n 个字节，您可能会想说 FlushViewOfFile(pView + i, n);。操作系统有可能可以检查哪些页面是脏的，并且只执行最少量的写入（MSDN 似乎表明会发生这种情况），但也许在较小的范围内会做得更好；这只是我的猜测。

• 映射文件时，如果 I/O 失败，您可能会在执行指针取消引用时遇到 EXCEPTION_IN_PAGE_ERROR 异常。您可以使用 SEH 捕获这些内容（如 此 MSDN 页面)。