[cap-talk] Is "Authority" Subjective?

[Jonathan S. Shapiro]

On Fri, 2007-06-22 at 17:26 +0200, Pierre THIERRY wrote:

> I'm not sure that this CSP models effectively any used ocaps system. It
> seems to me that most of them, if not all, are concurrent. That is,
> while Alice waits for Carol's response, Bob can still send Carol a
> request.

Not generally. Yes, there is concurrency in the real system, but the
*model* generally assumes a layer at which execution proceeds by some
serializable sequence of atomic operations.

The serialization need not be unique, but at least one such
serialization has to exist.

Indeed, one problem with the Coyotos SMP implementation was that we had
to rethink the level of atomicity in the model so that we could get a
decently concurrent implementation while still satisfying the model.

shap