ClusterParams.mesa
Copyright © 1985 by Xerox Corporation. All rights reserved.
last modified by Curry, February 1, 1985 5:05:39 pm PST
Herrmann, September 5, 1985 2:40:39 pm PDT
McCreight, December 17, 1985 6:18:38 pm PST
Cluster Rosemary simulation parameters
DIRECTORY
CacheOps,
Dragon,
IO,
LizardRosemary,
Rope,
RoseDisplayInsides,
RoseTypes,
ViewerClasses;
ClusterParams: CEDAR DEFINITIONS =
BEGIN
vm:     PUBLIC CacheOps.VirtualMemory;
randomBackground: PUBLIC Rope.ROPE;
randomStartPC:  PUBLIC Dragon.Word;
iCacheSkipRejects: PUBLIC BOOL;
iCache:    PUBLIC CacheOps.Cache;
eCache:    PUBLIC CacheOps.Cache;
clusterLog:   PUBLIC IO.STREAM;
ifuLogRef:   PUBLIC REF IO.STREAM;
euLogRef:   PUBLIC REF IO.STREAM;
eCacheLogRef:  PUBLIC REF IO.STREAM;
lizardSimRef:   PUBLIC REF LizardRosemary.Simulation;
clusterPanel:   PUBLIC REF ControlPanel;
ControlPanel:  TYPE = RECORD [
diagnostic:     Rope.ROPE ← NIL,
cycle:       INT ← 0,
slowFromCycle:    INT ← 10000000,
instrCount:     INT ← 0,
slowFromInstr:    INT ← 10000000,
phase:       Dragon.Phase ← a,
stopInPh:      ARRAY Dragon.Phase OF BOOL ← ALL[TRUE],
repeatPhase:     BOOL ← FALSE,
continueTestFromAbort: BOOL ← FALSE,
reset, resched:    BOOL ← FALSE,
enaECacheLog:    BOOL ← FALSE,
enaIFULog:     BOOL ← FALSE,
enaEULog:     BOOL ← FALSE,
lizardToo:     BOOL ← TRUE,
emulateBreakpoint:   BOOL ← TRUE,
randomSeed:     INT ← 0,
randomCycleLimit:   INT ← 0,
ckptAtCycle:     INT ← -100,
ckptEveryNCycles:   INT ← 0,
ckpt:       BOOL ← FALSE,
rollbk:      BOOL ← FALSE,
ckptFile:      IO.ROPE ← NIL,
errMsg:      IO.ROPE ← NIL ];
Remark:   PROC [message: IO.ROPE];
PanelCheck: PROC;
CheckPoint: PROC [fileName: IO.ROPE, root: RoseTypes.Cell];
RollBack:  PROC [fileName: IO.ROPE, root: RoseTypes.Cell]
RETURNS [oldPanel: REF ControlPanel];
InsertRandomProgramInVM: PROC[vm:CacheOps.VirtualMemory, seed:INT, log:IO.STREAM];
END.