DIRECTORY ESCAlpha USING [alpha], Heap USING [systemZone], Inline USING [HighHalf, LowHalf, LongNumber], Mopcodes USING [zESC], System USING [NetworkAddress], Rapunzel; RapunzelServiceImpl: PROGRAM IMPORTS Heap, Inline, Rapunzel EXPORTS Rapunzel = { OPEN Rapunzel; pMemFetch: ESCAlpha.alpha = 3EH; pMemSmash: ESCAlpha.alpha = 3FH; firstPhysical: Rapunzel.Address = 0; lowestGuarded: Rapunzel.Address = (LONG[12]*256*256); -- 1.5MB lastPhysical: Rapunzel.Address = ((LONG[32]*256*256)-1); -- 2^(5+8+8) words = 4MB lowerBound: CARDINAL = 0; upperBound: CARDINAL = 1023; Mem: TYPE = ARRAY [lowerBound..upperBound] OF WORD; mem: Mem; nilHandle: BindHandle; simulation: BOOLEAN _ TRUE; Fault: PUBLIC ERROR [bH: BindHandle, code: Rapunzel.FaultCode, address: Rapunzel.Address] = CODE; MemFetch: PROC [LONG CARDINAL] RETURNS [WORD] = MACHINE CODE { Mopcodes.zESC, pMemFetch }; MemSmash: PROC [LONG CARDINAL, WORD] = MACHINE CODE { Mopcodes.zESC, pMemSmash }; PeekOpCode: PROC [bH: BindHandle, addr: LONG CARDINAL] RETURNS [word: WORD] = INLINE { phys: CARDINAL = Inline.LowHalf[addr]; IF (simulation) THEN { IF NOT (phys IN [lowerBound..upperBound]) THEN ERROR Fault[bH, nonexistent, addr]; word _ mem[phys]; } ELSE { IF NOT (addr IN [lowestGuarded..lastPhysical]) THEN ERROR Fault[bH, IF (addr < lowestGuarded) THEN protection ELSE nonexistent, addr]; word _ MemFetch[addr]; }; }; PokeOpCode: PROC [bH: BindHandle, addr: LONG CARDINAL, word: WORD] = INLINE { phys: CARDINAL = Inline.LowHalf[addr]; IF (simulation) THEN { IF NOT (phys IN [lowerBound..upperBound]) THEN ERROR Fault[bH, nonexistent, addr]; mem[phys] _ word; } ELSE { IF NOT (addr IN [lowestGuarded..lastPhysical]) THEN ERROR Fault[bH, IF (addr < lowestGuarded) THEN protection ELSE nonexistent, addr]; MemSmash[addr, word]; }; }; PeekShort: PUBLIC PROC [bH: BindHandle, address: Rapunzel.Address] RETURNS [result: Rapunzel.Short] = { result _ PeekOpCode[bH, address]; }; PokeShort: PUBLIC PROC [bH: BindHandle, address: Rapunzel.Address, value: Rapunzel.Short] = { PokeOpCode[bH, address, value]; }; PeekLong: PUBLIC PROC [bH: BindHandle, address: Rapunzel.Address] RETURNS [result: Rapunzel.Long] = { xx: Inline.LongNumber; xx.low _ PeekOpCode[bH, address]; xx.high _ PeekOpCode[bH, (address+1)]; result _ xx.lc; }; PokeLong: PUBLIC PROC [bH: BindHandle, address: Rapunzel.Address, value: Rapunzel.Long] = { PokeOpCode[bH, address, Inline.LowHalf[value]]; PokeOpCode[bH, (address+1), Inline.HighHalf[value]]; }; PeekSeqShort: PUBLIC PROC [bH: BindHandle, address: Rapunzel.Address, count: CARDINAL] RETURNS [results: LONG POINTER TO Rapunzel.SeqShort] = { Chunk: TYPE = RECORD [SEQUENCE COMPUTED Rapunzel.SeqShortIndex OF Rapunzel.Short]; zone: UNCOUNTED ZONE = Heap.systemZone; chunk: LONG POINTER = zone.NEW [Chunk[count]]; results _ zone.NEW [Rapunzel.SeqShort _ DESCRIPTOR[chunk, count]]; FOR i: CARDINAL IN [0..count) DO results[i] _ PeekOpCode[bH, (address+i)]; ENDLOOP; }; PokeSeqShort: PUBLIC PROC [bH: BindHandle, address: Rapunzel.Address, valueSeq: LONG POINTER TO Rapunzel.SeqShort] = { FOR i: CARDINAL IN [0..LENGTH[valueSeq^]) DO PokeOpCode[bH, (address+i), valueSeq[i]]; ENDLOOP; }; DoCmds: PUBLIC PROC [bH: BindHandle, cmdSeq: LONG POINTER TO Rapunzel.SeqCmd] RETURNS [resultSeq: LONG POINTER TO Rapunzel.SeqResult] = { Chunk: TYPE = RECORD [SEQUENCE COMPUTED Rapunzel.SeqResultIndex OF Rapunzel.Result]; zone: UNCOUNTED ZONE = Heap.systemZone; chunk: LONG POINTER = zone.NEW [Chunk[cmdSeq^.LENGTH]]; resultSeq _ zone.NEW [Rapunzel.SeqResult _ DESCRIPTOR[chunk, cmdSeq^.LENGTH]]; FOR i: CARDINAL IN [0..cmdSeq^.LENGTH) DO this: Rapunzel.Cmd = cmdSeq[i]; WITH this: this SELECT FROM peekShort => { address: Rapunzel.Address = this.peekShort.address; res: Rapunzel.PeekShortResult _ [PeekShort[bH, address]]; resultSeq[i] _ [peekShort[res]]; }; pokeShort => { address: Rapunzel.Address = this.pokeShort.address; res: pokeShort Rapunzel.Result = NULL; PokeShort[bH, address, this.pokeShort.value]; resultSeq[i] _ res; }; ENDCASE => ERROR Fault[bH, nonexistent, 0]; ENDLOOP; }; FreePeekSeqShortResults: PUBLIC PROC [bH: BindHandle, resultSeq: LONG POINTER TO SeqShort] = { zone: UNCOUNTED ZONE = Heap.systemZone; zone.FREE [@(resultSeq^.BASE)]; zone.FREE [@(resultSeq)]; }; FreeDoCmdsResults: PUBLIC PROC [bH: BindHandle, resultSeq: LONG POINTER TO SeqResult] = { zone: UNCOUNTED ZONE = Heap.systemZone; zone.FREE [@(resultSeq^.BASE)]; zone.FREE [@(resultSeq)]; }; Init: PROC = { trash: System.NetworkAddress _ TRASH; mem _ ALL[0]; nilHandle _ Rapunzel.RemoteBind[trash, NIL]; IF (nilHandle # NIL) THEN ERROR; }; Shutdown: PROC = { nilHandle _ Rapunzel.RemoteUnbind[nilHandle]; IF (nilHandle # NIL) THEN ERROR; }; Init[]; }... àRapunzelServiceImpl.mesa Copyright (C) 1986 by Xerox Corporation. All rights reserved. Bill Jackson (bj) September 22, 1986 6:31:14 pm PDT Willie-Sue, September 23, 1986 11:03:56 am PDT Types & Magic #'s Global State Ê•˜šœ™Jšœ>™>Jšœ3™3Jšœ.™.—J˜šÏk ˜ Jšœ œ ˜Jšœœ˜Jšœœ!˜-Jšœ œ˜Jšœœ˜J˜ —J˜šÏnœ˜Jšœ˜Jšœ ˜Jšœ ˜—J˜šœ™J˜J˜ ˜ J˜—J˜$Jšœ#œÏc˜>šœ#œŸ˜QJ˜—Jšœ œ˜šœ œ˜J˜—Jš œœœœœ˜3J˜—šœ ™ J˜J˜ J˜Jšœ œœ˜J˜—J˜šžœœœIœ˜aJ˜—J˜šžœœœœœœœœ˜>J˜J˜J˜—šžœœœœœœœ˜5J˜J˜J˜—J˜šž œœœœœœœ˜VJšœœ˜&J˜šœ ˜šœ˜šœœœ˜)Jšœœ˜(—J˜J˜—šœ˜šœœœ˜.Jš œœ œœ œ˜W—J˜J˜——J˜J˜—š ž œœœœœœ˜MJšœœ˜&J˜šœ ˜šœ˜šœœœ˜)Jšœœ˜(—J˜J˜—šœ˜šœœœ˜.Jš œœ œœ œ˜W—J˜J˜——J˜J˜—J˜šž œœœ-œ˜gJ˜!J˜J˜—šž œœœG˜]J˜J˜J˜—J˜šžœœœ-œ˜eJ˜J˜!J˜&J˜J˜J˜—šžœœœF˜[J˜/J˜4J˜J˜—J˜šž œœœ4œœ œœœ˜Jš œœœœœœ˜RJšœ œœ˜'Jšœœœœ˜.Jšœœ œ˜Bšœœœ ˜ J˜)Jšœ˜—J˜J˜—š ž œœœ7œœœ˜vš œœœœ ˜,J˜)Jšœ˜—J˜J˜—J˜š žœœœœœœ˜MJšœ œœœ˜;Jš œœœœœœ˜TJšœ œœ˜'Jš œœœœœ˜7Jšœœ œœ˜NJ˜š œœœ œ˜)J˜šœ œ˜˜J˜3J˜9J˜ J˜—˜J˜3Jšœ!œ˜&J˜-J˜J˜—Jšœœ˜+—Jšœ˜—J˜J˜—J˜š žœœœœœœ˜^Jšœ œœ˜'Jšœœœ˜Jšœœ˜J˜J˜—š žœœœœœœ˜YJšœ œœ˜'Jšœœœ˜Jšœœ˜J˜J˜—J˜šžœœ˜Jšœœ˜%J˜Jšœœ˜ Jšœ'œ˜,Jšœœœœ˜ J˜J˜—šžœœ˜J˜-Jšœœœœ˜ J˜J˜—J˜J˜J˜J˜J˜—…—†û