Dear All,

after playing around with the demo scenario and launchpad a bit, Genode exited with an error message:

“virtual bool Genode::Sliced_heap::alloc(Genode::size_t, void**): Could not allocate dataspace with size 4096”. More details on the setup below. The more memory is “left for core” (see comment before the lines in main.cc), the later this error message occurs. Is there any other possibility to avoid this behavior than increasing memory “left for core”? Or am I doing something wrong?

Thanks,

Matthias

The setup was as follows:

- Checked out Genode tags/10.05

- Set up demo scenario for Linux (used the provided config and build.config files)

- Changed base/src/core/main.cc as follows (svn diff: )

Index: base/src/core/main.cc

===================================================================

--- base/src/core/main.cc (revision 131)

+++ base/src/core/main.cc (working copy)

@@ -214,7 +214,8 @@

Ram_session_client(init_ram_session_cap).ref_account(env()->ram_session_cap());

/* transfer all left memory to init, but leave 1 MB left for core */

- size_t init_quota = platform()->ram_alloc()->avail() - 2*1024*1024;

+ /* Test with less mem for core */

+ size_t init_quota = platform()->ram_alloc()->avail() - 100*1024;

env()->ram_session()->transfer_quota(init_ram_session_cap, init_quota);

PDBG("transferred %zd MB to init", init_quota / (1024*1024));

(i.e., reduced the available quota to core (drastically))

- started ./bin/core with the provided example config

- started launchpad application

- started and stopped liquid_fb several times, after about 7 times, the following error

occurs and Genode crashes:

[init -> scout -> launchpad] starting liquid_fb with quota 7340032

[init -> scout -> launchpad] using unique child name "liquid_fb"