marcus.brinkmann at ruhr-uni-bochum.de
Thu Jun 16 11:58:13 CEST 2005
At Thu, 16 Jun 2005 11:44:31 +0200,
Marcus Brinkmann at ruhr-uni-bochum de wrote:
> The difference in the two models is not the notion of "ownership".
> The difference of the two models is that in Espen's model you read
> out a payload,
It's awful if you get lost in one detail just to forget about another :)
As I said, the payload makes a big difference, but as you said, that
there is a unique owner in Espen's model equally makes a big
difference, because only then you can do a fast verification and
lookup. It's really the combination of both which makes it work.
More information about the l4-hackers