Reconsider using MADV_FREE

Using MADV_FREE can be quite confusing for users as memory usage reported by top includes LazyFree memory.

Other projects still always use MADV_DONTNEED, for example:

We also reimplement some of the logic of MADV_FREE ourselves, by being reluctant to return memory to the OS.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information

Admin message