mps
mps copied to clipboard
Ravenbrook
The Memory Pool System
Linux has recently gained a feature intended for write barriers without signals or stopping the mutator: https://www.kernel.org/doc/html/latest/admin-guide/mm/userfaultfd.html#write-protect-notifications Unfortunately it seems like this is intended for page granularity notifications - even...
These changes were originally implemented as custom work for Configura on the custom/cet/main branch. With permission from the customer (see [e-mail from Göran Rydqvist](https://info.ravenbrook.com/mail/2022/01/18/12-53-38/0/)) we apply them to the public...
Hello, I greatly appreciate the addition of support for macOS/aarch64 in MPS. For me, MPS builds successfully (using the `d894a3f90a` commit), but fails when using the VM arena class because...
Currently, on Apple Silicon chips, calling `mmap(PROT_WRITE | PROT_EXEC)` will fail due to restrictions on marking memory executable & writable at the same time. See apple developer documentation on this...
Restore assembly code (removed in change [194595](https://info.ravenbrook.com/infosys/cgi/perfbrowse.cgi?@describe+194595) / commit 76166b7cf) for spilling callee-save registers on FR and LI platforms. Fixes [job004158](https://www.ravenbrook.com/project/mps/issue/job004158/) (Register scanning approach is not reliable)
In table.c we have a hash table implementation. At the moment the only thing it is used for is management of interned strings in eventtxt.c. However, we would like to...
Building the manual with Sphinx 3.5 results in many warnings of the form: ``` manual/source/design/abq.rst:55: WARNING: Error in declarator If declarator-id with parameters (e.g., 'void f(int arg)'): Invalid C declaration:...
Assume we integrated MPS into the kernel of a Unix-like operating system, so that each userland program could use this built-in API for memory management instead of the traditional ones...
The failure is very rare on x64-64, less than one in 100 runs. Here are 1000 runs of lii6gc/hot/amcssth, with 5 failures: ``` $ for _ in $(seq 1000); do...