1 /* Ada Ravenscar thread support.
3 Copyright 2004, 2009, 2010 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"
29 #include "gdb_string.h"
34 /* If non-null, ravenscar task support is enabled. */
35 static int ravenscar_task_support
= 1;
37 /* Non-null if the ravenscar thread layer has been pushed on the target
39 static int ravenscar_is_open
= 0;
41 /* This module's target-specific operations. */
42 static struct target_ops ravenscar_ops
;
44 /* Some base target uses a special value for the null PID (exempli gratia
46 static ptid_t base_magic_null_ptid
;
48 /* Ptid of the inferior as seen by the process stratum. */
49 static ptid_t base_ptid
;
51 static const char running_thread_name
[] = "running_thread";
53 static const char known_tasks_name
[] = "system__tasking__debug__known_tasks";
55 static const char ravenscar_runtime_initializer
[] = "system__bb__threads__initialize";
57 static struct observer
*update_target_observer
= NULL
;
59 /* Architecture-specific hooks. */
60 static struct ravenscar_arch_ops
* current_arch_ops
;
62 static CORE_ADDR
read_thread_id (const char *symbol_name
);
64 static void ravenscar_find_new_threads (struct target_ops
*ops
);
65 static ptid_t
ravenscar_running_thread (void);
66 static char *ravenscar_extra_thread_info (struct thread_info
*tp
);
67 static int ravenscar_thread_alive (struct target_ops
*ops
, ptid_t ptid
);
68 static void ravenscar_fetch_registers (struct target_ops
*ops
,
69 struct regcache
*regcache
, int regnum
);
70 static void ravenscar_store_registers (struct target_ops
*ops
,
71 struct regcache
*regcache
, int regnum
);
72 static void ravenscar_prepare_to_store (struct regcache
*regcache
);
73 static void ravenscar_initialize (char *name
, int from_tty
);
74 static void ravenscar_resume (struct target_ops
*ops
, ptid_t ptid
, int step
,
75 enum target_signal siggnal
);
76 static void ravenscar_mourn_inferior (struct target_ops
*ops
);
77 static void ravenscar_update_inferior_ptid (void);
78 static int has_ravenscar_runtime (void);
79 static int ravenscar_runtime_initialized (void);
80 static void ravenscar_inferior_created (struct target_ops
*target
,
83 /* Fetch the ravenscar running thread from target memory and
84 update inferior_ptid accordingly. */
87 ravenscar_update_inferior_ptid (void)
89 base_ptid
= inferior_ptid
;
91 /* If the runtime has not been initialized yet, the inferior_ptid is
92 the only ptid that there is. */
93 if (!ravenscar_runtime_initialized ())
96 /* Make sure we set base_ptid before calling ravenscar_running_thread
97 as the latter relies on it. */
98 inferior_ptid
= ravenscar_running_thread ();
99 gdb_assert (!ptid_equal (inferior_ptid
, null_ptid
));
101 /* The running thread may not have been added to
102 system.tasking.debug's list yet; so ravenscar_find_new_threads
103 may not always add it to the thread list. Add it here. */
104 if (!find_thread_ptid (inferior_ptid
))
105 add_thread (inferior_ptid
);
108 /* Return True if the Ada Ravenscar run-time can be found in the
112 has_ravenscar_runtime (void)
114 struct minimal_symbol
*msym_ravenscar_runtime_initializer
=
115 lookup_minimal_symbol (ravenscar_runtime_initializer
, NULL
, NULL
);
116 struct minimal_symbol
*msym_known_tasks
=
117 lookup_minimal_symbol (known_tasks_name
, NULL
, NULL
);
118 struct minimal_symbol
*msym_running_thread
=
119 lookup_minimal_symbol (running_thread_name
, NULL
, NULL
);
121 return (msym_ravenscar_runtime_initializer
123 && msym_running_thread
);
126 /* Return True if the Ada Ravenscar run-time can be found in the
127 application, and if it has been initialized on target. */
130 ravenscar_runtime_initialized (void)
132 return (!(ptid_equal (ravenscar_running_thread (), null_ptid
)));
135 /* Read the thread ID whose symbol name is SYMBOL_NAME. */
138 read_thread_id (const char *symbol_name
)
140 const struct minimal_symbol
*object_msym
=
141 lookup_minimal_symbol (symbol_name
, NULL
, NULL
);
145 CORE_ADDR object_addr
;
146 struct type
*builtin_type_void_data_ptr
=
147 builtin_type (target_gdbarch
)->builtin_data_ptr
;
152 object_addr
= SYMBOL_VALUE_ADDRESS (object_msym
);
153 object_size
= TYPE_LENGTH (builtin_type_void_data_ptr
);
154 buf_size
= object_size
;
155 buf
= alloca (buf_size
);
156 read_memory (object_addr
, buf
, buf_size
);
157 return extract_typed_address (buf
, builtin_type_void_data_ptr
);
161 ravenscar_close (int quitting
)
163 ravenscar_is_open
= 0;
167 ravenscar_resume (struct target_ops
*ops
, ptid_t ptid
, int step
,
168 enum target_signal siggnal
)
170 struct target_ops
*beneath
= find_target_beneath (ops
);
172 inferior_ptid
= base_ptid
;
173 beneath
->to_resume (beneath
, base_ptid
, step
, siggnal
);
177 ravenscar_wait (struct target_ops
*ops
, ptid_t ptid
,
178 struct target_waitstatus
*status
,
181 struct target_ops
*beneath
= find_target_beneath (ops
);
183 inferior_ptid
= base_ptid
;
184 beneath
->to_wait (beneath
, base_ptid
, status
, 0);
185 ravenscar_find_new_threads (ops
);
186 ravenscar_update_inferior_ptid ();
187 return inferior_ptid
;
190 /* Add the thread associated to the given TASK to the thread list
191 (if the thread has already been added, this is a no-op). */
194 ravenscar_add_thread (struct ada_task_info
*task
)
196 if (find_thread_ptid (task
->ptid
) == NULL
)
197 add_thread (task
->ptid
);
201 ravenscar_find_new_threads (struct target_ops
*ops
)
203 ada_build_task_list (0);
205 /* Do not clear the thread list before adding the Ada task, to keep
206 the thread that the process stratum has included into it
207 (base_ptid) and the running thread, that may not have been included
208 to system.tasking.debug's list yet. */
210 iterate_over_live_ada_tasks (ravenscar_add_thread
);
214 ravenscar_running_thread (void)
216 CORE_ADDR tid
= read_thread_id (running_thread_name
);
221 return ptid_build (ptid_get_pid (base_ptid
), 0, tid
);
225 ravenscar_extra_thread_info (struct thread_info
*tp
)
227 return "Ravenscar task";
231 ravenscar_thread_alive (struct target_ops
*ops
, ptid_t ptid
)
233 /* Ravenscar tasks are non-terminating. */
238 ravenscar_pid_to_str (struct target_ops
*ops
, ptid_t ptid
)
242 snprintf (buf
, sizeof (buf
), "Thread %#x", (int) ptid_get_tid (ptid
));
247 ravenscar_fetch_registers (struct target_ops
*ops
,
248 struct regcache
*regcache
, int regnum
)
250 struct target_ops
*beneath
= find_target_beneath (ops
);
252 if (!ravenscar_runtime_initialized ()
253 || ptid_equal (inferior_ptid
, base_magic_null_ptid
)
254 || ptid_equal (inferior_ptid
, ravenscar_running_thread ()))
255 beneath
->to_fetch_registers (beneath
, regcache
, regnum
);
257 current_arch_ops
->to_fetch_registers (regcache
, regnum
);
261 ravenscar_store_registers (struct target_ops
*ops
,
262 struct regcache
*regcache
, int regnum
)
264 struct target_ops
*beneath
= find_target_beneath (ops
);
266 if (!ravenscar_runtime_initialized ()
267 || ptid_equal (inferior_ptid
, base_magic_null_ptid
)
268 || ptid_equal (inferior_ptid
, ravenscar_running_thread ()))
269 beneath
->to_store_registers (beneath
, regcache
, regnum
);
271 current_arch_ops
->to_store_registers (regcache
, regnum
);
275 ravenscar_prepare_to_store (struct regcache
*regcache
)
277 struct target_ops
*beneath
= find_target_beneath (&ravenscar_ops
);
279 if (!ravenscar_runtime_initialized ()
280 || ptid_equal (inferior_ptid
, base_magic_null_ptid
)
281 || ptid_equal (inferior_ptid
, ravenscar_running_thread ()))
282 beneath
->to_prepare_to_store (regcache
);
284 current_arch_ops
->to_prepare_to_store (regcache
);
288 ravenscar_mourn_inferior (struct target_ops
*ops
)
290 struct target_ops
*beneath
= find_target_beneath (&ravenscar_ops
);
292 base_ptid
= null_ptid
;
293 beneath
->to_mourn_inferior (beneath
);
294 unpush_target (&ravenscar_ops
);
297 /* Observer on inferior_created: push ravenscar thread stratum if needed. */
300 ravenscar_inferior_created (struct target_ops
*target
, int from_tty
)
302 if (ravenscar_task_support
303 && has_ravenscar_runtime ())
304 ravenscar_initialize (NULL
, 0);
308 ravenscar_register_arch_ops (struct ravenscar_arch_ops
*ops
)
310 /* FIXME: To be clean, we would need to handle a list of
311 architectures, just like in remote-wtx-hw.c. However, for now the
312 only Ravenscar run-time for bare board that is implemented in
313 GNAT is for only one architecture: erc32-elf. So no need to care about
315 current_arch_ops
= ops
;
318 /* Initialize Ravenscar support. */
321 ravenscar_initialize (char *name
, int from_tty
)
323 if (ravenscar_is_open
)
326 base_magic_null_ptid
= inferior_ptid
;
327 ravenscar_update_inferior_ptid ();
328 push_target (&ravenscar_ops
);
329 ravenscar_is_open
= 1;
333 ravenscar_get_ada_task_ptid (long lwp
, long thread
)
335 return ptid_build (ptid_get_pid (base_ptid
), 0, thread
);
339 init_ravenscar_thread_ops (void)
341 ravenscar_ops
.to_shortname
= "ravenscar";
342 ravenscar_ops
.to_longname
= "Ravenscar tasks.";
343 ravenscar_ops
.to_doc
= "Ravenscar tasks support.";
344 ravenscar_ops
.to_close
= ravenscar_close
;
345 ravenscar_ops
.to_resume
= ravenscar_resume
;
346 ravenscar_ops
.to_wait
= ravenscar_wait
;
347 ravenscar_ops
.to_fetch_registers
= ravenscar_fetch_registers
;
348 ravenscar_ops
.to_store_registers
= ravenscar_store_registers
;
349 ravenscar_ops
.to_prepare_to_store
= ravenscar_prepare_to_store
;
350 ravenscar_ops
.to_thread_alive
= ravenscar_thread_alive
;
351 ravenscar_ops
.to_find_new_threads
= ravenscar_find_new_threads
;
352 ravenscar_ops
.to_pid_to_str
= ravenscar_pid_to_str
;
353 ravenscar_ops
.to_extra_thread_info
= ravenscar_extra_thread_info
;
354 ravenscar_ops
.to_get_ada_task_ptid
= ravenscar_get_ada_task_ptid
;
355 ravenscar_ops
.to_mourn_inferior
= ravenscar_mourn_inferior
;
356 ravenscar_ops
.to_has_all_memory
= default_child_has_all_memory
;
357 ravenscar_ops
.to_has_memory
= default_child_has_memory
;
358 ravenscar_ops
.to_has_stack
= default_child_has_stack
;
359 ravenscar_ops
.to_has_registers
= default_child_has_registers
;
360 ravenscar_ops
.to_has_execution
= default_child_has_execution
;
361 ravenscar_ops
.to_stratum
= thread_stratum
;
362 ravenscar_ops
.to_magic
= OPS_MAGIC
;
365 /* Command-list for the "set/show ravenscar" prefix command. */
366 static struct cmd_list_element
*set_ravenscar_list
;
367 static struct cmd_list_element
*show_ravenscar_list
;
369 /* Implement the "set ravenscar" prefix command. */
372 set_ravenscar_command (char *arg
, int from_tty
)
374 printf_unfiltered (_(\
375 "\"set ravenscar\" must be followed by the name of a setting.\n"));
376 help_list (set_ravenscar_list
, "set ravenscar ", -1, gdb_stdout
);
379 /* Implement the "show ravenscar" prefix command. */
382 show_ravenscar_command (char *args
, int from_tty
)
384 cmd_show_list (show_ravenscar_list
, from_tty
, "");
387 /* Implement the "show ravenscar task-switching" command. */
390 show_ravenscar_task_switching_command (struct ui_file
*file
, int from_tty
,
391 struct cmd_list_element
*c
,
394 if (ravenscar_task_support
)
395 fprintf_filtered (file
, _("\
396 Support for Ravenscar task/thread switching is enabled"));
398 fprintf_filtered (file
, _("\
399 Support for Ravenscar task/thread switching is disabled"));
402 /* Module startup initialization function, automagically called by
406 _initialize_ravenscar (void)
408 init_ravenscar_thread_ops ();
409 base_ptid
= null_ptid
;
411 /* Notice when the inferior is created in order to push the
412 ravenscar ops if needed. */
413 observer_attach_inferior_created (ravenscar_inferior_created
);
415 add_target (&ravenscar_ops
);
417 add_prefix_cmd ("ravenscar", no_class
, set_ravenscar_command
,
418 _("Prefix command for changing Ravenscar-specific settings"),
419 &set_ravenscar_list
, "set ravenscar ", 0, &setlist
);
421 add_prefix_cmd ("ravenscar", no_class
, show_ravenscar_command
,
422 _("Prefix command for showing Ravenscar-specific settings"),
423 &show_ravenscar_list
, "set ravenscar ", 0, &showlist
);
425 add_setshow_boolean_cmd ("task-switching", class_obscure
,
426 &ravenscar_task_support
, _("\
427 Enable or disable support for GNAT Ravenscar tasks"), _("\
428 Show whether support for GNAT Ravenscar tasks is enabled"),
430 Enable or disable support for task/thread switching with the GNAT\n\
431 Ravenscar run-time library for bareboard configuration."),
432 NULL
, show_ravenscar_task_switching_command
,
433 &set_ravenscar_list
, &show_ravenscar_list
);