Dynamic Memory Management

[Norman Feske]

Hello Ben,

> As far as I can tell, init will only allocate fixed amounts of memory to
> each process. Is there a way to allow each process as much memory as it
> needs up to a certain limit (e.g. 1G) without reserving excess memory
> for each process?

if you do not assign all available memory to the subsystems of the init
process, init will hand out the remaining stack memory on demand (first
come, first served). This is not exactly what you requested but may
still be useful.

The feature you described is supported by the interactive cli_monitor
(os/src/app/cli_monitor).

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth