Re: [elysium-developers] Block devices [revisited]

[Kasper V. L. <ve...@da...>]

Adam Langley wrote:
> Ok the simple 'assembly-like language':
> 
> A 32-bit virtual machine with 16 general purpose registers. 32-bit 'segment'
> selector and 32-bit offset into each segment. The segments are disk blocks (the
> owns() might need to read in other disk blocks).

I think it's impossible to guarantee determinism of the owns() function
if it's allowed to read in -- and use/examine -- other disk blocks. For
other situations it might be useful though...

/Kasper

-- 
-------------------------------------------------------------------
Kasper Verdich Lund, Computer Science Department, Aarhus University
Office: 34P.218              | Phone: (+45) 8942 5680
Email:  ve...@da...  | WWW: http://www.daimi.au.dk/~verdich