1 /* Generic static probe support for GDB.
3 Copyright (C) 2012-2013 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/>. */
23 #include "cli/cli-cmds.h"
24 #include "cli/cli-utils.h"
27 #include "progspace.h"
28 #include "filenames.h"
29 #include "exceptions.h"
31 #include "gdb_regex.h"
33 #include "arch-utils.h"
38 /* See definition in probe.h. */
40 struct symtabs_and_lines
41 parse_probes (char **argptr, struct linespec_result *canonical)
43 char *arg_start, *arg_end, *arg;
44 char *objfile_name = NULL, *provider = NULL, *name, *p;
45 struct cleanup *cleanup;
46 struct symtabs_and_lines result;
47 struct objfile *objfile;
48 struct program_space *pspace;
49 const struct probe_ops *probe_ops;
58 probe_ops = probe_linespec_to_ops (&cs);
59 gdb_assert (probe_ops != NULL);
62 arg = skip_spaces (arg);
64 error (_("argument to `%s' missing"), arg_start);
66 arg_end = skip_to_space (arg);
68 /* We make a copy here so we can write over parts with impunity. */
69 arg = savestring (arg, arg_end - arg);
70 cleanup = make_cleanup (xfree, arg);
72 /* Extract each word from the argument, separated by ":"s. */
73 p = strchr (arg, ':');
76 /* This is `-p name'. */
84 p = strchr (hold, ':');
87 /* This is `-p provider:name'. */
93 /* This is `-p objfile:provider:name'. */
102 error (_("no probe name specified"));
103 if (provider && *provider == '\0')
104 error (_("invalid provider name"));
105 if (objfile_name && *objfile_name == '\0')
106 error (_("invalid objfile name"));
109 ALL_PSPACE_OBJFILES (pspace, objfile)
111 VEC (probe_p) *probes;
115 if (!objfile->sf || !objfile->sf->sym_probe_fns)
119 && FILENAME_CMP (objfile->name, objfile_name) != 0
120 && FILENAME_CMP (lbasename (objfile->name), objfile_name) != 0)
123 probes = objfile->sf->sym_probe_fns->sym_get_probes (objfile);
125 for (ix = 0; VEC_iterate (probe_p, probes, ix, probe); ix++)
127 struct symtab_and_line *sal;
129 if (probe_ops != &probe_ops_any && probe->pops != probe_ops)
132 if (provider && strcmp (probe->provider, provider) != 0)
135 if (strcmp (probe->name, name) != 0)
139 result.sals = xrealloc (result.sals,
141 * sizeof (struct symtab_and_line));
142 sal = &result.sals[result.nelts - 1];
146 sal->pc = probe->address;
147 sal->explicit_pc = 1;
148 sal->section = find_pc_overlay (sal->pc);
149 sal->pspace = pspace;
154 if (result.nelts == 0)
156 throw_error (NOT_FOUND_ERROR,
157 _("No probe matching objfile=`%s', provider=`%s', name=`%s'"),
158 objfile_name ? objfile_name : _("<any>"),
159 provider ? provider : _("<any>"),
165 canonical->special_display = 1;
166 canonical->pre_expanded = 1;
167 canonical->addr_string = savestring (*argptr, arg_end - *argptr);
171 do_cleanups (cleanup);
176 /* See definition in probe.h. */
179 find_probes_in_objfile (struct objfile *objfile, const char *provider,
182 VEC (probe_p) *probes, *result = NULL;
186 if (!objfile->sf || !objfile->sf->sym_probe_fns)
189 probes = objfile->sf->sym_probe_fns->sym_get_probes (objfile);
190 for (ix = 0; VEC_iterate (probe_p, probes, ix, probe); ix++)
192 if (strcmp (probe->provider, provider) != 0)
195 if (strcmp (probe->name, name) != 0)
198 VEC_safe_push (probe_p, result, probe);
204 /* See definition in probe.h. */
207 find_probe_by_pc (CORE_ADDR pc)
209 struct objfile *objfile;
211 ALL_OBJFILES (objfile)
213 VEC (probe_p) *probes;
217 if (!objfile->sf || !objfile->sf->sym_probe_fns)
220 /* If this proves too inefficient, we can replace with a hash. */
221 probes = objfile->sf->sym_probe_fns->sym_get_probes (objfile);
222 for (ix = 0; VEC_iterate (probe_p, probes, ix, probe); ix++)
223 if (probe->address == pc)
232 /* Make a vector of probes matching OBJNAME, PROVIDER, and PROBE_NAME.
233 If POPS is not NULL, only probes of this certain probe_ops will match.
234 Each argument is a regexp, or NULL, which matches anything. */
236 static VEC (probe_p) *
237 collect_probes (char *objname, char *provider, char *probe_name,
238 const struct probe_ops *pops)
240 struct objfile *objfile;
241 VEC (probe_p) *result = NULL;
242 struct cleanup *cleanup, *cleanup_temps;
243 regex_t obj_pat, prov_pat, probe_pat;
245 cleanup = make_cleanup (VEC_cleanup (probe_p), &result);
247 cleanup_temps = make_cleanup (null_cleanup, NULL);
248 if (provider != NULL)
249 compile_rx_or_error (&prov_pat, provider, _("Invalid provider regexp"));
250 if (probe_name != NULL)
251 compile_rx_or_error (&probe_pat, probe_name, _("Invalid probe regexp"));
253 compile_rx_or_error (&obj_pat, objname, _("Invalid object file regexp"));
255 ALL_OBJFILES (objfile)
257 VEC (probe_p) *probes;
261 if (! objfile->sf || ! objfile->sf->sym_probe_fns)
266 if (regexec (&obj_pat, objfile->name, 0, NULL, 0) != 0)
270 probes = objfile->sf->sym_probe_fns->sym_get_probes (objfile);
272 for (ix = 0; VEC_iterate (probe_p, probes, ix, probe); ix++)
274 if (pops != NULL && probe->pops != pops)
278 && regexec (&prov_pat, probe->provider, 0, NULL, 0) != 0)
282 && regexec (&probe_pat, probe->name, 0, NULL, 0) != 0)
285 VEC_safe_push (probe_p, result, probe);
289 do_cleanups (cleanup_temps);
290 discard_cleanups (cleanup);
294 /* A qsort comparison function for probe_p objects. */
297 compare_probes (const void *a, const void *b)
299 const struct probe *pa = *((const struct probe **) a);
300 const struct probe *pb = *((const struct probe **) b);
303 v = strcmp (pa->provider, pb->provider);
307 v = strcmp (pa->name, pb->name);
311 if (pa->address < pb->address)
313 if (pa->address > pb->address)
316 return strcmp (pa->objfile->name, pb->objfile->name);
319 /* Helper function that generate entries in the ui_out table being
320 crafted by `info_probes_for_ops'. */
323 gen_ui_out_table_header_info (VEC (probe_p) *probes,
324 const struct probe_ops *p)
326 /* `headings' refers to the names of the columns when printing `info
328 VEC (info_probe_column_s) *headings = NULL;
330 info_probe_column_s *column;
331 size_t headings_size;
334 gdb_assert (p != NULL);
336 if (p->gen_info_probes_table_header == NULL
337 && p->gen_info_probes_table_values == NULL)
340 gdb_assert (p->gen_info_probes_table_header != NULL
341 && p->gen_info_probes_table_values != NULL);
343 c = make_cleanup (VEC_cleanup (info_probe_column_s), &headings);
344 p->gen_info_probes_table_header (&headings);
346 headings_size = VEC_length (info_probe_column_s, headings);
349 VEC_iterate (info_probe_column_s, headings, ix, column);
354 size_t size_max = strlen (column->print_name);
356 for (jx = 0; VEC_iterate (probe_p, probes, jx, probe); ++jx)
358 /* `probe_fields' refers to the values of each new field that this
359 probe will display. */
360 VEC (const_char_ptr) *probe_fields = NULL;
365 if (probe->pops != p)
368 c2 = make_cleanup (VEC_cleanup (const_char_ptr), &probe_fields);
369 p->gen_info_probes_table_values (probe, &probe_fields);
371 gdb_assert (VEC_length (const_char_ptr, probe_fields)
374 for (kx = 0; VEC_iterate (const_char_ptr, probe_fields, kx, val);
377 /* It is valid to have a NULL value here, which means that the
378 backend does not have something to write and this particular
379 field should be skipped. */
383 size_max = max (strlen (val), size_max);
388 ui_out_table_header (current_uiout, size_max, ui_left,
389 column->field_name, column->print_name);
395 /* Helper function to print extra information about a probe and an objfile
396 represented by PROBE. */
399 print_ui_out_info (struct probe *probe)
403 /* `values' refers to the actual values of each new field in the output
404 of `info probe'. `headings' refers to the names of each new field. */
405 VEC (const_char_ptr) *values = NULL;
406 VEC (info_probe_column_s) *headings = NULL;
407 info_probe_column_s *column;
410 gdb_assert (probe != NULL);
411 gdb_assert (probe->pops != NULL);
413 if (probe->pops->gen_info_probes_table_header == NULL
414 && probe->pops->gen_info_probes_table_values == NULL)
417 gdb_assert (probe->pops->gen_info_probes_table_header != NULL
418 && probe->pops->gen_info_probes_table_values != NULL);
420 c = make_cleanup (VEC_cleanup (info_probe_column_s), &headings);
421 make_cleanup (VEC_cleanup (const_char_ptr), &values);
423 probe->pops->gen_info_probes_table_header (&headings);
424 probe->pops->gen_info_probes_table_values (probe, &values);
426 gdb_assert (VEC_length (info_probe_column_s, headings)
427 == VEC_length (const_char_ptr, values));
430 VEC_iterate (info_probe_column_s, headings, ix, column);
433 const char *val = VEC_index (const_char_ptr, values, j++);
436 ui_out_field_skip (current_uiout, column->field_name);
438 ui_out_field_string (current_uiout, column->field_name, val);
444 /* Helper function that returns the number of extra fields which POPS will
448 get_number_extra_fields (const struct probe_ops *pops)
450 VEC (info_probe_column_s) *headings = NULL;
454 if (pops->gen_info_probes_table_header == NULL)
457 c = make_cleanup (VEC_cleanup (info_probe_column_s), &headings);
458 pops->gen_info_probes_table_header (&headings);
460 n = VEC_length (info_probe_column_s, headings);
467 /* See comment in probe.h. */
470 info_probes_for_ops (char *arg, int from_tty, const struct probe_ops *pops)
472 char *provider, *probe_name = NULL, *objname = NULL;
473 struct cleanup *cleanup = make_cleanup (null_cleanup, NULL);
474 VEC (probe_p) *probes;
476 int ui_out_extra_fields = 0;
478 size_t size_name = strlen ("Name");
479 size_t size_objname = strlen ("Object");
480 size_t size_provider = strlen ("Provider");
482 struct gdbarch *gdbarch = get_current_arch ();
484 /* Do we have a `provider:probe:objfile' style of linespec? */
485 provider = extract_arg (&arg);
488 make_cleanup (xfree, provider);
490 probe_name = extract_arg (&arg);
493 make_cleanup (xfree, probe_name);
495 objname = extract_arg (&arg);
497 make_cleanup (xfree, objname);
503 const struct probe_ops *po;
506 /* If the probe_ops is NULL, it means the user has requested a "simple"
507 `info probes', i.e., she wants to print all information about all
508 probes. For that, we have to identify how many extra fields we will
509 need to add in the ui_out table.
511 To do that, we iterate over all probe_ops, querying each one about
512 its extra fields, and incrementing `ui_out_extra_fields' to reflect
515 for (ix = 0; VEC_iterate (probe_ops_cp, all_probe_ops, ix, po); ++ix)
516 ui_out_extra_fields += get_number_extra_fields (po);
519 ui_out_extra_fields = get_number_extra_fields (pops);
521 probes = collect_probes (objname, provider, probe_name, pops);
522 make_cleanup (VEC_cleanup (probe_p), &probes);
523 make_cleanup_ui_out_table_begin_end (current_uiout,
524 4 + ui_out_extra_fields,
525 VEC_length (probe_p, probes),
528 if (!VEC_empty (probe_p, probes))
529 qsort (VEC_address (probe_p, probes), VEC_length (probe_p, probes),
530 sizeof (probe_p), compare_probes);
532 /* What's the size of an address in our architecture? */
533 size_addr = gdbarch_addr_bit (gdbarch) == 64 ? 18 : 10;
535 /* Determining the maximum size of each field (`provider', `name' and
537 for (i = 0; VEC_iterate (probe_p, probes, i, probe); ++i)
539 size_name = max (strlen (probe->name), size_name);
540 size_provider = max (strlen (probe->provider), size_provider);
541 size_objname = max (strlen (probe->objfile->name), size_objname);
544 ui_out_table_header (current_uiout, size_provider, ui_left, "provider",
546 ui_out_table_header (current_uiout, size_name, ui_left, "name", _("Name"));
547 ui_out_table_header (current_uiout, size_addr, ui_left, "addr", _("Where"));
551 const struct probe_ops *po;
554 /* We have to generate the table header for each new probe type that we
556 for (ix = 0; VEC_iterate (probe_ops_cp, all_probe_ops, ix, po); ++ix)
557 gen_ui_out_table_header_info (probes, po);
560 gen_ui_out_table_header_info (probes, pops);
562 ui_out_table_header (current_uiout, size_objname, ui_left, "object",
564 ui_out_table_body (current_uiout);
566 for (i = 0; VEC_iterate (probe_p, probes, i, probe); ++i)
568 struct cleanup *inner;
570 inner = make_cleanup_ui_out_tuple_begin_end (current_uiout, "probe");
572 ui_out_field_string (current_uiout, "provider", probe->provider);
573 ui_out_field_string (current_uiout, "name", probe->name);
574 ui_out_field_core_addr (current_uiout, "addr",
575 get_objfile_arch (probe->objfile),
580 const struct probe_ops *po;
583 for (ix = 0; VEC_iterate (probe_ops_cp, all_probe_ops, ix, po);
585 if (probe->pops == po)
586 print_ui_out_info (probe);
589 print_ui_out_info (probe);
591 ui_out_field_string (current_uiout, "object", probe->objfile->name);
592 ui_out_text (current_uiout, "\n");
597 any_found = !VEC_empty (probe_p, probes);
598 do_cleanups (cleanup);
601 ui_out_message (current_uiout, 0, _("No probes matched.\n"));
604 /* Implementation of the `info probes' command. */
607 info_probes_command (char *arg, int from_tty)
609 info_probes_for_ops (arg, from_tty, NULL);
612 /* See comments in probe.h. */
615 get_probe_argument_count (struct probe *probe)
617 const struct sym_probe_fns *probe_fns;
619 gdb_assert (probe->objfile != NULL);
620 gdb_assert (probe->objfile->sf != NULL);
622 probe_fns = probe->objfile->sf->sym_probe_fns;
624 gdb_assert (probe_fns != NULL);
626 return probe_fns->sym_get_probe_argument_count (probe);
629 /* See comments in probe.h. */
632 can_evaluate_probe_arguments (struct probe *probe)
634 const struct sym_probe_fns *probe_fns;
636 gdb_assert (probe->objfile != NULL);
637 gdb_assert (probe->objfile->sf != NULL);
639 probe_fns = probe->objfile->sf->sym_probe_fns;
641 gdb_assert (probe_fns != NULL);
643 return probe_fns->can_evaluate_probe_arguments (probe);
646 /* See comments in probe.h. */
649 evaluate_probe_argument (struct probe *probe, unsigned n)
651 const struct sym_probe_fns *probe_fns;
653 gdb_assert (probe->objfile != NULL);
654 gdb_assert (probe->objfile->sf != NULL);
656 probe_fns = probe->objfile->sf->sym_probe_fns;
658 gdb_assert (probe_fns != NULL);
660 return probe_fns->sym_evaluate_probe_argument (probe, n);
663 /* See comments in probe.h. */
666 probe_safe_evaluate_at_pc (struct frame_info *frame, unsigned n)
671 probe = find_probe_by_pc (get_frame_pc (frame));
675 n_args = get_probe_argument_count (probe);
679 return evaluate_probe_argument (probe, n);
682 /* See comment in probe.h. */
684 const struct probe_ops *
685 probe_linespec_to_ops (const char **linespecp)
688 const struct probe_ops *probe_ops;
690 for (ix = 0; VEC_iterate (probe_ops_cp, all_probe_ops, ix, probe_ops); ix++)
691 if (probe_ops->is_linespec (linespecp))
697 /* See comment in probe.h. */
700 probe_is_linespec_by_keyword (const char **linespecp, const char *const *keywords)
702 const char *s = *linespecp;
703 const char *const *csp;
705 for (csp = keywords; *csp; csp++)
707 const char *keyword = *csp;
708 size_t len = strlen (keyword);
710 if (strncmp (s, keyword, len) == 0 && isspace (s[len]))
712 *linespecp += len + 1;
720 /* Implementation of `is_linespec' method for `struct probe_ops'. */
723 probe_any_is_linespec (const char **linespecp)
725 static const char *const keywords[] = { "-p", "-probe", NULL };
727 return probe_is_linespec_by_keyword (linespecp, keywords);
730 /* Dummy method used for `probe_ops_any'. */
733 probe_any_get_probes (VEC (probe_p) **probesp, struct objfile *objfile)
735 /* No probes can be provided by this dummy backend. */
738 /* Operations associated with a generic probe. */
740 const struct probe_ops probe_ops_any =
742 probe_any_is_linespec,
743 probe_any_get_probes,
746 /* See comments in probe.h. */
748 struct cmd_list_element **
749 info_probes_cmdlist_get (void)
751 static struct cmd_list_element *info_probes_cmdlist;
753 if (info_probes_cmdlist == NULL)
754 add_prefix_cmd ("probes", class_info, info_probes_command,
756 Show available static probes.\n\
757 Usage: info probes [all|TYPE [ARGS]]\n\
758 TYPE specifies the type of the probe, and can be one of the following:\n\
760 If you specify TYPE, there may be additional arguments needed by the\n\
762 If you do not specify any argument, or specify `all', then the command\n\
763 will show information about all types of probes."),
764 &info_probes_cmdlist, "info probes ",
765 0/*allow-unknown*/, &infolist);
767 return &info_probes_cmdlist;
770 VEC (probe_ops_cp) *all_probe_ops;
772 void _initialize_probe (void);
775 _initialize_probe (void)
777 VEC_safe_push (probe_ops_cp, all_probe_ops, &probe_ops_any);
779 add_cmd ("all", class_info, info_probes_command,
781 Show information about all type of probes."),
782 info_probes_cmdlist_get ());