[cap-talk] Cap type safe OS questions

[Ben Kloosterman]

Think Singularity style one physical address space and logically there are
multiple as software prevents  "logical" address space violations.  I
probably should use a different term for this like User Address Space region
or something.  It prevents a user app communicating or transferring
information except via IPC or shared memory .


Regards, 

Ben 

>-----Original Message-----
>From: Charles Landau [mailto:clandau at macslab.com]
>Sent: 03 Augustus 2009 12:39 AM
>To: bklooste at gmail.com; General discussions concerning capability
>systems.
>Subject: Re: [cap-talk] Cap type safe OS questions
>
>Ben Kloosterman wrote:
>> we have the option to store the capability in
>> the user application space ...
>>
>> Note the Capability service does not necessarily define a service on
>another
>> machine but merely a user mode process with a separate address space.
>
>> the service does not have access to the kernel address space ...
>
>Yet you wrote:
>> Everything runs ... in a shared address space.
>
>Is there one address space or more than one?