diff options
Diffstat (limited to 'gcc/ada/s-tasdeb.adb')
| -rw-r--r-- | gcc/ada/s-tasdeb.adb | 704 |
1 files changed, 704 insertions, 0 deletions
diff --git a/gcc/ada/s-tasdeb.adb b/gcc/ada/s-tasdeb.adb new file mode 100644 index 00000000000..83e2efcc645 --- /dev/null +++ b/gcc/ada/s-tasdeb.adb @@ -0,0 +1,704 @@ +------------------------------------------------------------------------------ +-- -- +-- GNU ADA RUN-TIME LIBRARY (GNARL) COMPONENTS -- +-- -- +-- S Y S T E M . T A S K I N G . D E B U G -- +-- -- +-- B o d y -- +-- -- +-- $Revision: 1.23 $ +-- -- +-- Copyright (C) 1997-2001 Free Software Foundation, Inc. -- +-- -- +-- GNARL is free software; you can redistribute it and/or modify it under -- +-- terms of the GNU General Public License as published by the Free Soft- -- +-- ware Foundation; either version 2, or (at your option) any later ver- -- +-- sion. GNARL is distributed in the hope that it will be useful, but WITH- -- +-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- +-- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -- +-- for more details. You should have received a copy of the GNU General -- +-- Public License distributed with GNARL; see file COPYING. If not, write -- +-- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, -- +-- MA 02111-1307, USA. -- +-- -- +-- As a special exception, if other files instantiate generics from this -- +-- unit, or you link this unit with other files to produce an executable, -- +-- this unit does not by itself cause the resulting executable to be -- +-- covered by the GNU General Public License. This exception does not -- +-- however invalidate any other reasons why the executable file might be -- +-- covered by the GNU Public License. -- +-- -- +-- GNARL was developed by the GNARL team at Florida State University. It is -- +-- now maintained by Ada Core Technologies Inc. in cooperation with Florida -- +-- State University (http://www.gnat.com). -- +-- -- +------------------------------------------------------------------------------ + +-- This package encapsulates all direct interfaces to task debugging services +-- that are needed by gdb with gnat mode (1.13 and higher) + +-- Note : This file *must* be compiled with debugging information + +-- Do not add any dependency to GNARL packages since this package is used +-- in both normal and resticted (ravenscar) environments. + +with System.Task_Info, + System.Task_Primitives.Operations, + Unchecked_Conversion; + +package body System.Tasking.Debug is + + use Interfaces.C; + + package STPO renames System.Task_Primitives.Operations; + + type Integer_Address is mod 2 ** Standard'Address_Size; + type Integer_Address_Ptr is access all Integer_Address; + + function "+" is new + Unchecked_Conversion (System.Address, Integer_Address_Ptr); + + function "+" is new + Unchecked_Conversion (Task_ID, Integer_Address); + + Hex_Address_Width : constant := (Standard'Address_Size / 4); + + Zero_Pos : constant := Character'Pos ('0'); + + Hex_Digits : constant array (0 .. Integer_Address'(15)) of Character := + "0123456789abcdef"; + + subtype Buf_Range is Integer range 1 .. 80; + type Buf_Array is array (Buf_Range) of aliased Character; + + type Buffer is record + Next : Buf_Range := Buf_Range'First; + Chars : Buf_Array := (Buf_Range => ' '); + end record; + + type Buffer_Ptr is access all Buffer; + + type Trace_Flag_Set is array (Character) of Boolean; + + Trace_On : Trace_Flag_Set := ('A' .. 'Z' => False, others => True); + + ----------------------- + -- Local Subprograms -- + ----------------------- + + procedure Put + (T : ST.Task_ID; + Width : Integer; + Buffer : Buffer_Ptr); + -- Put TCB pointer T, (coded in hexadecimal) into Buffer + -- right-justififed in Width characters. + + procedure Put + (N : Integer_Address; + Width : Integer; + Buffer : Buffer_Ptr); + -- Put N (coded in decimal) into Buf right-justified in Width + -- characters starting at Buf (Next). + + procedure Put + (S : String; + Width : Integer; + Buffer : Buffer_Ptr); + -- Put string S into Buf left-justified in Width characters + -- starting with space in Buf (Next), truncated as necessary. + + procedure Put + (C : Character; + Buffer : Buffer_Ptr); + -- Put character C into Buf, left-justified, starting at Buf (Next) + + procedure Space (Buffer : Buffer_Ptr); + -- Increment Next, resulting in a space + + procedure Space + (N : Integer; + Buffer : Buffer_Ptr); + -- Increment Next by N, resulting in N spaces + + procedure Clear (Buffer : Buffer_Ptr); + -- Clear Buf and reset Next to 1 + + procedure Write_Buf (Buffer : Buffer_Ptr); + -- Write contents of Buf (1 .. Next) to standard output + + ----------- + -- Clear -- + ----------- + + procedure Clear (Buffer : Buffer_Ptr) is + Next : Buf_Range renames Buffer.Next; + Buf : Buf_Array renames Buffer.Chars; + + begin + Buf := (Buf_Range => ' '); + Next := 1; + end Clear; + + ----------- + -- Image -- + ----------- + + function Image (T : ST.Task_ID) return String is + Buf : aliased Buffer; + Result : String (1 .. Hex_Address_Width + 21); + + use type System.Task_Info.Task_Image_Type; + + begin + Clear (Buf'Unchecked_Access); + Put (T, Hex_Address_Width, Buf'Unchecked_Access); + Put (':', Buf'Unchecked_Access); + Put (Integer_Address (T.Serial_Number), 4, Buf'Unchecked_Access); + Space (Buf'Unchecked_Access); + + if T.Common.Task_Image = null then + Put ("", 15, Buf'Unchecked_Access); + else + Put (T.Common.Task_Image.all, 15, Buf'Unchecked_Access); + end if; + + for J in Result'Range loop + Result (J) := Buf.Chars (J); + end loop; + + return Result; + end Image; + + ---------------- + -- List_Tasks -- + ---------------- + + procedure List_Tasks is + C : ST.Task_ID; + + begin + Print_Task_Info_Header; + C := All_Tasks_List; + + while C /= null loop + Print_Task_Info (C); + C := C.Common.All_Tasks_Link; + end loop; + end List_Tasks; + + ----------------------- + -- Print_Accept_Info -- + ----------------------- + + procedure Print_Accept_Info (T : ST.Task_ID) is + Buf : aliased Buffer; + + begin + if T.Open_Accepts = null then + return; + end if; + + Clear (Buf'Unchecked_Access); + Space (10, Buf'Unchecked_Access); + Put ("accepting:", 11, Buf'Unchecked_Access); + + for J in T.Open_Accepts.all'Range loop + Put (Integer_Address (T.Open_Accepts (J).S), 3, Buf'Unchecked_Access); + end loop; + + Write_Buf (Buf'Unchecked_Access); + end Print_Accept_Info; + + ------------------------ + -- Print_Current_Task -- + ------------------------ + + procedure Print_Current_Task is + begin + Print_Task_Info (STPO.Self); + end Print_Current_Task; + + --------------------- + -- Print_Task_Info -- + --------------------- + + procedure Print_Task_Info (T : ST.Task_ID) is + Entry_Call : Entry_Call_Link; + Buf : aliased Buffer; + + use type System.Task_Info.Task_Image_Type; + + begin + Clear (Buf'Unchecked_Access); + Put (T, Hex_Address_Width, Buf'Unchecked_Access); + Put (':', Buf'Unchecked_Access); + Put (' ', Buf'Unchecked_Access); + Put (':', Buf'Unchecked_Access); + + if T = null then + Put (" null task", 10, Buf'Unchecked_Access); + Write_Buf (Buf'Unchecked_Access); + return; + end if; + + Put (Integer_Address (T.Serial_Number), 4, Buf'Unchecked_Access); + Space (Buf'Unchecked_Access); + + if T.Common.Task_Image = null then + Put ("", 15, Buf'Unchecked_Access); + else + Put (T.Common.Task_Image.all, 15, Buf'Unchecked_Access); + end if; + + Space (Buf'Unchecked_Access); + Put (Task_States'Image (T.Common.State), 10, Buf'Unchecked_Access); + Space (Buf'Unchecked_Access); + + if T.Callable then + Put ('C', Buf'Unchecked_Access); + else + Space (Buf'Unchecked_Access); + end if; + + if T.Open_Accepts /= null then + Put ('A', Buf'Unchecked_Access); + else + Space (Buf'Unchecked_Access); + end if; + + if T.Common.Call /= null then + Put ('C', Buf'Unchecked_Access); + else + Space (Buf'Unchecked_Access); + end if; + + if T.Terminate_Alternative then + Put ('T', Buf'Unchecked_Access); + else + Space (Buf'Unchecked_Access); + end if; + + if T.Aborting then + Put ('A', Buf'Unchecked_Access); + else + Space (Buf'Unchecked_Access); + end if; + + if T.Deferral_Level = 0 then + Space (3, Buf'Unchecked_Access); + else + Put ('D', Buf'Unchecked_Access); + if T.Deferral_Level < 0 then + Put ("<0", 2, Buf'Unchecked_Access); + elsif T.Deferral_Level > 1 then + Put (Integer_Address (T.Deferral_Level), 2, Buf'Unchecked_Access); + else + Space (2, Buf'Unchecked_Access); + end if; + end if; + + Space (Buf'Unchecked_Access); + Put (Integer_Address (T.Master_of_Task), 1, Buf'Unchecked_Access); + Space (Buf'Unchecked_Access); + Put (Integer_Address (T.Master_Within), 1, Buf'Unchecked_Access); + Put (',', Buf'Unchecked_Access); + Space (Buf'Unchecked_Access); + Put (Integer_Address (T.Awake_Count), 1, Buf'Unchecked_Access); + Space (Buf'Unchecked_Access); + Put (Integer_Address (T.Alive_Count), 1, Buf'Unchecked_Access); + Put (',', Buf'Unchecked_Access); + Space (Buf'Unchecked_Access); + Put (Integer_Address (T.ATC_Nesting_Level), 1, Buf'Unchecked_Access); + Space (Buf'Unchecked_Access); + Put (Integer_Address (T.Pending_ATC_Level), 1, Buf'Unchecked_Access); + Put (',', Buf'Unchecked_Access); + Space (Buf'Unchecked_Access); + Put (Integer_Address (T.Common.Wait_Count), 1, Buf'Unchecked_Access); + Put (',', Buf'Unchecked_Access); + Space (Buf'Unchecked_Access); + Put (Integer_Address (T.User_State), 1, Buf'Unchecked_Access); + Write_Buf (Buf'Unchecked_Access); + + if T.Common.Call /= null then + Entry_Call := T.Common.Call; + Clear (Buf'Unchecked_Access); + Space (10, Buf'Unchecked_Access); + Put ("serving:", 8, Buf'Unchecked_Access); + + while Entry_Call /= null loop + Put (Integer_Address + (Entry_Call.Self.Serial_Number), 5, Buf'Unchecked_Access); + Entry_Call := Entry_Call.Acceptor_Prev_Call; + end loop; + + Write_Buf (Buf'Unchecked_Access); + end if; + + Print_Accept_Info (T); + end Print_Task_Info; + + ---------------------------- + -- Print_Task_Info_Header -- + ---------------------------- + + procedure Print_Task_Info_Header is + Buf : aliased Buffer; + + begin + Clear (Buf'Unchecked_Access); + Put ("TASK_ID", Hex_Address_Width, Buf'Unchecked_Access); + Put (':', Buf'Unchecked_Access); + Put ('F', Buf'Unchecked_Access); + Put (':', Buf'Unchecked_Access); + Put ("SERIAL_NUMBER", 4, Buf'Unchecked_Access); + Space (Buf'Unchecked_Access); + Put (" NAME", 15, Buf'Unchecked_Access); + Put (" STATE", 10, Buf'Unchecked_Access); + Space (11, Buf'Unchecked_Access); + Put ("MAST", 5, Buf'Unchecked_Access); + Put ("AWAK", 5, Buf'Unchecked_Access); + Put ("ATC", 5, Buf'Unchecked_Access); + Put ("WT", 3, Buf'Unchecked_Access); + Put ("DBG", 3, Buf'Unchecked_Access); + Write_Buf (Buf'Unchecked_Access); + end Print_Task_Info_Header; + + --------- + -- Put -- + --------- + + procedure Put + (T : ST.Task_ID; + Width : Integer; + Buffer : Buffer_Ptr) + is + J : Integer; + X : Integer_Address := +T; + Next : Buf_Range renames Buffer.Next; + Buf : Buf_Array renames Buffer.Chars; + First : constant Integer := Next; + Wdth : Integer := Width; + + begin + if Wdth > Buf'Last - Next then + Wdth := Buf'Last - Next; + end if; + + J := Next + (Wdth - 1); + + if X = 0 then + Buf (J) := '0'; + + else + while X > 0 loop + Buf (J) := Hex_Digits (X rem 16); + J := J - 1; + X := X / 16; + + -- Check for overflow + + if J < First and then X > 0 then + Buf (J + 1) := '*'; + exit; + end if; + + end loop; + end if; + + Next := Next + Wdth; + end Put; + + procedure Put + (N : Integer_Address; + Width : Integer; + Buffer : Buffer_Ptr) + is + J : Integer; + X : Integer_Address := N; + Next : Buf_Range renames Buffer.Next; + Buf : Buf_Array renames Buffer.Chars; + First : constant Integer := Next; + Wdth : Integer := Width; + + begin + if Wdth > Buf'Last - Next then + Wdth := Buf'Last - Next; + end if; + + J := Next + (Wdth - 1); + + if N = 0 then + Buf (J) := '0'; + + else + while X > 0 loop + Buf (J) := Hex_Digits (X rem 10); + J := J - 1; + X := X / 10; + + -- Check for overflow + + if J < First and then X > 0 then + Buf (J + 1) := '*'; + exit; + end if; + end loop; + end if; + + Next := Next + Wdth; + end Put; + + procedure Put + (S : String; + Width : Integer; + Buffer : Buffer_Ptr) + is + Next : Buf_Range renames Buffer.Next; + Buf : Buf_Array renames Buffer.Chars; + Bound : constant Integer := Integer'Min (Next + Width, Buf'Last); + J : Integer := Next; + + begin + for K in S'Range loop + + -- Check overflow + + if J >= Bound then + Buf (J - 1) := '*'; + exit; + end if; + + Buf (J) := S (K); + J := J + 1; + end loop; + + Next := Bound; + end Put; + + procedure Put + (C : Character; + Buffer : Buffer_Ptr) + is + Next : Buf_Range renames Buffer.Next; + Buf : Buf_Array renames Buffer.Chars; + + begin + if Next >= Buf'Last then + Buf (Next) := '*'; + else Buf (Next) := C; + Next := Next + 1; + end if; + end Put; + + ---------------------- + -- Resume_All_Tasks -- + ---------------------- + + procedure Resume_All_Tasks (Thread_Self : OS_Interface.Thread_Id) is + C : ST.Task_ID; + R : Boolean; + + begin + C := All_Tasks_List; + + while C /= null loop + R := STPO.Resume_Task (C, Thread_Self); + C := C.Common.All_Tasks_Link; + end loop; + end Resume_All_Tasks; + + ---------- + -- Self -- + ---------- + + function Self return Task_ID is + begin + return STPO.Self; + end Self; + + --------------- + -- Set_Trace -- + --------------- + + procedure Set_Trace + (Flag : Character; + Value : Boolean := True) + is + begin + Trace_On (Flag) := Value; + end Set_Trace; + + -------------------- + -- Set_User_State -- + -------------------- + + procedure Set_User_State (Value : Integer) is + begin + STPO.Self.User_State := Value; + end Set_User_State; + + ----------- + -- Space -- + ----------- + + procedure Space (Buffer : Buffer_Ptr) is + Next : Buf_Range renames Buffer.Next; + Buf : Buf_Array renames Buffer.Chars; + + begin + if Next >= Buf'Last then + Buf (Next) := '*'; + else + Next := Next + 1; + end if; + end Space; + + procedure Space + (N : Integer; + Buffer : Buffer_Ptr) + is + Next : Buf_Range renames Buffer.Next; + Buf : Buf_Array renames Buffer.Chars; + + begin + if Next + N > Buf'Last then + Buf (Next) := '*'; + else + Next := Next + N; + end if; + end Space; + + ----------------------- + -- Suspend_All_Tasks -- + ----------------------- + + procedure Suspend_All_Tasks (Thread_Self : OS_Interface.Thread_Id) is + C : ST.Task_ID; + R : Boolean; + + begin + C := All_Tasks_List; + + while C /= null loop + R := STPO.Suspend_Task (C, Thread_Self); + C := C.Common.All_Tasks_Link; + end loop; + end Suspend_All_Tasks; + + ------------------------ + -- Task_Creation_Hook -- + ------------------------ + + procedure Task_Creation_Hook (Thread : OS_Interface.Thread_Id) is + pragma Inspection_Point (Thread); + -- gdb needs to access the thread parameter in order to implement + -- the multitask mode under VxWorks. + + begin + null; + end Task_Creation_Hook; + + --------------------------- + -- Task_Termination_Hook -- + --------------------------- + + procedure Task_Termination_Hook is + begin + null; + end Task_Termination_Hook; + + ----------- + -- Trace -- + ----------- + + procedure Trace + (Self_ID : ST.Task_ID; + Msg : String; + Other_ID : ST.Task_ID; + Flag : Character) + is + Buf : aliased Buffer; + use type System.Task_Info.Task_Image_Type; + + begin + if Trace_On (Flag) then + Clear (Buf'Unchecked_Access); + Put (Self_ID, Hex_Address_Width, Buf'Unchecked_Access); + Put (':', Buf'Unchecked_Access); + Put (Flag, Buf'Unchecked_Access); + Put (':', Buf'Unchecked_Access); + Put + (Integer_Address (Self_ID.Serial_Number), + 4, Buf'Unchecked_Access); + Space (Buf'Unchecked_Access); + + if Self_ID.Common.Task_Image = null then + Put ("", 15, Buf'Unchecked_Access); + else + Put (Self_ID.Common.Task_Image.all, 15, Buf'Unchecked_Access); + end if; + + Space (Buf'Unchecked_Access); + + if Other_ID /= null then + Put + (Integer_Address (Other_ID.Serial_Number), + 4, Buf'Unchecked_Access); + Space (Buf'Unchecked_Access); + end if; + + Put (Msg, Buf.Chars'Last - Buf.Next + 1, Buf'Unchecked_Access); + Write_Buf (Buf'Unchecked_Access); + end if; + end Trace; + + procedure Trace + (Self_ID : ST.Task_ID; + Msg : String; + Flag : Character) + is + begin + Trace (Self_ID, Msg, null, Flag); + end Trace; + + procedure Trace + (Msg : String; + Flag : Character) + is + Self_ID : constant ST.Task_ID := STPO.Self; + + begin + Trace (Self_ID, Msg, null, Flag); + end Trace; + + procedure Trace + (Msg : String; + Other_ID : ST.Task_ID; + Flag : Character) + is + Self_ID : constant ST.Task_ID := STPO.Self; + + begin + Trace (Self_ID, Msg, null, Flag); + end Trace; + + --------------- + -- Write_Buf -- + --------------- + + procedure Write_Buf (Buffer : Buffer_Ptr) is + Next : Buf_Range renames Buffer.Next; + Buf : Buf_Array renames Buffer.Chars; + + procedure put_char (C : Integer); + pragma Import (C, put_char, "put_char"); + + begin + for J in 1 .. Next - 1 loop + put_char (Character'Pos (Buf (J))); + end loop; + + put_char (Character'Pos (ASCII.LF)); + end Write_Buf; + +end System.Tasking.Debug; |