OCaps via Containers?

[Jonathan S. Shapiro]

Charlie's comment about dropbox URLS led me to a question.

In the KeyKOS/EROS/Coyotos world, we rely on the combination of an extended process (domain) model for capability protection, and transparent persistence for certain kinds of consistency within a single platform.

I'm wondering how well this can be simulated using something like lightweight containers?

Jonathan

[Mark S. Miller]

Seems likely to me. VMs too.

--
You received this message because you are subscribed to the Google Groups "friam" group.
To unsubscribe from this group and stop receiving emails from it, send an email to friam+un...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/friam/CAAP%3D3QMb2AikoLMzjic5BY6EzjCWm_drSv%2B%3DTA9hoau%2B3rRUvQ%40mail.gmail.com.

[Ben Laurie]

CHERI!

If you want to play, btw, take a look at: https://cheriot.org/

[Mark S. Miller]

On Sat, Sep 27, 2025 at 1:22 AM 'Ben Laurie' via friam <fr...@googlegroups.com> wrote:

On Fri, 26 Sept 2025 at 21:10, Jonathan S. Shapiro <jonathan....@gmail.com> wrote:

Charlie's comment about dropbox URLS led me to a question.

In the KeyKOS/EROS/Coyotos world, we rely on the combination of an extended process (domain) model for capability protection, and transparent persistence for certain kinds of consistency within a single platform.

I'm wondering how well this can be simulated using something like lightweight containers?

CHERI!

I took Jonathan's question to be about persistence. What is the relationship of CHERI to persistence? I am not aware of any.

 

If you want to play, btw, take a look at: https://cheriot.org/

Jonathan

--
You received this message because you are subscribed to the Google Groups "friam" group.
To unsubscribe from this group and stop receiving emails from it, send an email to friam+un...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/friam/CAAP%3D3QMb2AikoLMzjic5BY6EzjCWm_drSv%2B%3DTA9hoau%2B3rRUvQ%40mail.gmail.com.

--
You received this message because you are subscribed to the Google Groups "friam" group.
To unsubscribe from this group and stop receiving emails from it, send an email to friam+un...@googlegroups.com.

To view this discussion visit https://groups.google.com/d/msgid/friam/CABrd9SQcTdNNaa8exqnRm_H%3DdnjVTBH3NcLX%3DRoS6mSb8wobgw%40mail.gmail.com.

[Ben Laurie]

On Sat, 27 Sept 2025 at 22:03, 'Mark S. Miller' via friam <fr...@googlegroups.com> wrote:

On Sat, Sep 27, 2025 at 1:22 AM 'Ben Laurie' via friam <fr...@googlegroups.com> wrote:

On Fri, 26 Sept 2025 at 21:10, Jonathan S. Shapiro <jonathan....@gmail.com> wrote:

Charlie's comment about dropbox URLS led me to a question.

In the KeyKOS/EROS/Coyotos world, we rely on the combination of an extended process (domain) model for capability protection, and transparent persistence for certain kinds of consistency within a single platform.

I'm wondering how well this can be simulated using something like lightweight containers?

CHERI!

I took Jonathan's question to be about persistence. What is the relationship of CHERI to persistence? I am not aware of any.

I was reacting to "lightweight containers". Which CHERI should be very good for.

 

 

If you want to play, btw, take a look at: https://cheriot.org/

Jonathan

--
You received this message because you are subscribed to the Google Groups "friam" group.
To unsubscribe from this group and stop receiving emails from it, send an email to friam+un...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/friam/CAAP%3D3QMb2AikoLMzjic5BY6EzjCWm_drSv%2B%3DTA9hoau%2B3rRUvQ%40mail.gmail.com.

--
You received this message because you are subscribed to the Google Groups "friam" group.
To unsubscribe from this group and stop receiving emails from it, send an email to friam+un...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/friam/CABrd9SQcTdNNaa8exqnRm_H%3DdnjVTBH3NcLX%3DRoS6mSb8wobgw%40mail.gmail.com.

--
You received this message because you are subscribed to the Google Groups "friam" group.
To unsubscribe from this group and stop receiving emails from it, send an email to friam+un...@googlegroups.com.

To view this discussion visit https://groups.google.com/d/msgid/friam/CAK-_AD4qQWUtcbw5t56K8hctxtbZNkAXnVd8fBJQOd9sop%2B%3DuA%40mail.gmail.com.