.. functions for Dragon Cache Rosemary simulations. For now it assumes that there is only virtual memory. Mapping and map operations are not yet implemented.

Modified for Rosemary5.

McCreight, March 5, 1986 9:40:14 am PST

Last Edited by: Barth, July 3, 1984 4:04:51 pm PDT

Last Edited by: Louis Monier April 2, 1987 5:11:11 pm PST

Don Curry May 1, 1987 2:41:08 pm PDT

Dragon USING [Word],

IO USING [STREAM],

Rope USING [ROPE];

BEGIN

PageSize: NAT = 256;

StdLinesPerCache: NAT = 64;

WordsPerLine: NAT = 4;

PreFetchAdrCmd: TYPE = MACHINE DEPENDENT {VictimReal(0), RefRealMap(1), RefRealAssemble(2), RefVirtual(3)};

VirtualMemory: TYPE = REF;

defaultVM, lastVM: VirtualMemory;

NewVirtualMemory: PROC RETURNS [ m: VirtualMemory ];

VMFileFormat: ERROR;

VirtualMemoryFromFile: PROC [ m: VirtualMemory, fileName: Rope.ROPE ];

VirtualMemoryFromStream: PROC [ m: VirtualMemory, s: IO.STREAM ];

NewVirtualMemoryFromFile: PROC [ fileName: Rope.ROPE ] RETURNS [ m: VirtualMemory ];

VirtualMemoryToStream: PROC [ m: VirtualMemory, s: IO.STREAM ];

EnumerateVirtualMemory: PROC [ m: VirtualMemory, wdProc: PROC [ addr, data: Dragon.Word, readOnly, dirty: BOOL ← FALSE, privateData: REF ← NIL ], privateData: REF ← NIL ];

Cache: TYPE = REF;

lastCache: Cache;

NewCache: PROC [ mem: REF ANY ← NIL, nLines: NAT ← StdLinesPerCache ] RETURNS [ c: Cache ];

AccessPurpose: TYPE = {read, write};

Access: PROC [ c: Cache, address: Dragon.Word, purpose: AccessPurpose ← read, cycleNow: INT ← 0 ] RETURNS [ data: Dragon.Word, rejectCycles: NAT, mapFault, memAccessProtect: BOOL ];

Write: PROC [ c: Cache, address, data: Dragon.Word ];

IORead: PROC [ c: Cache, address: Dragon.Word, cycleNow: INT ← 0 ] RETURNS [ data: Dragon.Word, rejectCycles: NAT ];

IOWrite: PROC [ c: Cache, address, data: Dragon.Word, cycleNow: INT ← 0 ] RETURNS [ rejectCycles: NAT ];

SetFlags: PROC [ c: Cache, address: Dragon.Word, memAccessProtect, dirty, mapped: BOOL ];

SetIntervalFlags: PROC [ c: Cache, startAddress, endAddress -- [startAddress..endAddress] -- : Dragon.Word, memAccessProtect, dirty, mapped: BOOL ];

GetFlags: PROC [ c: Cache, address: Dragon.Word ] RETURNS [ memAccessProtect, dirty, mapped: BOOL ];

Parity32: PROC [ w: Dragon.Word ] RETURNS [ odd: BOOL ];

Parity16: PROC [ n: CARDINAL ] RETURNS [ odd: BOOL ];

END.