File : s-tasdeb.adb
------------------------------------------------------------------------------
-- --
-- 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.19 $
-- --
-- Copyright (C) 1997-1999 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
------------------------
-- Task_Creation_Hook --
------------------------
procedure Task_Creation_Hook (Thread : OS_Interface.Thread_Id) is
pragma Inspection_Point (Thread);
begin
null;
end Task_Creation_Hook;
---------------------------
-- Task_Termination_Hook --
---------------------------
procedure Task_Termination_Hook is
begin
null;
end Task_Termination_Hook;
----------
-- Self --
----------
function Self return Task_ID is
begin
return STPO.Self;
end Self;
--------------------
-- Set_User_State --
--------------------
procedure Set_User_State (Value : Integer) is
begin
STPO.Self.User_State := Value;
end Set_User_State;
---------
-- 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;
-----------
-- 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;
-----------
-- 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;
---------------
-- 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;
---------------------
-- 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.Task_Image = null then
Put ("", 15, Buf'Unchecked_Access);
else
Put (T.Task_Image.all, 15, Buf'Unchecked_Access);
end if;
Space (Buf'Unchecked_Access);
Put (Task_States'Image (T.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.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.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.Call /= null then
Entry_Call := T.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;
------------------------
-- Print_Current_Task --
------------------------
procedure Print_Current_Task is
begin
Print_Task_Info (STPO.Self);
end Print_Current_Task;
----------------------
-- Print_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.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;
-----------
-- 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.Task_Image = null then
Put ("", 15, Buf'Unchecked_Access);
else
Put (Self_ID.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;
---------------
-- Set_Trace --
---------------
procedure Set_Trace
(Flag : Character;
Value : Boolean := True)
is
begin
Trace_On (Flag) := Value;
end Set_Trace;
-----------
-- 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.Task_Image = null then
Put ("", 15, Buf'Unchecked_Access);
else
Put (T.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;
-----------------------
-- 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.All_Tasks_Link;
end loop;
end Suspend_All_Tasks;
------------------------
-- Continue_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.All_Tasks_Link;
end loop;
end Resume_All_Tasks;
end System.Tasking.Debug;