By the way, Genode's seL4 support is still incomplete, particularly with regard to resource management. Also, Genode on seL4 doesn't have enough capabilities (CAP) to run some of the more complex scenarios, e.g. Sculpt.
On Fri, Jul 12, 2019, 7:09 AM Alexander Tormasov via users < users@lists.genode.org> wrote:
Thanks for answer! Yesterday I submit a request for subscription, but it kind of failed (wait for moderator approval)?
About cap quota - thanks you, now I understand that this is not just a warning - this is real err message
While it is kind of tricky - how I can estimate ram size (not talking about mysterious capabilities) for new application? How I can guess? I have big experience with container virtualization development and know that real estimation of memory quota in kernel very tricky (especially if you have sharing of the pages in pages cache)
By the way, are there any page cache in current implementation of Genode over seL4 (or any other microkernel) ?
Thanks! Alexander
Отправлено с iPhone
12 июля 2019 г., в 13:03, Christian Helmuth <
christian.helmuth@genode-labs.com> написал(а):
Hello Alexander,
welcome to the mailing list. First I'd like to ask if you would mind to subscribe so you get future replies automatically via the list?
The issue you experience in both cases is AFAICS shortage of resoures in components. These are the relevant log messages.
On Fri, Jul 12, 2019 at 00:28:11 CEST, Alexander Tormasov via users
wrote:
[init -> nitpicker] resource_request: ram_quota=0, cap_quota=4 [init] child "nitpicker" requests resources: ram_quota=0, cap_quota=4
[...]
Warning: PD (init -> drivers -> input_filter) cap limit (used=36,
limit=37) exceeded during transfer_quota(3)
[init -> drivers -> input_filter] resource_request: cap_quota=3 [init -> drivers] child "input_filter" requests resources: cap_quota=3
The quotas for RAM and capabilities are configured in the init start-node configuration for individual components and are not increased automatically by the init component itself. Therefore, you may try to tweak the quota configuration to proceed with the test scenarios like follows.
In repos/os/run/demo.run increase nitpicker cap auota around line 150
<start name="nitpicker" caps="110">
<start name="nitpicker" caps="200">
Pleasse understand that sel4 as a platform is not used regularly or even day-to-day. You may find a list of all automatically-tested scenarios in the source tree (tool/autopilot.list).
Happy hacking
Christian Helmuth Genode Labs
https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users