diff options
| author | Cameron Finucane <eep@google.com> | 2024-06-10 18:56:43 -0700 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-06-11 04:36:23 +0000 |
| commit | e942bb7959961890e0fafce00076331917d7ac76 (patch) | |
| tree | 3f7ad9c2ead8cca384c75ce5e68312f7ad2c526d /executor/common_ext_example.h | |
| parent | 048c640a64fd064361382a8800de05c87ff630cb (diff) | |
executor: map input buffer as shared
To receive data, executor relies on changes propagating to its copy of
the shared memory buffer. This is only guaranteed with MAP_SHARED,
whereas behavior is "unspecified" for MAP_PRIVATE (but happened to work
on most implementations).
Diffstat (limited to 'executor/common_ext_example.h')
0 files changed, 0 insertions, 0 deletions