It would be useful if the values of the flags argument to mmap were recorded and emitted in the cadets trace record. At the minimum emitting the MAP_SHARED or MAP_PRIVATE state will give the greatest gains. This is needed as writable mappings that are shared propagate changes to the file, whereas private writable mappings perform copy on write instead and do not propagate changes.
It would be useful if the values of the flags argument to mmap were recorded and emitted in the cadets trace record. At the minimum emitting the
MAP_SHAREDorMAP_PRIVATEstate will give the greatest gains. This is needed as writable mappings that are shared propagate changes to the file, whereas private writable mappings perform copy on write instead and do not propagate changes.