diff options
author | Emery Hemingway <githubjunk@spam.works> | 2017-12-14 03:23:47 -0600 |
---|---|---|
committer | Andreas Rumpf <rumpf_a@web.de> | 2017-12-14 10:23:47 +0100 |
commit | 9e87531f041525b23ca12c7886412d762930005a (patch) | |
tree | 3ddaecfacf7bf7f13ac90207e96dfc0bd1353efc /tests/ccgbugs/t6279.nim | |
parent | 3546a89e8785051163d5ee28ed17d028072eb08c (diff) | |
download | Nim-9e87531f041525b23ca12c7886412d762930005a.tar.gz |
Genode: constrain `osTryAllocPages` to RAM quota (#6883)
Genode software components all start with an explicit RAM resource quota which may or may not be upgraded during runtime by the parent process. With this patch `osTryAllocPages` will fail if allocation exceeds quotas set by the parent and the `osAllocPages` procedure will trigger a blocking request to the parent to increase quotas. The previous behavior could potentially block both procedures indefinitely for a quota upgrade rather than fail and trigger garbage collection. This patch also adds tracking of Genode dataspace mappings into the component address space so they can be detached and freed.
Diffstat (limited to 'tests/ccgbugs/t6279.nim')
0 files changed, 0 insertions, 0 deletions