partial free/split for ds

[Christian Helmuth]

Alexander,

On Mon, Nov 09, 2020 at 15:03:13 CET, Alexander Tormasov via users wrote:
> sorry, this is not working...
> 
> any other ideas how to split single ds without copy of the content?

This sounds like you want something not possible (with Genode and
maybe also entirely impossible depending on how one reads your
statement). I'd like to urge you to reconsider splitting your
allocation of dataspaces at a granularity that suits your needs. This
way you might identify a sweet spot between allocating to many
dataspaces and copying to many bytes. Thinking twice, the granularity
could even be dynamic not static.

I understand that this puts the burden of software implementation on
your shoulders but Genode does not provide more convenience in this
regard.

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