<> <> <> <> DIRECTORY DiskFace USING[ Label, Type ], BasicLoadStateFormat USING[ LoadStateObject ], LoadState USING[ Handle ], PrincOps USING [op, PageNumber, PageValue, wordsPerPage], Rope USING[ ROPE ], WorldVM USING [Address, Incarnation, World]; WVMPrivate: DEFINITIONS = BEGIN OPEN Rope; <> pageSize: CARDINAL = PrincOps.wordsPerPage; PageNumber: TYPE = PrincOps.PageNumber; PageAddress: PROC[mempage: PageNumber] RETURNS[ WorldVM.Address ] = INLINE { RETURN[ mempage * LONG[pageSize] ]; }; DiskAddress: TYPE = RECORD[ deviceType: DiskFace.Type, deviceOrdinal: CARDINAL, diskPage: LONG CARDINAL, -- device-relative page number of start of run offset: CARDINAL, -- page number from start of run, for label checksum calculation labelCheck: CARDINAL -- label checksum of start of run (Pilot relic: should use entire label) ]; onlyMDS: WorldVM.Address = --TEMP kludge-- 400000B; WorldType: TYPE = { none, local, other, remote }; World: TYPE = REF WorldObject; WorldObject: PUBLIC TYPE = RECORD[ name: ROPE, incarnation: WorldVM.Incarnation _ FIRST[WorldVM.Incarnation], lock: NAT _ 0, state: { creating, created, bad } _ creating, running: BOOLEAN _ TRUE, vmBackingMap: WVMPrivate.VMBackingMap _ NIL, basicLoadState: REF BasicLoadStateFormat.LoadStateObject _ NIL, loadState: LoadState.Handle _ NIL, loadStateValid: BOOL _ FALSE, mdsBase: WorldVM.Address _ onlyMDS, foo: SELECT type: WorldType FROM none => NULL, local => NULL, other => NULL, remote => [host: WVMPrivate.Machine] ENDCASE]; <