HF RL Explorer

mmap-ed data stale after write() on encrypted files

mmap-ed data stale after write() on encrypted files: a task in LegoFlow-SWE (Harbor dataset). When Gramine is used with an encrypted backend, memory mappings of a file are not updated when the underlying file is modified via write() . After a successful write, reading the same file offset through…

The task

When Gramine is used with an encrypted backend, memory mappings of a file are not updated when the underlying file is modified via `write()`. After a successful write, reading the same file offset through `read()` returns the new content, but reading through an existing `mmap` pointer returns the old, stale content.

Part of Lego-X/LegoFlow-SWE.