X-Git-Url: http://git.sourceforge.jp/view?a=blobdiff_plain;f=gcc%2Fada%2Fs-tasdeb.ads;h=806fe0ee7b6fbc1334f9c7b5570b9bfd86d8aac1;hb=17052c8f8f63239deccec6d06ff1d9a9ebfc4640;hp=bdffad396507ba18400f7d42815e28ffdf2bccf5;hpb=cd0ed284ac5b6f9a244d6f95386b2fd7302dd2f8;p=pf3gnuchains%2Fgcc-fork.git diff --git a/gcc/ada/s-tasdeb.ads b/gcc/ada/s-tasdeb.ads index bdffad39650..806fe0ee7b6 100644 --- a/gcc/ada/s-tasdeb.ads +++ b/gcc/ada/s-tasdeb.ads @@ -1,178 +1,148 @@ ------------------------------------------------------------------------------ -- -- --- 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 -- +-- . -- -- -- --- 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.