1 /* Process record and replay target for GDB, the GNU debugger.
3 Copyright (C) 2013-2018 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 "gdbthread.h"
24 #include "event-top.h"
25 #include "completer.h"
26 #include "arch-utils.h"
30 #include "record-full.h"
33 #include "event-loop.h"
36 #include "observable.h"
38 #include "common/gdb_unlinker.h"
39 #include "common/byte-vector.h"
43 /* This module implements "target record-full", also known as "process
44 record and replay". This target sits on top of a "normal" target
45 (a target that "has execution"), and provides a record and replay
46 functionality, including reverse debugging.
48 Target record has two modes: recording, and replaying.
50 In record mode, we intercept the resume and wait methods.
51 Whenever gdb resumes the target, we run the target in single step
52 mode, and we build up an execution log in which, for each executed
53 instruction, we record all changes in memory and register state.
54 This is invisible to the user, to whom it just looks like an
55 ordinary debugging session (except for performance degredation).
57 In replay mode, instead of actually letting the inferior run as a
58 process, we simulate its execution by playing back the recorded
59 execution log. For each instruction in the log, we simulate the
60 instruction's side effects by duplicating the changes that it would
61 have made on memory and registers. */
63 #define DEFAULT_RECORD_FULL_INSN_MAX_NUM 200000
65 #define RECORD_FULL_IS_REPLAY \
66 (record_full_list->next || ::execution_direction == EXEC_REVERSE)
68 #define RECORD_FULL_FILE_MAGIC netorder32(0x20091016)
70 /* These are the core structs of the process record functionality.
72 A record_full_entry is a record of the value change of a register
73 ("record_full_reg") or a part of memory ("record_full_mem"). And each
74 instruction must have a struct record_full_entry ("record_full_end")
75 that indicates that this is the last struct record_full_entry of this
78 Each struct record_full_entry is linked to "record_full_list" by "prev"
79 and "next" pointers. */
81 struct record_full_mem_entry
85 /* Set this flag if target memory for this entry
86 can no longer be accessed. */
87 int mem_entry_not_accessible;
91 gdb_byte buf[sizeof (gdb_byte *)];
95 struct record_full_reg_entry
102 gdb_byte buf[2 * sizeof (gdb_byte *)];
106 struct record_full_end_entry
108 enum gdb_signal sigval;
112 enum record_full_type
119 /* This is the data structure that makes up the execution log.
121 The execution log consists of a single linked list of entries
122 of type "struct record_full_entry". It is doubly linked so that it
123 can be traversed in either direction.
125 The start of the list is anchored by a struct called
126 "record_full_first". The pointer "record_full_list" either points
127 to the last entry that was added to the list (in record mode), or to
128 the next entry in the list that will be executed (in replay mode).
130 Each list element (struct record_full_entry), in addition to next
131 and prev pointers, consists of a union of three entry types: mem,
132 reg, and end. A field called "type" determines which entry type is
133 represented by a given list element.
135 Each instruction that is added to the execution log is represented
136 by a variable number of list elements ('entries'). The instruction
137 will have one "reg" entry for each register that is changed by
138 executing the instruction (including the PC in every case). It
139 will also have one "mem" entry for each memory change. Finally,
140 each instruction will have an "end" entry that separates it from
141 the changes associated with the next instruction. */
143 struct record_full_entry
145 struct record_full_entry *prev;
146 struct record_full_entry *next;
147 enum record_full_type type;
151 struct record_full_reg_entry reg;
153 struct record_full_mem_entry mem;
155 struct record_full_end_entry end;
159 /* If true, query if PREC cannot record memory
160 change of next instruction. */
161 int record_full_memory_query = 0;
163 struct record_full_core_buf_entry
165 struct record_full_core_buf_entry *prev;
166 struct target_section *p;
170 /* Record buf with core target. */
171 static detached_regcache *record_full_core_regbuf = NULL;
172 static struct target_section *record_full_core_start;
173 static struct target_section *record_full_core_end;
174 static struct record_full_core_buf_entry *record_full_core_buf_list = NULL;
176 /* The following variables are used for managing the linked list that
177 represents the execution log.
179 record_full_first is the anchor that holds down the beginning of
182 record_full_list serves two functions:
183 1) In record mode, it anchors the end of the list.
184 2) In replay mode, it traverses the list and points to
185 the next instruction that must be emulated.
187 record_full_arch_list_head and record_full_arch_list_tail are used
188 to manage a separate list, which is used to build up the change
189 elements of the currently executing instruction during record mode.
190 When this instruction has been completely annotated in the "arch
191 list", it will be appended to the main execution log. */
193 static struct record_full_entry record_full_first;
194 static struct record_full_entry *record_full_list = &record_full_first;
195 static struct record_full_entry *record_full_arch_list_head = NULL;
196 static struct record_full_entry *record_full_arch_list_tail = NULL;
198 /* 1 ask user. 0 auto delete the last struct record_full_entry. */
199 static int record_full_stop_at_limit = 1;
200 /* Maximum allowed number of insns in execution log. */
201 static unsigned int record_full_insn_max_num
202 = DEFAULT_RECORD_FULL_INSN_MAX_NUM;
203 /* Actual count of insns presently in execution log. */
204 static unsigned int record_full_insn_num = 0;
205 /* Count of insns logged so far (may be larger
206 than count of insns presently in execution log). */
207 static ULONGEST record_full_insn_count;
209 static const char record_longname[]
210 = N_("Process record and replay target");
211 static const char record_doc[]
212 = N_("Log program while executing and replay execution from log.");
214 /* Base class implementing functionality common to both the
215 "record-full" and "record-core" targets. */
217 class record_full_base_target : public target_ops
220 record_full_base_target ()
221 { to_stratum = record_stratum; }
223 const target_info &info () const override = 0;
225 void close () override;
226 void async (int) override;
227 ptid_t wait (ptid_t, struct target_waitstatus *, int) override;
228 bool stopped_by_watchpoint () override;
229 bool stopped_data_address (CORE_ADDR *) override;
231 bool stopped_by_sw_breakpoint () override;
232 bool supports_stopped_by_sw_breakpoint () override;
234 bool stopped_by_hw_breakpoint () override;
235 bool supports_stopped_by_hw_breakpoint () override;
237 bool can_execute_reverse () override;
239 /* Add bookmark target methods. */
240 gdb_byte *get_bookmark (const char *, int) override;
241 void goto_bookmark (const gdb_byte *, int) override;
242 enum exec_direction_kind execution_direction () override;
243 enum record_method record_method (ptid_t ptid) override;
244 void info_record () override;
245 void save_record (const char *filename) override;
246 bool supports_delete_record () override;
247 void delete_record () override;
248 bool record_is_replaying (ptid_t ptid) override;
249 bool record_will_replay (ptid_t ptid, int dir) override;
250 void record_stop_replaying () override;
251 void goto_record_begin () override;
252 void goto_record_end () override;
253 void goto_record (ULONGEST insn) override;
256 /* The "record-full" target. */
258 static const target_info record_full_target_info = {
264 class record_full_target final : public record_full_base_target
267 const target_info &info () const override
268 { return record_full_target_info; }
270 void commit_resume () override;
271 void resume (ptid_t, int, enum gdb_signal) override;
272 void disconnect (const char *, int) override;
273 void detach (inferior *, int) override;
274 void mourn_inferior () override;
275 void kill () override;
276 void store_registers (struct regcache *, int) override;
277 enum target_xfer_status xfer_partial (enum target_object object,
280 const gdb_byte *writebuf,
281 ULONGEST offset, ULONGEST len,
282 ULONGEST *xfered_len) override;
283 int insert_breakpoint (struct gdbarch *,
284 struct bp_target_info *) override;
285 int remove_breakpoint (struct gdbarch *,
286 struct bp_target_info *,
287 enum remove_bp_reason) override;
290 /* The "record-core" target. */
292 static const target_info record_full_core_target_info = {
298 class record_full_core_target final : public record_full_base_target
301 const target_info &info () const override
302 { return record_full_core_target_info; }
304 void resume (ptid_t, int, enum gdb_signal) override;
305 void disconnect (const char *, int) override;
306 void kill () override;
307 void fetch_registers (struct regcache *regcache, int regno) override;
308 void prepare_to_store (struct regcache *regcache) override;
309 void store_registers (struct regcache *, int) override;
310 enum target_xfer_status xfer_partial (enum target_object object,
313 const gdb_byte *writebuf,
314 ULONGEST offset, ULONGEST len,
315 ULONGEST *xfered_len) override;
316 int insert_breakpoint (struct gdbarch *,
317 struct bp_target_info *) override;
318 int remove_breakpoint (struct gdbarch *,
319 struct bp_target_info *,
320 enum remove_bp_reason) override;
322 bool has_execution (ptid_t) override;
325 static record_full_target record_full_ops;
326 static record_full_core_target record_full_core_ops;
329 record_full_target::detach (inferior *inf, int from_tty)
331 record_detach (this, inf, from_tty);
335 record_full_target::disconnect (const char *args, int from_tty)
337 record_disconnect (this, args, from_tty);
341 record_full_core_target::disconnect (const char *args, int from_tty)
343 record_disconnect (this, args, from_tty);
347 record_full_target::mourn_inferior ()
349 record_mourn_inferior (this);
353 record_full_target::kill ()
358 /* See record-full.h. */
361 record_full_is_used (void)
363 struct target_ops *t;
365 t = find_record_target ();
366 return (t == &record_full_ops
367 || t == &record_full_core_ops);
371 /* Command lists for "set/show record full". */
372 static struct cmd_list_element *set_record_full_cmdlist;
373 static struct cmd_list_element *show_record_full_cmdlist;
375 /* Command list for "record full". */
376 static struct cmd_list_element *record_full_cmdlist;
378 static void record_full_goto_insn (struct record_full_entry *entry,
379 enum exec_direction_kind dir);
381 /* Alloc and free functions for record_full_reg, record_full_mem, and
382 record_full_end entries. */
384 /* Alloc a record_full_reg record entry. */
386 static inline struct record_full_entry *
387 record_full_reg_alloc (struct regcache *regcache, int regnum)
389 struct record_full_entry *rec;
390 struct gdbarch *gdbarch = regcache->arch ();
392 rec = XCNEW (struct record_full_entry);
393 rec->type = record_full_reg;
394 rec->u.reg.num = regnum;
395 rec->u.reg.len = register_size (gdbarch, regnum);
396 if (rec->u.reg.len > sizeof (rec->u.reg.u.buf))
397 rec->u.reg.u.ptr = (gdb_byte *) xmalloc (rec->u.reg.len);
402 /* Free a record_full_reg record entry. */
405 record_full_reg_release (struct record_full_entry *rec)
407 gdb_assert (rec->type == record_full_reg);
408 if (rec->u.reg.len > sizeof (rec->u.reg.u.buf))
409 xfree (rec->u.reg.u.ptr);
413 /* Alloc a record_full_mem record entry. */
415 static inline struct record_full_entry *
416 record_full_mem_alloc (CORE_ADDR addr, int len)
418 struct record_full_entry *rec;
420 rec = XCNEW (struct record_full_entry);
421 rec->type = record_full_mem;
422 rec->u.mem.addr = addr;
423 rec->u.mem.len = len;
424 if (rec->u.mem.len > sizeof (rec->u.mem.u.buf))
425 rec->u.mem.u.ptr = (gdb_byte *) xmalloc (len);
430 /* Free a record_full_mem record entry. */
433 record_full_mem_release (struct record_full_entry *rec)
435 gdb_assert (rec->type == record_full_mem);
436 if (rec->u.mem.len > sizeof (rec->u.mem.u.buf))
437 xfree (rec->u.mem.u.ptr);
441 /* Alloc a record_full_end record entry. */
443 static inline struct record_full_entry *
444 record_full_end_alloc (void)
446 struct record_full_entry *rec;
448 rec = XCNEW (struct record_full_entry);
449 rec->type = record_full_end;
454 /* Free a record_full_end record entry. */
457 record_full_end_release (struct record_full_entry *rec)
462 /* Free one record entry, any type.
463 Return entry->type, in case caller wants to know. */
465 static inline enum record_full_type
466 record_full_entry_release (struct record_full_entry *rec)
468 enum record_full_type type = rec->type;
471 case record_full_reg:
472 record_full_reg_release (rec);
474 case record_full_mem:
475 record_full_mem_release (rec);
477 case record_full_end:
478 record_full_end_release (rec);
484 /* Free all record entries in list pointed to by REC. */
487 record_full_list_release (struct record_full_entry *rec)
498 record_full_entry_release (rec->next);
501 if (rec == &record_full_first)
503 record_full_insn_num = 0;
504 record_full_first.next = NULL;
507 record_full_entry_release (rec);
510 /* Free all record entries forward of the given list position. */
513 record_full_list_release_following (struct record_full_entry *rec)
515 struct record_full_entry *tmp = rec->next;
521 if (record_full_entry_release (tmp) == record_full_end)
523 record_full_insn_num--;
524 record_full_insn_count--;
530 /* Delete the first instruction from the beginning of the log, to make
531 room for adding a new instruction at the end of the log.
533 Note -- this function does not modify record_full_insn_num. */
536 record_full_list_release_first (void)
538 struct record_full_entry *tmp;
540 if (!record_full_first.next)
543 /* Loop until a record_full_end. */
546 /* Cut record_full_first.next out of the linked list. */
547 tmp = record_full_first.next;
548 record_full_first.next = tmp->next;
549 tmp->next->prev = &record_full_first;
551 /* tmp is now isolated, and can be deleted. */
552 if (record_full_entry_release (tmp) == record_full_end)
553 break; /* End loop at first record_full_end. */
555 if (!record_full_first.next)
557 gdb_assert (record_full_insn_num == 1);
558 break; /* End loop when list is empty. */
563 /* Add a struct record_full_entry to record_full_arch_list. */
566 record_full_arch_list_add (struct record_full_entry *rec)
568 if (record_debug > 1)
569 fprintf_unfiltered (gdb_stdlog,
570 "Process record: record_full_arch_list_add %s.\n",
571 host_address_to_string (rec));
573 if (record_full_arch_list_tail)
575 record_full_arch_list_tail->next = rec;
576 rec->prev = record_full_arch_list_tail;
577 record_full_arch_list_tail = rec;
581 record_full_arch_list_head = rec;
582 record_full_arch_list_tail = rec;
586 /* Return the value storage location of a record entry. */
587 static inline gdb_byte *
588 record_full_get_loc (struct record_full_entry *rec)
591 case record_full_mem:
592 if (rec->u.mem.len > sizeof (rec->u.mem.u.buf))
593 return rec->u.mem.u.ptr;
595 return rec->u.mem.u.buf;
596 case record_full_reg:
597 if (rec->u.reg.len > sizeof (rec->u.reg.u.buf))
598 return rec->u.reg.u.ptr;
600 return rec->u.reg.u.buf;
601 case record_full_end:
603 gdb_assert_not_reached ("unexpected record_full_entry type");
608 /* Record the value of a register NUM to record_full_arch_list. */
611 record_full_arch_list_add_reg (struct regcache *regcache, int regnum)
613 struct record_full_entry *rec;
615 if (record_debug > 1)
616 fprintf_unfiltered (gdb_stdlog,
617 "Process record: add register num = %d to "
621 rec = record_full_reg_alloc (regcache, regnum);
623 regcache->raw_read (regnum, record_full_get_loc (rec));
625 record_full_arch_list_add (rec);
630 /* Record the value of a region of memory whose address is ADDR and
631 length is LEN to record_full_arch_list. */
634 record_full_arch_list_add_mem (CORE_ADDR addr, int len)
636 struct record_full_entry *rec;
638 if (record_debug > 1)
639 fprintf_unfiltered (gdb_stdlog,
640 "Process record: add mem addr = %s len = %d to "
642 paddress (target_gdbarch (), addr), len);
644 if (!addr) /* FIXME: Why? Some arch must permit it... */
647 rec = record_full_mem_alloc (addr, len);
649 if (record_read_memory (target_gdbarch (), addr,
650 record_full_get_loc (rec), len))
652 record_full_mem_release (rec);
656 record_full_arch_list_add (rec);
661 /* Add a record_full_end type struct record_full_entry to
662 record_full_arch_list. */
665 record_full_arch_list_add_end (void)
667 struct record_full_entry *rec;
669 if (record_debug > 1)
670 fprintf_unfiltered (gdb_stdlog,
671 "Process record: add end to arch list.\n");
673 rec = record_full_end_alloc ();
674 rec->u.end.sigval = GDB_SIGNAL_0;
675 rec->u.end.insn_num = ++record_full_insn_count;
677 record_full_arch_list_add (rec);
683 record_full_check_insn_num (void)
685 if (record_full_insn_num == record_full_insn_max_num)
687 /* Ask user what to do. */
688 if (record_full_stop_at_limit)
690 if (!yquery (_("Do you want to auto delete previous execution "
691 "log entries when record/replay buffer becomes "
692 "full (record full stop-at-limit)?")))
693 error (_("Process record: stopped by user."));
694 record_full_stop_at_limit = 0;
700 record_full_arch_list_cleanups (void *ignore)
702 record_full_list_release (record_full_arch_list_tail);
705 /* Before inferior step (when GDB record the running message, inferior
706 only can step), GDB will call this function to record the values to
707 record_full_list. This function will call gdbarch_process_record to
708 record the running message of inferior and set them to
709 record_full_arch_list, and add it to record_full_list. */
712 record_full_message (struct regcache *regcache, enum gdb_signal signal)
715 struct gdbarch *gdbarch = regcache->arch ();
716 struct cleanup *old_cleanups
717 = make_cleanup (record_full_arch_list_cleanups, 0);
719 record_full_arch_list_head = NULL;
720 record_full_arch_list_tail = NULL;
722 /* Check record_full_insn_num. */
723 record_full_check_insn_num ();
725 /* If gdb sends a signal value to target_resume,
726 save it in the 'end' field of the previous instruction.
728 Maybe process record should record what really happened,
729 rather than what gdb pretends has happened.
731 So if Linux delivered the signal to the child process during
732 the record mode, we will record it and deliver it again in
735 If user says "ignore this signal" during the record mode, then
736 it will be ignored again during the replay mode (no matter if
737 the user says something different, like "deliver this signal"
738 during the replay mode).
740 User should understand that nothing he does during the replay
741 mode will change the behavior of the child. If he tries,
742 then that is a user error.
744 But we should still deliver the signal to gdb during the replay,
745 if we delivered it during the recording. Therefore we should
746 record the signal during record_full_wait, not
747 record_full_resume. */
748 if (record_full_list != &record_full_first) /* FIXME better way to check */
750 gdb_assert (record_full_list->type == record_full_end);
751 record_full_list->u.end.sigval = signal;
754 if (signal == GDB_SIGNAL_0
755 || !gdbarch_process_record_signal_p (gdbarch))
756 ret = gdbarch_process_record (gdbarch,
758 regcache_read_pc (regcache));
760 ret = gdbarch_process_record_signal (gdbarch,
765 error (_("Process record: inferior program stopped."));
767 error (_("Process record: failed to record execution log."));
769 discard_cleanups (old_cleanups);
771 record_full_list->next = record_full_arch_list_head;
772 record_full_arch_list_head->prev = record_full_list;
773 record_full_list = record_full_arch_list_tail;
775 if (record_full_insn_num == record_full_insn_max_num)
776 record_full_list_release_first ();
778 record_full_insn_num++;
782 record_full_message_wrapper_safe (struct regcache *regcache,
783 enum gdb_signal signal)
787 record_full_message (regcache, signal);
789 CATCH (ex, RETURN_MASK_ALL)
791 exception_print (gdb_stderr, ex);
799 /* Set to 1 if record_full_store_registers and record_full_xfer_partial
800 doesn't need record. */
802 static int record_full_gdb_operation_disable = 0;
804 scoped_restore_tmpl<int>
805 record_full_gdb_operation_disable_set (void)
807 return make_scoped_restore (&record_full_gdb_operation_disable, 1);
810 /* Flag set to TRUE for target_stopped_by_watchpoint. */
811 static enum target_stop_reason record_full_stop_reason
812 = TARGET_STOPPED_BY_NO_REASON;
814 /* Execute one instruction from the record log. Each instruction in
815 the log will be represented by an arbitrary sequence of register
816 entries and memory entries, followed by an 'end' entry. */
819 record_full_exec_insn (struct regcache *regcache,
820 struct gdbarch *gdbarch,
821 struct record_full_entry *entry)
825 case record_full_reg: /* reg */
827 gdb::byte_vector reg (entry->u.reg.len);
829 if (record_debug > 1)
830 fprintf_unfiltered (gdb_stdlog,
831 "Process record: record_full_reg %s to "
832 "inferior num = %d.\n",
833 host_address_to_string (entry),
836 regcache->cooked_read (entry->u.reg.num, reg.data ());
837 regcache_cooked_write (regcache, entry->u.reg.num,
838 record_full_get_loc (entry));
839 memcpy (record_full_get_loc (entry), reg.data (), entry->u.reg.len);
843 case record_full_mem: /* mem */
845 /* Nothing to do if the entry is flagged not_accessible. */
846 if (!entry->u.mem.mem_entry_not_accessible)
848 gdb::byte_vector mem (entry->u.mem.len);
850 if (record_debug > 1)
851 fprintf_unfiltered (gdb_stdlog,
852 "Process record: record_full_mem %s to "
853 "inferior addr = %s len = %d.\n",
854 host_address_to_string (entry),
855 paddress (gdbarch, entry->u.mem.addr),
858 if (record_read_memory (gdbarch,
859 entry->u.mem.addr, mem.data (),
861 entry->u.mem.mem_entry_not_accessible = 1;
864 if (target_write_memory (entry->u.mem.addr,
865 record_full_get_loc (entry),
868 entry->u.mem.mem_entry_not_accessible = 1;
870 warning (_("Process record: error writing memory at "
871 "addr = %s len = %d."),
872 paddress (gdbarch, entry->u.mem.addr),
877 memcpy (record_full_get_loc (entry), mem.data (),
880 /* We've changed memory --- check if a hardware
881 watchpoint should trap. Note that this
882 presently assumes the target beneath supports
883 continuable watchpoints. On non-continuable
884 watchpoints target, we'll want to check this
885 _before_ actually doing the memory change, and
886 not doing the change at all if the watchpoint
888 if (hardware_watchpoint_inserted_in_range
889 (regcache->aspace (),
890 entry->u.mem.addr, entry->u.mem.len))
891 record_full_stop_reason = TARGET_STOPPED_BY_WATCHPOINT;
900 static void record_full_restore (void);
902 /* Asynchronous signal handle registered as event loop source for when
903 we have pending events ready to be passed to the core. */
905 static struct async_event_handler *record_full_async_inferior_event_token;
908 record_full_async_inferior_event_handler (gdb_client_data data)
910 inferior_event_handler (INF_REG_EVENT, NULL);
913 /* Open the process record target for 'core' files. */
916 record_full_core_open_1 (const char *name, int from_tty)
918 struct regcache *regcache = get_current_regcache ();
919 int regnum = gdbarch_num_regs (regcache->arch ());
922 /* Get record_full_core_regbuf. */
923 target_fetch_registers (regcache, -1);
924 record_full_core_regbuf = new detached_regcache (regcache->arch (), false);
926 for (i = 0; i < regnum; i ++)
927 record_full_core_regbuf->raw_supply (i, *regcache);
929 /* Get record_full_core_start and record_full_core_end. */
930 if (build_section_table (core_bfd, &record_full_core_start,
931 &record_full_core_end))
933 delete record_full_core_regbuf;
934 record_full_core_regbuf = NULL;
935 error (_("\"%s\": Can't find sections: %s"),
936 bfd_get_filename (core_bfd), bfd_errmsg (bfd_get_error ()));
939 push_target (&record_full_core_ops);
940 record_full_restore ();
943 /* Open the process record target for 'live' processes. */
946 record_full_open_1 (const char *name, int from_tty)
949 fprintf_unfiltered (gdb_stdlog, "Process record: record_full_open_1\n");
952 if (!target_has_execution)
953 error (_("Process record: the program is not being run."));
955 error (_("Process record target can't debug inferior in non-stop mode "
958 if (!gdbarch_process_record_p (target_gdbarch ()))
959 error (_("Process record: the current architecture doesn't support "
960 "record function."));
962 push_target (&record_full_ops);
965 static void record_full_init_record_breakpoints (void);
967 /* Open the process record target. */
970 record_full_open (const char *name, int from_tty)
973 fprintf_unfiltered (gdb_stdlog, "Process record: record_full_open\n");
978 record_full_insn_num = 0;
979 record_full_insn_count = 0;
980 record_full_list = &record_full_first;
981 record_full_list->next = NULL;
984 record_full_core_open_1 (name, from_tty);
986 record_full_open_1 (name, from_tty);
988 /* Register extra event sources in the event loop. */
989 record_full_async_inferior_event_token
990 = create_async_event_handler (record_full_async_inferior_event_handler,
993 record_full_init_record_breakpoints ();
995 gdb::observers::record_changed.notify (current_inferior (), 1, "full", NULL);
998 /* "close" target method. Close the process record target. */
1001 record_full_base_target::close ()
1003 struct record_full_core_buf_entry *entry;
1006 fprintf_unfiltered (gdb_stdlog, "Process record: record_full_close\n");
1008 record_full_list_release (record_full_list);
1010 /* Release record_full_core_regbuf. */
1011 if (record_full_core_regbuf)
1013 delete record_full_core_regbuf;
1014 record_full_core_regbuf = NULL;
1017 /* Release record_full_core_buf_list. */
1018 if (record_full_core_buf_list)
1020 for (entry = record_full_core_buf_list->prev; entry;
1021 entry = entry->prev)
1023 xfree (record_full_core_buf_list);
1024 record_full_core_buf_list = entry;
1026 record_full_core_buf_list = NULL;
1029 if (record_full_async_inferior_event_token)
1030 delete_async_event_handler (&record_full_async_inferior_event_token);
1033 /* "async" target method. */
1036 record_full_base_target::async (int enable)
1039 mark_async_event_handler (record_full_async_inferior_event_token);
1041 clear_async_event_handler (record_full_async_inferior_event_token);
1043 beneath->async (enable);
1046 static int record_full_resume_step = 0;
1048 /* True if we've been resumed, and so each record_full_wait call should
1049 advance execution. If this is false, record_full_wait will return a
1050 TARGET_WAITKIND_IGNORE. */
1051 static int record_full_resumed = 0;
1053 /* The execution direction of the last resume we got. This is
1054 necessary for async mode. Vis (order is not strictly accurate):
1056 1. user has the global execution direction set to forward
1057 2. user does a reverse-step command
1058 3. record_full_resume is called with global execution direction
1059 temporarily switched to reverse
1060 4. GDB's execution direction is reverted back to forward
1061 5. target record notifies event loop there's an event to handle
1062 6. infrun asks the target which direction was it going, and switches
1063 the global execution direction accordingly (to reverse)
1064 7. infrun polls an event out of the record target, and handles it
1065 8. GDB goes back to the event loop, and goto #4.
1067 static enum exec_direction_kind record_full_execution_dir = EXEC_FORWARD;
1069 /* "resume" target method. Resume the process record target. */
1072 record_full_target::resume (ptid_t ptid, int step, enum gdb_signal signal)
1074 record_full_resume_step = step;
1075 record_full_resumed = 1;
1076 record_full_execution_dir = ::execution_direction;
1078 if (!RECORD_FULL_IS_REPLAY)
1080 struct gdbarch *gdbarch = target_thread_architecture (ptid);
1082 record_full_message (get_current_regcache (), signal);
1086 /* This is not hard single step. */
1087 if (!gdbarch_software_single_step_p (gdbarch))
1089 /* This is a normal continue. */
1094 /* This arch supports soft single step. */
1095 if (thread_has_single_step_breakpoints_set (inferior_thread ()))
1097 /* This is a soft single step. */
1098 record_full_resume_step = 1;
1101 step = !insert_single_step_breakpoints (gdbarch);
1105 /* Make sure the target beneath reports all signals. */
1106 target_pass_signals (0, NULL);
1108 this->beneath->resume (ptid, step, signal);
1111 /* We are about to start executing the inferior (or simulate it),
1112 let's register it with the event loop. */
1113 if (target_can_async_p ())
1117 /* "commit_resume" method for process record target. */
1120 record_full_target::commit_resume ()
1122 if (!RECORD_FULL_IS_REPLAY)
1123 beneath->commit_resume ();
1126 static int record_full_get_sig = 0;
1128 /* SIGINT signal handler, registered by "wait" method. */
1131 record_full_sig_handler (int signo)
1134 fprintf_unfiltered (gdb_stdlog, "Process record: get a signal\n");
1136 /* It will break the running inferior in replay mode. */
1137 record_full_resume_step = 1;
1139 /* It will let record_full_wait set inferior status to get the signal
1141 record_full_get_sig = 1;
1145 record_full_wait_cleanups (void *ignore)
1147 if (execution_direction == EXEC_REVERSE)
1149 if (record_full_list->next)
1150 record_full_list = record_full_list->next;
1153 record_full_list = record_full_list->prev;
1156 /* "wait" target method for process record target.
1158 In record mode, the target is always run in singlestep mode
1159 (even when gdb says to continue). The wait method intercepts
1160 the stop events and determines which ones are to be passed on to
1161 gdb. Most stop events are just singlestep events that gdb is not
1162 to know about, so the wait method just records them and keeps
1165 In replay mode, this function emulates the recorded execution log,
1166 one instruction at a time (forward or backward), and determines
1170 record_full_wait_1 (struct target_ops *ops,
1171 ptid_t ptid, struct target_waitstatus *status,
1174 scoped_restore restore_operation_disable
1175 = record_full_gdb_operation_disable_set ();
1178 fprintf_unfiltered (gdb_stdlog,
1179 "Process record: record_full_wait "
1180 "record_full_resume_step = %d, "
1181 "record_full_resumed = %d, direction=%s\n",
1182 record_full_resume_step, record_full_resumed,
1183 record_full_execution_dir == EXEC_FORWARD
1184 ? "forward" : "reverse");
1186 if (!record_full_resumed)
1188 gdb_assert ((options & TARGET_WNOHANG) != 0);
1190 /* No interesting event. */
1191 status->kind = TARGET_WAITKIND_IGNORE;
1192 return minus_one_ptid;
1195 record_full_get_sig = 0;
1196 signal (SIGINT, record_full_sig_handler);
1198 record_full_stop_reason = TARGET_STOPPED_BY_NO_REASON;
1200 if (!RECORD_FULL_IS_REPLAY && ops != &record_full_core_ops)
1202 if (record_full_resume_step)
1204 /* This is a single step. */
1205 return ops->beneath->wait (ptid, status, options);
1209 /* This is not a single step. */
1212 struct gdbarch *gdbarch = target_thread_architecture (inferior_ptid);
1216 struct thread_info *tp;
1218 ret = ops->beneath->wait (ptid, status, options);
1219 if (status->kind == TARGET_WAITKIND_IGNORE)
1222 fprintf_unfiltered (gdb_stdlog,
1223 "Process record: record_full_wait "
1224 "target beneath not done yet\n");
1228 ALL_NON_EXITED_THREADS (tp)
1229 delete_single_step_breakpoints (tp);
1231 if (record_full_resume_step)
1234 /* Is this a SIGTRAP? */
1235 if (status->kind == TARGET_WAITKIND_STOPPED
1236 && status->value.sig == GDB_SIGNAL_TRAP)
1238 struct regcache *regcache;
1239 enum target_stop_reason *stop_reason_p
1240 = &record_full_stop_reason;
1242 /* Yes -- this is likely our single-step finishing,
1243 but check if there's any reason the core would be
1244 interested in the event. */
1246 registers_changed ();
1247 regcache = get_current_regcache ();
1248 tmp_pc = regcache_read_pc (regcache);
1249 const struct address_space *aspace = regcache->aspace ();
1251 if (target_stopped_by_watchpoint ())
1253 /* Always interested in watchpoints. */
1255 else if (record_check_stopped_by_breakpoint (aspace, tmp_pc,
1258 /* There is a breakpoint here. Let the core
1263 /* This is a single-step trap. Record the
1264 insn and issue another step.
1265 FIXME: this part can be a random SIGTRAP too.
1266 But GDB cannot handle it. */
1269 if (!record_full_message_wrapper_safe (regcache,
1272 status->kind = TARGET_WAITKIND_STOPPED;
1273 status->value.sig = GDB_SIGNAL_0;
1277 if (gdbarch_software_single_step_p (gdbarch))
1279 /* Try to insert the software single step breakpoint.
1280 If insert success, set step to 0. */
1281 set_executing (inferior_ptid, 0);
1282 reinit_frame_cache ();
1284 step = !insert_single_step_breakpoints (gdbarch);
1286 set_executing (inferior_ptid, 1);
1290 fprintf_unfiltered (gdb_stdlog,
1291 "Process record: record_full_wait "
1292 "issuing one more step in the "
1293 "target beneath\n");
1294 ops->beneath->resume (ptid, step, GDB_SIGNAL_0);
1295 ops->beneath->commit_resume ();
1300 /* The inferior is broken by a breakpoint or a signal. */
1309 struct regcache *regcache = get_current_regcache ();
1310 struct gdbarch *gdbarch = regcache->arch ();
1311 const struct address_space *aspace = regcache->aspace ();
1312 int continue_flag = 1;
1313 int first_record_full_end = 1;
1314 struct cleanup *old_cleanups
1315 = make_cleanup (record_full_wait_cleanups, 0);
1318 record_full_stop_reason = TARGET_STOPPED_BY_NO_REASON;
1319 status->kind = TARGET_WAITKIND_STOPPED;
1321 /* Check breakpoint when forward execute. */
1322 if (execution_direction == EXEC_FORWARD)
1324 tmp_pc = regcache_read_pc (regcache);
1325 if (record_check_stopped_by_breakpoint (aspace, tmp_pc,
1326 &record_full_stop_reason))
1329 fprintf_unfiltered (gdb_stdlog,
1330 "Process record: break at %s.\n",
1331 paddress (gdbarch, tmp_pc));
1336 /* If GDB is in terminal_inferior mode, it will not get the signal.
1337 And in GDB replay mode, GDB doesn't need to be in terminal_inferior
1338 mode, because inferior will not executed.
1339 Then set it to terminal_ours to make GDB get the signal. */
1340 target_terminal::ours ();
1342 /* In EXEC_FORWARD mode, record_full_list points to the tail of prev
1344 if (execution_direction == EXEC_FORWARD && record_full_list->next)
1345 record_full_list = record_full_list->next;
1347 /* Loop over the record_full_list, looking for the next place to
1351 /* Check for beginning and end of log. */
1352 if (execution_direction == EXEC_REVERSE
1353 && record_full_list == &record_full_first)
1355 /* Hit beginning of record log in reverse. */
1356 status->kind = TARGET_WAITKIND_NO_HISTORY;
1359 if (execution_direction != EXEC_REVERSE && !record_full_list->next)
1361 /* Hit end of record log going forward. */
1362 status->kind = TARGET_WAITKIND_NO_HISTORY;
1366 record_full_exec_insn (regcache, gdbarch, record_full_list);
1368 if (record_full_list->type == record_full_end)
1370 if (record_debug > 1)
1371 fprintf_unfiltered (gdb_stdlog,
1372 "Process record: record_full_end %s to "
1374 host_address_to_string (record_full_list));
1376 if (first_record_full_end && execution_direction == EXEC_REVERSE)
1378 /* When reverse excute, the first record_full_end is the
1379 part of current instruction. */
1380 first_record_full_end = 0;
1384 /* In EXEC_REVERSE mode, this is the record_full_end of prev
1386 In EXEC_FORWARD mode, this is the record_full_end of
1387 current instruction. */
1389 if (record_full_resume_step)
1391 if (record_debug > 1)
1392 fprintf_unfiltered (gdb_stdlog,
1393 "Process record: step.\n");
1397 /* check breakpoint */
1398 tmp_pc = regcache_read_pc (regcache);
1399 if (record_check_stopped_by_breakpoint (aspace, tmp_pc,
1400 &record_full_stop_reason))
1403 fprintf_unfiltered (gdb_stdlog,
1404 "Process record: break "
1406 paddress (gdbarch, tmp_pc));
1411 if (record_full_stop_reason == TARGET_STOPPED_BY_WATCHPOINT)
1414 fprintf_unfiltered (gdb_stdlog,
1415 "Process record: hit hw "
1419 /* Check target signal */
1420 if (record_full_list->u.end.sigval != GDB_SIGNAL_0)
1421 /* FIXME: better way to check */
1428 if (execution_direction == EXEC_REVERSE)
1430 if (record_full_list->prev)
1431 record_full_list = record_full_list->prev;
1435 if (record_full_list->next)
1436 record_full_list = record_full_list->next;
1440 while (continue_flag);
1443 if (record_full_get_sig)
1444 status->value.sig = GDB_SIGNAL_INT;
1445 else if (record_full_list->u.end.sigval != GDB_SIGNAL_0)
1446 /* FIXME: better way to check */
1447 status->value.sig = record_full_list->u.end.sigval;
1449 status->value.sig = GDB_SIGNAL_TRAP;
1451 discard_cleanups (old_cleanups);
1454 signal (SIGINT, handle_sigint);
1456 return inferior_ptid;
1460 record_full_base_target::wait (ptid_t ptid, struct target_waitstatus *status,
1465 return_ptid = record_full_wait_1 (this, ptid, status, options);
1466 if (status->kind != TARGET_WAITKIND_IGNORE)
1468 /* We're reporting a stop. Make sure any spurious
1469 target_wait(WNOHANG) doesn't advance the target until the
1470 core wants us resumed again. */
1471 record_full_resumed = 0;
1477 record_full_base_target::stopped_by_watchpoint ()
1479 if (RECORD_FULL_IS_REPLAY)
1480 return record_full_stop_reason == TARGET_STOPPED_BY_WATCHPOINT;
1482 return beneath->stopped_by_watchpoint ();
1486 record_full_base_target::stopped_data_address (CORE_ADDR *addr_p)
1488 if (RECORD_FULL_IS_REPLAY)
1491 return this->beneath->stopped_data_address (addr_p);
1494 /* The stopped_by_sw_breakpoint method of target record-full. */
1497 record_full_base_target::stopped_by_sw_breakpoint ()
1499 return record_full_stop_reason == TARGET_STOPPED_BY_SW_BREAKPOINT;
1502 /* The supports_stopped_by_sw_breakpoint method of target
1506 record_full_base_target::supports_stopped_by_sw_breakpoint ()
1511 /* The stopped_by_hw_breakpoint method of target record-full. */
1514 record_full_base_target::stopped_by_hw_breakpoint ()
1516 return record_full_stop_reason == TARGET_STOPPED_BY_HW_BREAKPOINT;
1519 /* The supports_stopped_by_sw_breakpoint method of target
1523 record_full_base_target::supports_stopped_by_hw_breakpoint ()
1528 /* Record registers change (by user or by GDB) to list as an instruction. */
1531 record_full_registers_change (struct regcache *regcache, int regnum)
1533 /* Check record_full_insn_num. */
1534 record_full_check_insn_num ();
1536 record_full_arch_list_head = NULL;
1537 record_full_arch_list_tail = NULL;
1543 for (i = 0; i < gdbarch_num_regs (regcache->arch ()); i++)
1545 if (record_full_arch_list_add_reg (regcache, i))
1547 record_full_list_release (record_full_arch_list_tail);
1548 error (_("Process record: failed to record execution log."));
1554 if (record_full_arch_list_add_reg (regcache, regnum))
1556 record_full_list_release (record_full_arch_list_tail);
1557 error (_("Process record: failed to record execution log."));
1560 if (record_full_arch_list_add_end ())
1562 record_full_list_release (record_full_arch_list_tail);
1563 error (_("Process record: failed to record execution log."));
1565 record_full_list->next = record_full_arch_list_head;
1566 record_full_arch_list_head->prev = record_full_list;
1567 record_full_list = record_full_arch_list_tail;
1569 if (record_full_insn_num == record_full_insn_max_num)
1570 record_full_list_release_first ();
1572 record_full_insn_num++;
1575 /* "store_registers" method for process record target. */
1578 record_full_target::store_registers (struct regcache *regcache, int regno)
1580 if (!record_full_gdb_operation_disable)
1582 if (RECORD_FULL_IS_REPLAY)
1586 /* Let user choose if he wants to write register or not. */
1589 query (_("Because GDB is in replay mode, changing the "
1590 "value of a register will make the execution "
1591 "log unusable from this point onward. "
1592 "Change all registers?"));
1595 query (_("Because GDB is in replay mode, changing the value "
1596 "of a register will make the execution log unusable "
1597 "from this point onward. Change register %s?"),
1598 gdbarch_register_name (regcache->arch (),
1603 /* Invalidate the value of regcache that was set in function
1604 "regcache_raw_write". */
1610 i < gdbarch_num_regs (regcache->arch ());
1612 regcache->invalidate (i);
1615 regcache->invalidate (regno);
1617 error (_("Process record canceled the operation."));
1620 /* Destroy the record from here forward. */
1621 record_full_list_release_following (record_full_list);
1624 record_full_registers_change (regcache, regno);
1626 this->beneath->store_registers (regcache, regno);
1629 /* "xfer_partial" method. Behavior is conditional on
1630 RECORD_FULL_IS_REPLAY.
1631 In replay mode, we cannot write memory unles we are willing to
1632 invalidate the record/replay log from this point forward. */
1634 enum target_xfer_status
1635 record_full_target::xfer_partial (enum target_object object,
1636 const char *annex, gdb_byte *readbuf,
1637 const gdb_byte *writebuf, ULONGEST offset,
1638 ULONGEST len, ULONGEST *xfered_len)
1640 if (!record_full_gdb_operation_disable
1641 && (object == TARGET_OBJECT_MEMORY
1642 || object == TARGET_OBJECT_RAW_MEMORY) && writebuf)
1644 if (RECORD_FULL_IS_REPLAY)
1646 /* Let user choose if he wants to write memory or not. */
1647 if (!query (_("Because GDB is in replay mode, writing to memory "
1648 "will make the execution log unusable from this "
1649 "point onward. Write memory at address %s?"),
1650 paddress (target_gdbarch (), offset)))
1651 error (_("Process record canceled the operation."));
1653 /* Destroy the record from here forward. */
1654 record_full_list_release_following (record_full_list);
1657 /* Check record_full_insn_num */
1658 record_full_check_insn_num ();
1660 /* Record registers change to list as an instruction. */
1661 record_full_arch_list_head = NULL;
1662 record_full_arch_list_tail = NULL;
1663 if (record_full_arch_list_add_mem (offset, len))
1665 record_full_list_release (record_full_arch_list_tail);
1667 fprintf_unfiltered (gdb_stdlog,
1668 "Process record: failed to record "
1670 return TARGET_XFER_E_IO;
1672 if (record_full_arch_list_add_end ())
1674 record_full_list_release (record_full_arch_list_tail);
1676 fprintf_unfiltered (gdb_stdlog,
1677 "Process record: failed to record "
1679 return TARGET_XFER_E_IO;
1681 record_full_list->next = record_full_arch_list_head;
1682 record_full_arch_list_head->prev = record_full_list;
1683 record_full_list = record_full_arch_list_tail;
1685 if (record_full_insn_num == record_full_insn_max_num)
1686 record_full_list_release_first ();
1688 record_full_insn_num++;
1691 return this->beneath->xfer_partial (object, annex, readbuf, writebuf, offset,
1695 /* This structure represents a breakpoint inserted while the record
1696 target is active. We use this to know when to install/remove
1697 breakpoints in/from the target beneath. For example, a breakpoint
1698 may be inserted while recording, but removed when not replaying nor
1699 recording. In that case, the breakpoint had not been inserted on
1700 the target beneath, so we should not try to remove it there. */
1702 struct record_full_breakpoint
1704 /* The address and address space the breakpoint was set at. */
1705 struct address_space *address_space;
1708 /* True when the breakpoint has been also installed in the target
1709 beneath. This will be false for breakpoints set during replay or
1711 int in_target_beneath;
1714 typedef struct record_full_breakpoint *record_full_breakpoint_p;
1715 DEF_VEC_P(record_full_breakpoint_p);
1717 /* The list of breakpoints inserted while the record target is
1719 VEC(record_full_breakpoint_p) *record_full_breakpoints = NULL;
1722 record_full_sync_record_breakpoints (struct bp_location *loc, void *data)
1724 if (loc->loc_type != bp_loc_software_breakpoint)
1729 struct record_full_breakpoint *bp = XNEW (struct record_full_breakpoint);
1731 bp->addr = loc->target_info.placed_address;
1732 bp->address_space = loc->target_info.placed_address_space;
1734 bp->in_target_beneath = 1;
1736 VEC_safe_push (record_full_breakpoint_p, record_full_breakpoints, bp);
1740 /* Sync existing breakpoints to record_full_breakpoints. */
1743 record_full_init_record_breakpoints (void)
1745 VEC_free (record_full_breakpoint_p, record_full_breakpoints);
1747 iterate_over_bp_locations (record_full_sync_record_breakpoints);
1750 /* Behavior is conditional on RECORD_FULL_IS_REPLAY. We will not actually
1751 insert or remove breakpoints in the real target when replaying, nor
1755 record_full_target::insert_breakpoint (struct gdbarch *gdbarch,
1756 struct bp_target_info *bp_tgt)
1758 struct record_full_breakpoint *bp;
1759 int in_target_beneath = 0;
1762 if (!RECORD_FULL_IS_REPLAY)
1764 /* When recording, we currently always single-step, so we don't
1765 really need to install regular breakpoints in the inferior.
1766 However, we do have to insert software single-step
1767 breakpoints, in case the target can't hardware step. To keep
1768 things simple, we always insert. */
1770 scoped_restore restore_operation_disable
1771 = record_full_gdb_operation_disable_set ();
1773 int ret = this->beneath->insert_breakpoint (gdbarch, bp_tgt);
1777 in_target_beneath = 1;
1780 /* Use the existing entries if found in order to avoid duplication
1781 in record_full_breakpoints. */
1784 VEC_iterate (record_full_breakpoint_p,
1785 record_full_breakpoints, ix, bp);
1788 if (bp->addr == bp_tgt->placed_address
1789 && bp->address_space == bp_tgt->placed_address_space)
1791 gdb_assert (bp->in_target_beneath == in_target_beneath);
1796 bp = XNEW (struct record_full_breakpoint);
1797 bp->addr = bp_tgt->placed_address;
1798 bp->address_space = bp_tgt->placed_address_space;
1799 bp->in_target_beneath = in_target_beneath;
1800 VEC_safe_push (record_full_breakpoint_p, record_full_breakpoints, bp);
1804 /* "remove_breakpoint" method for process record target. */
1807 record_full_target::remove_breakpoint (struct gdbarch *gdbarch,
1808 struct bp_target_info *bp_tgt,
1809 enum remove_bp_reason reason)
1811 struct record_full_breakpoint *bp;
1815 VEC_iterate (record_full_breakpoint_p,
1816 record_full_breakpoints, ix, bp);
1819 if (bp->addr == bp_tgt->placed_address
1820 && bp->address_space == bp_tgt->placed_address_space)
1822 if (bp->in_target_beneath)
1824 scoped_restore restore_operation_disable
1825 = record_full_gdb_operation_disable_set ();
1827 int ret = this->beneath->remove_breakpoint (gdbarch, bp_tgt,
1833 if (reason == REMOVE_BREAKPOINT)
1835 VEC_unordered_remove (record_full_breakpoint_p,
1836 record_full_breakpoints, ix);
1842 gdb_assert_not_reached ("removing unknown breakpoint");
1845 /* "can_execute_reverse" method for process record target. */
1848 record_full_base_target::can_execute_reverse ()
1853 /* "get_bookmark" method for process record and prec over core. */
1856 record_full_base_target::get_bookmark (const char *args, int from_tty)
1860 /* Return stringified form of instruction count. */
1861 if (record_full_list && record_full_list->type == record_full_end)
1862 ret = xstrdup (pulongest (record_full_list->u.end.insn_num));
1867 fprintf_unfiltered (gdb_stdlog,
1868 "record_full_get_bookmark returns %s\n", ret);
1870 fprintf_unfiltered (gdb_stdlog,
1871 "record_full_get_bookmark returns NULL\n");
1873 return (gdb_byte *) ret;
1876 /* "goto_bookmark" method for process record and prec over core. */
1879 record_full_base_target::goto_bookmark (const gdb_byte *raw_bookmark,
1882 const char *bookmark = (const char *) raw_bookmark;
1885 fprintf_unfiltered (gdb_stdlog,
1886 "record_full_goto_bookmark receives %s\n", bookmark);
1888 std::string name_holder;
1889 if (bookmark[0] == '\'' || bookmark[0] == '\"')
1891 if (bookmark[strlen (bookmark) - 1] != bookmark[0])
1892 error (_("Unbalanced quotes: %s"), bookmark);
1894 name_holder = std::string (bookmark + 1, strlen (bookmark) - 2);
1895 bookmark = name_holder.c_str ();
1898 record_goto (bookmark);
1901 enum exec_direction_kind
1902 record_full_base_target::execution_direction ()
1904 return record_full_execution_dir;
1907 /* The record_method method of target record-full. */
1910 record_full_base_target::record_method (ptid_t ptid)
1912 return RECORD_METHOD_FULL;
1916 record_full_base_target::info_record ()
1918 struct record_full_entry *p;
1920 if (RECORD_FULL_IS_REPLAY)
1921 printf_filtered (_("Replay mode:\n"));
1923 printf_filtered (_("Record mode:\n"));
1925 /* Find entry for first actual instruction in the log. */
1926 for (p = record_full_first.next;
1927 p != NULL && p->type != record_full_end;
1931 /* Do we have a log at all? */
1932 if (p != NULL && p->type == record_full_end)
1934 /* Display instruction number for first instruction in the log. */
1935 printf_filtered (_("Lowest recorded instruction number is %s.\n"),
1936 pulongest (p->u.end.insn_num));
1938 /* If in replay mode, display where we are in the log. */
1939 if (RECORD_FULL_IS_REPLAY)
1940 printf_filtered (_("Current instruction number is %s.\n"),
1941 pulongest (record_full_list->u.end.insn_num));
1943 /* Display instruction number for last instruction in the log. */
1944 printf_filtered (_("Highest recorded instruction number is %s.\n"),
1945 pulongest (record_full_insn_count));
1947 /* Display log count. */
1948 printf_filtered (_("Log contains %u instructions.\n"),
1949 record_full_insn_num);
1952 printf_filtered (_("No instructions have been logged.\n"));
1954 /* Display max log size. */
1955 printf_filtered (_("Max logged instructions is %u.\n"),
1956 record_full_insn_max_num);
1960 record_full_base_target::supports_delete_record ()
1965 /* The "delete_record" target method. */
1968 record_full_base_target::delete_record ()
1970 record_full_list_release_following (record_full_list);
1973 /* The "record_is_replaying" target method. */
1976 record_full_base_target::record_is_replaying (ptid_t ptid)
1978 return RECORD_FULL_IS_REPLAY;
1981 /* The "record_will_replay" target method. */
1984 record_full_base_target::record_will_replay (ptid_t ptid, int dir)
1986 /* We can currently only record when executing forwards. Should we be able
1987 to record when executing backwards on targets that support reverse
1988 execution, this needs to be changed. */
1990 return RECORD_FULL_IS_REPLAY || dir == EXEC_REVERSE;
1993 /* Go to a specific entry. */
1996 record_full_goto_entry (struct record_full_entry *p)
1999 error (_("Target insn not found."));
2000 else if (p == record_full_list)
2001 error (_("Already at target insn."));
2002 else if (p->u.end.insn_num > record_full_list->u.end.insn_num)
2004 printf_filtered (_("Go forward to insn number %s\n"),
2005 pulongest (p->u.end.insn_num));
2006 record_full_goto_insn (p, EXEC_FORWARD);
2010 printf_filtered (_("Go backward to insn number %s\n"),
2011 pulongest (p->u.end.insn_num));
2012 record_full_goto_insn (p, EXEC_REVERSE);
2015 registers_changed ();
2016 reinit_frame_cache ();
2017 stop_pc = regcache_read_pc (get_current_regcache ());
2018 print_stack_frame (get_selected_frame (NULL), 1, SRC_AND_LOC, 1);
2021 /* The "goto_record_begin" target method. */
2024 record_full_base_target::goto_record_begin ()
2026 struct record_full_entry *p = NULL;
2028 for (p = &record_full_first; p != NULL; p = p->next)
2029 if (p->type == record_full_end)
2032 record_full_goto_entry (p);
2035 /* The "goto_record_end" target method. */
2038 record_full_base_target::goto_record_end ()
2040 struct record_full_entry *p = NULL;
2042 for (p = record_full_list; p->next != NULL; p = p->next)
2044 for (; p!= NULL; p = p->prev)
2045 if (p->type == record_full_end)
2048 record_full_goto_entry (p);
2051 /* The "goto_record" target method. */
2054 record_full_base_target::goto_record (ULONGEST target_insn)
2056 struct record_full_entry *p = NULL;
2058 for (p = &record_full_first; p != NULL; p = p->next)
2059 if (p->type == record_full_end && p->u.end.insn_num == target_insn)
2062 record_full_goto_entry (p);
2065 /* The "record_stop_replaying" target method. */
2068 record_full_base_target::record_stop_replaying ()
2073 /* "resume" method for prec over corefile. */
2076 record_full_core_target::resume (ptid_t ptid, int step,
2077 enum gdb_signal signal)
2079 record_full_resume_step = step;
2080 record_full_resumed = 1;
2081 record_full_execution_dir = ::execution_direction;
2083 /* We are about to start executing the inferior (or simulate it),
2084 let's register it with the event loop. */
2085 if (target_can_async_p ())
2089 /* "kill" method for prec over corefile. */
2092 record_full_core_target::kill ()
2095 fprintf_unfiltered (gdb_stdlog, "Process record: record_full_core_kill\n");
2097 unpush_target (this);
2100 /* "fetch_registers" method for prec over corefile. */
2103 record_full_core_target::fetch_registers (struct regcache *regcache,
2108 int num = gdbarch_num_regs (regcache->arch ());
2111 for (i = 0; i < num; i ++)
2112 regcache->raw_supply (i, *record_full_core_regbuf);
2115 regcache->raw_supply (regno, *record_full_core_regbuf);
2118 /* "prepare_to_store" method for prec over corefile. */
2121 record_full_core_target::prepare_to_store (struct regcache *regcache)
2125 /* "store_registers" method for prec over corefile. */
2128 record_full_core_target::store_registers (struct regcache *regcache,
2131 if (record_full_gdb_operation_disable)
2132 record_full_core_regbuf->raw_supply (regno, *regcache);
2134 error (_("You can't do that without a process to debug."));
2137 /* "xfer_partial" method for prec over corefile. */
2139 enum target_xfer_status
2140 record_full_core_target::xfer_partial (enum target_object object,
2141 const char *annex, gdb_byte *readbuf,
2142 const gdb_byte *writebuf, ULONGEST offset,
2143 ULONGEST len, ULONGEST *xfered_len)
2145 if (object == TARGET_OBJECT_MEMORY)
2147 if (record_full_gdb_operation_disable || !writebuf)
2149 struct target_section *p;
2151 for (p = record_full_core_start; p < record_full_core_end; p++)
2153 if (offset >= p->addr)
2155 struct record_full_core_buf_entry *entry;
2156 ULONGEST sec_offset;
2158 if (offset >= p->endaddr)
2161 if (offset + len > p->endaddr)
2162 len = p->endaddr - offset;
2164 sec_offset = offset - p->addr;
2166 /* Read readbuf or write writebuf p, offset, len. */
2168 if (p->the_bfd_section->flags & SEC_CONSTRUCTOR
2169 || (p->the_bfd_section->flags & SEC_HAS_CONTENTS) == 0)
2172 memset (readbuf, 0, len);
2175 return TARGET_XFER_OK;
2177 /* Get record_full_core_buf_entry. */
2178 for (entry = record_full_core_buf_list; entry;
2179 entry = entry->prev)
2186 /* Add a new entry. */
2187 entry = XNEW (struct record_full_core_buf_entry);
2189 if (!bfd_malloc_and_get_section
2190 (p->the_bfd_section->owner,
2195 return TARGET_XFER_EOF;
2197 entry->prev = record_full_core_buf_list;
2198 record_full_core_buf_list = entry;
2201 memcpy (entry->buf + sec_offset, writebuf,
2207 return this->beneath->xfer_partial (object, annex,
2212 memcpy (readbuf, entry->buf + sec_offset,
2217 return TARGET_XFER_OK;
2221 return TARGET_XFER_E_IO;
2224 error (_("You can't do that without a process to debug."));
2227 return this->beneath->xfer_partial (object, annex,
2228 readbuf, writebuf, offset, len,
2232 /* "insert_breakpoint" method for prec over corefile. */
2235 record_full_core_target::insert_breakpoint (struct gdbarch *gdbarch,
2236 struct bp_target_info *bp_tgt)
2241 /* "remove_breakpoint" method for prec over corefile. */
2244 record_full_core_target::remove_breakpoint (struct gdbarch *gdbarch,
2245 struct bp_target_info *bp_tgt,
2246 enum remove_bp_reason reason)
2251 /* "has_execution" method for prec over corefile. */
2254 record_full_core_target::has_execution (ptid_t the_ptid)
2259 /* Record log save-file format
2260 Version 1 (never released)
2263 4 bytes: magic number htonl(0x20090829).
2264 NOTE: be sure to change whenever this file format changes!
2268 1 byte: record type (record_full_end, see enum record_full_type).
2270 1 byte: record type (record_full_reg, see enum record_full_type).
2271 8 bytes: register id (network byte order).
2272 MAX_REGISTER_SIZE bytes: register value.
2274 1 byte: record type (record_full_mem, see enum record_full_type).
2275 8 bytes: memory length (network byte order).
2276 8 bytes: memory address (network byte order).
2277 n bytes: memory value (n == memory length).
2280 4 bytes: magic number netorder32(0x20091016).
2281 NOTE: be sure to change whenever this file format changes!
2285 1 byte: record type (record_full_end, see enum record_full_type).
2287 4 bytes: instruction count
2289 1 byte: record type (record_full_reg, see enum record_full_type).
2290 4 bytes: register id (network byte order).
2291 n bytes: register value (n == actual register size).
2292 (eg. 4 bytes for x86 general registers).
2294 1 byte: record type (record_full_mem, see enum record_full_type).
2295 4 bytes: memory length (network byte order).
2296 8 bytes: memory address (network byte order).
2297 n bytes: memory value (n == memory length).
2301 /* bfdcore_read -- read bytes from a core file section. */
2304 bfdcore_read (bfd *obfd, asection *osec, void *buf, int len, int *offset)
2306 int ret = bfd_get_section_contents (obfd, osec, buf, *offset, len);
2311 error (_("Failed to read %d bytes from core file %s ('%s')."),
2312 len, bfd_get_filename (obfd),
2313 bfd_errmsg (bfd_get_error ()));
2316 static inline uint64_t
2317 netorder64 (uint64_t input)
2321 store_unsigned_integer ((gdb_byte *) &ret, sizeof (ret),
2322 BFD_ENDIAN_BIG, input);
2326 static inline uint32_t
2327 netorder32 (uint32_t input)
2331 store_unsigned_integer ((gdb_byte *) &ret, sizeof (ret),
2332 BFD_ENDIAN_BIG, input);
2336 /* Restore the execution log from a core_bfd file. */
2338 record_full_restore (void)
2341 struct cleanup *old_cleanups;
2342 struct record_full_entry *rec;
2346 struct regcache *regcache;
2348 /* We restore the execution log from the open core bfd,
2350 if (core_bfd == NULL)
2353 /* "record_full_restore" can only be called when record list is empty. */
2354 gdb_assert (record_full_first.next == NULL);
2357 fprintf_unfiltered (gdb_stdlog, "Restoring recording from core file.\n");
2359 /* Now need to find our special note section. */
2360 osec = bfd_get_section_by_name (core_bfd, "null0");
2362 fprintf_unfiltered (gdb_stdlog, "Find precord section %s.\n",
2363 osec ? "succeeded" : "failed");
2366 osec_size = bfd_section_size (core_bfd, osec);
2368 fprintf_unfiltered (gdb_stdlog, "%s", bfd_section_name (core_bfd, osec));
2370 /* Check the magic code. */
2371 bfdcore_read (core_bfd, osec, &magic, sizeof (magic), &bfd_offset);
2372 if (magic != RECORD_FULL_FILE_MAGIC)
2373 error (_("Version mis-match or file format error in core file %s."),
2374 bfd_get_filename (core_bfd));
2376 fprintf_unfiltered (gdb_stdlog,
2377 " Reading 4-byte magic cookie "
2378 "RECORD_FULL_FILE_MAGIC (0x%s)\n",
2379 phex_nz (netorder32 (magic), 4));
2381 /* Restore the entries in recfd into record_full_arch_list_head and
2382 record_full_arch_list_tail. */
2383 record_full_arch_list_head = NULL;
2384 record_full_arch_list_tail = NULL;
2385 record_full_insn_num = 0;
2386 old_cleanups = make_cleanup (record_full_arch_list_cleanups, 0);
2387 regcache = get_current_regcache ();
2392 uint32_t regnum, len, signal, count;
2395 /* We are finished when offset reaches osec_size. */
2396 if (bfd_offset >= osec_size)
2398 bfdcore_read (core_bfd, osec, &rectype, sizeof (rectype), &bfd_offset);
2402 case record_full_reg: /* reg */
2403 /* Get register number to regnum. */
2404 bfdcore_read (core_bfd, osec, ®num,
2405 sizeof (regnum), &bfd_offset);
2406 regnum = netorder32 (regnum);
2408 rec = record_full_reg_alloc (regcache, regnum);
2411 bfdcore_read (core_bfd, osec, record_full_get_loc (rec),
2412 rec->u.reg.len, &bfd_offset);
2415 fprintf_unfiltered (gdb_stdlog,
2416 " Reading register %d (1 "
2417 "plus %lu plus %d bytes)\n",
2419 (unsigned long) sizeof (regnum),
2423 case record_full_mem: /* mem */
2425 bfdcore_read (core_bfd, osec, &len,
2426 sizeof (len), &bfd_offset);
2427 len = netorder32 (len);
2430 bfdcore_read (core_bfd, osec, &addr,
2431 sizeof (addr), &bfd_offset);
2432 addr = netorder64 (addr);
2434 rec = record_full_mem_alloc (addr, len);
2437 bfdcore_read (core_bfd, osec, record_full_get_loc (rec),
2438 rec->u.mem.len, &bfd_offset);
2441 fprintf_unfiltered (gdb_stdlog,
2442 " Reading memory %s (1 plus "
2443 "%lu plus %lu plus %d bytes)\n",
2444 paddress (get_current_arch (),
2446 (unsigned long) sizeof (addr),
2447 (unsigned long) sizeof (len),
2451 case record_full_end: /* end */
2452 rec = record_full_end_alloc ();
2453 record_full_insn_num ++;
2455 /* Get signal value. */
2456 bfdcore_read (core_bfd, osec, &signal,
2457 sizeof (signal), &bfd_offset);
2458 signal = netorder32 (signal);
2459 rec->u.end.sigval = (enum gdb_signal) signal;
2461 /* Get insn count. */
2462 bfdcore_read (core_bfd, osec, &count,
2463 sizeof (count), &bfd_offset);
2464 count = netorder32 (count);
2465 rec->u.end.insn_num = count;
2466 record_full_insn_count = count + 1;
2468 fprintf_unfiltered (gdb_stdlog,
2469 " Reading record_full_end (1 + "
2470 "%lu + %lu bytes), offset == %s\n",
2471 (unsigned long) sizeof (signal),
2472 (unsigned long) sizeof (count),
2473 paddress (get_current_arch (),
2478 error (_("Bad entry type in core file %s."),
2479 bfd_get_filename (core_bfd));
2483 /* Add rec to record arch list. */
2484 record_full_arch_list_add (rec);
2487 discard_cleanups (old_cleanups);
2489 /* Add record_full_arch_list_head to the end of record list. */
2490 record_full_first.next = record_full_arch_list_head;
2491 record_full_arch_list_head->prev = &record_full_first;
2492 record_full_arch_list_tail->next = NULL;
2493 record_full_list = &record_full_first;
2495 /* Update record_full_insn_max_num. */
2496 if (record_full_insn_num > record_full_insn_max_num)
2498 record_full_insn_max_num = record_full_insn_num;
2499 warning (_("Auto increase record/replay buffer limit to %u."),
2500 record_full_insn_max_num);
2504 printf_filtered (_("Restored records from core file %s.\n"),
2505 bfd_get_filename (core_bfd));
2507 print_stack_frame (get_selected_frame (NULL), 1, SRC_AND_LOC, 1);
2510 /* bfdcore_write -- write bytes into a core file section. */
2513 bfdcore_write (bfd *obfd, asection *osec, void *buf, int len, int *offset)
2515 int ret = bfd_set_section_contents (obfd, osec, buf, *offset, len);
2520 error (_("Failed to write %d bytes to core file %s ('%s')."),
2521 len, bfd_get_filename (obfd),
2522 bfd_errmsg (bfd_get_error ()));
2525 /* Restore the execution log from a file. We use a modified elf
2526 corefile format, with an extra section for our data. */
2529 cmd_record_full_restore (const char *args, int from_tty)
2531 core_file_command (args, from_tty);
2532 record_full_open (args, from_tty);
2535 /* Save the execution log to a file. We use a modified elf corefile
2536 format, with an extra section for our data. */
2539 record_full_base_target::save_record (const char *recfilename)
2541 struct record_full_entry *cur_record_full_list;
2543 struct regcache *regcache;
2544 struct gdbarch *gdbarch;
2546 asection *osec = NULL;
2549 /* Open the save file. */
2551 fprintf_unfiltered (gdb_stdlog, "Saving execution log to core file '%s'\n",
2554 /* Open the output file. */
2555 gdb_bfd_ref_ptr obfd (create_gcore_bfd (recfilename));
2557 /* Arrange to remove the output file on failure. */
2558 gdb::unlinker unlink_file (recfilename);
2560 /* Save the current record entry to "cur_record_full_list". */
2561 cur_record_full_list = record_full_list;
2563 /* Get the values of regcache and gdbarch. */
2564 regcache = get_current_regcache ();
2565 gdbarch = regcache->arch ();
2567 /* Disable the GDB operation record. */
2568 scoped_restore restore_operation_disable
2569 = record_full_gdb_operation_disable_set ();
2571 /* Reverse execute to the begin of record list. */
2574 /* Check for beginning and end of log. */
2575 if (record_full_list == &record_full_first)
2578 record_full_exec_insn (regcache, gdbarch, record_full_list);
2580 if (record_full_list->prev)
2581 record_full_list = record_full_list->prev;
2584 /* Compute the size needed for the extra bfd section. */
2585 save_size = 4; /* magic cookie */
2586 for (record_full_list = record_full_first.next; record_full_list;
2587 record_full_list = record_full_list->next)
2588 switch (record_full_list->type)
2590 case record_full_end:
2591 save_size += 1 + 4 + 4;
2593 case record_full_reg:
2594 save_size += 1 + 4 + record_full_list->u.reg.len;
2596 case record_full_mem:
2597 save_size += 1 + 4 + 8 + record_full_list->u.mem.len;
2601 /* Make the new bfd section. */
2602 osec = bfd_make_section_anyway_with_flags (obfd.get (), "precord",
2606 error (_("Failed to create 'precord' section for corefile %s: %s"),
2608 bfd_errmsg (bfd_get_error ()));
2609 bfd_set_section_size (obfd.get (), osec, save_size);
2610 bfd_set_section_vma (obfd.get (), osec, 0);
2611 bfd_set_section_alignment (obfd.get (), osec, 0);
2612 bfd_section_lma (obfd.get (), osec) = 0;
2614 /* Save corefile state. */
2615 write_gcore_file (obfd.get ());
2617 /* Write out the record log. */
2618 /* Write the magic code. */
2619 magic = RECORD_FULL_FILE_MAGIC;
2621 fprintf_unfiltered (gdb_stdlog,
2622 " Writing 4-byte magic cookie "
2623 "RECORD_FULL_FILE_MAGIC (0x%s)\n",
2624 phex_nz (magic, 4));
2625 bfdcore_write (obfd.get (), osec, &magic, sizeof (magic), &bfd_offset);
2627 /* Save the entries to recfd and forward execute to the end of
2629 record_full_list = &record_full_first;
2633 if (record_full_list != &record_full_first)
2636 uint32_t regnum, len, signal, count;
2639 type = record_full_list->type;
2640 bfdcore_write (obfd.get (), osec, &type, sizeof (type), &bfd_offset);
2642 switch (record_full_list->type)
2644 case record_full_reg: /* reg */
2646 fprintf_unfiltered (gdb_stdlog,
2647 " Writing register %d (1 "
2648 "plus %lu plus %d bytes)\n",
2649 record_full_list->u.reg.num,
2650 (unsigned long) sizeof (regnum),
2651 record_full_list->u.reg.len);
2654 regnum = netorder32 (record_full_list->u.reg.num);
2655 bfdcore_write (obfd.get (), osec, ®num,
2656 sizeof (regnum), &bfd_offset);
2659 bfdcore_write (obfd.get (), osec,
2660 record_full_get_loc (record_full_list),
2661 record_full_list->u.reg.len, &bfd_offset);
2664 case record_full_mem: /* mem */
2666 fprintf_unfiltered (gdb_stdlog,
2667 " Writing memory %s (1 plus "
2668 "%lu plus %lu plus %d bytes)\n",
2670 record_full_list->u.mem.addr),
2671 (unsigned long) sizeof (addr),
2672 (unsigned long) sizeof (len),
2673 record_full_list->u.mem.len);
2676 len = netorder32 (record_full_list->u.mem.len);
2677 bfdcore_write (obfd.get (), osec, &len, sizeof (len),
2680 /* Write memaddr. */
2681 addr = netorder64 (record_full_list->u.mem.addr);
2682 bfdcore_write (obfd.get (), osec, &addr,
2683 sizeof (addr), &bfd_offset);
2686 bfdcore_write (obfd.get (), osec,
2687 record_full_get_loc (record_full_list),
2688 record_full_list->u.mem.len, &bfd_offset);
2691 case record_full_end:
2693 fprintf_unfiltered (gdb_stdlog,
2694 " Writing record_full_end (1 + "
2695 "%lu + %lu bytes)\n",
2696 (unsigned long) sizeof (signal),
2697 (unsigned long) sizeof (count));
2698 /* Write signal value. */
2699 signal = netorder32 (record_full_list->u.end.sigval);
2700 bfdcore_write (obfd.get (), osec, &signal,
2701 sizeof (signal), &bfd_offset);
2703 /* Write insn count. */
2704 count = netorder32 (record_full_list->u.end.insn_num);
2705 bfdcore_write (obfd.get (), osec, &count,
2706 sizeof (count), &bfd_offset);
2711 /* Execute entry. */
2712 record_full_exec_insn (regcache, gdbarch, record_full_list);
2714 if (record_full_list->next)
2715 record_full_list = record_full_list->next;
2720 /* Reverse execute to cur_record_full_list. */
2723 /* Check for beginning and end of log. */
2724 if (record_full_list == cur_record_full_list)
2727 record_full_exec_insn (regcache, gdbarch, record_full_list);
2729 if (record_full_list->prev)
2730 record_full_list = record_full_list->prev;
2733 unlink_file.keep ();
2736 printf_filtered (_("Saved core file %s with execution log.\n"),
2740 /* record_full_goto_insn -- rewind the record log (forward or backward,
2741 depending on DIR) to the given entry, changing the program state
2745 record_full_goto_insn (struct record_full_entry *entry,
2746 enum exec_direction_kind dir)
2748 scoped_restore restore_operation_disable
2749 = record_full_gdb_operation_disable_set ();
2750 struct regcache *regcache = get_current_regcache ();
2751 struct gdbarch *gdbarch = regcache->arch ();
2753 /* Assume everything is valid: we will hit the entry,
2754 and we will not hit the end of the recording. */
2756 if (dir == EXEC_FORWARD)
2757 record_full_list = record_full_list->next;
2761 record_full_exec_insn (regcache, gdbarch, record_full_list);
2762 if (dir == EXEC_REVERSE)
2763 record_full_list = record_full_list->prev;
2765 record_full_list = record_full_list->next;
2766 } while (record_full_list != entry);
2769 /* Alias for "target record-full". */
2772 cmd_record_full_start (const char *args, int from_tty)
2774 execute_command ("target record-full", from_tty);
2778 set_record_full_insn_max_num (const char *args, int from_tty,
2779 struct cmd_list_element *c)
2781 if (record_full_insn_num > record_full_insn_max_num)
2783 /* Count down record_full_insn_num while releasing records from list. */
2784 while (record_full_insn_num > record_full_insn_max_num)
2786 record_full_list_release_first ();
2787 record_full_insn_num--;
2792 /* The "set record full" command. */
2795 set_record_full_command (const char *args, int from_tty)
2797 printf_unfiltered (_("\"set record full\" must be followed "
2798 "by an appropriate subcommand.\n"));
2799 help_list (set_record_full_cmdlist, "set record full ", all_commands,
2803 /* The "show record full" command. */
2806 show_record_full_command (const char *args, int from_tty)
2808 cmd_show_list (show_record_full_cmdlist, from_tty, "");
2812 _initialize_record_full (void)
2814 struct cmd_list_element *c;
2816 /* Init record_full_first. */
2817 record_full_first.prev = NULL;
2818 record_full_first.next = NULL;
2819 record_full_first.type = record_full_end;
2821 add_target (record_full_target_info, record_full_open);
2822 add_deprecated_target_alias (record_full_target_info, "record");
2823 add_target (record_full_core_target_info, record_full_open);
2825 add_prefix_cmd ("full", class_obscure, cmd_record_full_start,
2826 _("Start full execution recording."), &record_full_cmdlist,
2827 "record full ", 0, &record_cmdlist);
2829 c = add_cmd ("restore", class_obscure, cmd_record_full_restore,
2830 _("Restore the execution log from a file.\n\
2831 Argument is filename. File must be created with 'record save'."),
2832 &record_full_cmdlist);
2833 set_cmd_completer (c, filename_completer);
2835 /* Deprecate the old version without "full" prefix. */
2836 c = add_alias_cmd ("restore", "full restore", class_obscure, 1,
2838 set_cmd_completer (c, filename_completer);
2839 deprecate_cmd (c, "record full restore");
2841 add_prefix_cmd ("full", class_support, set_record_full_command,
2842 _("Set record options"), &set_record_full_cmdlist,
2843 "set record full ", 0, &set_record_cmdlist);
2845 add_prefix_cmd ("full", class_support, show_record_full_command,
2846 _("Show record options"), &show_record_full_cmdlist,
2847 "show record full ", 0, &show_record_cmdlist);
2849 /* Record instructions number limit command. */
2850 add_setshow_boolean_cmd ("stop-at-limit", no_class,
2851 &record_full_stop_at_limit, _("\
2852 Set whether record/replay stops when record/replay buffer becomes full."), _("\
2853 Show whether record/replay stops when record/replay buffer becomes full."),
2854 _("Default is ON.\n\
2855 When ON, if the record/replay buffer becomes full, ask user what to do.\n\
2856 When OFF, if the record/replay buffer becomes full,\n\
2857 delete the oldest recorded instruction to make room for each new one."),
2859 &set_record_full_cmdlist, &show_record_full_cmdlist);
2861 c = add_alias_cmd ("stop-at-limit", "full stop-at-limit", no_class, 1,
2862 &set_record_cmdlist);
2863 deprecate_cmd (c, "set record full stop-at-limit");
2865 c = add_alias_cmd ("stop-at-limit", "full stop-at-limit", no_class, 1,
2866 &show_record_cmdlist);
2867 deprecate_cmd (c, "show record full stop-at-limit");
2869 add_setshow_uinteger_cmd ("insn-number-max", no_class,
2870 &record_full_insn_max_num,
2871 _("Set record/replay buffer limit."),
2872 _("Show record/replay buffer limit."), _("\
2873 Set the maximum number of instructions to be stored in the\n\
2874 record/replay buffer. A value of either \"unlimited\" or zero means no\n\
2875 limit. Default is 200000."),
2876 set_record_full_insn_max_num,
2877 NULL, &set_record_full_cmdlist,
2878 &show_record_full_cmdlist);
2880 c = add_alias_cmd ("insn-number-max", "full insn-number-max", no_class, 1,
2881 &set_record_cmdlist);
2882 deprecate_cmd (c, "set record full insn-number-max");
2884 c = add_alias_cmd ("insn-number-max", "full insn-number-max", no_class, 1,
2885 &show_record_cmdlist);
2886 deprecate_cmd (c, "show record full insn-number-max");
2888 add_setshow_boolean_cmd ("memory-query", no_class,
2889 &record_full_memory_query, _("\
2890 Set whether query if PREC cannot record memory change of next instruction."),
2892 Show whether query if PREC cannot record memory change of next instruction."),
2895 When ON, query if PREC cannot record memory change of next instruction."),
2897 &set_record_full_cmdlist,
2898 &show_record_full_cmdlist);
2900 c = add_alias_cmd ("memory-query", "full memory-query", no_class, 1,
2901 &set_record_cmdlist);
2902 deprecate_cmd (c, "set record full memory-query");
2904 c = add_alias_cmd ("memory-query", "full memory-query", no_class, 1,
2905 &show_record_cmdlist);
2906 deprecate_cmd (c, "show record full memory-query");