[cap-talk] C-like Capability language

David Nicol davidnicol at gmail.com
Mon Aug 11 13:20:19 CDT 2008


On Thu, Jul 31, 2008 at 4:58 PM, William Pearson <wil.pearson at gmail.com> wrote:
>  I want
> to do capability based security in a VM designed for real-time systems
> which uses an agoric system to allocate system resources.

Instead of creating a new language, how about replacing the scheduler
of an existing kernel with an agoric scheduler?  The scheduling
algorithm becomes the judge.  A process could have some code
associated with it -- its "advocate" -- that argues why this process
should get the resources, or negotiates for price.  Low priority
processes would have low budgets and would wait until after 11 pm to
schedule their resource use.


More information about the cap-talk mailing list