1 /* Process record and replay target for GDB, the GNU debugger.
3 Copyright (C) 2008-2020 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 "completer.h"
24 #include "observable.h"
26 #include "gdbsupport/common-utils.h"
27 #include "cli/cli-utils.h"
32 /* This is the debug switch for process record. */
33 unsigned int record_debug = 0;
35 /* The number of instructions to print in "record instruction-history". */
36 static unsigned int record_insn_history_size = 10;
38 /* The variable registered as control variable in the "record
39 instruction-history" command. Necessary for extra input
41 static unsigned int record_insn_history_size_setshow_var;
43 /* The number of functions to print in "record function-call-history". */
44 static unsigned int record_call_history_size = 10;
46 /* The variable registered as control variable in the "record
47 call-history" command. Necessary for extra input validation. */
48 static unsigned int record_call_history_size_setshow_var;
50 struct cmd_list_element *record_cmdlist = NULL;
51 struct cmd_list_element *record_goto_cmdlist = NULL;
52 struct cmd_list_element *set_record_cmdlist = NULL;
53 struct cmd_list_element *show_record_cmdlist = NULL;
54 struct cmd_list_element *info_record_cmdlist = NULL;
56 #define DEBUG(msg, args...) \
58 fprintf_unfiltered (gdb_stdlog, "record: " msg "\n", ##args)
63 find_record_target (void)
65 return find_target_at (record_stratum);
68 /* Check that recording is active. Throw an error, if it isn't. */
70 static struct target_ops *
71 require_record_target (void)
75 t = find_record_target ();
77 error (_("No recording is currently active.\n"
78 "Use the \"record full\" or \"record btrace\" command first."));
88 /* Check if a record target is already running. */
89 if (find_record_target () != NULL)
90 error (_("The process is already being recorded. Use \"record stop\" to "
91 "stop recording first."));
97 record_start (const char *method, const char *format, int from_tty)
102 execute_command_to_string ("record", from_tty, false);
104 error (_("Invalid format."));
106 else if (strcmp (method, "full") == 0)
109 execute_command_to_string ("record full", from_tty, false);
111 error (_("Invalid format."));
113 else if (strcmp (method, "btrace") == 0)
116 execute_command_to_string ("record btrace", from_tty, false);
117 else if (strcmp (format, "bts") == 0)
118 execute_command_to_string ("record btrace bts", from_tty, false);
119 else if (strcmp (format, "pt") == 0)
120 execute_command_to_string ("record btrace pt", from_tty, false);
122 error (_("Invalid format."));
125 error (_("Invalid method."));
131 record_stop (int from_tty)
133 execute_command_to_string ("record stop", from_tty, false);
139 record_read_memory (struct gdbarch *gdbarch,
140 CORE_ADDR memaddr, gdb_byte *myaddr,
143 int ret = target_read_memory (memaddr, myaddr, len);
146 DEBUG ("error reading memory at addr %s len = %ld.\n",
147 paddress (gdbarch, memaddr), (long) len);
152 /* Stop recording. */
155 record_stop (struct target_ops *t)
157 DEBUG ("stop %s", t->shortname ());
159 t->stop_recording ();
162 /* Unpush the record target. */
165 record_unpush (struct target_ops *t)
167 DEBUG ("unpush %s", t->shortname ());
175 record_disconnect (struct target_ops *t, const char *args, int from_tty)
177 gdb_assert (t->stratum () == record_stratum);
179 DEBUG ("disconnect %s", t->shortname ());
184 target_disconnect (args, from_tty);
190 record_detach (struct target_ops *t, inferior *inf, int from_tty)
192 gdb_assert (t->stratum () == record_stratum);
194 DEBUG ("detach %s", t->shortname ());
199 target_detach (inf, from_tty);
205 record_mourn_inferior (struct target_ops *t)
207 gdb_assert (t->stratum () == record_stratum);
209 DEBUG ("mourn inferior %s", t->shortname ());
211 /* It is safer to not stop recording. Resources will be freed when
212 threads are discarded. */
215 target_mourn_inferior (inferior_ptid);
221 record_kill (struct target_ops *t)
223 gdb_assert (t->stratum () == record_stratum);
225 DEBUG ("kill %s", t->shortname ());
227 /* It is safer to not stop recording. Resources will be freed when
228 threads are discarded. */
237 record_check_stopped_by_breakpoint (const address_space *aspace,
239 enum target_stop_reason *reason)
241 if (breakpoint_inserted_here_p (aspace, pc))
243 if (hardware_breakpoint_inserted_here_p (aspace, pc))
244 *reason = TARGET_STOPPED_BY_HW_BREAKPOINT;
246 *reason = TARGET_STOPPED_BY_SW_BREAKPOINT;
250 *reason = TARGET_STOPPED_BY_NO_REASON;
254 /* Implement "show record debug" command. */
257 show_record_debug (struct ui_file *file, int from_tty,
258 struct cmd_list_element *c, const char *value)
260 fprintf_filtered (file, _("Debugging of process record target is %s.\n"),
264 /* Alias for "target record". */
267 cmd_record_start (const char *args, int from_tty)
269 execute_command ("target record-full", from_tty);
272 /* Truncate the record log from the present point
273 of replay until the end. */
276 cmd_record_delete (const char *args, int from_tty)
278 require_record_target ();
280 if (!target_record_is_replaying (inferior_ptid))
282 printf_unfiltered (_("Already at end of record list.\n"));
286 if (!target_supports_delete_record ())
288 printf_unfiltered (_("The current record target does not support "
289 "this operation.\n"));
293 if (!from_tty || query (_("Delete the log from this point forward "
294 "and begin to record the running message "
296 target_delete_record ();
299 /* Implement the "stoprecord" or "record stop" command. */
302 cmd_record_stop (const char *args, int from_tty)
304 struct target_ops *t;
306 t = require_record_target ();
311 printf_unfiltered (_("Process record is stopped and all execution "
312 "logs are deleted.\n"));
314 gdb::observers::record_changed.notify (current_inferior (), 0, NULL, NULL);
318 /* The "info record" command. */
321 info_record_command (const char *args, int from_tty)
323 struct target_ops *t;
325 t = find_record_target ();
328 printf_filtered (_("No recording is currently active.\n"));
332 printf_filtered (_("Active record target: %s\n"), t->shortname ());
336 /* The "record save" command. */
339 cmd_record_save (const char *args, int from_tty)
341 const char *recfilename;
342 char recfilename_buffer[40];
344 require_record_target ();
346 if (args != NULL && *args != 0)
350 /* Default recfile name is "gdb_record.PID". */
351 xsnprintf (recfilename_buffer, sizeof (recfilename_buffer),
352 "gdb_record.%d", inferior_ptid.pid ());
353 recfilename = recfilename_buffer;
356 target_save_record (recfilename);
362 record_goto (const char *arg)
366 if (arg == NULL || *arg == '\0')
367 error (_("Command requires an argument (insn number to go to)."));
369 insn = parse_and_eval_long (arg);
371 require_record_target ();
372 target_goto_record (insn);
375 /* "record goto" command. Argument is an instruction number,
376 as given by "info record".
378 Rewinds the recording (forward or backward) to the given instruction. */
381 cmd_record_goto (const char *arg, int from_tty)
386 /* The "record goto begin" command. */
389 cmd_record_goto_begin (const char *arg, int from_tty)
391 if (arg != NULL && *arg != '\0')
392 error (_("Junk after argument: %s."), arg);
394 require_record_target ();
395 target_goto_record_begin ();
398 /* The "record goto end" command. */
401 cmd_record_goto_end (const char *arg, int from_tty)
403 if (arg != NULL && *arg != '\0')
404 error (_("Junk after argument: %s."), arg);
406 require_record_target ();
407 target_goto_record_end ();
410 /* Read an instruction number from an argument string. */
413 get_insn_number (const char **arg)
416 const char *begin, *end, *pos;
419 pos = skip_spaces (begin);
422 error (_("Expected positive number, got: %s."), pos);
424 number = strtoulst (pos, &end, 10);
426 *arg += (end - begin);
431 /* Read a context size from an argument string. */
434 get_context_size (const char **arg)
439 pos = skip_spaces (*arg);
442 error (_("Expected positive number, got: %s."), pos);
444 long result = strtol (pos, &end, 10);
449 /* Complain about junk at the end of an argument string. */
452 no_chunk (const char *arg)
455 error (_("Junk after argument: %s."), arg);
458 /* Read instruction-history modifiers from an argument string. */
460 static gdb_disassembly_flags
461 get_insn_history_modifiers (const char **arg)
463 gdb_disassembly_flags modifiers;
477 error (_("Missing modifier."));
479 for (; *args; ++args)
491 modifiers |= DISASSEMBLY_SOURCE;
492 modifiers |= DISASSEMBLY_FILENAME;
495 modifiers |= DISASSEMBLY_RAW_INSN;
498 modifiers |= DISASSEMBLY_OMIT_FNAME;
501 modifiers |= DISASSEMBLY_OMIT_PC;
504 error (_("Invalid modifier: %c."), *args);
508 args = skip_spaces (args);
511 /* Update the argument string. */
517 /* The "set record instruction-history-size / set record
518 function-call-history-size" commands are unsigned, with UINT_MAX
519 meaning unlimited. The target interfaces works with signed int
520 though, to indicate direction, so map "unlimited" to INT_MAX, which
521 is about the same as unlimited in practice. If the user does have
522 a log that huge, she can fetch it in chunks across several requests,
523 but she'll likely have other problems first... */
526 command_size_to_target_size (unsigned int size)
528 gdb_assert (size <= INT_MAX || size == UINT_MAX);
530 if (size == UINT_MAX)
536 /* The "record instruction-history" command. */
539 cmd_record_insn_history (const char *arg, int from_tty)
541 require_record_target ();
543 gdb_disassembly_flags flags = get_insn_history_modifiers (&arg);
545 int size = command_size_to_target_size (record_insn_history_size);
547 if (arg == NULL || *arg == 0 || strcmp (arg, "+") == 0)
548 target_insn_history (size, flags);
549 else if (strcmp (arg, "-") == 0)
550 target_insn_history (-size, flags);
555 begin = get_insn_number (&arg);
559 arg = skip_spaces (++arg);
564 size = get_context_size (&arg);
568 target_insn_history_from (begin, size, flags);
570 else if (*arg == '-')
573 size = get_context_size (&arg);
577 target_insn_history_from (begin, -size, flags);
581 end = get_insn_number (&arg);
585 target_insn_history_range (begin, end, flags);
592 target_insn_history_from (begin, size, flags);
599 /* Read function-call-history modifiers from an argument string. */
601 static record_print_flags
602 get_call_history_modifiers (const char **arg)
604 record_print_flags modifiers = 0;
605 const char *args = *arg;
615 error (_("Missing modifier."));
617 for (; *args; ++args)
628 modifiers |= RECORD_PRINT_SRC_LINE;
631 modifiers |= RECORD_PRINT_INSN_RANGE;
634 modifiers |= RECORD_PRINT_INDENT_CALLS;
637 error (_("Invalid modifier: %c."), *args);
641 args = skip_spaces (args);
644 /* Update the argument string. */
650 /* The "record function-call-history" command. */
653 cmd_record_call_history (const char *arg, int from_tty)
655 require_record_target ();
657 record_print_flags flags = get_call_history_modifiers (&arg);
659 int size = command_size_to_target_size (record_call_history_size);
661 if (arg == NULL || *arg == 0 || strcmp (arg, "+") == 0)
662 target_call_history (size, flags);
663 else if (strcmp (arg, "-") == 0)
664 target_call_history (-size, flags);
669 begin = get_insn_number (&arg);
673 arg = skip_spaces (++arg);
678 size = get_context_size (&arg);
682 target_call_history_from (begin, size, flags);
684 else if (*arg == '-')
687 size = get_context_size (&arg);
691 target_call_history_from (begin, -size, flags);
695 end = get_insn_number (&arg);
699 target_call_history_range (begin, end, flags);
706 target_call_history_from (begin, size, flags);
713 /* Helper for "set record instruction-history-size" and "set record
714 function-call-history-size" input validation. COMMAND_VAR is the
715 variable registered in the command as control variable. *SETTING
716 is the real setting the command allows changing. */
719 validate_history_size (unsigned int *command_var, unsigned int *setting)
721 if (*command_var != UINT_MAX && *command_var > INT_MAX)
723 unsigned int new_value = *command_var;
725 /* Restore previous value. */
726 *command_var = *setting;
727 error (_("integer %u out of range"), new_value);
730 /* Commit new value. */
731 *setting = *command_var;
734 /* Called by do_setshow_command. We only want values in the
735 [0..INT_MAX] range, while the command's machinery accepts
736 [0..UINT_MAX]. See command_size_to_target_size. */
739 set_record_insn_history_size (const char *args, int from_tty,
740 struct cmd_list_element *c)
742 validate_history_size (&record_insn_history_size_setshow_var,
743 &record_insn_history_size);
746 /* Called by do_setshow_command. We only want values in the
747 [0..INT_MAX] range, while the command's machinery accepts
748 [0..UINT_MAX]. See command_size_to_target_size. */
751 set_record_call_history_size (const char *args, int from_tty,
752 struct cmd_list_element *c)
754 validate_history_size (&record_call_history_size_setshow_var,
755 &record_call_history_size);
758 void _initialize_record ();
760 _initialize_record ()
762 struct cmd_list_element *c;
764 add_setshow_zuinteger_cmd ("record", no_class, &record_debug,
765 _("Set debugging of record/replay feature."),
766 _("Show debugging of record/replay feature."),
767 _("When enabled, debugging output for "
768 "record/replay feature is displayed."),
769 NULL, show_record_debug, &setdebuglist,
772 add_setshow_uinteger_cmd ("instruction-history-size", no_class,
773 &record_insn_history_size_setshow_var, _("\
774 Set number of instructions to print in \"record instruction-history\"."), _("\
775 Show number of instructions to print in \"record instruction-history\"."), _("\
776 A size of \"unlimited\" means unlimited instructions. The default is 10."),
777 set_record_insn_history_size, NULL,
778 &set_record_cmdlist, &show_record_cmdlist);
780 add_setshow_uinteger_cmd ("function-call-history-size", no_class,
781 &record_call_history_size_setshow_var, _("\
782 Set number of function to print in \"record function-call-history\"."), _("\
783 Show number of functions to print in \"record function-call-history\"."), _("\
784 A size of \"unlimited\" means unlimited lines. The default is 10."),
785 set_record_call_history_size, NULL,
786 &set_record_cmdlist, &show_record_cmdlist);
788 c = add_prefix_cmd ("record", class_obscure, cmd_record_start,
789 _("Start recording."),
790 &record_cmdlist, "record ", 0, &cmdlist);
791 set_cmd_completer (c, filename_completer);
793 add_com_alias ("rec", "record", class_obscure, 1);
794 add_basic_prefix_cmd ("record", class_support,
795 _("Set record options."), &set_record_cmdlist,
796 "set record ", 0, &setlist);
797 add_alias_cmd ("rec", "record", class_obscure, 1, &setlist);
798 add_show_prefix_cmd ("record", class_support,
799 _("Show record options."), &show_record_cmdlist,
800 "show record ", 0, &showlist);
801 add_alias_cmd ("rec", "record", class_obscure, 1, &showlist);
802 add_prefix_cmd ("record", class_support, info_record_command,
803 _("Info record options."), &info_record_cmdlist,
804 "info record ", 0, &infolist);
805 add_alias_cmd ("rec", "record", class_obscure, 1, &infolist);
807 c = add_cmd ("save", class_obscure, cmd_record_save,
808 _("Save the execution log to a file.\n\
809 Usage: record save [FILENAME]\n\
810 Default filename is 'gdb_record.PROCESS_ID'."),
812 set_cmd_completer (c, filename_completer);
814 add_cmd ("delete", class_obscure, cmd_record_delete,
815 _("Delete the rest of execution log and start recording it anew."),
817 add_alias_cmd ("d", "delete", class_obscure, 1, &record_cmdlist);
818 add_alias_cmd ("del", "delete", class_obscure, 1, &record_cmdlist);
820 add_cmd ("stop", class_obscure, cmd_record_stop,
821 _("Stop the record/replay target."),
823 add_alias_cmd ("s", "stop", class_obscure, 1, &record_cmdlist);
825 add_prefix_cmd ("goto", class_obscure, cmd_record_goto, _("\
826 Restore the program to its state at instruction number N.\n\
827 Argument is instruction number, as shown by 'info record'."),
828 &record_goto_cmdlist, "record goto ", 1, &record_cmdlist);
830 add_cmd ("begin", class_obscure, cmd_record_goto_begin,
831 _("Go to the beginning of the execution log."),
832 &record_goto_cmdlist);
833 add_alias_cmd ("start", "begin", class_obscure, 1, &record_goto_cmdlist);
835 add_cmd ("end", class_obscure, cmd_record_goto_end,
836 _("Go to the end of the execution log."),
837 &record_goto_cmdlist);
839 add_cmd ("instruction-history", class_obscure, cmd_record_insn_history, _("\
840 Print disassembled instructions stored in the execution log.\n\
841 With a /m or /s modifier, source lines are included (if available).\n\
842 With a /r modifier, raw instructions in hex are included.\n\
843 With a /f modifier, function names are omitted.\n\
844 With a /p modifier, current position markers are omitted.\n\
845 With no argument, disassembles ten more instructions after the previous \
847 \"record instruction-history -\" disassembles ten instructions before a \
848 previous disassembly.\n\
849 One argument specifies an instruction number as shown by 'info record', and \
850 ten instructions are disassembled after that instruction.\n\
851 Two arguments with comma between them specify starting and ending instruction \
852 numbers to disassemble.\n\
853 If the second argument is preceded by '+' or '-', it specifies the distance \
854 from the first argument.\n\
855 The number of instructions to disassemble can be defined with \"set record \
856 instruction-history-size\"."),
859 add_cmd ("function-call-history", class_obscure, cmd_record_call_history, _("\
860 Prints the execution history at function granularity.\n\
861 It prints one line for each sequence of instructions that belong to the same \
863 Without modifiers, it prints the function name.\n\
864 With a /l modifier, the source file and line number range is included.\n\
865 With a /i modifier, the instruction number range is included.\n\
866 With a /c modifier, the output is indented based on the call stack depth.\n\
867 With no argument, prints ten more lines after the previous ten-line print.\n\
868 \"record function-call-history -\" prints ten lines before a previous ten-line \
870 One argument specifies a function number as shown by 'info record', and \
871 ten lines are printed after that function.\n\
872 Two arguments with comma between them specify a range of functions to print.\n\
873 If the second argument is preceded by '+' or '-', it specifies the distance \
874 from the first argument.\n\
875 The number of functions to print can be defined with \"set record \
876 function-call-history-size\"."),
879 /* Sync command control variables. */
880 record_insn_history_size_setshow_var = record_insn_history_size;
881 record_call_history_size_setshow_var = record_call_history_size;