On 27/01/2025 10:37, Reynir Björnsson wrote:
### GC compactor
- The GC compactor will unmap _ leading to ABORT
- As you have to call the compactor explicitly we probably did not test it
- Maybe we don't actually need compaction?
- Sam: Observeration from mirage-www:
- the behavior was similar to ocaml 4 version
- if we tweak space overhead to 80 we get a similar profile as ocaml
4 version
- Pierre: we can't deny users to call `Gc.compact ()` which would lead
to a crash
- Pierre: implementing mmap/munmap would be a huge effort
Is this true? If I understand it correctly, we support mmap (with off =
0 and flags = MAP_ANONYMOUS) already -- which is basically malloc &
zeroing out the memory.
In this scenario, isn't munmap (of that previously mmap()ed area) just a
free()?
Best,
Hannes
