1 /* Ada Ravenscar thread support.
3 Copyright (C) 2004-2019 Free Software Foundation, Inc.
5 This file is part of GDB.
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
22 #include "gdbthread.h"
27 #include "ravenscar-thread.h"
28 #include "observable.h"
34 /* This module provides support for "Ravenscar" tasks (Ada) when
35 debugging on bare-metal targets.
37 The typical situation is when debugging a bare-metal target over
38 the remote protocol. In that situation, the system does not know
39 about high-level concepts such as threads, only about some code
40 running on one or more CPUs. And since the remote protocol does not
41 provide any handling for CPUs, the de facto standard for handling
42 them is to have one thread per CPU, where the thread's ptid has
43 its lwp field set to the CPU number (eg: 1 for the first CPU,
44 2 for the second one, etc). This module will make that assumption.
46 This module then creates and maintains the list of threads based
47 on the list of Ada tasks, with one thread per Ada task. The convention
48 is that threads corresponding to the CPUs (see assumption above)
49 have a ptid_t of the form (PID, LWP, 0), while threads corresponding
50 to our Ada tasks have a ptid_t of the form (PID, 0, TID) where TID
51 is the Ada task's ID as extracted from Ada runtime information.
53 Switching to a given Ada task (or its underlying thread) is performed
54 by fetching the registers of that task from the memory area where
55 the registers were saved. For any of the other operations, the
56 operation is performed by first finding the CPU on which the task
57 is running, switching to its corresponding ptid, and then performing
58 the operation on that ptid using the target beneath us. */
60 /* If non-null, ravenscar task support is enabled. */
61 static int ravenscar_task_support
= 1;
63 /* PTID of the last thread that received an event.
64 This can be useful to determine the associated task that received
65 the event, to make it the current task. */
66 static ptid_t base_ptid
;
68 static const char running_thread_name
[] = "__gnat_running_thread_table";
70 static const char known_tasks_name
[] = "system__tasking__debug__known_tasks";
71 static const char first_task_name
[] = "system__tasking__debug__first_task";
73 static const char ravenscar_runtime_initializer
[]
74 = "system__bb__threads__initialize";
76 static const target_info ravenscar_target_info
= {
78 N_("Ravenscar tasks."),
79 N_("Ravenscar tasks support.")
82 struct ravenscar_thread_target final
: public target_ops
84 const target_info
&info () const override
85 { return ravenscar_target_info
; }
87 strata
stratum () const override
{ return thread_stratum
; }
89 ptid_t
wait (ptid_t
, struct target_waitstatus
*, int) override
;
90 void resume (ptid_t
, int, enum gdb_signal
) override
;
92 void fetch_registers (struct regcache
*, int) override
;
93 void store_registers (struct regcache
*, int) override
;
95 void prepare_to_store (struct regcache
*) override
;
97 bool stopped_by_sw_breakpoint () override
;
99 bool stopped_by_hw_breakpoint () override
;
101 bool stopped_by_watchpoint () override
;
103 bool stopped_data_address (CORE_ADDR
*) override
;
105 bool thread_alive (ptid_t ptid
) override
;
107 int core_of_thread (ptid_t ptid
) override
;
109 void update_thread_list () override
;
111 const char *extra_thread_info (struct thread_info
*) override
;
113 const char *pid_to_str (ptid_t
) override
;
115 ptid_t
get_ada_task_ptid (long lwp
, long thread
) override
;
117 void mourn_inferior () override
;
120 /* This module's target-specific operations. */
121 static ravenscar_thread_target ravenscar_ops
;
123 static ptid_t
ravenscar_active_task (int cpu
);
124 static bool ravenscar_runtime_initialized ();
126 /* Return true iff PTID corresponds to a ravenscar task. */
129 is_ravenscar_task (ptid_t ptid
)
131 /* By construction, ravenscar tasks have their LWP set to zero.
132 Also make sure that the TID is nonzero, as some remotes, when
133 asked for the list of threads, will return the first thread
134 as having its TID set to zero. For instance, TSIM version
135 2.0.48 for LEON3 sends 'm0' as a reply to the 'qfThreadInfo'
136 query, which the remote protocol layer then treats as a thread
137 whose TID is 0. This is obviously not a ravenscar task. */
138 return ptid
.lwp () == 0 && ptid
.tid () != 0;
141 /* Given PTID, which can be either a ravenscar task or a CPU thread,
142 return which CPU that ptid is running on.
144 This assume that PTID is a valid ptid_t. Otherwise, a gdb_assert
145 will be triggered. */
148 ravenscar_get_thread_base_cpu (ptid_t ptid
)
152 if (is_ravenscar_task (ptid
))
154 struct ada_task_info
*task_info
= ada_get_task_info_from_ptid (ptid
);
156 gdb_assert (task_info
!= NULL
);
157 base_cpu
= task_info
->base_cpu
;
161 /* We assume that the LWP of the PTID is equal to the CPU number. */
162 base_cpu
= ptid
.lwp ();
168 /* Given a ravenscar task (identified by its ptid_t PTID), return true
169 if this task is the currently active task on the cpu that task is
172 In other words, this function determine which CPU this task is
173 currently running on, and then return nonzero if the CPU in question
174 is executing the code for that task. If that's the case, then
175 that task's registers are in the CPU bank. Otherwise, the task
176 is currently suspended, and its registers have been saved in memory. */
179 ravenscar_task_is_currently_active (ptid_t ptid
)
181 ptid_t active_task_ptid
182 = ravenscar_active_task (ravenscar_get_thread_base_cpu (ptid
));
184 return ptid
== active_task_ptid
;
187 /* Return the CPU thread (as a ptid_t) on which the given ravenscar
190 This is the thread that corresponds to the CPU on which the task
194 get_base_thread_from_ravenscar_task (ptid_t ptid
)
198 if (!is_ravenscar_task (ptid
))
201 base_cpu
= ravenscar_get_thread_base_cpu (ptid
);
202 return ptid_t (ptid
.pid (), base_cpu
, 0);
205 /* Fetch the ravenscar running thread from target memory and
206 update inferior_ptid accordingly. */
209 ravenscar_update_inferior_ptid ()
213 base_ptid
= inferior_ptid
;
215 gdb_assert (!is_ravenscar_task (inferior_ptid
));
216 base_cpu
= ravenscar_get_thread_base_cpu (base_ptid
);
218 /* If the runtime has not been initialized yet, the inferior_ptid is
219 the only ptid that there is. */
220 if (!ravenscar_runtime_initialized ())
223 /* Make sure we set base_ptid before calling ravenscar_active_task
224 as the latter relies on it. */
225 inferior_ptid
= ravenscar_active_task (base_cpu
);
226 gdb_assert (inferior_ptid
!= null_ptid
);
228 /* The running thread may not have been added to
229 system.tasking.debug's list yet; so ravenscar_update_thread_list
230 may not always add it to the thread list. Add it here. */
231 if (!find_thread_ptid (inferior_ptid
))
232 add_thread (inferior_ptid
);
235 /* The Ravenscar Runtime exports a symbol which contains the ID of
236 the thread that is currently running. Try to locate that symbol
237 and return its associated minimal symbol.
238 Return NULL if not found. */
240 static struct bound_minimal_symbol
241 get_running_thread_msymbol ()
243 struct bound_minimal_symbol msym
;
245 msym
= lookup_minimal_symbol (running_thread_name
, NULL
, NULL
);
247 /* Older versions of the GNAT runtime were using a different
248 (less ideal) name for the symbol where the active thread ID
249 is stored. If we couldn't find the symbol using the latest
250 name, then try the old one. */
251 msym
= lookup_minimal_symbol ("running_thread", NULL
, NULL
);
256 /* Return True if the Ada Ravenscar run-time can be found in the
260 has_ravenscar_runtime ()
262 struct bound_minimal_symbol msym_ravenscar_runtime_initializer
263 = lookup_minimal_symbol (ravenscar_runtime_initializer
, NULL
, NULL
);
264 struct bound_minimal_symbol msym_known_tasks
265 = lookup_minimal_symbol (known_tasks_name
, NULL
, NULL
);
266 struct bound_minimal_symbol msym_first_task
267 = lookup_minimal_symbol (first_task_name
, NULL
, NULL
);
268 struct bound_minimal_symbol msym_running_thread
269 = get_running_thread_msymbol ();
271 return (msym_ravenscar_runtime_initializer
.minsym
272 && (msym_known_tasks
.minsym
|| msym_first_task
.minsym
)
273 && msym_running_thread
.minsym
);
276 /* Return True if the Ada Ravenscar run-time can be found in the
277 application, and if it has been initialized on target. */
280 ravenscar_runtime_initialized ()
282 return ravenscar_active_task (1) != null_ptid
;
285 /* Return the ID of the thread that is currently running.
286 Return 0 if the ID could not be determined. */
289 get_running_thread_id (int cpu
)
291 struct bound_minimal_symbol object_msym
= get_running_thread_msymbol ();
295 CORE_ADDR object_addr
;
296 struct type
*builtin_type_void_data_ptr
297 = builtin_type (target_gdbarch ())->builtin_data_ptr
;
299 if (!object_msym
.minsym
)
302 object_size
= TYPE_LENGTH (builtin_type_void_data_ptr
);
303 object_addr
= (BMSYMBOL_VALUE_ADDRESS (object_msym
)
304 + (cpu
- 1) * object_size
);
305 buf_size
= object_size
;
306 buf
= (gdb_byte
*) alloca (buf_size
);
307 read_memory (object_addr
, buf
, buf_size
);
308 return extract_typed_address (buf
, builtin_type_void_data_ptr
);
312 ravenscar_thread_target::resume (ptid_t ptid
, int step
,
313 enum gdb_signal siggnal
)
315 inferior_ptid
= base_ptid
;
316 beneath ()->resume (base_ptid
, step
, siggnal
);
320 ravenscar_thread_target::wait (ptid_t ptid
,
321 struct target_waitstatus
*status
,
326 inferior_ptid
= base_ptid
;
327 event_ptid
= beneath ()->wait (base_ptid
, status
, 0);
328 /* Find any new threads that might have been created, and update
329 inferior_ptid to the active thread.
331 Only do it if the program is still alive, though. Otherwise,
332 this causes problems when debugging through the remote protocol,
333 because we might try switching threads (and thus sending packets)
334 after the remote has disconnected. */
335 if (status
->kind
!= TARGET_WAITKIND_EXITED
336 && status
->kind
!= TARGET_WAITKIND_SIGNALLED
)
338 inferior_ptid
= event_ptid
;
339 this->update_thread_list ();
340 ravenscar_update_inferior_ptid ();
342 return inferior_ptid
;
345 /* Add the thread associated to the given TASK to the thread list
346 (if the thread has already been added, this is a no-op). */
349 ravenscar_add_thread (struct ada_task_info
*task
)
351 if (find_thread_ptid (task
->ptid
) == NULL
)
352 add_thread (task
->ptid
);
356 ravenscar_thread_target::update_thread_list ()
358 ada_build_task_list ();
360 /* Do not clear the thread list before adding the Ada task, to keep
361 the thread that the process stratum has included into it
362 (base_ptid) and the running thread, that may not have been included
363 to system.tasking.debug's list yet. */
365 iterate_over_live_ada_tasks (ravenscar_add_thread
);
369 ravenscar_active_task (int cpu
)
371 CORE_ADDR tid
= get_running_thread_id (cpu
);
376 return ptid_t (base_ptid
.pid (), 0, tid
);
380 ravenscar_thread_target::extra_thread_info (thread_info
*tp
)
382 return "Ravenscar task";
386 ravenscar_thread_target::thread_alive (ptid_t ptid
)
388 /* Ravenscar tasks are non-terminating. */
393 ravenscar_thread_target::pid_to_str (ptid_t ptid
)
397 snprintf (buf
, sizeof (buf
), "Thread %#x", (int) ptid
.tid ());
402 ravenscar_thread_target::fetch_registers (struct regcache
*regcache
, int regnum
)
404 ptid_t ptid
= regcache
->ptid ();
406 if (ravenscar_runtime_initialized ()
407 && is_ravenscar_task (ptid
)
408 && !ravenscar_task_is_currently_active (ptid
))
410 struct gdbarch
*gdbarch
= regcache
->arch ();
411 struct ravenscar_arch_ops
*arch_ops
412 = gdbarch_ravenscar_ops (gdbarch
);
414 arch_ops
->fetch_registers (regcache
, regnum
);
417 beneath ()->fetch_registers (regcache
, regnum
);
421 ravenscar_thread_target::store_registers (struct regcache
*regcache
,
424 ptid_t ptid
= regcache
->ptid ();
426 if (ravenscar_runtime_initialized ()
427 && is_ravenscar_task (ptid
)
428 && !ravenscar_task_is_currently_active (ptid
))
430 struct gdbarch
*gdbarch
= regcache
->arch ();
431 struct ravenscar_arch_ops
*arch_ops
432 = gdbarch_ravenscar_ops (gdbarch
);
434 arch_ops
->store_registers (regcache
, regnum
);
437 beneath ()->store_registers (regcache
, regnum
);
441 ravenscar_thread_target::prepare_to_store (struct regcache
*regcache
)
443 ptid_t ptid
= regcache
->ptid ();
445 if (ravenscar_runtime_initialized ()
446 && is_ravenscar_task (ptid
)
447 && !ravenscar_task_is_currently_active (ptid
))
452 beneath ()->prepare_to_store (regcache
);
455 /* Implement the to_stopped_by_sw_breakpoint target_ops "method". */
458 ravenscar_thread_target::stopped_by_sw_breakpoint ()
460 scoped_restore save_ptid
= make_scoped_restore (&inferior_ptid
);
461 inferior_ptid
= get_base_thread_from_ravenscar_task (inferior_ptid
);
462 return beneath ()->stopped_by_sw_breakpoint ();
465 /* Implement the to_stopped_by_hw_breakpoint target_ops "method". */
468 ravenscar_thread_target::stopped_by_hw_breakpoint ()
470 scoped_restore save_ptid
= make_scoped_restore (&inferior_ptid
);
471 inferior_ptid
= get_base_thread_from_ravenscar_task (inferior_ptid
);
472 return beneath ()->stopped_by_hw_breakpoint ();
475 /* Implement the to_stopped_by_watchpoint target_ops "method". */
478 ravenscar_thread_target::stopped_by_watchpoint ()
480 scoped_restore save_ptid
= make_scoped_restore (&inferior_ptid
);
481 inferior_ptid
= get_base_thread_from_ravenscar_task (inferior_ptid
);
482 return beneath ()->stopped_by_watchpoint ();
485 /* Implement the to_stopped_data_address target_ops "method". */
488 ravenscar_thread_target::stopped_data_address (CORE_ADDR
*addr_p
)
490 scoped_restore save_ptid
= make_scoped_restore (&inferior_ptid
);
491 inferior_ptid
= get_base_thread_from_ravenscar_task (inferior_ptid
);
492 return beneath ()->stopped_data_address (addr_p
);
496 ravenscar_thread_target::mourn_inferior ()
498 base_ptid
= null_ptid
;
499 beneath ()->mourn_inferior ();
500 unpush_target (&ravenscar_ops
);
503 /* Implement the to_core_of_thread target_ops "method". */
506 ravenscar_thread_target::core_of_thread (ptid_t ptid
)
508 scoped_restore save_ptid
= make_scoped_restore (&inferior_ptid
);
509 inferior_ptid
= get_base_thread_from_ravenscar_task (inferior_ptid
);
510 return beneath ()->core_of_thread (inferior_ptid
);
513 /* Observer on inferior_created: push ravenscar thread stratum if needed. */
516 ravenscar_inferior_created (struct target_ops
*target
, int from_tty
)
520 if (!ravenscar_task_support
521 || gdbarch_ravenscar_ops (target_gdbarch ()) == NULL
522 || !has_ravenscar_runtime ())
525 err_msg
= ada_get_tcb_types_info ();
528 warning (_("%s. Task/thread support disabled."), err_msg
);
532 ravenscar_update_inferior_ptid ();
533 push_target (&ravenscar_ops
);
537 ravenscar_thread_target::get_ada_task_ptid (long lwp
, long thread
)
539 return ptid_t (base_ptid
.pid (), 0, thread
);
542 /* Command-list for the "set/show ravenscar" prefix command. */
543 static struct cmd_list_element
*set_ravenscar_list
;
544 static struct cmd_list_element
*show_ravenscar_list
;
546 /* Implement the "set ravenscar" prefix command. */
549 set_ravenscar_command (const char *arg
, int from_tty
)
551 printf_unfiltered (_(\
552 "\"set ravenscar\" must be followed by the name of a setting.\n"));
553 help_list (set_ravenscar_list
, "set ravenscar ", all_commands
, gdb_stdout
);
556 /* Implement the "show ravenscar" prefix command. */
559 show_ravenscar_command (const char *args
, int from_tty
)
561 cmd_show_list (show_ravenscar_list
, from_tty
, "");
564 /* Implement the "show ravenscar task-switching" command. */
567 show_ravenscar_task_switching_command (struct ui_file
*file
, int from_tty
,
568 struct cmd_list_element
*c
,
571 if (ravenscar_task_support
)
572 fprintf_filtered (file
, _("\
573 Support for Ravenscar task/thread switching is enabled\n"));
575 fprintf_filtered (file
, _("\
576 Support for Ravenscar task/thread switching is disabled\n"));
579 /* Module startup initialization function, automagically called by
583 _initialize_ravenscar ()
585 base_ptid
= null_ptid
;
587 /* Notice when the inferior is created in order to push the
588 ravenscar ops if needed. */
589 gdb::observers::inferior_created
.attach (ravenscar_inferior_created
);
591 add_prefix_cmd ("ravenscar", no_class
, set_ravenscar_command
,
592 _("Prefix command for changing Ravenscar-specific settings"),
593 &set_ravenscar_list
, "set ravenscar ", 0, &setlist
);
595 add_prefix_cmd ("ravenscar", no_class
, show_ravenscar_command
,
596 _("Prefix command for showing Ravenscar-specific settings"),
597 &show_ravenscar_list
, "show ravenscar ", 0, &showlist
);
599 add_setshow_boolean_cmd ("task-switching", class_obscure
,
600 &ravenscar_task_support
, _("\
601 Enable or disable support for GNAT Ravenscar tasks"), _("\
602 Show whether support for GNAT Ravenscar tasks is enabled"),
604 Enable or disable support for task/thread switching with the GNAT\n\
605 Ravenscar run-time library for bareboard configuration."),
606 NULL
, show_ravenscar_task_switching_command
,
607 &set_ravenscar_list
, &show_ravenscar_list
);