具有进程间（非）同步多线程访问的 CreateFileMapping 和 MapViewOfFile？

Question

我使用共享内存区域将一些数据发送到第二个进程。

第一个过程使用CreateFileMapping (INVALID_HANDLE_VALUE, ..., PAGE_READWRITE, ...)和MapViewOfFile ( ... FILE_MAP_WRITE) 。

第二个过程使用OpenFileMapping (FILE_MAP_WRITE, ...)和MapViewOfFile ( ... FILE_MAP_WRITE) 。

文档状态：

如果文件映射对象的多个视图在指定时间包含相同的数据，则它们是一致的。 如果文件视图源自由同一文件支持的任何文件映射对象，则会发生这种情况。 （……）

除了一个重要的例外，从由同一文件支持的任何文件映射对象派生的文件视图在特定时间是一致或相同的。 保证进程内的视图和由不同进程映射的视图的一致性。

该异常与远程文件有关。 （……）

因为我只是按原样使用共享内存（由分页文件支持），所以我假设进程之间需要一些同步来查看另一个进程写入的内存的一致视图。 但是我不确定究竟需要什么同步。

我目前的模式（简化）是这样的：

Process1                    |  Process2
...                         |  ...
/* write to shared mem, */  |  ::WaitForSingleObject(hDataReady); // real code has error handling
/* then: */
::SetEvent(hDataReady);     |  /* read from shared mem after wait returns */
...                         |  ...

即使对于共享内存，这是否足够同步？

两个进程之间通常需要什么同步？

请注意，在单个进程内部，对SetEvent的调用肯定会构成一个完整的内存屏障，但我并不完全清楚这是否适用于跨进程的共享内存。

Answer 1

因为我已经开始相信，对于内存的同步访问目的，如果并发访问内存的进程或只是withing线程之间的一个过程之间共享其实并不重要。

也就是说，对于 Windows 上的共享内存（进程间共享的内存），同样的限制和指导原则适用于进程内的“普通”内存，只是在进程的线程之间共享。

我相信这是因为进程和线程在 Windows 上有些正交。 进程是线程的“容器”，为了让进程能够做任何事情，它至少需要一个线程。 因此，对于映射到多个进程地址空间的内存，这些不同进程中运行的线程的同步要求实际上应该与运行在同一进程中的线程相同。

所以，我的问题的答案是否足够同步，即使对于共享内存？ 是共享内存需要与“普通”内存相同的同步。 但当然，并非所有同步技术都可以跨进程边界工作，因此您可以使用的内容受到限制。 （例如，关键部分不能跨进程使用。）

Answer 2

如果这两个代码片段都在循环中，那么除了事件之外，您还需要一个互斥锁，以便 Process1 在 Process2 仍在读取时不会再次开始写入。 更具体地说，必须在读取或写入之前获取互斥锁，并在读取或写入之后释放。 在 Process2 中调用 WFSO 之前，请确保已释放互斥锁。

Answer 3

我的理解是，虽然 Windows 可以保证视图的一致性，但它并不能保证在客户端读取之前完全完成写入。

例如，如果您正在编写“Hello world！” 对于视图，只能在客户端读取时进行部分写入，例如“Hello w”。

因此，视图将是字节连贯的，但不是消息连贯的。

就个人而言，我使用互斥锁来保证线程安全访问。

Answer 4

使用 Semaphore 应该比 Event 好。