DIRECTORY BasicTime USING [Now], CommandTool USING [Run], FileNames USING [CurrentWorkingDirectory], FS USING [Error], IO USING [PutF, rope], MessageWindow USING [Append], PrincOps USING [NoTimeout], Process USING [Abort, Detach, GetPriority, Priority, priorityBackground, SecondsToTicks, SetPriority, SetTimeout], Real USING [FixC], RefText USING [New], Rope USING [Equal, Find, FromRefText, IsEmpty, ROPE, Substr], spGlobals USING [Aborted, bomb, CircuitRec, CleanUp, defineCircuit, dumpAll, error, ErrWarnSummary, fileNameStackSeq, fileStackSeq, function, functionTable, FuncTableBlk, Handle, keys, makePlotList, makePrintList, maxInclude, maxLog, maxPlots, maxPrints, model, modFuncPtr, modelTable, ModelTableBlk, nameBlk, namePtr, next, openInputFile, output, PlotSeq, printHole, PrintSeq, PutMsgLine, runIt, searchKey, SetCursor, setICs, topoAnalysis, Variables, WorstNodeLog], ViewerClasses USING [Viewer], ViewerTools USING [SetContents]; spMain: CEDAR MONITOR IMPORTS BasicTime, CommandTool, FileNames, FS, IO, MessageWindow, Process, Real, --RecursivelyNIL, --RefText, Rope, spGlobals, ViewerTools EXPORTS spGlobals= { OPEN spGlobals; NormalRun: PUBLIC PROC[handle: Handle, background, fork: BOOL _ TRUE]= { IF handle = NIL THEN RETURN; IF handle.stage=idle AND handle.simulation=NIL THEN { curPriority: Process.Priority = Process.GetPriority[]; IF background THEN Process.SetPriority[Process.priorityBackground]; handle.stage _ input; SetCursor[handle]; handle.outer.inhibitDestroy _ TRUE; IF fork THEN { handle.simulation _ FORK Simulate[handle]; TRUSTED {Process.Detach[handle.simulation]}; } ELSE { handle.simulation _ NIL; Simulate[handle]; }; Process.SetPriority[curPriority]; } ELSE MessageWindow.Append[message: "Previous simulation has not finished yet.", clearFirst: TRUE]; }; -- NormalRun BatchRun: PUBLIC PROC[handle: Handle, wDir, inputFile: Rope.ROPE _ NIL, background, fork: BOOL _ TRUE]= { IF handle = NIL OR inputFile = NIL THEN RETURN; IF wDir = NIL THEN wDir _ FileNames.CurrentWorkingDirectory[]; ViewerTools.SetContents[handle.wDir, wDir]; ViewerTools.SetContents[handle.input, inputFile]; NormalRun[handle, background, fork]; }; -- BatchRun Simulate: PUBLIC PROC[handle: Handle]= { ENABLE { Aborted => GOTO stop; ABORTED => {handle.vars.canned _ TRUE; GOTO dumpStop}; FS.Error => { handle.msgStream.PutF["%g\nProgram stopped.\n", IO.rope[error.explanation]]; GOTO stop; }; }; Process.SetPriority[Process.priorityBackground]; InitVars[handle]; openInputFile[handle]; next[handle]; WHILE handle.vars.item=name DO IF Canned[handle] THEN GOTO stop; IF searchKey[handle]=libraryKey THEN AddLibrary[handle] ELSE EXIT; ENDLOOP; IF handle.vars.item=name AND searchKey[handle]=circuitKey THEN { theRoot: namePtr_ NEW[nameBlk_ [name: "Main Circuit", details: NEW[CircuitRec_ []]] ]; defineCircuit[handle: handle, ckt: theRoot, root: TRUE]; -- may signal Aborted } ELSE error[handle, 820, TRUE]; IF handle.vars.item=slash AND handle.vars.errCount <= 0 THEN { next[handle]; output[handle, handle.vars.cktRoot, 0]; }; IF handle.vars.item#semi THEN error[handle, 800,, FALSE] ELSE IF handle.vars.errCount <= 0 THEN { NextStage[handle]; bomb[handle]; -- may signal Aborted next[handle]; IF handle.vars.item=plus THEN {next[handle]; printHole[handle]}; }; IF handle.vars.errCount <= 0 THEN { NextStage[handle]; topoAnalysis[handle]; IF Canned[handle] THEN GOTO stop; }; IF handle.vars.errCount <= 0 THEN { NextStage[handle]; WHILE handle.vars.item=name DO OPEN handle.vars; key: keys_ searchKey[handle]; next[handle]; SELECT key FROM runKey=> { TRUSTED { Process.SetTimeout[@handle.checkPointCV, Process.SecondsToTicks[Real.FixC[60.0*checkPointInterval]]]; Process.Detach[handle.checkProcess_ FORK PeriodicSetCheckPoint[handle]]; }; lastTime_ runIt[handle]; IF NOT Canned[handle] THEN PutMsgLine[handle, "Done."]; }; printKey=> makePrintList[handle]; plotKey => makePlotList[handle]; icKey => setICs[handle]; dumpKey => IF ~ForcedDump[handle] THEN dumpAll[handle, lastTime]; checkPointKey=> { IF item=leftB THEN next[handle] ELSE error[handle, 801]; IF item=number THEN { checkPointInterval_ value; next[handle] } ELSE error[handle, 809, FALSE]; IF item=rightB THEN next[handle] ELSE error[handle, 802]; } ENDCASE=> GOTO err1; IF item=eof THEN EXIT; IF item=semi THEN next[handle] ELSE error[handle, 800,, FALSE]; REPEAT err1=> error[handle, 821, TRUE]; ENDLOOP; }; -- run IF ForcedDump[handle] THEN dumpAll[handle, handle.vars.lastTime]; ErrWarnSummary[handle]; GOTO stop; EXITS dumpStop=> { dumpAll[handle, handle.vars.lastTime]; handle.msgStream.PutF["Last state is dumped in the dump file."]; CleanIt[handle]; }; stop=> CleanIt[handle]; }; -- Simulate EnterModels: PUBLIC ENTRY PROC[entry: ModelTableBlk]= { ENABLE UNWIND => NULL; FOR m: LIST OF REF ModelTableBlk _ modelTable, m.rest UNTIL m=NIL DO IF Rope.Equal[m.first.name, entry.name] THEN { m.first^ _ entry; RETURN; }; ENDLOOP; modelTable _ CONS[NEW[ModelTableBlk_ entry], modelTable]; }; -- EnterModels EnterFunctions: PUBLIC ENTRY PROC[entry: FuncTableBlk]= { ENABLE UNWIND => NULL; FOR f: LIST OF REF FuncTableBlk _ functionTable, f.rest UNTIL f=NIL DO IF Rope.Equal[f.first.name, entry.name] THEN { f.first^ _ entry; RETURN; }; ENDLOOP; functionTable _ CONS[NEW[FuncTableBlk_ entry], functionTable]; }; -- EnterFunctions findModel: PUBLIC ENTRY PROC[name: Rope.ROPE] RETURNS[REF ModelTableBlk]= { ENABLE UNWIND => NULL; FOR m: LIST OF REF ModelTableBlk _ modelTable, m.rest UNTIL m=NIL DO IF Rope.Equal[m.first.name, name] THEN RETURN[m.first]; ENDLOOP; RETURN[NIL]; }; -- findModel findFunction: PUBLIC ENTRY PROC[name: Rope.ROPE] RETURNS[REF FuncTableBlk]= { ENABLE UNWIND => NULL; FOR f: LIST OF REF FuncTableBlk_ functionTable, f.rest UNTIL f=NIL DO IF Rope.Equal[f.first.name, name] THEN RETURN[f.first]; ENDLOOP; RETURN[NIL]; }; -- findFunction ResetCheckPoint: PUBLIC ENTRY PROC[handle: Handle]= { ENABLE UNWIND => NULL; handle.vars.checkPoint_ FALSE }; Canned: PUBLIC ENTRY PROC[handle: Handle] RETURNS[BOOL]= { ENABLE UNWIND => NULL; RETURN[handle.vars.canned]}; ForcedDump: PUBLIC ENTRY PROC[handle: Handle] RETURNS[BOOL]= { ENABLE UNWIND => NULL; RETURN[handle.vars.forcedDump]}; CheckPoint: PUBLIC ENTRY PROC[handle: Handle] RETURNS[BOOL]= { ENABLE UNWIND => NULL; RETURN[handle.vars.checkPoint]}; ShowDetails: PUBLIC ENTRY PROC[handle: Handle] RETURNS[BOOL]= { ENABLE UNWIND => NULL; RETURN[handle.showTimeStep]}; EchoInput: PUBLIC ENTRY PROC[handle: Handle] RETURNS[BOOL]= { ENABLE UNWIND => NULL; RETURN[handle.echoInput]}; SaveAll: PUBLIC ENTRY PROC[handle: Handle] RETURNS[BOOL]= { ENABLE UNWIND => NULL; RETURN[handle.saveAllData]}; StopIt: PUBLIC ENTRY PROC[handle: Handle]= { ENABLE UNWIND => NULL; IF handle # NIL THEN { IF handle.vars # NIL THEN { handle.vars.forcedDump_ FALSE; handle.vars.canned_ TRUE; }; AbortCheckPoint[handle]; }; }; -- StopIt DumpIt: PUBLIC ENTRY PROC[handle: Handle]= { ENABLE UNWIND => NULL; IF handle # NIL THEN { IF handle.vars # NIL THEN { handle.vars.forcedDump_ TRUE; handle.vars.canned_ TRUE; }; AbortCheckPoint[handle]; }; }; -- DumpIt ToggleShowDetails: PUBLIC ENTRY PROC[handle: Handle]= { ENABLE UNWIND => NULL; handle.showTimeStep_ ~handle.showTimeStep; }; -- ToggleShowDetails ToggleEchoInput: PUBLIC ENTRY PROC[handle: Handle]= { ENABLE UNWIND => NULL; handle.echoInput_ ~handle.echoInput; }; -- ToggleEchoInput ToggleSaveAll: PUBLIC ENTRY PROC[handle: Handle]= { ENABLE UNWIND => NULL; handle.saveAllData _ ~handle.saveAllData; }; -- ToggleSaveAll NextStage: PUBLIC ENTRY PROC[handle: Handle]= { ENABLE UNWIND => NULL; SELECT handle.stage FROM input, bomb, topo => { handle.stage_ SUCC[handle.stage]; SetCursor[handle]; }; run => { handle.vars.runState _ (handle.vars.runState + 1) MOD 4; SetCursor[handle]; }; ENDCASE => MessageWindow.Append[ -- should not get here message: "* Weird situation detected in 'NextStage', please inform Thyme implementors.", clearFirst: TRUE]; }; -- NextStage PeriodicSetCheckPoint: ENTRY PROC[handle: Handle]= { ENABLE UNWIND => NULL; WHILE handle # NIL DO ENABLE ABORTED => EXIT; WAIT handle.checkPointCV; IF handle # NIL THEN IF handle.vars # NIL THEN handle.vars.checkPoint_ TRUE ELSE EXIT; ENDLOOP; IF handle # NIL THEN TRUSTED {Process.SetTimeout[@handle.checkPointCV, PrincOps.NoTimeout]}; }; -- PeriodicSetCheckPoint CleanIt: ENTRY PROC[handle: Handle]= { ENABLE UNWIND => NULL; CleanUp[handle]; }; -- CleanIt AbortCheckPoint: INTERNAL PROC[handle: Handle]= { IF handle = NIL THEN RETURN; IF handle.stage=run AND handle.checkProcess # NIL THEN { TRUSTED {Process.Abort[LOOPHOLE[handle.checkProcess, UNSPECIFIED]]}; handle.checkProcess_ NIL; }; }; -- AbortCheckPoint AddLibrary: PROC[handle: Handle]= { next[handle]; IF handle.vars.item=leftB THEN next[handle] ELSE error[handle, 801, TRUE]; IF handle.vars.item=name THEN { originalName, nameRoot, errMsg: Rope.ROPE; dotPosition: INT; originalName_ Rope.FromRefText[handle.vars.newString]; dotPosition_ Rope.Find[originalName, "."]; nameRoot_ IF dotPosition=-1 THEN originalName ELSE Rope.Substr[originalName, 0, dotPosition-1]; IF NOT (Rope.Equal[nameRoot, "MosModels", FALSE] OR Rope.Equal[nameRoot, "StdFunctions", FALSE] OR Rope.Equal[nameRoot, "Level2Model", FALSE]) THEN { [errMsg, ]_ CommandTool.Run[originalName]; IF NOT errMsg.IsEmpty[] THEN PutMsgLine[handle, errMsg]; }; next[handle]; } ELSE error[handle, 804, TRUE]; IF handle.vars.item=rightB THEN next[handle] ELSE error[handle, 802, FALSE]; IF handle.vars.item=semi THEN next[handle] ELSE error[handle, 800, FALSE]; }; -- AddLibrary InitVars: PROC[handle: Handle]= { handle.vars_ NEW[Variables_ [ ]]; {OPEN handle.vars; simTime _ BasicTime.Now[]; line_ RefText.New[256]; newString_ RefText.New[256]; line.length_ 0; newString.length_ 0; fileStack_ NEW[fileStackSeq[maxInclude]]; FOR i: NAT IN [0..maxInclude) DO fileStack[i] _ NIL ENDLOOP; fileNameStack_ NEW[fileNameStackSeq[maxInclude]]; FOR i: NAT IN [0..maxInclude) DO fileNameStack[i] _ NIL ENDLOOP; prints_ NEW[PrintSeq[maxPrints]]; FOR i: NAT IN [0..maxPrints) DO prints[i] _ [] ENDLOOP; plots_ NEW[PlotSeq[maxPlots]]; FOR i: NAT IN [0..maxPlots) DO plots[i] _ [] ENDLOOP; worstNodeLog_ NEW[WorstNodeLog[maxLog]]; FOR i: NAT IN [0..maxLog) DO worstNodeLog[i] _ []; ENDLOOP; }; }; -- InitVars }. CHANGE LOG Wilhelm, April 27, 1982 4:07 PM Barth, 7-May-82 14:41:52 PDT Chen, April 19, 1983 6:45 PM, changed the version name for openSysWindow. Barth, July 11, 1983 12:46 PM Chen, June 12, 1984 11:37:19 am PDT, cedarized. Chen, May 15, 1985 5:23:49 pm PDT, Thyme viewer is inhibited from being destroyed by user when simulation is running. Chen, July 22, 1985 8:09:51 pm PDT, => Cedar6.0. Chen, November 24, 1985 2:57:05 pm PST, as suggested by Pradeep, changed NormalRun, BatchRun, and Simulate to allow client to choose whether to fork and whether to run in background. Christian Jacobi, June 10, 1986 6:35:28 pm PDT, Changed Simulate to always run in background; (ignoring the interface's option not run in background). ไFile: spMain.mesa Copyright c 1985, 1986 by Xerox Corporation. All rights reserved. Last Edited by: Last Edited by: Jacobi June 10, 1986 6:37:00 pm PDT Pradeep Sindhu March 19, 1986 11:26:37 pm PST Sweetsun Chen, April 26, 1986 4:59:00 pm PST Christian Jacobi, June 10, 1986 6:35:10 pm PDT RecursivelyNIL USING [CheckProc, NILRef], IF handle.simulation # NIL THEN TRUSTED {JOIN handle.simulation}; libraries circuit definition explode analyze run killPlot[] entry procs ส‹˜Jšะct™Jšœ ฯmœ7™Bšœ™Icode™3K™-K™,K™.—J™šฯk ˜ Jšœ Ÿœ˜Jšœ Ÿœ˜Jšœ Ÿœ˜*JšŸœŸœ ˜JšŸœŸœ˜JšœŸœ ˜Jšœ Ÿœ˜JšœŸœe˜rJšœŸœ™)JšœŸœ˜JšœŸœ˜JšœŸœ%Ÿœ ˜=Jšœ Ÿœร˜าJšœŸœ ˜Jšœ Ÿœ˜ —J˜šœŸœŸ˜JšŸœ$ŸœŸœ ฯcœ&˜‹JšŸœ ˜—J˜JšœŸœ ˜J˜š ฯn œŸœŸœ#ŸœŸœ˜HJšŸœ ŸœŸœŸœ˜šŸœŸœŸœŸœ˜5J˜6JšŸœ Ÿœ1˜CJšœ˜Jšœ˜JšœŸœ˜#šŸœŸœ˜JšœŸœ˜*JšŸœ%˜,J˜—šŸœ˜JšœŸœ˜Jšœ˜J˜—Jšœ!˜!Jšœ˜—JšŸœXŸœ˜bJšœ  ˜—J˜šกœŸœŸœ'ŸœŸœŸœŸœ˜iJš Ÿœ ŸœŸœ ŸœŸœŸœ˜/JšŸœŸœŸœ,˜>Jšœ+˜+Jšœ1˜1Jšœ$˜$Jš ŸœŸœŸœŸœŸœ™AJšœ  ˜—J˜šกœŸœŸœ˜(šŸœ˜Jšœ Ÿœ˜JšŸœŸœŸœ ˜6šŸœ ˜ Jšœ0Ÿœ˜LJšŸœ˜ J˜—J˜—Jšœ0˜0Jšœ˜Jšœ˜Jšœ ˜ J˜Jš ™ šŸœŸ˜JšŸœŸœŸœ˜!JšŸœŸœŸœŸœ˜BJšŸœ˜ —J˜Jš™šŸœŸœŸœ˜@JšœŸœ ˜Jšœ Ÿœ˜7Jšœ2Ÿœ ˜NJšœ˜—JšŸœŸœ˜šŸœŸœŸœ˜>Jšœ ˜ Jšœ'˜'Jšœ˜—Jšœ™JšŸœŸœŸœ˜8šŸœŸœŸœ˜(Jšœ˜Jšœ ˜#Jšœ ˜ JšŸœŸœ#˜@Jšœ˜—J™Jšœ™šŸœŸœ˜#Jšœ˜Jšœ˜JšŸœŸœŸœ˜!Jšœ˜——™Jšœ™šŸœŸœ˜#Jšœ˜šŸœŸ˜JšŸœ ˜Jšœ˜Jšœ ˜ šŸœŸ˜šœ ˜ šŸœ˜ Jšœ(˜(Jšœ<˜Jšœ˜—J˜Jšฯt ™ J˜š œ ŸœŸœŸœ ŸœŸœŸœ˜KJšŸœŸœŸœ˜š ŸœŸœŸœŸœ$ŸœŸœŸ˜DJšŸœ ŸœŸœ ˜7JšŸœ˜—JšŸœŸœ˜ Jšœ ˜—J˜š œŸœŸœŸœ Ÿœ˜0JšŸœŸœ˜JšŸœŸœŸœ˜š ŸœŸœŸœŸœ%ŸœŸœŸ˜EJšŸœ ŸœŸœ ˜7JšŸœ˜—JšŸœŸœ˜ Jšœ˜—J˜šกœŸœŸœŸœ˜5JšŸœŸœŸœ˜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šŸœŸœŸœ˜šŸœ ŸœŸœ˜šŸœŸœŸœ˜JšœŸœ˜JšœŸœ˜J˜—Jšœ˜J˜—Jšœ ˜ —J˜šกœŸœŸœŸœ˜7JšŸœŸœŸœ˜Jšœ*˜*Jšœ˜—J˜šกœŸœŸœŸœ˜5JšŸœŸœŸœ˜Jšœ$˜$Jšœ˜—J˜šก œŸœŸœŸœ˜3JšŸœŸœŸœ˜Jšœ)˜)Jšœ  ˜—J˜šก œŸœŸœŸœ˜/JšŸœŸœŸœ˜šŸœŸ˜šœ˜JšœŸœ˜!Jšœ˜Jšœ˜—šœ˜Jšœ2Ÿœ˜8Jšœ˜Jšœ˜—šŸœ˜7JšœX˜XJšœ Ÿœ˜——Jšœ ˜—J˜šกœŸœŸœ˜4JšŸœŸœŸœ˜šŸœ ŸœŸ˜JšŸœŸœŸœ˜JšŸœ˜šŸœ ŸœŸ˜JšŸœŸœŸœŸ˜6JšŸœŸœ˜ —JšŸœ˜—šŸœ ŸœŸ˜JšŸœ@˜G—Jšœ˜—J˜šกœŸœŸœ˜&JšŸœŸœŸœ˜J˜Jšœ ˜ —J˜šกœŸœŸœ˜1JšŸœ ŸœŸœŸœ˜šŸœŸœŸœŸœ˜8JšŸœŸœŸ œ˜DJšœŸœ˜Jšœ˜—Jšœ˜—J˜šก œŸœ˜#Jšœ ˜ JšŸœŸœŸœŸœ˜JšŸœŸœ˜Jšœ%Ÿœ˜*Jšœ Ÿœ˜Jšœ6˜6Jšœ*˜*šœ ŸœŸœ ˜-JšŸœ-˜1—šŸœŸœ'ŸœŸ˜6Jšœ%ŸœŸ˜.šœ%ŸœŸœ˜3Jšœ*˜*JšŸœŸœŸœ˜8Jšœ˜——Jšœ ˜ Jšœ˜—JšŸœŸœ˜JšŸœŸœŸœŸœ˜LJšŸœŸœŸœŸœ˜JJšœ ˜—J˜šกœŸœ˜!Jšœ Ÿœ˜!šœŸœ ˜Jšœ˜Jšœ˜Jšœ˜Jšœ˜Jšœ˜Jšœ Ÿœ˜)Jš ŸœŸœŸœŸœŸœŸœ˜