Why application request RAM quota from parent even if it is enough?

[Christian Helmuth]

Hello Alexander,

On Thu, Sep 05, 2019 at 11:06:37 CEST, Alexander Tormasov via users wrote:
> I am trying to start Go application in genode/sel4, 19.08. Now it
> try to alloc 544Mb Ram (standard initialization approach for
> reservation via mmap - instead it really alloc space using libc
> malloc inside mmap() ).
> So, I have 3 gb ram VM, and ram quota for application is 2 gb.
[...]
> [init -> test-go] mmap addr=0xc000000000 len =567472562176 prot=0 flags=4098 libc_fd=-1 offset=0
> [init -> test-go]
> [init -> test-go] resource_request: ram_quota=567472578560

Those numbers are ~528 GiB, which hints a miscalculation.

Greets
-- 
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