-/* File ada-tasks.c: Ada tasking control for GDB
- Copyright 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004
- Free Software Foundation, Inc.
- Contributed by Ada Core Technologies, Inc.
+/* Copyright (C) 1992, 1993, 1994, 1997, 1998, 1999, 2000, 2003, 2004, 2005,
+ 2007, 2008, 2009, 2010 Free Software Foundation, Inc.
This file is part of GDB.
- Authors: Roch-Alexandre Nomine Beguin, Arnaud Charlet <charlet@gnat.com>
-
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
- the Free Software Foundation; either version 2 of the License, or
+ the Free Software Foundation; either version 3 of the License, or
(at your option) any later version.
-*/
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT 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
+ along with this program. If not, see <http://www.gnu.org/licenses/>. */
-#include <ctype.h>
-#include <gdb_string.h>
#include "defs.h"
-#include "command.h"
-#include "value.h"
-#include "language.h"
-#include "inferior.h"
-#include "symtab.h"
+#include "observer.h"
+#include "gdbcmd.h"
#include "target.h"
+#include "ada-lang.h"
#include "gdbcore.h"
+#include "inferior.h"
#include "gdbthread.h"
-#include "regcache.h" /* for registers_changed */
-
-#if defined (__fsu__) || defined (HAVE_SPYTHREAD) \
- || (defined(__alpha__) && defined(__osf__) && !defined(__alpha_vxworks))
-#include <sys/procfs.h>
-#endif
-
-#if defined (__fsu__) || defined (HAVE_SPYTHREAD) \
- || (defined(__alpha__) && defined(__osf__) && !defined(VXWORKS_TARGET))
-#include "gregset.h"
-#endif
-#ifdef I386_GNULINUX_TARGET
-#include "gdb_thread_db.h"
-#endif
-
-#if defined (HAVE_SPYTHREAD)
-#include "irix6-spyThread.h"
-#endif
+/* The name of the array in the GNAT runtime where the Ada Task Control
+ Block of each task is stored. */
+#define KNOWN_TASKS_NAME "system__tasking__debug__known_tasks"
-#include "ada-lang.h"
-#include "observer.h"
+/* The maximum number of tasks known to the Ada runtime */
+static const int MAX_NUMBER_OF_KNOWN_TASKS = 1000;
enum task_states
{
Async_Select_Sleep,
Delay_Sleep,
Master_Completion_Sleep,
- Master_Phase_2_Sleep
+ Master_Phase_2_Sleep,
+ Interrupt_Server_Idle_Sleep,
+ Interrupt_Server_Blocked_Interrupt_Sleep,
+ Timer_Server_Sleep,
+ AST_Server_Sleep,
+ Asynchronous_Hold,
+ Interrupt_Server_Blocked_On_Event_Flag,
+ Activating,
+ Acceptor_Delay_Sleep
};
-struct task_control_block
-{
- char state;
- CORE_ADDR parent;
- int priority;
- char image [32];
- int image_len; /* This field is not always present in the ATCB. */
- CORE_ADDR call;
- CORE_ADDR thread;
- CORE_ADDR lwp; /* This field is not always present in the ATCB. */
+/* A short description corresponding to each possible task state. */
+static const char *task_states[] = {
+ N_("Unactivated"),
+ N_("Runnable"),
+ N_("Terminated"),
+ N_("Child Activation Wait"),
+ N_("Accept or Select Term"),
+ N_("Waiting on entry call"),
+ N_("Async Select Wait"),
+ N_("Delay Sleep"),
+ N_("Child Termination Wait"),
+ N_("Wait Child in Term Alt"),
+ "",
+ "",
+ "",
+ "",
+ N_("Asynchronous Hold"),
+ "",
+ N_("Activating"),
+ N_("Selective Wait")
+};
+
+/* A longer description corresponding to each possible task state. */
+static const char *long_task_states[] = {
+ N_("Unactivated"),
+ N_("Runnable"),
+ N_("Terminated"),
+ N_("Waiting for child activation"),
+ N_("Blocked in accept or select with terminate"),
+ N_("Waiting on entry call"),
+ N_("Asynchronous Selective Wait"),
+ N_("Delay Sleep"),
+ N_("Waiting for children termination"),
+ N_("Waiting for children in terminate alternative"),
+ "",
+ "",
+ "",
+ "",
+ N_("Asynchronous Hold"),
+ "",
+ N_("Activating"),
+ N_("Blocked in selective wait statement")
};
/* The index of certain important fields in the Ada Task Control Block
{
/* Fields in record Ada_Task_Control_Block. */
int common;
+ int entry_calls;
+ int atc_nesting_level;
/* Fields in record Common_ATCB. */
int state;
/* Fields in Task_Primitives.Private_Data. */
int ll_thread;
int ll_lwp; /* This field may be missing. */
-};
-
-#if defined (linux)
-#define TASK_LWP(atcb) 0L
-#else
-#define TASK_LWP(atcb) extract_unsigned_integer (&(atcb).lwp, sizeof ((atcb).lwp))
-#endif
-struct task_ptid
-{
- int pid; /* The Process id */
- long lwp; /* The Light Weight Process id */
- long tid; /* The Thread id */
+ /* Fields in Common_ATCB.Call.all. */
+ int call_self;
};
-typedef struct task_ptid task_ptid_t;
-struct task_entry
-{
- CORE_ADDR task_id;
- struct task_control_block atcb;
- int task_num;
- int known_tasks_index;
- struct task_entry *next_task;
- task_ptid_t task_ptid;
- int stack_per;
-};
-
-/* FIXME: move all this conditional compilation in description
- files or in configure.in */
-
-#if defined(__alpha__) && defined(__osf__) && !defined(VXWORKS_TARGET)
-#define SPECIAL_THREAD_SUPPORT_ACTIVE() thread_support
-#define SAVE_TASK_REGISTERS(task) \
- do { fill_gregset (&gregset_saved, -1); \
- fill_fpregset (&fpregset_saved, -1); \
- } while (0)
-#define RESTORE_TASK_REGISTERS(task) \
- do { supply_gregset (&gregset_saved); \
- supply_fpregset (&fpregset_saved); \
- } while (0)
-
-#define THREAD_FETCH_REGISTERS dec_thread_fetch_registers
-#define GET_CURRENT_THREAD(PTID) dec_thread_get_current_thread ()
-extern unsigned long dec_thread_get_current_thread (void);
-extern int dec_thread_get_registers (gdb_gregset_t *, gdb_fpregset_t *);
-extern int dec_thread_fetch_registers (void);
-#endif
-
-#ifdef __fsu__
-#define SPECIAL_THREAD_SUPPORT_ACTIVE() \
- (thread_support && pthread_kern_addr != 0)
-#define SAVE_TASK_REGISTERS(task) \
- do { \
- if (pthread_kern_addr != 0) \
- { \
- fill_gregset (&gregset_saved, -1); \
- fill_fpregset (&fpregset_saved, -1); \
- } \
- } while (0)
-#define RESTORE_TASK_REGISTERS(task) \
- do { \
- if (pthread_kern_addr != 0) \
- { \
- supply_gregset (&gregset_saved); \
- supply_fpregset (&fpregset_saved); \
- } \
- } while (0)
-
-extern int fsu_thread_fetch_registers (void);
-extern unsigned long fsu_thread_get_current_thread (void);
-static int fsu_or_linux_thread_fetch_registers (void);
-static long fsu_or_linux_thread_get_current_thread (ptid_t);
-#define THREAD_FETCH_REGISTERS fsu_or_linux_thread_fetch_registers
-#define GET_CURRENT_THREAD(PTID) fsu_or_linux_thread_get_current_thread (PTID)
-#define PTHREAD_KERN "pthread_kern"
-#endif
-
-#ifdef I386_GNULINUX_TARGET
-extern td_thrinfo_t thread_db_pid_to_thread_info (int pid);
-extern int thread_db_tid_to_pid (void *tid);
-#endif
-
-#if defined(VXWORKS_TARGET)
-#define GET_CURRENT_THREAD(PTID) (unsigned long) ptid_get_pid (PTID)
-#define THREAD_FETCH_REGISTERS() (-1)
-
-#elif defined (__WIN32__) || defined (__CYGWIN__) || defined (hpux)
-#define GET_CURRENT_THREAD(PTID) ptid_get_pid (PTID)
-#define THREAD_FETCH_REGISTERS() (-1)
-#endif
-
-#if defined (HAVE_SPYTHREAD)
-#define GET_CURRENT_THREAD(PTID) (unsigned long) TIDGET (PTID)
-#endif
-
-#if !defined(GET_CURRENT_THREAD)
-#define GET_CURRENT_THREAD(PTID) (unsigned long) ptid_get_tid (PTID)
-#endif
-
-#if !defined(THREAD_FETCH_REGISTERS)
-#define THREAD_FETCH_REGISTERS() (target_fetch_registers (-1), 0)
-#endif
-
-#if !defined(SAVE_TASK_REGISTERS)
-#define SAVE_TASK_REGISTERS(task)
-#define RESTORE_TASK_REGISTERS(task)
-#endif
-
-#if !defined(SPECIAL_THREAD_SUPPORT_ACTIVE)
-#define SPECIAL_THREAD_SUPPORT_ACTIVE() 0
-#endif
-
-#define KNOWN_TASKS_NAME "system__tasking__debug__known_tasks"
-
-#define READ_MEMORY(addr, var) read_memory (addr, (char *) &var, sizeof (var))
-
-/* If defined to 1, means that the thread ptids maintained by core GDB
- follow this format : first field (pid) contains the tid
- second field (lwp) contains 0
- third field (tid) contains 0 */
-#ifndef THREAD_PTID_CONTAINS_TID_NULL_NULL
-#define THREAD_PTID_CONTAINS_TID_NULL_NULL (0)
-#endif
-
-/* If defined to 1, means that the thread ptids maintained by core GDB
- follow this format: first field (pid) contains the LWP id
- second field (lwp) contains 0
- third field (tid) contains 0 */
-#ifndef THREAD_PTID_CONTAINS_LWP_NULL_NULL
-#define THREAD_PTID_CONTAINS_LWP_NULL_NULL (0)
-#endif
-
-/* If defined to 1, means that the thread ptids maintained by core GDB
- follow this format: first field (pid) contains the PID
- second field (lwp) contains 0
- third field (tid) contains the TID */
-#ifndef THREAD_PTID_CONTAINS_PID_NULL_TID
-#define THREAD_PTID_CONTAINS_PID_NULL_TID (0)
-#endif
-
-/* If defined to 1, means that the thread ptids maintained by core GDB
- follow this format: first field (pid) contains the PID
- second field (lwp) contains the TID
- third field (tid) contains the 0 */
-
-#ifndef THREAD_PTID_CONTAINS_PID_TID_NULL
-#define THREAD_PTID_CONTAINS_PID_TID_NULL (0)
-#endif
-
-/* If defined to 1, means that the thread id is not stored in the tid
- field of the task_ptid, but rather in the lwp field. */
-#ifndef ADA_THREAD_ID_IN_LWP
-#define ADA_THREAD_ID_IN_LWP (0)
-#endif
-
-static int task_ptid_get_pid (task_ptid_t task_ptid);
-static long task_ptid_get_lwp (task_ptid_t task_ptid);
-static long task_ptid_get_tid (task_ptid_t task_ptid);
-static task_ptid_t task_ptid_build (int pid, long lwp, long tid);
-static ptid_t task_ptid_get_ptid (task_ptid_t task_ptid);
-static long task_ptid_get_thread_id (task_ptid_t task_ptid);
-
-static int task_is_alive (enum task_states state);
-static CORE_ADDR get_self_id (ptid_t);
-static int get_entry_number (CORE_ADDR);
-static void get_tcb_types_info (struct type **atcb_type,
- struct type **atcb_common_type,
- struct type **atcb_ll_type,
- struct tcb_fieldnos *atcb_fieldnos);
-static void get_tcb_call_type_info (struct type **atcb_call_type,
- int *atcb_call_self_fieldno);
-static CORE_ADDR get_known_tasks_addr (void);
-static int read_known_tasks_array (void);
-static int build_task_list (void);
-static void value_as_string (char *dest, struct value *val, int length);
-static struct task_control_block read_atcb (CORE_ADDR atcb_addr);
-static CORE_ADDR read_caller (const CORE_ADDR call);
-static void display_current_task_id (void);
-static void task_command_1 (char *tidstr, int from_tty);
-
-/* Ada-tasks observers. */
-
-static void normal_stop_notification (void);
-static void ada_tasks_attach_observers (void);
-
-/* Global visible variables */
-
-int ada__tasks_check_symbol_table = 1;
-CORE_ADDR pthread_kern_addr = 0;
-
-/* Local global variables. */
-static struct task_entry *task_list = NULL;
+/* The type description for the ATCB record and subrecords, and
+ the associated tcb_fieldnos. For efficiency reasons, these are made
+ static globals so that we can compute them only once the first time
+ and reuse them later. Set to NULL if the types haven't been computed
+ yet, or if they may be obsolete (for instance after having loaded
+ a new binary). */
+
+static struct type *atcb_type = NULL;
+static struct type *atcb_common_type = NULL;
+static struct type *atcb_ll_type = NULL;
+static struct type *atcb_call_type = NULL;
+static struct tcb_fieldnos fieldno;
+
+/* Set to 1 when the cached address of System.Tasking.Debug.Known_Tasks
+ might be stale and so needs to be recomputed. */
+static int ada_tasks_check_symbol_table = 1;
+
+/* The list of Ada tasks.
+
+ Note: To each task we associate a number that the user can use to
+ reference it - this number is printed beside each task in the tasks
+ info listing displayed by "info tasks". This number is equal to
+ its index in the vector + 1. Reciprocally, to compute the index
+ of a task in the vector, we need to substract 1 from its number. */
+typedef struct ada_task_info ada_task_info_s;
+DEF_VEC_O(ada_task_info_s);
+static VEC(ada_task_info_s) *task_list = NULL;
/* When non-zero, this flag indicates that the current task_list
is obsolete, and should be recomputed before it is accessed. */
static int stale_task_list_p = 1;
-#if defined (__fsu__) || (defined(__alpha__) && defined(__osf__) && !defined(VXWORKS_TARGET))
-gdb_gregset_t gregset_saved;
-gdb_fpregset_t fpregset_saved;
-#endif
-
-/* The maximum number of tasks known to the Ada runtime */
-static const int MAX_NUMBER_OF_KNOWN_TASKS = 1000;
-
-/* the current task, as seen by the user. Modified everytime the user
- does a task switch. */
-static int current_task = -1;
-
-unsigned long current_thread;
-
-/* The task where the debugger stopped, giving control back to the user.
- Not affected by task switching. Used to restore the registers before
- continuing the inferior. */
-int current_task_id = -1;
-
-static char *task_states[] = {
- "Unactivated",
- "Runnable",
- "Terminated",
- "Child Activation Wait",
- "Accept Statement",
- "Waiting on entry call",
- "Async Select Wait",
- "Delay Sleep",
- "Child Termination Wait",
- "Wait Child in Term Alt",
- "",
- "",
- "",
- "",
- "Asynchronous Hold"
-};
-
-/* Global internal types */
-
-static char *long_task_states[] = {
- "Unactivated",
- "Runnable",
- "Terminated",
- "Waiting for child activation",
- "Blocked in accept statement",
- "Waiting on entry call",
- "Asynchronous Selective Wait",
- "Delay Sleep",
- "Waiting for children termination",
- "Waiting for children in terminate alternative",
- "",
- "",
- "",
- "",
- "Asynchronous Hold"
-};
-
-/* Global internal variables */
+/* Return the task number of the task whose ptid is PTID, or zero
+ if the task could not be found. */
-static int highest_task_num = 0;
-static int thread_support = 0; /* 1 if the thread library in use is
- supported. FIXME: Not reinitialized
- properly when program reloaded.
- */
-#ifdef __fsu__
-static int
-fsu_or_linux_thread_fetch_registers (void)
-{
- if (pthread_kern_addr != 0)
- return fsu_thread_fetch_registers ();
-
- target_fetch_registers (-1);
- return 0L;
-}
-
-static long
-fsu_or_linux_thread_get_current_thread (ptid_t ptid)
+int
+ada_get_task_number (ptid_t ptid)
{
- if (pthread_kern_addr != 0)
- return fsu_thread_get_current_thread ();
-
- return ptid_get_tid (ptid);
-}
+ int i;
-#endif /* __fsu__ */
+ for (i=0; i < VEC_length (ada_task_info_s, task_list); i++)
+ if (ptid_equal (VEC_index (ada_task_info_s, task_list, i)->ptid, ptid))
+ return i + 1;
-static int
-add_task_entry (CORE_ADDR p_task_id, int index)
-{
- struct task_entry *new_task_entry = NULL;
- struct task_entry *pt;
-
- highest_task_num++;
- new_task_entry = xmalloc (sizeof (struct task_entry));
- new_task_entry->task_num = highest_task_num;
- new_task_entry->task_id = p_task_id;
- new_task_entry->atcb = read_atcb (p_task_id);
- new_task_entry->known_tasks_index = index;
- new_task_entry->task_ptid =
- task_ptid_build (ptid_get_pid (inferior_ptid), /* ? */
- TASK_LWP (new_task_entry->atcb),
- new_task_entry->atcb.thread);
- new_task_entry->next_task = NULL;
- pt = task_list;
- if (pt)
- {
- while (pt->next_task)
- pt = pt->next_task;
- pt->next_task = new_task_entry;
- pt->stack_per = 0;
- }
- else
- task_list = new_task_entry;
- return new_task_entry->task_num;
+ return 0; /* No matching task found. */
}
+/* Return the task number of the task that matches TASK_ID, or zero
+ if the task could not be found. */
+
static int
-get_entry_number (CORE_ADDR p_task_id)
+get_task_number_from_id (CORE_ADDR task_id)
{
- struct task_entry *pt;
+ int i;
- pt = task_list;
- while (pt != NULL)
+ for (i = 0; i < VEC_length (ada_task_info_s, task_list); i++)
{
- if (pt->task_id == p_task_id)
- return pt->task_num;
- pt = pt->next_task;
- }
- return 0;
-}
-
-static struct task_entry *
-get_thread_entry_vptr (long thread)
-{
- struct task_entry *pt;
+ struct ada_task_info *task_info =
+ VEC_index (ada_task_info_s, task_list, i);
- pt = task_list;
- while (pt != NULL)
- {
- if (task_ptid_get_thread_id (pt->task_ptid) == thread)
- return pt;
- pt = pt->next_task;
+ if (task_info->task_id == task_id)
+ return i + 1;
}
- return 0;
-}
-static struct task_entry *
-get_entry_vptr (int p_task_num)
-{
- struct task_entry *pt;
-
- pt = task_list;
- while (pt)
- {
- if (pt->task_num == p_task_num)
- return pt;
- pt = pt->next_task;
- }
- return NULL;
+ /* Task not found. Return 0. */
+ return 0;
}
-void
-init_task_list (void)
-{
- struct task_entry *pt, *old_pt;
-
- target_find_new_threads ();
-
- pt = task_list;
- while (pt)
- {
- old_pt = pt;
- pt = pt->next_task;
- xfree (old_pt);
- };
- task_list = NULL;
- highest_task_num = 0;
-}
+/* Return non-zero if TASK_NUM is a valid task number. */
int
-valid_task_id (int task)
+valid_task_id (int task_num)
{
- return get_entry_vptr (task) != NULL;
+ ada_build_task_list (0);
+ return (task_num > 0
+ && task_num <= VEC_length (ada_task_info_s, task_list));
}
-/* Return the pid of a given task ptid. */
+/* Return non-zero iff the task STATE corresponds to a non-terminated
+ task state. */
static int
-task_ptid_get_pid (task_ptid_t task_ptid)
+ada_task_is_alive (struct ada_task_info *task_info)
{
- return task_ptid.pid;
+ return (task_info->state != Terminated);
}
-/* Return the lwp of a given task ptid. */
-
-static long
-task_ptid_get_lwp (task_ptid_t task_ptid)
-{
- return task_ptid.lwp;
-}
-
-/* Return the tid of a given task ptid. */
+/* Extract the contents of the value as a string whose length is LENGTH,
+ and store the result in DEST. */
-static long
-task_ptid_get_tid (task_ptid_t task_ptid)
+static void
+value_as_string (char *dest, struct value *val, int length)
{
- return task_ptid.tid;
+ memcpy (dest, value_contents (val), length);
+ dest[length] = '\0';
}
-/* Build a task ptid from the associated pid, lwp, and tid. */
+/* Extract the string image from the fat string corresponding to VAL,
+ and store it in DEST. If the string length is greater than MAX_LEN,
+ then truncate the result to the first MAX_LEN characters of the fat
+ string. */
-static task_ptid_t
-task_ptid_build (int pid, long lwp, long tid)
+static void
+read_fat_string_value (char *dest, struct value *val, int max_len)
{
- task_ptid_t task_ptid;
+ struct value *array_val;
+ struct value *bounds_val;
+ int len;
- task_ptid.pid = pid;
- task_ptid.lwp = lwp;
- task_ptid.tid = tid;
- return task_ptid;
-}
+ /* The following variables are made static to avoid recomputing them
+ each time this function is called. */
+ static int initialize_fieldnos = 1;
+ static int array_fieldno;
+ static int bounds_fieldno;
+ static int upper_bound_fieldno;
-/* Translate a task ptid into a ptid (the ptid maintained by core GDB).
+ /* Get the index of the fields that we will need to read in order
+ to extract the string from the fat string. */
+ if (initialize_fieldnos)
+ {
+ struct type *type = value_type (val);
+ struct type *bounds_type;
- On most platforms, they are equivalent, and this function can be
- regarded as the identity. However, there are other platforms where
- the task ptid and the ptid are not equivalent. For instance, the task
- LWP value is sometimes stored by GDB-core as a pid! This translation
- therefore becomes necessary before invoking the GDB thread services. */
+ array_fieldno = ada_get_field_index (type, "P_ARRAY", 0);
+ bounds_fieldno = ada_get_field_index (type, "P_BOUNDS", 0);
-static ptid_t
-task_ptid_get_ptid (task_ptid_t task_ptid)
-{
- ptid_t ptid;
+ bounds_type = TYPE_FIELD_TYPE (type, bounds_fieldno);
+ if (TYPE_CODE (bounds_type) == TYPE_CODE_PTR)
+ bounds_type = TYPE_TARGET_TYPE (bounds_type);
+ if (TYPE_CODE (bounds_type) != TYPE_CODE_STRUCT)
+ error (_("Unknown task name format. Aborting"));
+ upper_bound_fieldno = ada_get_field_index (bounds_type, "UB0", 0);
- if (THREAD_PTID_CONTAINS_TID_NULL_NULL)
- ptid = ptid_build (task_ptid_get_tid (task_ptid), 0, 0);
- else if (THREAD_PTID_CONTAINS_LWP_NULL_NULL)
- ptid = ptid_build (task_ptid_get_lwp (task_ptid), 0, 0);
- else if (THREAD_PTID_CONTAINS_PID_NULL_TID)
- ptid = ptid_build (task_ptid_get_pid (task_ptid),
- 0, task_ptid_get_tid (task_ptid));
- else if (THREAD_PTID_CONTAINS_PID_TID_NULL)
- ptid = ptid_build (task_ptid_get_pid (task_ptid),
- task_ptid_get_tid (task_ptid), 0);
- else
- ptid = ptid_build (task_ptid_get_pid (task_ptid),
- task_ptid_get_lwp (task_ptid),
- task_ptid_get_tid (task_ptid));
+ initialize_fieldnos = 0;
+ }
- return ptid;
-}
+ /* Get the size of the task image by checking the value of the bounds.
+ The lower bound is always 1, so we only need to read the upper bound. */
+ bounds_val = value_ind (value_field (val, bounds_fieldno));
+ len = value_as_long (value_field (bounds_val, upper_bound_fieldno));
-/* Extract and return the thread_id for the given TASK_PTID. */
+ /* Make sure that we do not read more than max_len characters... */
+ if (len > max_len)
+ len = max_len;
-static long
-task_ptid_get_thread_id (task_ptid_t task_ptid)
-{
- /* On most platforms, the thread_id is stored in task_ptid.tid.
- Unfortunately, some other platforms store it as the task_ptid.lwp... */
+ /* Extract LEN characters from the fat string. */
+ array_val = value_ind (value_field (val, array_fieldno));
+ read_memory (value_address (array_val), dest, len);
- if (ADA_THREAD_ID_IN_LWP)
- return task_ptid_get_lwp (task_ptid);
- else
- return task_ptid_get_tid (task_ptid);
+ /* Add the NUL character to close the string. */
+ dest[len] = '\0';
}
-/* Return non-zero iff the task STATE corresponds to a non-terminated
- task state. */
+/* Return the address of the Known_Tasks array maintained in
+ the Ada Runtime. Return NULL if the array could not be found,
+ meaning that the inferior program probably does not use tasking.
-static int
-task_is_alive (enum task_states state)
-{
- return (state != Terminated);
-}
+ In order to provide a fast response time, this function caches
+ the Known_Tasks array address after the lookup during the first
+ call. Subsequent calls will simply return this cached address. */
static CORE_ADDR
-get_self_id (ptid_t ptid)
+get_known_tasks_addr (void)
{
-#ifdef GNAT_GDB
- struct task_entry *ent;
+ static CORE_ADDR known_tasks_addr = 0;
-#if !((defined(sun) && defined(__SVR4)) || defined(VXWORKS_TARGET) || defined(__WIN32__))
- if (thread_support)
-#endif
+ if (ada_tasks_check_symbol_table)
{
- ent = get_thread_entry_vptr (GET_CURRENT_THREAD (ptid));
- return ent ? ent->task_id : 0;
- }
-#endif
-
- /* FIXME: calling a function in the inferior with a multithreaded application
- is not reliable, so return a null address if there is no safe way to
- get the current task */
- return 0;
-}
-
-int
-ada_get_current_task (ptid_t ptid)
-{
- int result;
+ struct minimal_symbol *msym;
- if (current_language->la_language != language_ada)
- return -1;
+ msym = lookup_minimal_symbol (KNOWN_TASKS_NAME, NULL, NULL);
+ if (msym != NULL)
+ known_tasks_addr = SYMBOL_VALUE_ADDRESS (msym);
+ else
+ {
+ if (target_lookup_symbol (KNOWN_TASKS_NAME, &known_tasks_addr) != 0)
+ return 0;
+ }
- result = get_entry_number (get_self_id (ptid));
+ /* FIXME: brobecker 2003-03-05: Here would be a much better place
+ to attach the ada-tasks observers, instead of doing this
+ unconditionaly in _initialize_tasks. This would avoid an
+ unecessary notification when the inferior does not use tasking
+ or as long as the user does not use the ada-tasks commands.
+ Unfortunately, this is not possible for the moment: the current
+ code resets ada__tasks_check_symbol_table back to 1 whenever
+ symbols for a new program are being loaded. If we place the
+ observers intialization here, we will end up adding new observers
+ everytime we do the check for Ada tasking-related symbols
+ above. This would currently have benign effects, but is still
+ undesirable. The cleanest approach is probably to create a new
+ observer to notify us when the user is debugging a new program.
+ We would then reset ada__tasks_check_symbol_table back to 1
+ during the notification, but also detach all observers.
+ BTW: observers are probably not reentrant, so detaching during
+ a notification may not be the safest thing to do... Sigh...
+ But creating the new observer would be a good idea in any case,
+ since this allow us to make ada__tasks_check_symbol_table
+ static, which is a good bonus. */
+ ada_tasks_check_symbol_table = 0;
+ }
- /* return -1 if not found */
- return result == 0 ? -1 : result;
+ return known_tasks_addr;
}
/* Get from the debugging information the type description of all types
get_tcb_types_info (struct type **atcb_type,
struct type **atcb_common_type,
struct type **atcb_ll_type,
+ struct type **atcb_call_type,
struct tcb_fieldnos *atcb_fieldnos)
{
struct type *type;
struct type *common_type;
struct type *ll_type;
+ struct type *call_type;
struct tcb_fieldnos fieldnos;
-#ifndef ADA_RETAIN_DOTS
const char *atcb_name = "system__tasking__ada_task_control_block___XVE";
+ const char *atcb_name_fixed = "system__tasking__ada_task_control_block";
const char *common_atcb_name = "system__tasking__common_atcb";
const char *private_data_name = "system__task_primitives__private_data";
-#else
- const char *atcb_name = "system.tasking.ada_task_control_block___XVE";
- const char *common_atcb_name = "system.tasking.common_atcb";
- const char *private_data_name = "system.task_primitives.private_data";
-#endif
-
- const struct symbol *atcb_sym =
- lookup_symbol (atcb_name, NULL, VAR_DOMAIN, NULL, NULL);
+ const char *entry_call_record_name = "system__tasking__entry_call_record";
+
+ struct symbol *atcb_sym =
+ lookup_symbol (atcb_name, NULL, VAR_DOMAIN, NULL);
const struct symbol *common_atcb_sym =
- lookup_symbol (common_atcb_name, NULL, VAR_DOMAIN, NULL, NULL);
+ lookup_symbol (common_atcb_name, NULL, VAR_DOMAIN, NULL);
const struct symbol *private_data_sym =
- lookup_symbol (private_data_name, NULL, VAR_DOMAIN, NULL, NULL);
+ lookup_symbol (private_data_name, NULL, VAR_DOMAIN, NULL);
+ const struct symbol *entry_call_record_sym =
+ lookup_symbol (entry_call_record_name, NULL, VAR_DOMAIN, NULL);
if (atcb_sym == NULL || atcb_sym->type == NULL)
- error ("Can not find Ada_Task_Control_Block type. Aborting");
+ {
+ /* In Ravenscar run-time libs, the ATCB does not have a dynamic
+ size, so the symbol name differs. */
+ atcb_sym = lookup_symbol (atcb_name_fixed, NULL, VAR_DOMAIN, NULL);
+
+ if (atcb_sym == NULL || atcb_sym->type == NULL)
+ error (_("Cannot find Ada_Task_Control_Block type. Aborting"));
+
+ type = atcb_sym->type;
+ }
+ else
+ {
+ /* Get a static representation of the type record
+ Ada_Task_Control_Block. */
+ type = atcb_sym->type;
+ type = ada_template_to_fixed_record_type_1 (type, NULL, 0, NULL, 0);
+ }
+
if (common_atcb_sym == NULL || common_atcb_sym->type == NULL)
- error ("Can not find Common_ATCB type. Aborting");
+ error (_("Cannot find Common_ATCB type. Aborting"));
if (private_data_sym == NULL || private_data_sym->type == NULL)
- error ("Can not find Private_Data type. Aborting");
-
- /* Get a static representation of the type record Ada_Task_Control_Block. */
- type = atcb_sym->type;
- type = ada_template_to_fixed_record_type_1 (type, NULL, 0, NULL, 0);
+ error (_("Cannot find Private_Data type. Aborting"));
+ if (entry_call_record_sym == NULL || entry_call_record_sym->type == NULL)
+ error (_("Cannot find Entry_Call_Record type. Aborting"));
/* Get the type for Ada_Task_Control_Block.Common. */
common_type = common_atcb_sym->type;
/* Get the type for Ada_Task_Control_Bloc.Common.Call.LL. */
ll_type = private_data_sym->type;
+ /* Get the type for Common_ATCB.Call.all. */
+ call_type = entry_call_record_sym->type;
+
/* Get the field indices. */
fieldnos.common = ada_get_field_index (type, "common", 0);
+ fieldnos.entry_calls = ada_get_field_index (type, "entry_calls", 1);
+ fieldnos.atc_nesting_level =
+ ada_get_field_index (type, "atc_nesting_level", 1);
fieldnos.state = ada_get_field_index (common_type, "state", 0);
- fieldnos.parent = ada_get_field_index (common_type, "parent", 0);
+ fieldnos.parent = ada_get_field_index (common_type, "parent", 1);
fieldnos.priority = ada_get_field_index (common_type, "base_priority", 0);
- fieldnos.image = ada_get_field_index (common_type, "task_image", 0);
+ fieldnos.image = ada_get_field_index (common_type, "task_image", 1);
fieldnos.image_len = ada_get_field_index (common_type, "task_image_len", 1);
- fieldnos.call = ada_get_field_index (common_type, "call", 0);
+ fieldnos.call = ada_get_field_index (common_type, "call", 1);
fieldnos.ll = ada_get_field_index (common_type, "ll", 0);
fieldnos.ll_thread = ada_get_field_index (ll_type, "thread", 0);
fieldnos.ll_lwp = ada_get_field_index (ll_type, "lwp", 1);
+ fieldnos.call_self = ada_get_field_index (call_type, "self", 0);
/* On certain platforms such as x86-windows, the "lwp" field has been
named "thread_id". This field will likely be renamed in the future,
*atcb_type = type;
*atcb_common_type = common_type;
*atcb_ll_type = ll_type;
+ *atcb_call_type = call_type;
*atcb_fieldnos = fieldnos;
}
-/* Get from the debugging information the type description of the
- record type Entry_Call_Record (this is the type of the field
- Call.all in the Common_ATCB record type). Also return the index
- of the field "Self" in Entry_Call_Record.
+/* Build the PTID of the task from its COMMON_VALUE, which is the "Common"
+ component of its ATCB record. This PTID needs to match the PTID used
+ by the thread layer. */
- Error handling: Any data missing from the debugging info will cause
- an error to be raised, and none of the return values to be set.
- Users of this function can depend on the fact that all or none of the
- return values will be set. */
+static ptid_t
+ptid_from_atcb_common (struct value *common_value)
+{
+ long thread = 0;
+ CORE_ADDR lwp = 0;
+ struct value *ll_value;
+ ptid_t ptid;
+
+ ll_value = value_field (common_value, fieldno.ll);
+
+ if (fieldno.ll_lwp >= 0)
+ lwp = value_as_address (value_field (ll_value, fieldno.ll_lwp));
+ thread = value_as_long (value_field (ll_value, fieldno.ll_thread));
+
+ ptid = target_get_ada_task_ptid (lwp, thread);
+
+ return ptid;
+}
+
+/* Read the ATCB data of a given task given its TASK_ID (which is in practice
+ the address of its assocated ATCB record), and store the result inside
+ TASK_INFO. */
static void
-get_tcb_call_type_info (struct type **atcb_call_type,
- int *atcb_call_self_fieldno)
+read_atcb (CORE_ADDR task_id, struct ada_task_info *task_info)
{
- struct type *call_type;
- int call_self_fieldno;
+ struct value *tcb_value;
+ struct value *common_value;
+ struct value *atc_nesting_level_value;
+ struct value *entry_calls_value;
+ struct value *entry_calls_value_element;
+ int called_task_fieldno = -1;
+ const char ravenscar_task_name[] = "Ravenscar task";
-#ifndef ADA_RETAIN_DOTS
- const char *entry_call_record_name = "system__tasking__entry_call_record";
-#else
- const char *entry_call_record_name = "system.tasking.entry_call_record";
-#endif
+ if (atcb_type == NULL)
+ get_tcb_types_info (&atcb_type, &atcb_common_type, &atcb_ll_type,
+ &atcb_call_type, &fieldno);
- const struct symbol *entry_call_record_sym =
- lookup_symbol (entry_call_record_name, NULL, VAR_DOMAIN, NULL, NULL);
+ tcb_value = value_from_contents_and_address (atcb_type, NULL, task_id);
+ common_value = value_field (tcb_value, fieldno.common);
- if (entry_call_record_sym == NULL || entry_call_record_sym->type == NULL)
- error ("Can not find Entry_Call_Record type. Aborting");
+ /* Fill in the task_id. */
- call_type = entry_call_record_sym->type;
- call_self_fieldno = ada_get_field_index (call_type, "self", 0);
+ task_info->task_id = task_id;
- /* Set all the out parameters all at once, now that we are certain
- that there are no potential error() anymore. */
- *atcb_call_type = call_type;
- *atcb_call_self_fieldno = call_self_fieldno;
-}
+ /* Compute the name of the task.
-/* Return the address of the Known_Tasks array maintained in
- the Ada Runtime. Return NULL if the array could not be found,
- meaning that the inferior program probably does not use tasking.
+ Depending on the GNAT version used, the task image is either a fat
+ string, or a thin array of characters. Older versions of GNAT used
+ to use fat strings, and therefore did not need an extra field in
+ the ATCB to store the string length. For efficiency reasons, newer
+ versions of GNAT replaced the fat string by a static buffer, but this
+ also required the addition of a new field named "Image_Len" containing
+ the length of the task name. The method used to extract the task name
+ is selected depending on the existence of this field.
- In order to provide a fast response time, this function caches
- the Known_Tasks array address after the lookup during the first
- call. Subsequent calls will simply return this cached address. */
+ In some run-time libs (e.g. Ravenscar), the name is not in the ATCB;
+ we may want to get it from the first user frame of the stack. For now,
+ we just give a dummy name. */
-static CORE_ADDR
-get_known_tasks_addr (void)
-{
- static CORE_ADDR known_tasks_addr = 0;
+ if (fieldno.image_len == -1)
+ {
+ if (fieldno.image >= 0)
+ read_fat_string_value (task_info->name,
+ value_field (common_value, fieldno.image),
+ sizeof (task_info->name) - 1);
+ else
+ strcpy (task_info->name, ravenscar_task_name);
+ }
+ else
+ {
+ int len = value_as_long (value_field (common_value, fieldno.image_len));
+
+ value_as_string (task_info->name,
+ value_field (common_value, fieldno.image), len);
+ }
+
+ /* Compute the task state and priority. */
+
+ task_info->state = value_as_long (value_field (common_value, fieldno.state));
+ task_info->priority =
+ value_as_long (value_field (common_value, fieldno.priority));
+
+ /* If the ATCB contains some information about the parent task,
+ then compute it as well. Otherwise, zero. */
- if (ada__tasks_check_symbol_table)
+ if (fieldno.parent >= 0)
+ task_info->parent =
+ value_as_address (value_field (common_value, fieldno.parent));
+ else
+ task_info->parent = 0;
+
+
+ /* If the ATCB contains some information about entry calls, then
+ compute the "called_task" as well. Otherwise, zero. */
+
+ if (fieldno.atc_nesting_level > 0 && fieldno.entry_calls > 0)
{
- struct symbol *sym;
- struct minimal_symbol *msym;
+ /* Let My_ATCB be the Ada task control block of a task calling the
+ entry of another task; then the Task_Id of the called task is
+ in My_ATCB.Entry_Calls (My_ATCB.ATC_Nesting_Level).Called_Task. */
+ atc_nesting_level_value = value_field (tcb_value,
+ fieldno.atc_nesting_level);
+ entry_calls_value =
+ ada_coerce_to_simple_array_ptr (value_field (tcb_value,
+ fieldno.entry_calls));
+ entry_calls_value_element =
+ value_subscript (entry_calls_value,
+ value_as_long (atc_nesting_level_value));
+ called_task_fieldno =
+ ada_get_field_index (value_type (entry_calls_value_element),
+ "called_task", 0);
+ task_info->called_task =
+ value_as_address (value_field (entry_calls_value_element,
+ called_task_fieldno));
+ }
+ else
+ {
+ task_info->called_task = 0;
+ }
- thread_support = 0;
-#if (defined(__alpha__) && defined(__osf__) & !defined(VXWORKS_TARGET)) \
- || defined (_AIX) || defined (__CYGWIN__)
- thread_support = 1;
-#elif defined (__fsu__)
- msym = lookup_minimal_symbol (PTHREAD_KERN, NULL, NULL);
- if (msym != NULL)
- {
- pthread_kern_addr = SYMBOL_VALUE_ADDRESS (msym);
- thread_support = 1;
- }
-#elif defined (HAVE_SPYTHREAD)
- thread_support = libspy_enabled;
-#endif
+ /* If the ATCB cotnains some information about RV callers,
+ then compute the "caller_task". Otherwise, zero. */
-#ifdef I386_GNULINUX_TARGET
- /* We support threads via the Linux Threads... */
- thread_support = 1;
-#endif
+ task_info->caller_task = 0;
+ if (fieldno.call >= 0)
+ {
+ /* Get the ID of the caller task from Common_ATCB.Call.all.Self.
+ If Common_ATCB.Call is null, then there is no caller. */
+ const CORE_ADDR call =
+ value_as_address (value_field (common_value, fieldno.call));
+ struct value *call_val;
- msym = lookup_minimal_symbol (KNOWN_TASKS_NAME, NULL, NULL);
- if (msym != NULL)
- known_tasks_addr = SYMBOL_VALUE_ADDRESS (msym);
- else
-#ifndef VXWORKS_TARGET
- return 0;
-#else
+ if (call != 0)
{
- if (target_lookup_symbol (KNOWN_TASKS_NAME, &known_tasks_addr) != 0)
- return 0;
+ call_val =
+ value_from_contents_and_address (atcb_call_type, NULL, call);
+ task_info->caller_task =
+ value_as_address (value_field (call_val, fieldno.call_self));
}
-#endif
-
- /* FIXME: brobecker 2003-03-05: Here would be a much better place
- to attach the ada-tasks observers, instead of doing this
- unconditionaly in _initialize_tasks. This would avoid an
- unecessary notification when the inferior does not use tasking
- or as long as the user does not use the ada-tasks commands.
- Unfortunately, this is not possible for the moment: the current
- code resets ada__tasks_check_symbol_table back to 1 whenever
- symbols for a new program are being loaded. If we place the
- observers intialization here, we will end up adding new observers
- everytime we do the check for Ada tasking-related symbols
- above. This would currently have benign effects, but is still
- undesirable. The cleanest approach is probably to create a new
- observer to notify us when the user is debugging a new program.
- We would then reset ada__tasks_check_symbol_table back to 1
- during the notification, but also detach all observers.
- BTW: observers are probably not reentrant, so detaching during
- a notification may not be the safest thing to do... Sigh...
- But creating the new observer would be a good idea in any case,
- since this allow us to make ada__tasks_check_symbol_table
- static, which is a good bonus. */
- ada__tasks_check_symbol_table = 0;
}
- return known_tasks_addr;
+ /* And finally, compute the task ptid. */
+
+ if (ada_task_is_alive (task_info))
+ task_info->ptid = ptid_from_atcb_common (common_value);
+ else
+ task_info->ptid = null_ptid;
+}
+
+/* Read the ATCB info of the given task (identified by TASK_ID), and
+ add the result to the TASK_LIST. */
+
+static void
+add_ada_task (CORE_ADDR task_id)
+{
+ struct ada_task_info task_info;
+
+ read_atcb (task_id, &task_info);
+ VEC_safe_push (ada_task_info_s, task_list, &task_info);
}
/* Read the Known_Tasks array from the inferior memory, and store
- it in task_list. Return non-zero upon success. */
+ it in TASK_LIST. Return non-zero upon success. */
static int
read_known_tasks_array (void)
{
- const int target_ptr_byte = TARGET_PTR_BIT / TARGET_CHAR_BIT;
- const int temp_tasks_size = target_ptr_byte * MAX_NUMBER_OF_KNOWN_TASKS;
+ const int target_ptr_byte =
+ gdbarch_ptr_bit (target_gdbarch) / TARGET_CHAR_BIT;
const CORE_ADDR known_tasks_addr = get_known_tasks_addr ();
- char *temp_tasks = (char *) alloca (temp_tasks_size);
- CORE_ADDR temp_task;
+ const int known_tasks_size = target_ptr_byte * MAX_NUMBER_OF_KNOWN_TASKS;
+ gdb_byte *known_tasks = alloca (known_tasks_size);
int i;
- /* Step 1: Clear the current list, if any. */
- init_task_list ();
+ /* Step 1: Clear the current list, if necessary. */
+ VEC_truncate (ada_task_info_s, task_list, 0);
/* If the application does not use task, then no more needs to be done.
It is important to have the task list cleared (see above) before we
/* Step 2: Build a new list by reading the ATCBs from the Known_Tasks
array in the Ada runtime. */
- read_memory (known_tasks_addr, temp_tasks, temp_tasks_size);
+ read_memory (known_tasks_addr, known_tasks, known_tasks_size);
for (i = 0; i < MAX_NUMBER_OF_KNOWN_TASKS; i++)
{
- temp_task = extract_typed_address (temp_tasks + i * target_ptr_byte,
- builtin_type_void_data_ptr);
-
- if (temp_task != 0)
- {
- if (get_entry_number (temp_task) == 0)
- add_task_entry (temp_task, i);
- }
+ struct type *data_ptr_type =
+ builtin_type (target_gdbarch)->builtin_data_ptr;
+ CORE_ADDR task_id =
+ extract_typed_address (known_tasks + i * target_ptr_byte,
+ data_ptr_type);
+
+ if (task_id != 0)
+ add_ada_task (task_id);
}
/* Step 3: Unset stale_task_list_p, to avoid re-reading the Known_Tasks
array unless needed. Then report a success. */
stale_task_list_p = 0;
+
return 1;
}
the inferior. Prints an appropriate message and returns non-zero
if it failed to build this list. */
-static int
-build_task_list (void)
+int
+ada_build_task_list (int warn_if_null)
{
if (!target_has_stack)
- error ("No stack");
+ error (_("Cannot inspect Ada tasks when program is not running"));
if (stale_task_list_p)
read_known_tasks_array ();
if (task_list == NULL)
{
- printf_filtered ("Your application does not use any Ada task.\n");
+ if (warn_if_null)
+ printf_filtered (_("Your application does not use any Ada tasks.\n"));
return 0;
}
return 1;
}
-/* Extract the contents of the value as a string whose length is LENGTH,
- and store the result in DEST. */
+/* Print a one-line description of the task whose number is TASKNO.
+ The formatting should fit the "info tasks" array. */
static void
-value_as_string (char *dest, struct value *val, int length)
+short_task_info (int taskno)
{
- memcpy (dest, VALUE_CONTENTS (val), length);
-}
+ const struct ada_task_info *const task_info =
+ VEC_index (ada_task_info_s, task_list, taskno - 1);
+ int active_task_p;
-/* Extract the string image from the fat string corresponding to VAL,
- and store it in DEST. The length of the string is stored in LEN. If
- the string length is greater than MAX_LEN, then truncate the result
- to the first MAX_LEN characters of the fat string. */
+ gdb_assert (task_info != NULL);
-static void
-read_fat_string_value (char *dest, int *len, struct value *val, int max_len)
-{
- struct value *array_val;
- struct value *bounds_val;
-
- /* The following variables are made static to avoid recomputing them
- each time this function is called. */
- static int initialize_fieldnos = 1;
- static int array_fieldno;
- static int bounds_fieldno;
- static int upper_bound_fieldno;
-
- /* Get the index of the fields that we will need to read in order
- to extract the string from the fat string. */
- if (initialize_fieldnos)
- {
- struct type *type = VALUE_TYPE (val);
- struct type *bounds_type;
+ /* Print a star if this task is the current task (or the task currently
+ selected). */
- array_fieldno = ada_get_field_index (type, "P_ARRAY", 0);
- bounds_fieldno = ada_get_field_index (type, "P_BOUNDS", 0);
-
- bounds_type = TYPE_FIELD_TYPE (type, bounds_fieldno);
- if (TYPE_CODE (bounds_type) == TYPE_CODE_PTR)
- bounds_type = TYPE_TARGET_TYPE (bounds_type);
- if (TYPE_CODE (bounds_type) != TYPE_CODE_STRUCT)
- error ("Unknown task name format. Aborting");
- upper_bound_fieldno = ada_get_field_index (bounds_type, "UB0", 0);
-
- initialize_fieldnos = 0;
- }
-
- /* Get the size of the task image by checking the value of the bounds.
- The lower bound is always 1, so we only need to read the upper bound. */
- bounds_val = value_ind (value_field (val, bounds_fieldno));
- *len = value_as_long (value_field (bounds_val, upper_bound_fieldno));
+ active_task_p = ptid_equal (task_info->ptid, inferior_ptid);
+ if (active_task_p)
+ printf_filtered ("*");
+ else
+ printf_filtered (" ");
- /* Make sure that we do not read more than max_len characters... */
- if (*len > max_len)
- *len = max_len;
+ /* Print the task number. */
+ printf_filtered ("%3d", taskno);
- /* Extract LEN characters from the fat string. */
- array_val = value_ind (value_field (val, array_fieldno));
- read_memory (VALUE_ADDRESS (array_val), dest, *len);
-}
+ /* Print the Task ID. */
+ printf_filtered (" %9lx", (long) task_info->task_id);
-/* Read the ATCB stored at ATCB_ADDR from the inferior memory. */
+ /* Print the Task ID of the task parent. */
+ printf_filtered (" %4d", get_task_number_from_id (task_info->parent));
-static struct task_control_block
-read_atcb (CORE_ADDR atcb_addr)
-{
- /* The type description for the ATCB record and subrecords, and
- the associated tcb_fieldnos. For efficiency reasons, these are made
- static so that we can compute them only once the first time and
- reuse them later. */
- static struct type *atcb_type = NULL;
- static struct type *atcb_common_type = NULL;
- static struct type *atcb_ll_type = NULL;
- static struct tcb_fieldnos fieldno;
-
- struct task_control_block result;
- struct value *tcb_value;
- struct value *ll_value;
+ /* Print the base priority of the task. */
+ printf_filtered (" %3d", task_info->priority);
- if (atcb_type == NULL)
- get_tcb_types_info (&atcb_type, &atcb_common_type, &atcb_ll_type, &fieldno);
-
- tcb_value = value_from_contents_and_address (atcb_type, NULL, atcb_addr);
- tcb_value = value_field (tcb_value, fieldno.common);
-
- result.state = value_as_long (value_field (tcb_value, fieldno.state));
- result.parent = value_as_address (value_field (tcb_value, fieldno.parent));
- result.priority = value_as_long (value_field (tcb_value, fieldno.priority));
-
- /* Depending on the GNAT version used, the task image is either a fat
- string, or a thin array of characters. Older versions of GNAT used
- to use fat strings, and therefore did not need an extra field in
- the ATCB to store the string length. For efficiency reasons, newer
- versions of GNAT replaced the fat string by a static buffer, but this
- also required the addition of a new field named "Image_Len" containing
- the length of the task name. The method used to extract the task name
- is selected depending on the existence of this field. */
- if (fieldno.image_len == -1)
- {
- read_fat_string_value (result.image, &result.image_len,
- value_field (tcb_value, fieldno.image),
- sizeof (result.image));
- }
+ /* Print the task current state. */
+ if (task_info->caller_task)
+ printf_filtered (_(" Accepting RV with %-4d"),
+ get_task_number_from_id (task_info->caller_task));
+ else if (task_info->state == Entry_Caller_Sleep && task_info->called_task)
+ printf_filtered (_(" Waiting on RV with %-3d"),
+ get_task_number_from_id (task_info->called_task));
else
- {
- value_as_string (result.image, value_field (tcb_value, fieldno.image),
- sizeof (result.image));
- result.image_len =
- value_as_long (value_field (tcb_value, fieldno.image_len));
- }
+ printf_filtered (" %-22s", _(task_states[task_info->state]));
- result.call = value_as_address (value_field (tcb_value, fieldno.call));
-
- ll_value = value_field (tcb_value, fieldno.ll);
- result.thread = value_as_address (value_field (ll_value, fieldno.ll_thread));
- if (fieldno.ll_lwp >= 0)
- result.lwp = value_as_address (value_field (ll_value, fieldno.ll_lwp));
+ /* Finally, print the task name. */
+ if (task_info->name[0] != '\0')
+ printf_filtered (" %s\n", task_info->name);
else
- result.lwp = 0;
-
- return result;
+ printf_filtered (_(" <no name>\n"));
}
-/* Read the ID of the task with which a task is attempting a rendez-vous
- from the address of its Entry_Call_Record in the Ada TCB.
- If the address of the Entry_Call_Record is null, then return null. */
-
-static CORE_ADDR
-read_caller (const CORE_ADDR call)
-{
- /* The type description for the Entry_Call_Record, and the index of
- the field "Self". For efficiency reasons, these are made static
- so that we can compute them only once the first time and reuse them
- later. */
- static struct type *atcb_call_type;
- static int self_fieldno = -1;
+/* Print a list containing a short description of all Ada tasks. */
+/* FIXME: Shouldn't we be using ui_out??? */
- struct value *call_value;
-
- if (call == 0)
- return 0;
-
- if (atcb_call_type == NULL)
- get_tcb_call_type_info (&atcb_call_type, &self_fieldno);
-
- call_value = value_from_contents_and_address (atcb_call_type, NULL, call);
- return value_as_address (value_field (call_value, self_fieldno));
-}
-
-#if 0
-/* FIXME: Now modified and back in breakpoint.c */
-/* breakpoint_task_match (PC) returns true if the breakpoint at PC
- is valid for current task. */
-
-int
-breakpoint_task_match (CORE_ADDR pc)
+static void
+info_tasks (int from_tty)
{
- const int this_task = get_current_task ();
- const struct breakpoint *breakpoints = get_breakpoint_chain ();
- const struct breakpoint *b;
+ int taskno;
+ const int nb_tasks = VEC_length (ada_task_info_s, task_list);
- for (b = breakpoints; b; b = b->next)
- {
- if (b->enable_state != bp_disabled
- && b->enable_state != bp_shlib_disabled
- && (b->address == 0 || b->address == pc)
- && (b->task == 0 || b->task == this_task))
- {
- return 1;
- }
- }
-
- return 0;
+ printf_filtered (_(" ID TID P-ID Pri State Name\n"));
+
+ for (taskno = 1; taskno <= nb_tasks; taskno++)
+ short_task_info (taskno);
}
-#endif
-/* Print detailed information about specified task */
+/* Print a detailed description of the Ada task whose ID is TASKNO_STR. */
static void
-info_task (char *arg, int from_tty)
+info_task (char *taskno_str, int from_tty)
{
-#ifdef GNAT_GDB
- struct task_entry *pt, *pt2;
- CORE_ADDR caller;
- int num;
+ const int taskno = value_as_long (parse_and_eval (taskno_str));
+ struct ada_task_info *task_info;
+ int parent_taskno = 0;
- if (current_language->la_language != language_ada)
- {
- printf_filtered ("The current language does not support tasks.\n");
- return;
- }
+ if (taskno <= 0 || taskno > VEC_length (ada_task_info_s, task_list))
+ error (_("Task ID %d not known. Use the \"info tasks\" command to\n"
+ "see the IDs of currently known tasks"), taskno);
+ task_info = VEC_index (ada_task_info_s, task_list, taskno - 1);
- target_find_new_threads ();
-
- pt = get_entry_vptr (atoi (arg));
- if (pt == NULL)
- {
- printf_filtered ("Task %s not found.\n", arg);
- return;
- }
+ /* Print the Ada task ID. */
+ printf_filtered (_("Ada Task: %s\n"),
+ paddress (target_gdbarch, task_info->task_id));
- /* print the Ada task id */
- printf_filtered ("Ada Task: %s\n", paddr_nz (pt->task_id));
-
- /* print the name of the task */
- if (pt->atcb.image_len != 0)
- printf_filtered ("Name: %.*s\n", pt->atcb.image_len, pt->atcb.image);
+ /* Print the name of the task. */
+ if (task_info->name[0] != '\0')
+ printf_filtered (_("Name: %s\n"), task_info->name);
else
- printf_filtered ("<no name>\n");
-
- /* print the thread id */
+ printf_filtered (_("<no name>\n"));
- if (task_ptid_get_tid (pt->task_ptid) < 65536)
- printf_filtered
- ("Thread: %ld\n", (long int) task_ptid_get_tid (pt->task_ptid));
- else
- printf_filtered
- ("Thread: %#lx\n", (long int) task_ptid_get_tid (pt->task_ptid));
+ /* Print the TID and LWP. */
+ printf_filtered (_("Thread: %#lx\n"), ptid_get_tid (task_info->ptid));
+ printf_filtered (_("LWP: %#lx\n"), ptid_get_lwp (task_info->ptid));
- if (task_ptid_get_lwp (pt->task_ptid) != 0)
+ /* Print who is the parent (if any). */
+ if (task_info->parent != 0)
+ parent_taskno = get_task_number_from_id (task_info->parent);
+ if (parent_taskno)
{
- if ((long) task_ptid_get_lwp (pt->task_ptid) < 65536)
- printf_filtered
- ("LWP: %ld\n", (long int) task_ptid_get_lwp (pt->task_ptid));
- else
- printf_filtered
- ("LWP: %#lx\n", (long int) task_ptid_get_lwp (pt->task_ptid));
- }
-
- /* print the parent gdb task id */
- num = get_entry_number (pt->atcb.parent);
- if (num != 0)
- {
- printf_filtered ("Parent: %d", num);
- pt2 = get_entry_vptr (num);
-
- /* print the name of the task */
- if (pt2->atcb.image_len != 0)
- printf_filtered (" (%.*s)\n", pt2->atcb.image_len, pt2->atcb.image);
- else
- printf_filtered ("\n");
- }
- else
- printf_filtered ("No parent\n");
+ struct ada_task_info *parent =
+ VEC_index (ada_task_info_s, task_list, parent_taskno - 1);
- /* print the base priority of the task */
- printf_filtered ("Base Priority: %d\n", pt->atcb.priority);
-
- /* print the current state of the task */
-
- /* check if this task is accepting a rendezvous */
- caller = read_caller (pt->atcb.call);
- if (caller != 0)
- {
- num = get_entry_number (caller);
- printf_filtered ("Accepting rendezvous with %d", num);
-
- if (num != 0)
- {
- pt2 = get_entry_vptr (num);
-
- /* print the name of the task */
- if (pt2->atcb.image_len != 0) {
- printf_filtered (" (%.*s)\n", pt2->atcb.image_len, pt2->atcb.image);
- }
- else
- printf_filtered ("\n");
- }
- else
- printf_filtered ("\n");
+ printf_filtered (_("Parent: %d"), parent_taskno);
+ if (parent->name[0] != '\0')
+ printf_filtered (" (%s)", parent->name);
+ printf_filtered ("\n");
}
else
- printf_filtered ("State: %s\n", long_task_states[pt->atcb.state]);
-#endif
-}
+ printf_filtered (_("No parent\n"));
-/* Print information about currently known tasks */
+ /* Print the base priority. */
+ printf_filtered (_("Base Priority: %d\n"), task_info->priority);
-static void
-info_tasks (char *arg, int from_tty)
-{
-#ifdef GNAT_GDB
- struct task_entry *pt;
- CORE_ADDR caller;
- long thread_id = 0L;
- int size;
- char car;
- ptid_t current_ptid;
-
-#if defined(__alpha__) && defined(__osf__) && !defined(VXWORKS_TARGET)
- pthreadTeb_t thr;
- gdb_gregset_t regs;
-#endif
-
- current_ptid = inferior_ptid;
-
-#if !((defined(sun) && defined(__SVR4)) || defined(VXWORKS_TARGET) || defined(__WIN32__) || defined (hpux))
- if (thread_support)
-#endif
- thread_id = GET_CURRENT_THREAD (inferior_ptid);
-
- /* print the header */
-
-#if defined(__alpha__) && defined(__osf__) && !defined(VXWORKS_TARGET)
- printf_filtered
- (" ID TID P-ID Pri Stack %% State Name\n");
-#else
- printf_filtered (" ID TID P-ID Pri State Name\n");
-#endif
-
- /* Now that we have a list of task id's, we can print them */
- pt = task_list;
- while (pt)
- {
- /* print a star if this task is the current one */
- if (thread_id)
-#if defined (__WIN32__) || defined (SGI) || defined (hpux)
- printf_filtered
- (task_ptid_get_lwp (pt->task_ptid) == thread_id ? "*" : " ");
-#else
- printf_filtered
- (task_ptid_get_thread_id (pt->task_ptid) == thread_id ? "*" : " ");
-#endif
-
- /* print the gdb task id */
- printf_filtered ("%3d", pt->task_num);
-
- /* print the Ada task id */
- printf_filtered (" %9lx", (long) pt->task_id);
-
- /* print the parent gdb task id */
- printf_filtered (" %4d", get_entry_number (pt->atcb.parent));
-
- /* print the base priority of the task */
- printf_filtered (" %3d", pt->atcb.priority);
-
-#if defined(__alpha__) && defined(__osf__) && !defined(VXWORKS_TARGET)
- if (pt->task_num == 1 || pt->atcb.state == Terminated)
- {
- printf_filtered (" Unknown");
- goto next;
- }
+ /* print the task current state. */
+ {
+ int target_taskno = 0;
- READ_MEMORY (pt->atcb.thread, thr);
- switch_to_thread (task_ptid_get_ptid (pt->task_ptid));
- /* ??? Brobecker 2003-03-13: Not sure what the next line is used for.
- And even if useful, it should probably be replaced by call to
- task_ptid_get_thread_id. */
- current_thread = task_ptid_get_tid (pt->task_ptid);
- regs.regs[SP_REGNUM] = 0;
- if (dec_thread_get_registers (®s, NULL) == 0)
- {
- pt->stack_per = (100 * ((long) thr.__stack_base -
- regs.regs[SP_REGNUM])) / thr.__stack_size;
- /* if the thread is terminated but still there, the
- stack_base/size values are erroneous. Try to patch it */
- if (pt->stack_per < 0 || pt->stack_per > 100)
- pt->stack_per = 0;
- }
- else
- {
- /* Set stack_per to an invalid value to signal that we did not
- manage to compute its value. */
- pt->stack_per = -1;
- }
-
- /* print information about stack space used in the thread */
- if (thr.__stack_size < 1024 * 1024)
- {
- size = thr.__stack_size / 1024;
- car = 'K';
- }
- else if (thr.__stack_size < 1024 * 1024 * 1024)
- {
- size = thr.__stack_size / 1024 / 1024;
- car = 'M';
- }
- else /* Who knows... */
- {
- size = thr.__stack_size / 1024 / 1024 / 1024;
- car = 'G';
- }
-
- /* print the stack usage in percent, if available. */
- if (pt->stack_per != -1)
- printf_filtered (" %4d%c %2d", size, car, pt->stack_per);
- else
- {
- /* This error is not serious enough that we should raise
- an internal error, but print '???' to make it unambiguous
- that we failed to compute this value. */
- printf_filtered (" ???");
- }
-
- next:
-#endif
-
- /* print the current state of the task */
+ if (task_info->caller_task)
+ {
+ target_taskno = get_task_number_from_id (task_info->caller_task);
+ printf_filtered (_("State: Accepting rendezvous with %d"),
+ target_taskno);
+ }
+ else if (task_info->state == Entry_Caller_Sleep && task_info->called_task)
+ {
+ target_taskno = get_task_number_from_id (task_info->called_task);
+ printf_filtered (_("State: Waiting on task %d's entry"),
+ target_taskno);
+ }
+ else
+ printf_filtered (_("State: %s"), _(long_task_states[task_info->state]));
- /* check if this task is accepting a rendezvous */
- caller = read_caller (pt->atcb.call);
- if (caller != 0)
- printf_filtered (" Accepting RV with %-4d",
- get_entry_number (caller));
- else
- {
-#if defined (__WIN32__) || defined (SGI) || defined (hpux)
- if (pt->atcb.state == Runnable
- && (thread_id
- && task_ptid_get_lwp (pt->task_ptid) == thread_id))
-#else
- if (pt->atcb.state == Runnable
- && (thread_id
- && task_ptid_get_thread_id (pt->task_ptid) == thread_id))
-#endif
- /* Replace "Runnable" by "Running" if this is the current task */
- printf_filtered (" %-22s", "Running");
- else
- printf_filtered (" %-22s", task_states[pt->atcb.state]);
- }
+ if (target_taskno)
+ {
+ struct ada_task_info *target_task_info =
+ VEC_index (ada_task_info_s, task_list, target_taskno - 1);
- /* finally, print the name of the task */
- if (pt->atcb.image_len != 0) {
- printf_filtered (" %.*s\n", pt->atcb.image_len, pt->atcb.image);
+ if (target_task_info->name[0] != '\0')
+ printf_filtered (" (%s)", target_task_info->name);
}
- else
- printf_filtered (" <no name>\n");
- pt = pt->next_task;
- }
- if (!ptid_equal (inferior_ptid, current_ptid))
- switch_to_thread (current_ptid);
-#endif
+ printf_filtered ("\n");
+ }
}
+/* If ARG is empty or null, then print a list of all Ada tasks.
+ Otherwise, print detailed information about the task whose ID
+ is ARG.
+
+ Does nothing if the program doesn't use Ada tasking. */
+
static void
info_tasks_command (char *arg, int from_tty)
{
- const int task_list_built = build_task_list ();
+ const int task_list_built = ada_build_task_list (1);
if (!task_list_built)
return;
- if (arg == NULL || *arg == '\000')
- info_tasks (arg, from_tty);
+ if (arg == NULL || *arg == '\0')
+ info_tasks (from_tty);
else
info_task (arg, from_tty);
}
-/* Switch to task indicated by NEW_TASK. Return 0 iff successful. */
-
-static int
-switch_to_task (struct task_entry *new_task)
-{
-#ifdef GNAT_GDB
- /* Raise an error if task-switching is currently not allowed. */
- if (!THREAD_SWITCH_ALLOWED ())
- error ("Task switching is currently not allowed.");
-
- if (!task_is_alive (new_task->atcb.state))
- error ("Can not switch to task %d: Task is no longer running",
- new_task->task_num);
-
- current_task = new_task->task_num;
- current_thread = task_ptid_get_thread_id (new_task->task_ptid);
-
- if (current_task_id == -1)
- {
- SAVE_TASK_REGISTERS (new_task);
- current_task_id = ada_get_current_task (inferior_ptid);
- }
-
- if (SPECIAL_THREAD_SUPPORT_ACTIVE ())
- {
- /* FIXME: Integrate with switch_to_thread */
- int ret_code;
- flush_cached_frames ();
- registers_changed ();
- if (current_task == current_task_id)
- {
- RESTORE_TASK_REGISTERS (new_task);
- ret_code = 0;
- }
- else
- ret_code = THREAD_FETCH_REGISTERS ();
- if (ret_code == 0)
- stop_pc = read_pc ();
- select_frame (get_current_frame ());
- return ret_code;
- }
- else if (task_ptid_get_pid (new_task->task_ptid) != 0) /* ?? */
- {
- switch_to_thread (task_ptid_get_ptid (new_task->task_ptid));
- return 0;
- }
-#endif
- return -1;
-}
-
/* Print a message telling the user id of the current task.
- Print an error message if the application does not appear to
- be using any Ada task. */
+ This function assumes that tasking is in use in the inferior. */
static void
-display_current_task_id (void)
+display_current_task_id (void)
{
- const int current_task = ada_get_current_task (inferior_ptid);
+ const int current_task = ada_get_task_number (inferior_ptid);
- if (current_task == -1)
- printf_filtered ("[Current task is unknown]\n");
+ if (current_task == 0)
+ printf_filtered (_("[Current task is unknown]\n"));
else
- printf_filtered ("[Current task is %d]\n", current_task);
+ printf_filtered (_("[Current task is %d]\n"), current_task);
}
/* Parse and evaluate TIDSTR into a task id, and try to switch to
that task. Print an error message if the task switch failed. */
static void
-task_command_1 (char *tidstr, int from_tty)
-{
- const int num = value_as_long (parse_and_eval (tidstr));
- struct task_entry *e = get_entry_vptr (num);
+task_command_1 (char *taskno_str, int from_tty)
+{
+ const int taskno = value_as_long (parse_and_eval (taskno_str));
+ struct ada_task_info *task_info;
+
+ if (taskno <= 0 || taskno > VEC_length (ada_task_info_s, task_list))
+ error (_("Task ID %d not known. Use the \"info tasks\" command to\n"
+ "see the IDs of currently known tasks"), taskno);
+ task_info = VEC_index (ada_task_info_s, task_list, taskno - 1);
+
+ if (!ada_task_is_alive (task_info))
+ error (_("Cannot switch to task %d: Task is no longer running"), taskno);
+
+ /* On some platforms, the thread list is not updated until the user
+ performs a thread-related operation (by using the "info threads"
+ command, for instance). So this thread list may not be up to date
+ when the user attempts this task switch. Since we cannot switch
+ to the thread associated to our task if GDB does not know about
+ that thread, we need to make sure that any new threads gets added
+ to the thread list. */
+ target_find_new_threads ();
- if (e == NULL)
- error ("Task ID %d not known. Use the \"info tasks\" command to\n"
- "see the IDs of currently known tasks", num);
+ /* Verify that the ptid of the task we want to switch to is valid
+ (in other words, a ptid that GDB knows about). Otherwise, we will
+ cause an assertion failure later on, when we try to determine
+ the ptid associated thread_info data. We should normally never
+ encounter such an error, but the wrong ptid can actually easily be
+ computed if target_get_ada_task_ptid has not been implemented for
+ our target (yet). Rather than cause an assertion error in that case,
+ it's nicer for the user to just refuse to perform the task switch. */
+ if (!find_thread_ptid (task_info->ptid))
+ error (_("Unable to compute thread ID for task %d.\n"
+ "Cannot switch to this task."),
+ taskno);
- if (switch_to_task (e) == 0)
- {
- ada_find_printable_frame (get_selected_frame ());
- printf_filtered ("[Switching to task %d]\n", num);
- print_stack_frame (get_selected_frame (),
- frame_relative_level (get_selected_frame ()), 1);
- }
- else
- printf_filtered ("Unable to switch to task %d\n", num);
+ switch_to_thread (task_info->ptid);
+ ada_find_printable_frame (get_selected_frame (NULL));
+ printf_filtered (_("[Switching to task %d]\n"), taskno);
+ print_stack_frame (get_selected_frame (NULL),
+ frame_relative_level (get_selected_frame (NULL)), 1);
}
-/* Switch to task indicated in TIDSTR. Simply print the current task
- if TIDSTR is empty or NULL. */
+
+/* Print the ID of the current task if TASKNO_STR is empty or NULL.
+ Otherwise, switch to the task indicated by TASKNO_STR. */
static void
-task_command (char *tidstr, int from_tty)
+task_command (char *taskno_str, int from_tty)
{
- const int task_list_built = build_task_list ();
+ const int task_list_built = ada_build_task_list (1);
if (!task_list_built)
return;
- if (tidstr == NULL || tidstr[0] == '\0')
+ if (taskno_str == NULL || taskno_str[0] == '\0')
display_current_task_id ();
else
- task_command_1 (tidstr, from_tty);
-}
-
-#if defined (__fsu__) || (defined(__alpha__) && defined(__osf__) && !defined(VXWORKS_TARGET))
-/* Restore saved registers if there was a task switch. */
-void
-ada_reset_thread_registers (void)
-{
- if (current_task_id != -1 && SPECIAL_THREAD_SUPPORT_ACTIVE ())
{
- supply_gregset (&gregset_saved);
- supply_fpregset (&fpregset_saved);
- reinit_frame_cache ();
- stop_pc = read_pc ();
+ /* Task switching in core files doesn't work, either because:
+ 1. Thread support is not implemented with core files
+ 2. Thread support is implemented, but the thread IDs created
+ after having read the core file are not the same as the ones
+ that were used during the program life, before the crash.
+ As a consequence, there is no longer a way for the debugger
+ to find the associated thead ID of any given Ada task.
+ So, instead of attempting a task switch without giving the user
+ any clue as to what might have happened, just error-out with
+ a message explaining that this feature is not supported. */
+ if (!target_has_execution)
+ error (_("\
+Task switching not supported when debugging from core files\n\
+(use thread support instead)"));
+ task_command_1 (taskno_str, from_tty);
}
- current_task_id = -1;
}
-#else
-void
-ada_reset_thread_registers (void)
+
+/* Indicate that the task list may have changed, so invalidate the cache. */
+
+static void
+ada_task_list_changed (void)
{
+ stale_task_list_p = 1;
}
-#endif
/* The 'normal_stop' observer notification callback. */
static void
-normal_stop_notification (void)
+ada_normal_stop_observer (struct bpstats *unused_args, int unused_args2)
{
/* The inferior has been resumed, and just stopped. This means that
our task_list needs to be recomputed before it can be used again. */
- stale_task_list_p = 1;
+ ada_task_list_changed ();
}
-/* Attach all the observers needed by the ada-tasks module. */
+/* A routine to be called when the objfiles have changed. */
static void
-ada_tasks_attach_observers (void)
+ada_new_objfile_observer (struct objfile *objfile)
{
- observer_attach_normal_stop (&normal_stop_notification);
+ /* Invalidate all cached data that were extracted from an objfile. */
+
+ atcb_type = NULL;
+ atcb_common_type = NULL;
+ atcb_ll_type = NULL;
+ atcb_call_type = NULL;
+
+ ada_tasks_check_symbol_table = 1;
}
+/* Provide a prototype to silence -Wmissing-prototypes. */
+extern initialize_file_ftype _initialize_tasks;
+
void
_initialize_tasks (void)
{
-#ifdef GNAT_GDB
- extern struct cmd_list_element *cmdlist;
-
- ada_tasks_attach_observers ();
+ /* Attach various observers. */
+ observer_attach_normal_stop (ada_normal_stop_observer);
+ observer_attach_new_objfile (ada_new_objfile_observer);
+ /* Some new commands provided by this module. */
add_info ("tasks", info_tasks_command,
- "Without argument: list all known Ada tasks, with status information.\n"
- "info tasks n: print detailed information of task n.");
-
+ _("Provide information about all known Ada tasks"));
add_cmd ("task", class_run, task_command,
- "Without argument: print the current task ID.\n"
- "task n: Use this command to switch to task n.",
+ _("Use this command to switch between Ada tasks.\n\
+Without argument, this command simply prints the current task ID"),
&cmdlist);
-#endif
}
+
projects / deliverable / binutils-gdb.git / blobdiff