Re: MPS codegen

["Gerd Möllmann" <gerd.moellmann@gmail.com>]

Helmut Eller <eller.helmut@gmail.com> writes:

> My hypothesis is that discard_dump is the problem.  The hot section
> probably contains something that isn't properly copied and
> dump_discard_mem seems to be a bit different on Windows.  Why it even
> works on Linux is a mystery to me :-).

Pdumper can use, among other methods, mmap'd files. In that case
munmap'ing could write changes back to disk. So pdumper rather marks the
region as not needed. At least that's how I understand it.