genodelabs/genode — Issue #112: Fiasco.OC: recycle existing capabilities
Author: skalk
Created: 2012-02-14 09:44:33+00:00
State: open
Labels: cleanup

Ivan Bludov opened a thread on the Genode mailing list, regarding the waste of capability space by having the same capability in different cap-slots in the same task. He observed an out-run of slots when using the signal-library via the packet-stream interface heavily:

http://sourceforge.net/mailarchive/forum.php?thread_name=4F3523D9.7060906%40samsung.com&forum_name=genode-main

As Norman proposed, it would be nice to have some generic capability database, that tracks existing capabilities via their badges. When a capability is transfered as an ipc argument to the task, the database is asked whether the capability already exists, and if so checks whether the delivered kernel-cap matches the one present in the database (security-check).