DIRECTORY CacheOps, Core, CoreClasses, CoreFlat, Dragon, DragOpsCross, IFU2, LizardCache, LizardHeart, LizardLiver, Ports, Rosemary, RosemaryUser;Cluster2: CEDAR DEFINITIONS= BEGINInstances: TYPE = {iCache, eCache, eu, ifu};historySize: NAT = 20;ClusterState: TYPE = RECORD [cycle: INT _ 0,phase: Dragon.Phase _ a,data: ARRAY Instances OF REF ANY _ ALL[NIL]];OpaqueKitchenSink: TYPE = REF ANY;KitchenSink: TYPE = REF KitchenSinkRec;KitchenSinkRec: TYPE = RECORD [controlPanel: ControlPanel _ NIL,log: Core.STREAM _ NIL,lizardSimulation: LizardSimulation _ NIL,rosemarySimulation: Rosemary.Simulation _ NIL,rosemaryStores: LIST OF REF ANY _ NIL,clusterIOPort: Ports.Port _ NIL,vm: CacheOps.VirtualMemory	_ NIL,iCache, eCache: CacheOps.Cache _ NIL,euSimulation: Rosemary.Simulation _ NIL,euPort: Ports.Port _ NIL,euSimulationTruthPort: Ports.Port _ NIL,euSimulationTestPort: Ports.Port _ NIL,euFlatInstance: CoreFlat.FlatInstance _ NIL,euCyclesFromReject: CARDINAL _ 0,euReject: CoreFlat.FlatWire _ NIL,euDisplay: RosemaryUser.RoseDisplay _ NIL,diagnostics: Core.ROPE _ NIL,cluster: Core.CellType _ NIL,coreInsts: ARRAY Instances OF CoreClasses.CellInstance _ ALL[NIL],state: ARRAY [0..historySize) OF ClusterState];LizardSimulation: TYPE = REF LizardSimulationRec;LizardSimulationRec: TYPE = RECORD [processor: LizardHeart.Processor _ NIL,control: LizardHeart.Control _ nextInst,euCache: LizardCache.CacheBase,lastInstrOps: LIST OF REF ANY -- RegStore, CacheTrans --  _ NIL];ControlPanel: TYPE = REF ControlPanelRec;ControlPanelRec: TYPE = RECORD [diagnostic:					Core.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,running:						BOOL _ FALSE,msg:							Core.ROPE _ NIL];StartNewLizard:  PROC [ m: REF -- CacheOps.VM -- ] RETURNS [ sim: LizardSimulation ];SuccessHalt: ERROR;Breakpoint: SIGNAL;DefaultCheckSynch: IFU2.CheckSynchProc;CSProcRec: TYPE = RECORD [proc: IFU2.CheckSynchProc];csProcRec: CSProcRec; -- for easy replacementMakeCluster: PROC RETURNS [ks: KitchenSink];DoCluster: PROC [ks: KitchenSink, diagnostic: Core.ROPE _ NIL];GetPublicBool: PROC [ks: KitchenSink, signal: ATOM] RETURNS [value: BOOL];SetPublicBool: PROC [ks: KitchenSink, signal: ATOM, value: BOOL];SetPublic: PROC [ks: KitchenSink, signal: ATOM, value: REF ANY];SetPublicAndSettle: PROC [ks: KitchenSink, signal: ATOM, value: REF ANY];END.   Ю  Cluster2.mesaCopyright c 1986 by Xerox Corporation.  All rights reserved.McCreight, May 13, 1986 2:28:43 pm PDTBarth, April 28, 1986 12:14:11 pm PDTЭ╩П  Ш ЪЬЩIcodeЪЬ
╧mЬ1Щ<KЩ&KЩ%ЧJШ JЪ╧k	ЬЙШТJШ Ъ╧bЬЮЬЮШKЪЬЮШKШ JЪЬЮЬШ,JЪЬЮЬШJШ ЪЬЮЬЮЬШJЪЬЮЬШJЪЬШJЪЬЮЬЮЬЮЬЮЬЮЬЮЬШ+JЪЬШЧJШ JЪЬЮЬЮЬЮЬШ"JЪЬЮЬЮЬШ'ЪЬЮЬЮЬШJЪЬЮЬШ!JЪЬ
ЮЬЮЬШJЪЬ%ЮЬШ)JЪЬ*ЮЬШ.JЪЬЮЬЮЬЮЬЮЬЮЬШ&JЪЬЮЬШ JЪЬЮЬШ!JЪЬ!ЮЬШ%JЪЬ$ЮЬШ(JЪЬЮЬШJЪЬ$ЮЬШ(JЪЬ#ЮЬШ'JЪЬ(ЮЬШ,JЪЬЮЬШ!JЪЬЮЬШ"JЪЬ&ЮЬШ*JЪЬЮЬЮЬШJЪЬЮЬШJЪ	ЬЮЬЮЬЮЬЮЬШBJЪЬЮЬЮЬШ-JШJШ ЧJЪЬЮЬЮЬШ1ЪЬЮЬЮЬШ$JЪЬ#ЮЬШ'JЪЬ(Ш(JЪЬШJЪЬЮЬЮЬЮЬЮЬ╧cЬЮШ?JШJШ ЧJЪЬЮЬЮЬШ)ЪЬЮЬЮЬШ JЪЬЮЬЮЬШ JЪЬЮЬШJЪЬЮЬШ!JЪЬЮЬШJЪЬЮЬШ!JЪЬШJЪЬЮЬЮЬЮЬЮЬЮЬШ6JЪЬЮЬЮЬШJЪЬЮЬЮЬШ$JЪЬЮЬЮЬШ JЪЬЮЬЮЬШJЪЬЮЬЮЬШJЪЬЮЬЮЬШJЪЬЮЬЮЬШJЪЬЮЬЮЬШ!JЪЬЮЬШJЪЬЮЬШJЪЬЮЬЮЬШJЪЬЮЬЮШJЪЬШJШ ЧJШ JЪ
╧nЬЮЬЮЬаЬЮЬШUJЪЬЮЬШJЪЬЮЬШJШ JЪЬ'Ш'JШ JЪЬЮЬЮЬШ5JЪЬаШ-JШ ЪбЬЮЬЮЬШ,JШ ЧЪб	ЬЮЬ$ЮЬЮЬШ?JШ ЧJЪ
бЬЮЬЮЬЮЬ	ЮЬШJJШ JЪбЬЮЬЮЬ	ЮЬШAJШ JЪб	ЬЮЬЮЬ	ЮЬШ@JШ JЪбЬЮЬЮЬ	ЮЬШIJШ JЪЮЬШЧJШ JШ Ч ЕЧ    4  a  