|
|
@@ -0,0 +1,250 @@
|
|
|
+(* ETH Oberon, Copyright 2000 ETH Zuerich Institut fuer Computersysteme, ETH Zentrum, CH-8092 Zuerich.
|
|
|
+Refer to the "General ETH Oberon System Source License" contract available at: http://www.oberon.ethz.ch/ *)
|
|
|
+
|
|
|
+MODULE Traps; (** AUTHOR "G.F."; PURPOSE "Exception Trap and symbolic debugging"; *)
|
|
|
+
|
|
|
+(* 2000.02.06 g.f. UnixOberon release 2.3.6d *)
|
|
|
+(* 2006.07.09 g.f. UnixAos version *)
|
|
|
+
|
|
|
+IMPORT S := SYSTEM, Trace, Glue, Unix, Objects, Machine, Heaps, Streams, Modules, Reflection,
|
|
|
+ TrapWriters, Commands, StdIO;
|
|
|
+
|
|
|
+CONST
|
|
|
+ AddrSize = SIZEOF( ADDRESS );
|
|
|
+
|
|
|
+TYPE
|
|
|
+
|
|
|
+ ExceptionHandler = RECORD pc, fp, sp: ADDRESS END;
|
|
|
+
|
|
|
+VAR
|
|
|
+
|
|
|
+ TrapHandlingLevel: INTEGER;
|
|
|
+
|
|
|
+ trace: BOOLEAN;
|
|
|
+
|
|
|
+ unix: Commands.Context;
|
|
|
+
|
|
|
+
|
|
|
+ PROCEDURE Append( VAR ar: ARRAY OF CHAR; CONST this: ARRAY OF CHAR );
|
|
|
+ VAR i, j: LONGINT;
|
|
|
+ BEGIN
|
|
|
+ i := 0; j := 0;
|
|
|
+ WHILE ar[i] # 0X DO INC( i ) END;
|
|
|
+ WHILE (i < LEN( ar ) - 1) & (this[j] # 0X) DO ar[i] := this[j]; INC( i ); INC( j ) END;
|
|
|
+ ar[i] := 0X
|
|
|
+ END Append;
|
|
|
+
|
|
|
+
|
|
|
+ PROCEDURE TimeTag( w: Streams.Writer );
|
|
|
+ VAR
|
|
|
+ tv: Unix.Timeval; tz: Unix.Timezone; t: Unix.TmPtr; ret: LONGINT;
|
|
|
+
|
|
|
+ PROCEDURE Int( i: LONGINT );
|
|
|
+ BEGIN
|
|
|
+ IF i < 10 THEN w.Char( '0' ) END;
|
|
|
+ w.Int( i, 0 )
|
|
|
+ END Int;
|
|
|
+
|
|
|
+ BEGIN
|
|
|
+ ret := Unix.gettimeofday( tv, tz );
|
|
|
+ t := Unix.localtime( tv );
|
|
|
+ w.Int( 1900 + t.year, 4 ); w.Char( '/' ); Int( t.mon + 1 ); w.Char( '/' ); Int( t.mday );
|
|
|
+ w.String( " " ); Int( t.hour ); w.Char( ':' ); Int( t.min ); w.Ln;
|
|
|
+ END TimeTag;
|
|
|
+
|
|
|
+
|
|
|
+
|
|
|
+ PROCEDURE FinishTrap( w: Streams.Writer; p: Objects.Process );
|
|
|
+ VAR tag: ADDRESS; td: Modules.TypeDesc; name: ARRAY 72 OF CHAR;
|
|
|
+ BEGIN
|
|
|
+ w.Char( 2X ); (* end of trap text *)
|
|
|
+ w.Update;
|
|
|
+ TrapWriters.Trapped;
|
|
|
+
|
|
|
+ IF p.obj = NIL THEN (* the main thread is not associated with any object *)
|
|
|
+ Unix.exit( -1 )
|
|
|
+ ELSE
|
|
|
+ S.GET( S.VAL( ADDRESS, p.obj ) - AddrSize, tag );
|
|
|
+ S.GET( tag - AddrSize, td );
|
|
|
+ IF td.mod # NIL THEN
|
|
|
+ COPY( td.mod.name, name ); Append( name, "." ); Append( name, td.name );
|
|
|
+ IF name = "Oberon.System.OberonRunner" THEN UnlockOberon END
|
|
|
+ END
|
|
|
+ END;
|
|
|
+ TrapHandlingLevel := 0;
|
|
|
+ Machine.Release( Machine.Trap )
|
|
|
+ END FinishTrap;
|
|
|
+
|
|
|
+
|
|
|
+
|
|
|
+ PROCEDURE Trap( sig: LONGINT; ucp: Unix.Ucontext; fatalerror: BOOLEAN );
|
|
|
+ VAR
|
|
|
+ pc, sp, bp: ADDRESS;
|
|
|
+ trapno: LONGINT;
|
|
|
+ process: Objects.Process;
|
|
|
+ handler: ExceptionHandler;
|
|
|
+ w: Streams.Writer;
|
|
|
+ BEGIN
|
|
|
+ INC( TrapHandlingLevel );
|
|
|
+ IF trace THEN
|
|
|
+ Trace.String( "Aos Trap: signal = " ); Trace.Int( sig, 0 );
|
|
|
+ Trace.String( ", ucp = " ); Trace.Address( S.VAL( ADDRESS, ucp ) );
|
|
|
+ Trace.String( ", traphandling level = " ); Trace.Int( TrapHandlingLevel, 1 );
|
|
|
+ Trace.Ln;
|
|
|
+ END;
|
|
|
+
|
|
|
+ IF fatalerror THEN
|
|
|
+ w := unix.error
|
|
|
+ ELSE
|
|
|
+ w := TrapWriters.GetWriter();
|
|
|
+ w.Char( 1X ); (* begin of trap text *)
|
|
|
+ END;
|
|
|
+
|
|
|
+ w.Ln;
|
|
|
+ w.String( Machine.version ); w.String( " " ); TimeTag( w ); w.Ln;
|
|
|
+ IF TrapHandlingLevel = 1 THEN
|
|
|
+ IF ~fatalerror THEN Machine.Acquire( Machine.Trap ) END;
|
|
|
+ w.String( "Trap " )
|
|
|
+ ELSE
|
|
|
+ w.String( "[recursive Trap] " )
|
|
|
+ END;
|
|
|
+ CASE sig OF
|
|
|
+ | 1: w.String( "1 (Hangup signal)" );
|
|
|
+ | 2: w.String( "2 (User interrupt)" );
|
|
|
+ | 3: w.String( "3 (Quit signal)" );
|
|
|
+ | 4: w.String( "4 (Illegal instruction)" );
|
|
|
+ | 5: w.String( "5." );
|
|
|
+ sp := ucp.mc.r_sp;
|
|
|
+ S.GET( sp, trapno ); w.Int( trapno, 0 );
|
|
|
+ CASE trapno OF
|
|
|
+ | 1: w.String( " (WITH guard failed)" )
|
|
|
+ | 2: w.String( " (CASE invalid)" )
|
|
|
+ | 3: w.String( " (RETURN missing)" )
|
|
|
+ | 5: w.String( " (implicit type guard failed)" )
|
|
|
+ | 6: w.String( " (type guard failed)" )
|
|
|
+ | 7: w.String( " (index out of range)" )
|
|
|
+ | 8: w.String( " (ASSERT failed)" )
|
|
|
+ | 9: w.String( " (array dimension error)" )
|
|
|
+ |12: w.String( " (division error)" )
|
|
|
+ ELSE
|
|
|
+ IF trapno >= 30 THEN w.String( " (programmed HALT)" )
|
|
|
+ ELSE w.String( " (unknown exception)" )
|
|
|
+ END
|
|
|
+ END;
|
|
|
+ | 8: w.String( "8 (Arithmetic exception)" );
|
|
|
+ |10: w.String( "10 (Bus Error)" )
|
|
|
+ |11: w.String( "11 (Segmentation violation)" )
|
|
|
+ |13: w.String( "13 (Broken pipe)" )
|
|
|
+ |14: w.String( "14 (Alarm signal)" )
|
|
|
+ ELSE
|
|
|
+ w.String( "(Signal " ); w.Int( sig, 0 ); w.Char( ')' );
|
|
|
+ END;
|
|
|
+ w.Ln;
|
|
|
+ IF TrapHandlingLevel = 1 THEN
|
|
|
+ process := Objects.CurrentProcess( );
|
|
|
+ pc := ucp.mc.r_pc; bp := ucp.mc.r_bp;
|
|
|
+ IF pc = 0 THEN
|
|
|
+ (* assume call of procedure variable with value NIL *)
|
|
|
+ S.GET( sp, pc ); (* get return address on top of stack *)
|
|
|
+ END;
|
|
|
+ w.Ln;
|
|
|
+ w.String( " sp = " ); w.Address( sp ); w.String( ", fp = " ); w.Address( bp );
|
|
|
+ w.String( ", pc = " ); w.Address( pc ); w.Ln;
|
|
|
+ w.Ln;
|
|
|
+ Reflection.StackTraceBack( w, pc, bp, sp, Objects.GetStackBottom( process ), TRUE, FALSE );
|
|
|
+ SearchExceptionHandler( process, ucp, handler );
|
|
|
+ END;
|
|
|
+ w.Ln; w.Ln;
|
|
|
+ w.String("----------------------------------------------------"); w.Ln;
|
|
|
+
|
|
|
+ IF fatalerror OR (TrapHandlingLevel > 2) THEN Machine.Shutdown( FALSE ) END;
|
|
|
+
|
|
|
+ FinishTrap( w, process );
|
|
|
+
|
|
|
+ IF handler.pc # 0 THEN
|
|
|
+ IF Unix.Version # "Darwin" THEN
|
|
|
+ (* in the Darwin port Unix.ModifyContext fails with bus error. Stack alignment problem? *)
|
|
|
+ w.Ln;
|
|
|
+ w.String( "### program continues with exception handler ###" ); w.Ln;
|
|
|
+
|
|
|
+ Unix.ModifyContext( ucp, handler.pc, handler.fp, handler.sp );
|
|
|
+ RETURN (*! to exception handler !! *)
|
|
|
+ END
|
|
|
+ END;
|
|
|
+
|
|
|
+ IF Machine.standaloneAppl THEN
|
|
|
+ unix.error.Ln; unix.error.Ln;
|
|
|
+ unix.error.String( "### Program aborted. Stack traceback in logfile" ); unix.error.Ln;
|
|
|
+ unix.error.Update;
|
|
|
+ Machine.Shutdown( FALSE )
|
|
|
+ ELSIF TrapHandlingLevel > 1 THEN
|
|
|
+ Objects.Terminate
|
|
|
+ ELSE
|
|
|
+ Objects.ExitTrap()
|
|
|
+ END
|
|
|
+ END Trap;
|
|
|
+
|
|
|
+
|
|
|
+ PROCEDURE UnlockOberon;
|
|
|
+ CONST OberonKernel = "Oberon.Kernel";
|
|
|
+ VAR c: PROCEDURE;
|
|
|
+ BEGIN
|
|
|
+ IF Modules.ModuleByName( OberonKernel ) # NIL THEN
|
|
|
+ GETPROCEDURE( OberonKernel, "UnlockOberon", c );
|
|
|
+ IF c # NIL THEN c END
|
|
|
+ END;
|
|
|
+ END UnlockOberon;
|
|
|
+
|
|
|
+
|
|
|
+ PROCEDURE SearchExceptionHandler( process: Objects.Process; cont: Unix.Ucontext; VAR handler: ExceptionHandler );
|
|
|
+ VAR entry, fp, sp, pc: ADDRESS;
|
|
|
+ BEGIN
|
|
|
+ handler.pc := 0; (* no handler *)
|
|
|
+ pc := cont.mc.r_pc; fp := cont.mc.r_bp; sp := cont.mc.r_sp;
|
|
|
+ IF pc = 0 THEN
|
|
|
+ (* assume call of procedure variable with value NIL *)
|
|
|
+ S.GET( sp, pc ); (* get return address on top of stack *)
|
|
|
+ END;
|
|
|
+ entry := Modules.GetExceptionHandler( pc );
|
|
|
+ WHILE (entry = -1) & (fp <= process.stackBottom) DO
|
|
|
+ S.GET( fp + AddrSize, pc );
|
|
|
+ pc := pc - 1; (* CALL instruction, machine dependent!!! *)
|
|
|
+ entry := Modules.GetExceptionHandler( pc );
|
|
|
+ sp := fp; (* Save the old framepointer into the stack pointer *)
|
|
|
+ S.GET( fp, fp ) (* Unwind PAF *)
|
|
|
+ END;
|
|
|
+ IF entry # -1 THEN
|
|
|
+ handler.pc := entry; handler.fp := fp; handler.sp := sp
|
|
|
+ END
|
|
|
+ END SearchExceptionHandler;
|
|
|
+
|
|
|
+
|
|
|
+ PROCEDURE SignalHandler( signal: LONGINT; scp, ucp, dummy: ADDRESS );
|
|
|
+ (* 'dummy' for 16 byte stack alignment, MacOS! *)
|
|
|
+ BEGIN
|
|
|
+ IF ~(signal IN {1, 2, 14, 15}) (* SIGHUP, SIGINT, SIGALRM, SIGTERM *) THEN
|
|
|
+ IF trace THEN
|
|
|
+ Trace.String( "Traps.SignalHander: received signal " );
|
|
|
+ Trace.Int( signal, 1 ); Trace.Ln
|
|
|
+ END;
|
|
|
+ (*IF Heaps.collecting THEN
|
|
|
+ Trace.Ln; Trace.String( "PANIC: Trap " ); Trace.Int( signal, 0 );
|
|
|
+ Trace.String( " in garbage collector" ); Trace.Ln; Trace.Ln;
|
|
|
+ Machine.Release( Machine.Heaps );
|
|
|
+
|
|
|
+ Trap( signal, S.VAL( Unix.Ucontext, ucp ), TRUE )
|
|
|
+ ELSE
|
|
|
+ *)
|
|
|
+ Trap( signal, S.VAL( Unix.Ucontext, ucp ), FALSE )
|
|
|
+ (* END *)
|
|
|
+ END
|
|
|
+ END SignalHandler;
|
|
|
+
|
|
|
+
|
|
|
+
|
|
|
+BEGIN
|
|
|
+ trace := 3 IN Glue.debug;
|
|
|
+ (*Unix.Dlsym( 0, "InstallTrap", ADDRESSOF( InstallSignalHandler ) );*)
|
|
|
+ Unix.InstallSignalHandler( SignalHandler );
|
|
|
+ unix := StdIO.env
|
|
|
+END Traps.
|
felixf