Hello Peter,
thank you for sharing your experiences with us.
Did you think about or even comprise in your design the resource allocation on behalf of the clients? Genode offers you all you need to implement your profiling server with minimal, static resources and require clients to "transfer" memory quota to the servers account on session creation. The mechanism is illustrated here:
http://genode.org/documentation/architecture/interfaces
If you have further questions regarding resource trading in Genode feel free to ask.
Regards