------------------------------------------------------------------------------
-- --
--- GNU ADA RUN-TIME LIBRARY (GNARL) COMPONENTS --
+-- GNAT RUN-TIME LIBRARY (GNARL) COMPONENTS --
-- --
-- S Y S T E M . T A S K I N G . D E B U G --
-- --
-- S p e c --
-- --
--- --
--- Copyright (C) 1997-2001, Free Software Foundation, Inc. --
+-- Copyright (C) 1997-2009, 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- --
+-- ware Foundation; either version 3, or (at your option) any later ver- --
+-- sion. GNAT 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. --
+-- or FITNESS FOR A PARTICULAR PURPOSE. --
+-- --
+-- As a special exception under Section 7 of GPL version 3, you are granted --
+-- additional permissions described in the GCC Runtime Library Exception, --
+-- version 3.1, as published by the Free Software Foundation. --
-- --
--- 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. --
+-- You should have received a copy of the GNU General Public License and --
+-- a copy of the GCC Runtime Library Exception along with this program; --
+-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
+-- <http://www.gnu.org/licenses/>. --
-- --
--- 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). --
+-- GNARL was developed by the GNARL team at Florida State University. --
+-- Extensive contributions were provided by Ada Core Technologies, Inc. --
-- --
------------------------------------------------------------------------------
-- This package encapsulates all direct interfaces to task debugging services
--- that are needed by gdb with gnat mode (1.17 and higher)
+-- that are needed by gdb with gnat mode.
-with Interfaces.C;
with System.Tasking;
with System.OS_Interface;
package System.Tasking.Debug is
+ pragma Preelaborate;
- subtype int is Interfaces.C.int;
- subtype unsigned_long is Interfaces.C.unsigned_long;
+ ------------------------------------------
+ -- Application-level debugging routines --
+ ------------------------------------------
- package ST renames System.Tasking;
+ procedure List_Tasks;
+ -- Print a list of all the known Ada tasks with abbreviated state
+ -- information, one-per-line, to the standard error file.
- Known_Tasks : array (0 .. 999) of Task_ID;
- -- Global array of tasks read by gdb, and updated by
- -- Create_Task and Finalize_TCB
+ procedure Print_Current_Task;
+ -- Write information about current task, in hexadecimal, as one line, to
+ -- the standard error file.
+
+ procedure Print_Task_Info (T : Task_Id);
+ -- Similar to Print_Current_Task, for a given task
+
+ procedure Set_User_State (Value : Long_Integer);
+ -- Set user state value in the current task. This state will be displayed
+ -- when calling List_Tasks or Print_Current_Task. It is useful for setting
+ -- task specific state.
+
+ function Get_User_State return Long_Integer;
+ -- Return the user state for the current task
+
+ -------------------------
+ -- General GDB support --
+ -------------------------
+
+ Known_Tasks : array (0 .. 999) of Task_Id := (others => null);
+ -- Global array of tasks read by gdb, and updated by Create_Task and
+ -- Finalize_TCB
+
+ Debug_Event_Activating : constant := 1;
+ Debug_Event_Run : constant := 2;
+ Debug_Event_Suspended : constant := 3;
+ Debug_Event_Preempted : constant := 4;
+ Debug_Event_Terminated : constant := 5;
+ Debug_Event_Abort_Terminated : constant := 6;
+ Debug_Event_Exception_Terminated : constant := 7;
+ Debug_Event_Rendezvous_Exception : constant := 8;
+ Debug_Event_Handled : constant := 9;
+ Debug_Event_Dependents_Exception : constant := 10;
+ Debug_Event_Handled_Others : constant := 11;
+
+ subtype Event_Kind_Type is Positive range 1 .. 11;
+ -- Event kinds currently defined for debugging, used globally
+ -- below and on a per taak basis.
+
+ procedure Signal_Debug_Event
+ (Event_Kind : Event_Kind_Type;
+ Task_Value : Task_Id);
+
+ ----------------------------------
+ -- VxWorks specific GDB support --
+ ----------------------------------
+
+ -- Although the following routines are implemented in a target independent
+ -- manner, only VxWorks currently uses them.
procedure Task_Creation_Hook (Thread : OS_Interface.Thread_Id);
- -- This procedure is used to notify VxGdb of task's creation.
- -- It must be called by the task's creator.
+ -- This procedure is used to notify GDB of task's creation. It must be
+ -- called by the task's creator.
procedure Task_Termination_Hook;
- -- This procedure is used to notify VxGdb of task's termination.
+ -- This procedure is used to notify GDB of task's termination
- function Self return Task_ID;
- -- return system ID of current task
+ procedure Suspend_All_Tasks (Thread_Self : OS_Interface.Thread_Id);
+ -- Suspend all the tasks except the one whose associated thread is
+ -- Thread_Self by traversing All_Tasks_Lists and calling
+ -- System.Task_Primitives.Operations.Suspend_Task.
- procedure List_Tasks;
- -- Print a list of all the known Ada tasks with abbreviated state
- -- information, one-per-line, to the standard output file
+ procedure Resume_All_Tasks (Thread_Self : OS_Interface.Thread_Id);
+ -- Resume all the tasks except the one whose associated thread is
+ -- Thread_Self by traversing All_Tasks_Lists and calling
+ -- System.Task_Primitives.Operations.Continue_Task.
- procedure Print_Current_Task;
- procedure Print_Task_Info_Header;
- procedure Print_Task_Info (T : Task_ID);
- -- Write TASK_ID of current task, in hexadecimal, as one line, to
- -- the standard output file
- --
- -- Beware that Print_Current_Task may print garbage during an early
- -- stage of activation. There is a small window where a task is just
- -- initializing itself and has not yet recorded its own task Id.
- --
- -- Beware that Print_Current_Task will either not work at all or print
- -- garbage if it has interrupted a thread of control that does not
- -- correspond to any Ada task. For example, this is could happen if
- -- the debugger interrupts a signal handler that is using an alternate
- -- stack, or interrupts the dispatcher in the underlying thread
- -- implementation.
-
- procedure Set_User_State (Value : Integer);
-
- procedure Print_Accept_Info (T : Task_ID);
+ procedure Stop_All_Tasks_Handler;
+ -- Stop all the tasks by traversing All_Tasks_Lists and calling
+ -- System.Task_Primitives.Operations.Stop_All_Task. This function
+ -- can be used in an interrupt handler.
- procedure Trace
- (Self_ID : Task_ID;
- Msg : String;
- Other_ID : Task_ID;
- Flag : Character);
+ procedure Stop_All_Tasks;
+ -- Stop all the tasks by traversing All_Tasks_Lists and calling
+ -- System.Task_Primitives.Operations.Stop_Task.
- procedure Trace
- (Self_ID : Task_ID;
- Msg : String;
- Flag : Character);
+ procedure Continue_All_Tasks;
+ -- Continue all the tasks by traversing All_Tasks_Lists and calling
+ -- System.Task_Primitives.Operations.Continue_Task.
- procedure Trace
- (Msg : String;
- Flag : Character);
+ -------------------------------
+ -- Run-time tracing routines --
+ -------------------------------
procedure Trace
- (Msg : String;
- Other_ID : Task_ID;
- Flag : Character);
+ (Self_Id : Task_Id;
+ Msg : String;
+ Flag : Character;
+ Other_Id : Task_Id := null);
+ -- If traces for Flag are enabled, display on Standard_Error a given
+ -- message for the current task. Other_Id is an optional second task id
+ -- to display.
procedure Set_Trace
(Flag : Character;
Value : Boolean := True);
-
- function Image (T : Task_ID) return String;
-
- procedure Suspend_All_Tasks (Thread_Self : OS_Interface.Thread_Id);
- -- Suspend all the tasks except the one whose associated thread is
- -- Thread_Self by traversing All_Tasks_Lists and calling
- -- System.Task_Primitives.Operations.Suspend_Task
- -- Such functionality is needed by gdb on some targets (e.g VxWorks)
- -- Warning: for efficiency purposes, there is no locking.
-
- procedure Resume_All_Tasks (Thread_Self : OS_Interface.Thread_Id);
- -- Resume all the tasks except the one whose associated thread is
- -- Thread_Self by traversing All_Tasks_Lists and calling
- -- System.Task_Primitives.Operations.Continue_Task
- -- Such functionality is needed by gdb on some targets (e.g VxWorks)
- -- Warning: for efficiency purposes, there is no locking.
+ -- Enable or disable tracing for Flag. By default, flags in the range
+ -- 'A' .. 'Z' are disabled, others are enabled.
end System.Tasking.Debug;
-
------------------------------
--- Use of These Functions --
------------------------------
-
--- Calling complicated functions from the debugger is generally pretty
--- risky, especially in a multithreaded program.
-
--- The debugger may interrupt something that is not an Ada task,
--- within the thread implementation, and which is not async-safe.
-
--- For example, under Solaris, it can interrupt code in "_dynamiclwps",
--- which seems to serve as dispatcher when all the user threads are
--- suspended. By experience, we have found that one cannot safely
--- do certain things, apparently including calls to thread primitives
--- from the debugger if the debugger has interrupted at one of these
--- unsafe points. In general, if you interrupt a running program
--- asynchronously (e.g. via control-C), it will not be safe to
--- call the subprograms in this package.
-
------------------
--- Future work --
------------------
-
--- It would be nice to be able to tell whether execution has been
--- interrupted in an Ada task. A heuristic way of checking this would
--- be if we added to the Ada TCB a component that always contains a
--- constant value that is unlikely to occur accidentally in code or
--- data. We could then check this in the debugger-callable subprograms,
--- and simply return an error code if it looks unsafe to proceed.
-
--- ???
--- Recently we have added such a marker as a local variable of the
--- task-wrapper routine. This allows Self to generate a fake ATCB for
--- non-Ada threads of control. Given this capability, it is probably
--- time to revisit the issue above.
-
--- DEADLOCK
-
--- We follow a simple rule here to avoid deadlock:
-
--- We do not use any locks in functions called by gdb, and we do not
--- traverse linked lists.
---
--- The use of an array (Known_Tasks) has many advantages:
-
--- - Easy and fast to examine;
--- - No risk of dangling references (to the next element) when traversing
--- the array.