1 /* Process record and replay target for GDB, the GNU debugger.
3 Copyright (C) 2013-2016 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"
41 /* This module implements "target record-full", also known as "process
42 record and replay". This target sits on top of a "normal" target
43 (a target that "has execution"), and provides a record and replay
44 functionality, including reverse debugging.
46 Target record has two modes: recording, and replaying.
48 In record mode, we intercept the to_resume and to_wait methods.
49 Whenever gdb resumes the target, we run the target in single step
50 mode, and we build up an execution log in which, for each executed
51 instruction, we record all changes in memory and register state.
52 This is invisible to the user, to whom it just looks like an
53 ordinary debugging session (except for performance degredation).
55 In replay mode, instead of actually letting the inferior run as a
56 process, we simulate its execution by playing back the recorded
57 execution log. For each instruction in the log, we simulate the
58 instruction's side effects by duplicating the changes that it would
59 have made on memory and registers. */
61 #define DEFAULT_RECORD_FULL_INSN_MAX_NUM 200000
63 #define RECORD_FULL_IS_REPLAY \
64 (record_full_list->next || execution_direction == EXEC_REVERSE)
66 #define RECORD_FULL_FILE_MAGIC netorder32(0x20091016)
68 /* These are the core structs of the process record functionality.
70 A record_full_entry is a record of the value change of a register
71 ("record_full_reg") or a part of memory ("record_full_mem"). And each
72 instruction must have a struct record_full_entry ("record_full_end")
73 that indicates that this is the last struct record_full_entry of this
76 Each struct record_full_entry is linked to "record_full_list" by "prev"
77 and "next" pointers. */
79 struct record_full_mem_entry
83 /* Set this flag if target memory for this entry
84 can no longer be accessed. */
85 int mem_entry_not_accessible
;
89 gdb_byte buf
[sizeof (gdb_byte
*)];
93 struct record_full_reg_entry
100 gdb_byte buf
[2 * sizeof (gdb_byte
*)];
104 struct record_full_end_entry
106 enum gdb_signal sigval
;
110 enum record_full_type
117 /* This is the data structure that makes up the execution log.
119 The execution log consists of a single linked list of entries
120 of type "struct record_full_entry". It is doubly linked so that it
121 can be traversed in either direction.
123 The start of the list is anchored by a struct called
124 "record_full_first". The pointer "record_full_list" either points
125 to the last entry that was added to the list (in record mode), or to
126 the next entry in the list that will be executed (in replay mode).
128 Each list element (struct record_full_entry), in addition to next
129 and prev pointers, consists of a union of three entry types: mem,
130 reg, and end. A field called "type" determines which entry type is
131 represented by a given list element.
133 Each instruction that is added to the execution log is represented
134 by a variable number of list elements ('entries'). The instruction
135 will have one "reg" entry for each register that is changed by
136 executing the instruction (including the PC in every case). It
137 will also have one "mem" entry for each memory change. Finally,
138 each instruction will have an "end" entry that separates it from
139 the changes associated with the next instruction. */
141 struct record_full_entry
143 struct record_full_entry
*prev
;
144 struct record_full_entry
*next
;
145 enum record_full_type type
;
149 struct record_full_reg_entry reg
;
151 struct record_full_mem_entry mem
;
153 struct record_full_end_entry end
;
157 /* If true, query if PREC cannot record memory
158 change of next instruction. */
159 int record_full_memory_query
= 0;
161 struct record_full_core_buf_entry
163 struct record_full_core_buf_entry
*prev
;
164 struct target_section
*p
;
168 /* Record buf with core target. */
169 static gdb_byte
*record_full_core_regbuf
= NULL
;
170 static struct target_section
*record_full_core_start
;
171 static struct target_section
*record_full_core_end
;
172 static struct record_full_core_buf_entry
*record_full_core_buf_list
= NULL
;
174 /* The following variables are used for managing the linked list that
175 represents the execution log.
177 record_full_first is the anchor that holds down the beginning of
180 record_full_list serves two functions:
181 1) In record mode, it anchors the end of the list.
182 2) In replay mode, it traverses the list and points to
183 the next instruction that must be emulated.
185 record_full_arch_list_head and record_full_arch_list_tail are used
186 to manage a separate list, which is used to build up the change
187 elements of the currently executing instruction during record mode.
188 When this instruction has been completely annotated in the "arch
189 list", it will be appended to the main execution log. */
191 static struct record_full_entry record_full_first
;
192 static struct record_full_entry
*record_full_list
= &record_full_first
;
193 static struct record_full_entry
*record_full_arch_list_head
= NULL
;
194 static struct record_full_entry
*record_full_arch_list_tail
= NULL
;
196 /* 1 ask user. 0 auto delete the last struct record_full_entry. */
197 static int record_full_stop_at_limit
= 1;
198 /* Maximum allowed number of insns in execution log. */
199 static unsigned int record_full_insn_max_num
200 = DEFAULT_RECORD_FULL_INSN_MAX_NUM
;
201 /* Actual count of insns presently in execution log. */
202 static unsigned int record_full_insn_num
= 0;
203 /* Count of insns logged so far (may be larger
204 than count of insns presently in execution log). */
205 static ULONGEST record_full_insn_count
;
207 /* The target_ops of process record. */
208 static struct target_ops record_full_ops
;
209 static struct target_ops record_full_core_ops
;
211 /* See record-full.h. */
214 record_full_is_used (void)
216 struct target_ops
*t
;
218 t
= find_record_target ();
219 return (t
== &record_full_ops
220 || t
== &record_full_core_ops
);
224 /* Command lists for "set/show record full". */
225 static struct cmd_list_element
*set_record_full_cmdlist
;
226 static struct cmd_list_element
*show_record_full_cmdlist
;
228 /* Command list for "record full". */
229 static struct cmd_list_element
*record_full_cmdlist
;
231 static void record_full_goto_insn (struct record_full_entry
*entry
,
232 enum exec_direction_kind dir
);
233 static void record_full_save (struct target_ops
*self
,
234 const char *recfilename
);
236 /* Alloc and free functions for record_full_reg, record_full_mem, and
237 record_full_end entries. */
239 /* Alloc a record_full_reg record entry. */
241 static inline struct record_full_entry
*
242 record_full_reg_alloc (struct regcache
*regcache
, int regnum
)
244 struct record_full_entry
*rec
;
245 struct gdbarch
*gdbarch
= get_regcache_arch (regcache
);
247 rec
= XCNEW (struct record_full_entry
);
248 rec
->type
= record_full_reg
;
249 rec
->u
.reg
.num
= regnum
;
250 rec
->u
.reg
.len
= register_size (gdbarch
, regnum
);
251 if (rec
->u
.reg
.len
> sizeof (rec
->u
.reg
.u
.buf
))
252 rec
->u
.reg
.u
.ptr
= (gdb_byte
*) xmalloc (rec
->u
.reg
.len
);
257 /* Free a record_full_reg record entry. */
260 record_full_reg_release (struct record_full_entry
*rec
)
262 gdb_assert (rec
->type
== record_full_reg
);
263 if (rec
->u
.reg
.len
> sizeof (rec
->u
.reg
.u
.buf
))
264 xfree (rec
->u
.reg
.u
.ptr
);
268 /* Alloc a record_full_mem record entry. */
270 static inline struct record_full_entry
*
271 record_full_mem_alloc (CORE_ADDR addr
, int len
)
273 struct record_full_entry
*rec
;
275 rec
= XCNEW (struct record_full_entry
);
276 rec
->type
= record_full_mem
;
277 rec
->u
.mem
.addr
= addr
;
278 rec
->u
.mem
.len
= len
;
279 if (rec
->u
.mem
.len
> sizeof (rec
->u
.mem
.u
.buf
))
280 rec
->u
.mem
.u
.ptr
= (gdb_byte
*) xmalloc (len
);
285 /* Free a record_full_mem record entry. */
288 record_full_mem_release (struct record_full_entry
*rec
)
290 gdb_assert (rec
->type
== record_full_mem
);
291 if (rec
->u
.mem
.len
> sizeof (rec
->u
.mem
.u
.buf
))
292 xfree (rec
->u
.mem
.u
.ptr
);
296 /* Alloc a record_full_end record entry. */
298 static inline struct record_full_entry
*
299 record_full_end_alloc (void)
301 struct record_full_entry
*rec
;
303 rec
= XCNEW (struct record_full_entry
);
304 rec
->type
= record_full_end
;
309 /* Free a record_full_end record entry. */
312 record_full_end_release (struct record_full_entry
*rec
)
317 /* Free one record entry, any type.
318 Return entry->type, in case caller wants to know. */
320 static inline enum record_full_type
321 record_full_entry_release (struct record_full_entry
*rec
)
323 enum record_full_type type
= rec
->type
;
326 case record_full_reg
:
327 record_full_reg_release (rec
);
329 case record_full_mem
:
330 record_full_mem_release (rec
);
332 case record_full_end
:
333 record_full_end_release (rec
);
339 /* Free all record entries in list pointed to by REC. */
342 record_full_list_release (struct record_full_entry
*rec
)
353 record_full_entry_release (rec
->next
);
356 if (rec
== &record_full_first
)
358 record_full_insn_num
= 0;
359 record_full_first
.next
= NULL
;
362 record_full_entry_release (rec
);
365 /* Free all record entries forward of the given list position. */
368 record_full_list_release_following (struct record_full_entry
*rec
)
370 struct record_full_entry
*tmp
= rec
->next
;
376 if (record_full_entry_release (tmp
) == record_full_end
)
378 record_full_insn_num
--;
379 record_full_insn_count
--;
385 /* Delete the first instruction from the beginning of the log, to make
386 room for adding a new instruction at the end of the log.
388 Note -- this function does not modify record_full_insn_num. */
391 record_full_list_release_first (void)
393 struct record_full_entry
*tmp
;
395 if (!record_full_first
.next
)
398 /* Loop until a record_full_end. */
401 /* Cut record_full_first.next out of the linked list. */
402 tmp
= record_full_first
.next
;
403 record_full_first
.next
= tmp
->next
;
404 tmp
->next
->prev
= &record_full_first
;
406 /* tmp is now isolated, and can be deleted. */
407 if (record_full_entry_release (tmp
) == record_full_end
)
408 break; /* End loop at first record_full_end. */
410 if (!record_full_first
.next
)
412 gdb_assert (record_full_insn_num
== 1);
413 break; /* End loop when list is empty. */
418 /* Add a struct record_full_entry to record_full_arch_list. */
421 record_full_arch_list_add (struct record_full_entry
*rec
)
423 if (record_debug
> 1)
424 fprintf_unfiltered (gdb_stdlog
,
425 "Process record: record_full_arch_list_add %s.\n",
426 host_address_to_string (rec
));
428 if (record_full_arch_list_tail
)
430 record_full_arch_list_tail
->next
= rec
;
431 rec
->prev
= record_full_arch_list_tail
;
432 record_full_arch_list_tail
= rec
;
436 record_full_arch_list_head
= rec
;
437 record_full_arch_list_tail
= rec
;
441 /* Return the value storage location of a record entry. */
442 static inline gdb_byte
*
443 record_full_get_loc (struct record_full_entry
*rec
)
446 case record_full_mem
:
447 if (rec
->u
.mem
.len
> sizeof (rec
->u
.mem
.u
.buf
))
448 return rec
->u
.mem
.u
.ptr
;
450 return rec
->u
.mem
.u
.buf
;
451 case record_full_reg
:
452 if (rec
->u
.reg
.len
> sizeof (rec
->u
.reg
.u
.buf
))
453 return rec
->u
.reg
.u
.ptr
;
455 return rec
->u
.reg
.u
.buf
;
456 case record_full_end
:
458 gdb_assert_not_reached ("unexpected record_full_entry type");
463 /* Record the value of a register NUM to record_full_arch_list. */
466 record_full_arch_list_add_reg (struct regcache
*regcache
, int regnum
)
468 struct record_full_entry
*rec
;
470 if (record_debug
> 1)
471 fprintf_unfiltered (gdb_stdlog
,
472 "Process record: add register num = %d to "
476 rec
= record_full_reg_alloc (regcache
, regnum
);
478 regcache_raw_read (regcache
, regnum
, record_full_get_loc (rec
));
480 record_full_arch_list_add (rec
);
485 /* Record the value of a region of memory whose address is ADDR and
486 length is LEN to record_full_arch_list. */
489 record_full_arch_list_add_mem (CORE_ADDR addr
, int len
)
491 struct record_full_entry
*rec
;
493 if (record_debug
> 1)
494 fprintf_unfiltered (gdb_stdlog
,
495 "Process record: add mem addr = %s len = %d to "
497 paddress (target_gdbarch (), addr
), len
);
499 if (!addr
) /* FIXME: Why? Some arch must permit it... */
502 rec
= record_full_mem_alloc (addr
, len
);
504 if (record_read_memory (target_gdbarch (), addr
,
505 record_full_get_loc (rec
), len
))
507 record_full_mem_release (rec
);
511 record_full_arch_list_add (rec
);
516 /* Add a record_full_end type struct record_full_entry to
517 record_full_arch_list. */
520 record_full_arch_list_add_end (void)
522 struct record_full_entry
*rec
;
524 if (record_debug
> 1)
525 fprintf_unfiltered (gdb_stdlog
,
526 "Process record: add end to arch list.\n");
528 rec
= record_full_end_alloc ();
529 rec
->u
.end
.sigval
= GDB_SIGNAL_0
;
530 rec
->u
.end
.insn_num
= ++record_full_insn_count
;
532 record_full_arch_list_add (rec
);
538 record_full_check_insn_num (void)
540 if (record_full_insn_num
== record_full_insn_max_num
)
542 /* Ask user what to do. */
543 if (record_full_stop_at_limit
)
545 if (!yquery (_("Do you want to auto delete previous execution "
546 "log entries when record/replay buffer becomes "
547 "full (record full stop-at-limit)?")))
548 error (_("Process record: stopped by user."));
549 record_full_stop_at_limit
= 0;
555 record_full_arch_list_cleanups (void *ignore
)
557 record_full_list_release (record_full_arch_list_tail
);
560 /* Before inferior step (when GDB record the running message, inferior
561 only can step), GDB will call this function to record the values to
562 record_full_list. This function will call gdbarch_process_record to
563 record the running message of inferior and set them to
564 record_full_arch_list, and add it to record_full_list. */
567 record_full_message (struct regcache
*regcache
, enum gdb_signal signal
)
570 struct gdbarch
*gdbarch
= get_regcache_arch (regcache
);
571 struct cleanup
*old_cleanups
572 = make_cleanup (record_full_arch_list_cleanups
, 0);
574 record_full_arch_list_head
= NULL
;
575 record_full_arch_list_tail
= NULL
;
577 /* Check record_full_insn_num. */
578 record_full_check_insn_num ();
580 /* If gdb sends a signal value to target_resume,
581 save it in the 'end' field of the previous instruction.
583 Maybe process record should record what really happened,
584 rather than what gdb pretends has happened.
586 So if Linux delivered the signal to the child process during
587 the record mode, we will record it and deliver it again in
590 If user says "ignore this signal" during the record mode, then
591 it will be ignored again during the replay mode (no matter if
592 the user says something different, like "deliver this signal"
593 during the replay mode).
595 User should understand that nothing he does during the replay
596 mode will change the behavior of the child. If he tries,
597 then that is a user error.
599 But we should still deliver the signal to gdb during the replay,
600 if we delivered it during the recording. Therefore we should
601 record the signal during record_full_wait, not
602 record_full_resume. */
603 if (record_full_list
!= &record_full_first
) /* FIXME better way to check */
605 gdb_assert (record_full_list
->type
== record_full_end
);
606 record_full_list
->u
.end
.sigval
= signal
;
609 if (signal
== GDB_SIGNAL_0
610 || !gdbarch_process_record_signal_p (gdbarch
))
611 ret
= gdbarch_process_record (gdbarch
,
613 regcache_read_pc (regcache
));
615 ret
= gdbarch_process_record_signal (gdbarch
,
620 error (_("Process record: inferior program stopped."));
622 error (_("Process record: failed to record execution log."));
624 discard_cleanups (old_cleanups
);
626 record_full_list
->next
= record_full_arch_list_head
;
627 record_full_arch_list_head
->prev
= record_full_list
;
628 record_full_list
= record_full_arch_list_tail
;
630 if (record_full_insn_num
== record_full_insn_max_num
)
631 record_full_list_release_first ();
633 record_full_insn_num
++;
638 struct record_full_message_args
{
639 struct regcache
*regcache
;
640 enum gdb_signal signal
;
644 record_full_message_wrapper (void *args
)
646 struct record_full_message_args
*record_full_args
647 = (struct record_full_message_args
*) args
;
649 return record_full_message (record_full_args
->regcache
,
650 record_full_args
->signal
);
654 record_full_message_wrapper_safe (struct regcache
*regcache
,
655 enum gdb_signal signal
)
657 struct record_full_message_args args
;
659 args
.regcache
= regcache
;
660 args
.signal
= signal
;
662 return catch_errors (record_full_message_wrapper
, &args
, "",
666 /* Set to 1 if record_full_store_registers and record_full_xfer_partial
667 doesn't need record. */
669 static int record_full_gdb_operation_disable
= 0;
672 record_full_gdb_operation_disable_set (void)
674 struct cleanup
*old_cleanups
= NULL
;
677 make_cleanup_restore_integer (&record_full_gdb_operation_disable
);
678 record_full_gdb_operation_disable
= 1;
683 /* Flag set to TRUE for target_stopped_by_watchpoint. */
684 static enum target_stop_reason record_full_stop_reason
685 = TARGET_STOPPED_BY_NO_REASON
;
687 /* Execute one instruction from the record log. Each instruction in
688 the log will be represented by an arbitrary sequence of register
689 entries and memory entries, followed by an 'end' entry. */
692 record_full_exec_insn (struct regcache
*regcache
,
693 struct gdbarch
*gdbarch
,
694 struct record_full_entry
*entry
)
698 case record_full_reg
: /* reg */
700 gdb_byte reg
[MAX_REGISTER_SIZE
];
702 if (record_debug
> 1)
703 fprintf_unfiltered (gdb_stdlog
,
704 "Process record: record_full_reg %s to "
705 "inferior num = %d.\n",
706 host_address_to_string (entry
),
709 regcache_cooked_read (regcache
, entry
->u
.reg
.num
, reg
);
710 regcache_cooked_write (regcache
, entry
->u
.reg
.num
,
711 record_full_get_loc (entry
));
712 memcpy (record_full_get_loc (entry
), reg
, entry
->u
.reg
.len
);
716 case record_full_mem
: /* mem */
718 /* Nothing to do if the entry is flagged not_accessible. */
719 if (!entry
->u
.mem
.mem_entry_not_accessible
)
721 gdb_byte
*mem
= (gdb_byte
*) xmalloc (entry
->u
.mem
.len
);
722 struct cleanup
*cleanup
= make_cleanup (xfree
, mem
);
724 if (record_debug
> 1)
725 fprintf_unfiltered (gdb_stdlog
,
726 "Process record: record_full_mem %s to "
727 "inferior addr = %s len = %d.\n",
728 host_address_to_string (entry
),
729 paddress (gdbarch
, entry
->u
.mem
.addr
),
732 if (record_read_memory (gdbarch
,
733 entry
->u
.mem
.addr
, mem
, entry
->u
.mem
.len
))
734 entry
->u
.mem
.mem_entry_not_accessible
= 1;
737 if (target_write_memory (entry
->u
.mem
.addr
,
738 record_full_get_loc (entry
),
741 entry
->u
.mem
.mem_entry_not_accessible
= 1;
743 warning (_("Process record: error writing memory at "
744 "addr = %s len = %d."),
745 paddress (gdbarch
, entry
->u
.mem
.addr
),
750 memcpy (record_full_get_loc (entry
), mem
,
753 /* We've changed memory --- check if a hardware
754 watchpoint should trap. Note that this
755 presently assumes the target beneath supports
756 continuable watchpoints. On non-continuable
757 watchpoints target, we'll want to check this
758 _before_ actually doing the memory change, and
759 not doing the change at all if the watchpoint
761 if (hardware_watchpoint_inserted_in_range
762 (get_regcache_aspace (regcache
),
763 entry
->u
.mem
.addr
, entry
->u
.mem
.len
))
764 record_full_stop_reason
= TARGET_STOPPED_BY_WATCHPOINT
;
768 do_cleanups (cleanup
);
775 static void record_full_restore (void);
777 /* Asynchronous signal handle registered as event loop source for when
778 we have pending events ready to be passed to the core. */
780 static struct async_event_handler
*record_full_async_inferior_event_token
;
783 record_full_async_inferior_event_handler (gdb_client_data data
)
785 inferior_event_handler (INF_REG_EVENT
, NULL
);
788 /* Open the process record target. */
791 record_full_core_open_1 (const char *name
, int from_tty
)
793 struct regcache
*regcache
= get_current_regcache ();
794 int regnum
= gdbarch_num_regs (get_regcache_arch (regcache
));
797 /* Get record_full_core_regbuf. */
798 target_fetch_registers (regcache
, -1);
799 record_full_core_regbuf
= (gdb_byte
*) xmalloc (MAX_REGISTER_SIZE
* regnum
);
800 for (i
= 0; i
< regnum
; i
++)
801 regcache_raw_collect (regcache
, i
,
802 record_full_core_regbuf
+ MAX_REGISTER_SIZE
* i
);
804 /* Get record_full_core_start and record_full_core_end. */
805 if (build_section_table (core_bfd
, &record_full_core_start
,
806 &record_full_core_end
))
808 xfree (record_full_core_regbuf
);
809 record_full_core_regbuf
= NULL
;
810 error (_("\"%s\": Can't find sections: %s"),
811 bfd_get_filename (core_bfd
), bfd_errmsg (bfd_get_error ()));
814 push_target (&record_full_core_ops
);
815 record_full_restore ();
818 /* "to_open" target method for 'live' processes. */
821 record_full_open_1 (const char *name
, int from_tty
)
824 fprintf_unfiltered (gdb_stdlog
, "Process record: record_full_open\n");
827 if (!target_has_execution
)
828 error (_("Process record: the program is not being run."));
830 error (_("Process record target can't debug inferior in non-stop mode "
833 if (!gdbarch_process_record_p (target_gdbarch ()))
834 error (_("Process record: the current architecture doesn't support "
835 "record function."));
837 push_target (&record_full_ops
);
840 static void record_full_init_record_breakpoints (void);
842 /* "to_open" target method. Open the process record target. */
845 record_full_open (const char *name
, int from_tty
)
847 struct target_ops
*t
;
850 fprintf_unfiltered (gdb_stdlog
, "Process record: record_full_open\n");
855 record_full_insn_num
= 0;
856 record_full_insn_count
= 0;
857 record_full_list
= &record_full_first
;
858 record_full_list
->next
= NULL
;
861 record_full_core_open_1 (name
, from_tty
);
863 record_full_open_1 (name
, from_tty
);
865 /* Register extra event sources in the event loop. */
866 record_full_async_inferior_event_token
867 = create_async_event_handler (record_full_async_inferior_event_handler
,
870 record_full_init_record_breakpoints ();
872 observer_notify_record_changed (current_inferior (), 1, "full", NULL
);
875 /* "to_close" target method. Close the process record target. */
878 record_full_close (struct target_ops
*self
)
880 struct record_full_core_buf_entry
*entry
;
883 fprintf_unfiltered (gdb_stdlog
, "Process record: record_full_close\n");
885 record_full_list_release (record_full_list
);
887 /* Release record_full_core_regbuf. */
888 if (record_full_core_regbuf
)
890 xfree (record_full_core_regbuf
);
891 record_full_core_regbuf
= NULL
;
894 /* Release record_full_core_buf_list. */
895 if (record_full_core_buf_list
)
897 for (entry
= record_full_core_buf_list
->prev
; entry
;
900 xfree (record_full_core_buf_list
);
901 record_full_core_buf_list
= entry
;
903 record_full_core_buf_list
= NULL
;
906 if (record_full_async_inferior_event_token
)
907 delete_async_event_handler (&record_full_async_inferior_event_token
);
910 /* "to_async" target method. */
913 record_full_async (struct target_ops
*ops
, int enable
)
916 mark_async_event_handler (record_full_async_inferior_event_token
);
918 clear_async_event_handler (record_full_async_inferior_event_token
);
920 ops
->beneath
->to_async (ops
->beneath
, enable
);
923 static int record_full_resume_step
= 0;
925 /* True if we've been resumed, and so each record_full_wait call should
926 advance execution. If this is false, record_full_wait will return a
927 TARGET_WAITKIND_IGNORE. */
928 static int record_full_resumed
= 0;
930 /* The execution direction of the last resume we got. This is
931 necessary for async mode. Vis (order is not strictly accurate):
933 1. user has the global execution direction set to forward
934 2. user does a reverse-step command
935 3. record_full_resume is called with global execution direction
936 temporarily switched to reverse
937 4. GDB's execution direction is reverted back to forward
938 5. target record notifies event loop there's an event to handle
939 6. infrun asks the target which direction was it going, and switches
940 the global execution direction accordingly (to reverse)
941 7. infrun polls an event out of the record target, and handles it
942 8. GDB goes back to the event loop, and goto #4.
944 static enum exec_direction_kind record_full_execution_dir
= EXEC_FORWARD
;
946 /* "to_resume" target method. Resume the process record target. */
949 record_full_resume (struct target_ops
*ops
, ptid_t ptid
, int step
,
950 enum gdb_signal signal
)
952 record_full_resume_step
= step
;
953 record_full_resumed
= 1;
954 record_full_execution_dir
= execution_direction
;
956 if (!RECORD_FULL_IS_REPLAY
)
958 struct gdbarch
*gdbarch
= target_thread_architecture (ptid
);
960 record_full_message (get_current_regcache (), signal
);
964 /* This is not hard single step. */
965 if (!gdbarch_software_single_step_p (gdbarch
))
967 /* This is a normal continue. */
972 /* This arch support soft sigle step. */
973 if (thread_has_single_step_breakpoints_set (inferior_thread ()))
975 /* This is a soft single step. */
976 record_full_resume_step
= 1;
980 /* This is a continue.
981 Try to insert a soft single step breakpoint. */
982 if (!gdbarch_software_single_step (gdbarch
,
983 get_current_frame ()))
985 /* This system don't want use soft single step.
986 Use hard sigle step. */
993 /* Make sure the target beneath reports all signals. */
994 target_pass_signals (0, NULL
);
996 ops
->beneath
->to_resume (ops
->beneath
, ptid
, step
, signal
);
999 /* We are about to start executing the inferior (or simulate it),
1000 let's register it with the event loop. */
1001 if (target_can_async_p ())
1005 /* "to_commit_resume" method for process record target. */
1008 record_full_commit_resume (struct target_ops
*ops
)
1010 if (!RECORD_FULL_IS_REPLAY
)
1011 ops
->beneath
->to_commit_resume (ops
->beneath
);
1014 static int record_full_get_sig
= 0;
1016 /* SIGINT signal handler, registered by "to_wait" method. */
1019 record_full_sig_handler (int signo
)
1022 fprintf_unfiltered (gdb_stdlog
, "Process record: get a signal\n");
1024 /* It will break the running inferior in replay mode. */
1025 record_full_resume_step
= 1;
1027 /* It will let record_full_wait set inferior status to get the signal
1029 record_full_get_sig
= 1;
1033 record_full_wait_cleanups (void *ignore
)
1035 if (execution_direction
== EXEC_REVERSE
)
1037 if (record_full_list
->next
)
1038 record_full_list
= record_full_list
->next
;
1041 record_full_list
= record_full_list
->prev
;
1044 /* "to_wait" target method for process record target.
1046 In record mode, the target is always run in singlestep mode
1047 (even when gdb says to continue). The to_wait method intercepts
1048 the stop events and determines which ones are to be passed on to
1049 gdb. Most stop events are just singlestep events that gdb is not
1050 to know about, so the to_wait method just records them and keeps
1053 In replay mode, this function emulates the recorded execution log,
1054 one instruction at a time (forward or backward), and determines
1058 record_full_wait_1 (struct target_ops
*ops
,
1059 ptid_t ptid
, struct target_waitstatus
*status
,
1062 struct cleanup
*set_cleanups
= record_full_gdb_operation_disable_set ();
1065 fprintf_unfiltered (gdb_stdlog
,
1066 "Process record: record_full_wait "
1067 "record_full_resume_step = %d, "
1068 "record_full_resumed = %d, direction=%s\n",
1069 record_full_resume_step
, record_full_resumed
,
1070 record_full_execution_dir
== EXEC_FORWARD
1071 ? "forward" : "reverse");
1073 if (!record_full_resumed
)
1075 gdb_assert ((options
& TARGET_WNOHANG
) != 0);
1077 /* No interesting event. */
1078 status
->kind
= TARGET_WAITKIND_IGNORE
;
1079 return minus_one_ptid
;
1082 record_full_get_sig
= 0;
1083 signal (SIGINT
, record_full_sig_handler
);
1085 record_full_stop_reason
= TARGET_STOPPED_BY_NO_REASON
;
1087 if (!RECORD_FULL_IS_REPLAY
&& ops
!= &record_full_core_ops
)
1089 if (record_full_resume_step
)
1091 /* This is a single step. */
1092 return ops
->beneath
->to_wait (ops
->beneath
, ptid
, status
, options
);
1096 /* This is not a single step. */
1099 struct gdbarch
*gdbarch
= target_thread_architecture (inferior_ptid
);
1103 struct thread_info
*tp
;
1105 ret
= ops
->beneath
->to_wait (ops
->beneath
, ptid
, status
, options
);
1106 if (status
->kind
== TARGET_WAITKIND_IGNORE
)
1109 fprintf_unfiltered (gdb_stdlog
,
1110 "Process record: record_full_wait "
1111 "target beneath not done yet\n");
1115 ALL_NON_EXITED_THREADS (tp
)
1116 delete_single_step_breakpoints (tp
);
1118 if (record_full_resume_step
)
1121 /* Is this a SIGTRAP? */
1122 if (status
->kind
== TARGET_WAITKIND_STOPPED
1123 && status
->value
.sig
== GDB_SIGNAL_TRAP
)
1125 struct regcache
*regcache
;
1126 struct address_space
*aspace
;
1127 enum target_stop_reason
*stop_reason_p
1128 = &record_full_stop_reason
;
1130 /* Yes -- this is likely our single-step finishing,
1131 but check if there's any reason the core would be
1132 interested in the event. */
1134 registers_changed ();
1135 regcache
= get_current_regcache ();
1136 tmp_pc
= regcache_read_pc (regcache
);
1137 aspace
= get_regcache_aspace (regcache
);
1139 if (target_stopped_by_watchpoint ())
1141 /* Always interested in watchpoints. */
1143 else if (record_check_stopped_by_breakpoint (aspace
, tmp_pc
,
1146 /* There is a breakpoint here. Let the core
1151 /* This is a single-step trap. Record the
1152 insn and issue another step.
1153 FIXME: this part can be a random SIGTRAP too.
1154 But GDB cannot handle it. */
1157 if (!record_full_message_wrapper_safe (regcache
,
1160 status
->kind
= TARGET_WAITKIND_STOPPED
;
1161 status
->value
.sig
= GDB_SIGNAL_0
;
1165 if (gdbarch_software_single_step_p (gdbarch
))
1167 /* Try to insert the software single step breakpoint.
1168 If insert success, set step to 0. */
1169 set_executing (inferior_ptid
, 0);
1170 reinit_frame_cache ();
1171 if (gdbarch_software_single_step (gdbarch
,
1172 get_current_frame ()))
1174 set_executing (inferior_ptid
, 1);
1178 fprintf_unfiltered (gdb_stdlog
,
1179 "Process record: record_full_wait "
1180 "issuing one more step in the "
1181 "target beneath\n");
1182 ops
->beneath
->to_resume (ops
->beneath
, ptid
, step
,
1184 ops
->beneath
->to_commit_resume (ops
->beneath
);
1189 /* The inferior is broken by a breakpoint or a signal. */
1198 struct regcache
*regcache
= get_current_regcache ();
1199 struct gdbarch
*gdbarch
= get_regcache_arch (regcache
);
1200 struct address_space
*aspace
= get_regcache_aspace (regcache
);
1201 int continue_flag
= 1;
1202 int first_record_full_end
= 1;
1203 struct cleanup
*old_cleanups
1204 = make_cleanup (record_full_wait_cleanups
, 0);
1207 record_full_stop_reason
= TARGET_STOPPED_BY_NO_REASON
;
1208 status
->kind
= TARGET_WAITKIND_STOPPED
;
1210 /* Check breakpoint when forward execute. */
1211 if (execution_direction
== EXEC_FORWARD
)
1213 tmp_pc
= regcache_read_pc (regcache
);
1214 if (record_check_stopped_by_breakpoint (aspace
, tmp_pc
,
1215 &record_full_stop_reason
))
1218 fprintf_unfiltered (gdb_stdlog
,
1219 "Process record: break at %s.\n",
1220 paddress (gdbarch
, tmp_pc
));
1225 /* If GDB is in terminal_inferior mode, it will not get the signal.
1226 And in GDB replay mode, GDB doesn't need to be in terminal_inferior
1227 mode, because inferior will not executed.
1228 Then set it to terminal_ours to make GDB get the signal. */
1229 target_terminal_ours ();
1231 /* In EXEC_FORWARD mode, record_full_list points to the tail of prev
1233 if (execution_direction
== EXEC_FORWARD
&& record_full_list
->next
)
1234 record_full_list
= record_full_list
->next
;
1236 /* Loop over the record_full_list, looking for the next place to
1240 /* Check for beginning and end of log. */
1241 if (execution_direction
== EXEC_REVERSE
1242 && record_full_list
== &record_full_first
)
1244 /* Hit beginning of record log in reverse. */
1245 status
->kind
= TARGET_WAITKIND_NO_HISTORY
;
1248 if (execution_direction
!= EXEC_REVERSE
&& !record_full_list
->next
)
1250 /* Hit end of record log going forward. */
1251 status
->kind
= TARGET_WAITKIND_NO_HISTORY
;
1255 record_full_exec_insn (regcache
, gdbarch
, record_full_list
);
1257 if (record_full_list
->type
== record_full_end
)
1259 if (record_debug
> 1)
1260 fprintf_unfiltered (gdb_stdlog
,
1261 "Process record: record_full_end %s to "
1263 host_address_to_string (record_full_list
));
1265 if (first_record_full_end
&& execution_direction
== EXEC_REVERSE
)
1267 /* When reverse excute, the first record_full_end is the
1268 part of current instruction. */
1269 first_record_full_end
= 0;
1273 /* In EXEC_REVERSE mode, this is the record_full_end of prev
1275 In EXEC_FORWARD mode, this is the record_full_end of
1276 current instruction. */
1278 if (record_full_resume_step
)
1280 if (record_debug
> 1)
1281 fprintf_unfiltered (gdb_stdlog
,
1282 "Process record: step.\n");
1286 /* check breakpoint */
1287 tmp_pc
= regcache_read_pc (regcache
);
1288 if (record_check_stopped_by_breakpoint (aspace
, tmp_pc
,
1289 &record_full_stop_reason
))
1292 fprintf_unfiltered (gdb_stdlog
,
1293 "Process record: break "
1295 paddress (gdbarch
, tmp_pc
));
1300 if (record_full_stop_reason
== TARGET_STOPPED_BY_WATCHPOINT
)
1303 fprintf_unfiltered (gdb_stdlog
,
1304 "Process record: hit hw "
1308 /* Check target signal */
1309 if (record_full_list
->u
.end
.sigval
!= GDB_SIGNAL_0
)
1310 /* FIXME: better way to check */
1317 if (execution_direction
== EXEC_REVERSE
)
1319 if (record_full_list
->prev
)
1320 record_full_list
= record_full_list
->prev
;
1324 if (record_full_list
->next
)
1325 record_full_list
= record_full_list
->next
;
1329 while (continue_flag
);
1332 if (record_full_get_sig
)
1333 status
->value
.sig
= GDB_SIGNAL_INT
;
1334 else if (record_full_list
->u
.end
.sigval
!= GDB_SIGNAL_0
)
1335 /* FIXME: better way to check */
1336 status
->value
.sig
= record_full_list
->u
.end
.sigval
;
1338 status
->value
.sig
= GDB_SIGNAL_TRAP
;
1340 discard_cleanups (old_cleanups
);
1343 signal (SIGINT
, handle_sigint
);
1345 do_cleanups (set_cleanups
);
1346 return inferior_ptid
;
1350 record_full_wait (struct target_ops
*ops
,
1351 ptid_t ptid
, struct target_waitstatus
*status
,
1356 return_ptid
= record_full_wait_1 (ops
, ptid
, status
, options
);
1357 if (status
->kind
!= TARGET_WAITKIND_IGNORE
)
1359 /* We're reporting a stop. Make sure any spurious
1360 target_wait(WNOHANG) doesn't advance the target until the
1361 core wants us resumed again. */
1362 record_full_resumed
= 0;
1368 record_full_stopped_by_watchpoint (struct target_ops
*ops
)
1370 if (RECORD_FULL_IS_REPLAY
)
1371 return record_full_stop_reason
== TARGET_STOPPED_BY_WATCHPOINT
;
1373 return ops
->beneath
->to_stopped_by_watchpoint (ops
->beneath
);
1377 record_full_stopped_data_address (struct target_ops
*ops
, CORE_ADDR
*addr_p
)
1379 if (RECORD_FULL_IS_REPLAY
)
1382 return ops
->beneath
->to_stopped_data_address (ops
->beneath
, addr_p
);
1385 /* The to_stopped_by_sw_breakpoint method of target record-full. */
1388 record_full_stopped_by_sw_breakpoint (struct target_ops
*ops
)
1390 return record_full_stop_reason
== TARGET_STOPPED_BY_SW_BREAKPOINT
;
1393 /* The to_supports_stopped_by_sw_breakpoint method of target
1397 record_full_supports_stopped_by_sw_breakpoint (struct target_ops
*ops
)
1402 /* The to_stopped_by_hw_breakpoint method of target record-full. */
1405 record_full_stopped_by_hw_breakpoint (struct target_ops
*ops
)
1407 return record_full_stop_reason
== TARGET_STOPPED_BY_HW_BREAKPOINT
;
1410 /* The to_supports_stopped_by_sw_breakpoint method of target
1414 record_full_supports_stopped_by_hw_breakpoint (struct target_ops
*ops
)
1419 /* Record registers change (by user or by GDB) to list as an instruction. */
1422 record_full_registers_change (struct regcache
*regcache
, int regnum
)
1424 /* Check record_full_insn_num. */
1425 record_full_check_insn_num ();
1427 record_full_arch_list_head
= NULL
;
1428 record_full_arch_list_tail
= NULL
;
1434 for (i
= 0; i
< gdbarch_num_regs (get_regcache_arch (regcache
)); i
++)
1436 if (record_full_arch_list_add_reg (regcache
, i
))
1438 record_full_list_release (record_full_arch_list_tail
);
1439 error (_("Process record: failed to record execution log."));
1445 if (record_full_arch_list_add_reg (regcache
, regnum
))
1447 record_full_list_release (record_full_arch_list_tail
);
1448 error (_("Process record: failed to record execution log."));
1451 if (record_full_arch_list_add_end ())
1453 record_full_list_release (record_full_arch_list_tail
);
1454 error (_("Process record: failed to record execution log."));
1456 record_full_list
->next
= record_full_arch_list_head
;
1457 record_full_arch_list_head
->prev
= record_full_list
;
1458 record_full_list
= record_full_arch_list_tail
;
1460 if (record_full_insn_num
== record_full_insn_max_num
)
1461 record_full_list_release_first ();
1463 record_full_insn_num
++;
1466 /* "to_store_registers" method for process record target. */
1469 record_full_store_registers (struct target_ops
*ops
,
1470 struct regcache
*regcache
,
1473 if (!record_full_gdb_operation_disable
)
1475 if (RECORD_FULL_IS_REPLAY
)
1479 /* Let user choose if he wants to write register or not. */
1482 query (_("Because GDB is in replay mode, changing the "
1483 "value of a register will make the execution "
1484 "log unusable from this point onward. "
1485 "Change all registers?"));
1488 query (_("Because GDB is in replay mode, changing the value "
1489 "of a register will make the execution log unusable "
1490 "from this point onward. Change register %s?"),
1491 gdbarch_register_name (get_regcache_arch (regcache
),
1496 /* Invalidate the value of regcache that was set in function
1497 "regcache_raw_write". */
1503 i
< gdbarch_num_regs (get_regcache_arch (regcache
));
1505 regcache_invalidate (regcache
, i
);
1508 regcache_invalidate (regcache
, regno
);
1510 error (_("Process record canceled the operation."));
1513 /* Destroy the record from here forward. */
1514 record_full_list_release_following (record_full_list
);
1517 record_full_registers_change (regcache
, regno
);
1519 ops
->beneath
->to_store_registers (ops
->beneath
, regcache
, regno
);
1522 /* "to_xfer_partial" method. Behavior is conditional on
1523 RECORD_FULL_IS_REPLAY.
1524 In replay mode, we cannot write memory unles we are willing to
1525 invalidate the record/replay log from this point forward. */
1527 static enum target_xfer_status
1528 record_full_xfer_partial (struct target_ops
*ops
, enum target_object object
,
1529 const char *annex
, gdb_byte
*readbuf
,
1530 const gdb_byte
*writebuf
, ULONGEST offset
,
1531 ULONGEST len
, ULONGEST
*xfered_len
)
1533 if (!record_full_gdb_operation_disable
1534 && (object
== TARGET_OBJECT_MEMORY
1535 || object
== TARGET_OBJECT_RAW_MEMORY
) && writebuf
)
1537 if (RECORD_FULL_IS_REPLAY
)
1539 /* Let user choose if he wants to write memory or not. */
1540 if (!query (_("Because GDB is in replay mode, writing to memory "
1541 "will make the execution log unusable from this "
1542 "point onward. Write memory at address %s?"),
1543 paddress (target_gdbarch (), offset
)))
1544 error (_("Process record canceled the operation."));
1546 /* Destroy the record from here forward. */
1547 record_full_list_release_following (record_full_list
);
1550 /* Check record_full_insn_num */
1551 record_full_check_insn_num ();
1553 /* Record registers change to list as an instruction. */
1554 record_full_arch_list_head
= NULL
;
1555 record_full_arch_list_tail
= NULL
;
1556 if (record_full_arch_list_add_mem (offset
, len
))
1558 record_full_list_release (record_full_arch_list_tail
);
1560 fprintf_unfiltered (gdb_stdlog
,
1561 "Process record: failed to record "
1563 return TARGET_XFER_E_IO
;
1565 if (record_full_arch_list_add_end ())
1567 record_full_list_release (record_full_arch_list_tail
);
1569 fprintf_unfiltered (gdb_stdlog
,
1570 "Process record: failed to record "
1572 return TARGET_XFER_E_IO
;
1574 record_full_list
->next
= record_full_arch_list_head
;
1575 record_full_arch_list_head
->prev
= record_full_list
;
1576 record_full_list
= record_full_arch_list_tail
;
1578 if (record_full_insn_num
== record_full_insn_max_num
)
1579 record_full_list_release_first ();
1581 record_full_insn_num
++;
1584 return ops
->beneath
->to_xfer_partial (ops
->beneath
, object
, annex
,
1585 readbuf
, writebuf
, offset
,
1589 /* This structure represents a breakpoint inserted while the record
1590 target is active. We use this to know when to install/remove
1591 breakpoints in/from the target beneath. For example, a breakpoint
1592 may be inserted while recording, but removed when not replaying nor
1593 recording. In that case, the breakpoint had not been inserted on
1594 the target beneath, so we should not try to remove it there. */
1596 struct record_full_breakpoint
1598 /* The address and address space the breakpoint was set at. */
1599 struct address_space
*address_space
;
1602 /* True when the breakpoint has been also installed in the target
1603 beneath. This will be false for breakpoints set during replay or
1605 int in_target_beneath
;
1608 typedef struct record_full_breakpoint
*record_full_breakpoint_p
;
1609 DEF_VEC_P(record_full_breakpoint_p
);
1611 /* The list of breakpoints inserted while the record target is
1613 VEC(record_full_breakpoint_p
) *record_full_breakpoints
= NULL
;
1616 record_full_sync_record_breakpoints (struct bp_location
*loc
, void *data
)
1618 if (loc
->loc_type
!= bp_loc_software_breakpoint
)
1623 struct record_full_breakpoint
*bp
= XNEW (struct record_full_breakpoint
);
1625 bp
->addr
= loc
->target_info
.placed_address
;
1626 bp
->address_space
= loc
->target_info
.placed_address_space
;
1628 bp
->in_target_beneath
= 1;
1630 VEC_safe_push (record_full_breakpoint_p
, record_full_breakpoints
, bp
);
1634 /* Sync existing breakpoints to record_full_breakpoints. */
1637 record_full_init_record_breakpoints (void)
1639 VEC_free (record_full_breakpoint_p
, record_full_breakpoints
);
1641 iterate_over_bp_locations (record_full_sync_record_breakpoints
);
1644 /* Behavior is conditional on RECORD_FULL_IS_REPLAY. We will not actually
1645 insert or remove breakpoints in the real target when replaying, nor
1649 record_full_insert_breakpoint (struct target_ops
*ops
,
1650 struct gdbarch
*gdbarch
,
1651 struct bp_target_info
*bp_tgt
)
1653 struct record_full_breakpoint
*bp
;
1654 int in_target_beneath
= 0;
1657 if (!RECORD_FULL_IS_REPLAY
)
1659 /* When recording, we currently always single-step, so we don't
1660 really need to install regular breakpoints in the inferior.
1661 However, we do have to insert software single-step
1662 breakpoints, in case the target can't hardware step. To keep
1663 things simple, we always insert. */
1664 struct cleanup
*old_cleanups
;
1667 old_cleanups
= record_full_gdb_operation_disable_set ();
1668 ret
= ops
->beneath
->to_insert_breakpoint (ops
->beneath
, gdbarch
, bp_tgt
);
1669 do_cleanups (old_cleanups
);
1674 in_target_beneath
= 1;
1677 /* Use the existing entries if found in order to avoid duplication
1678 in record_full_breakpoints. */
1681 VEC_iterate (record_full_breakpoint_p
,
1682 record_full_breakpoints
, ix
, bp
);
1685 if (bp
->addr
== bp_tgt
->placed_address
1686 && bp
->address_space
== bp_tgt
->placed_address_space
)
1688 gdb_assert (bp
->in_target_beneath
== in_target_beneath
);
1693 bp
= XNEW (struct record_full_breakpoint
);
1694 bp
->addr
= bp_tgt
->placed_address
;
1695 bp
->address_space
= bp_tgt
->placed_address_space
;
1696 bp
->in_target_beneath
= in_target_beneath
;
1697 VEC_safe_push (record_full_breakpoint_p
, record_full_breakpoints
, bp
);
1701 /* "to_remove_breakpoint" method for process record target. */
1704 record_full_remove_breakpoint (struct target_ops
*ops
,
1705 struct gdbarch
*gdbarch
,
1706 struct bp_target_info
*bp_tgt
,
1707 enum remove_bp_reason reason
)
1709 struct record_full_breakpoint
*bp
;
1713 VEC_iterate (record_full_breakpoint_p
,
1714 record_full_breakpoints
, ix
, bp
);
1717 if (bp
->addr
== bp_tgt
->placed_address
1718 && bp
->address_space
== bp_tgt
->placed_address_space
)
1720 if (bp
->in_target_beneath
)
1722 struct cleanup
*old_cleanups
;
1725 old_cleanups
= record_full_gdb_operation_disable_set ();
1726 ret
= ops
->beneath
->to_remove_breakpoint (ops
->beneath
, gdbarch
,
1728 do_cleanups (old_cleanups
);
1734 if (reason
== REMOVE_BREAKPOINT
)
1736 VEC_unordered_remove (record_full_breakpoint_p
,
1737 record_full_breakpoints
, ix
);
1743 gdb_assert_not_reached ("removing unknown breakpoint");
1746 /* "to_can_execute_reverse" method for process record target. */
1749 record_full_can_execute_reverse (struct target_ops
*self
)
1754 /* "to_get_bookmark" method for process record and prec over core. */
1757 record_full_get_bookmark (struct target_ops
*self
, const char *args
,
1762 /* Return stringified form of instruction count. */
1763 if (record_full_list
&& record_full_list
->type
== record_full_end
)
1764 ret
= xstrdup (pulongest (record_full_list
->u
.end
.insn_num
));
1769 fprintf_unfiltered (gdb_stdlog
,
1770 "record_full_get_bookmark returns %s\n", ret
);
1772 fprintf_unfiltered (gdb_stdlog
,
1773 "record_full_get_bookmark returns NULL\n");
1775 return (gdb_byte
*) ret
;
1778 /* "to_goto_bookmark" method for process record and prec over core. */
1781 record_full_goto_bookmark (struct target_ops
*self
,
1782 const gdb_byte
*raw_bookmark
, int from_tty
)
1784 const char *bookmark
= (const char *) raw_bookmark
;
1785 struct cleanup
*cleanup
= make_cleanup (null_cleanup
, NULL
);
1788 fprintf_unfiltered (gdb_stdlog
,
1789 "record_full_goto_bookmark receives %s\n", bookmark
);
1791 if (bookmark
[0] == '\'' || bookmark
[0] == '\"')
1795 if (bookmark
[strlen (bookmark
) - 1] != bookmark
[0])
1796 error (_("Unbalanced quotes: %s"), bookmark
);
1799 copy
= savestring (bookmark
+ 1, strlen (bookmark
) - 2);
1800 make_cleanup (xfree
, copy
);
1804 record_goto (bookmark
);
1806 do_cleanups (cleanup
);
1809 static enum exec_direction_kind
1810 record_full_execution_direction (struct target_ops
*self
)
1812 return record_full_execution_dir
;
1816 record_full_info (struct target_ops
*self
)
1818 struct record_full_entry
*p
;
1820 if (RECORD_FULL_IS_REPLAY
)
1821 printf_filtered (_("Replay mode:\n"));
1823 printf_filtered (_("Record mode:\n"));
1825 /* Find entry for first actual instruction in the log. */
1826 for (p
= record_full_first
.next
;
1827 p
!= NULL
&& p
->type
!= record_full_end
;
1831 /* Do we have a log at all? */
1832 if (p
!= NULL
&& p
->type
== record_full_end
)
1834 /* Display instruction number for first instruction in the log. */
1835 printf_filtered (_("Lowest recorded instruction number is %s.\n"),
1836 pulongest (p
->u
.end
.insn_num
));
1838 /* If in replay mode, display where we are in the log. */
1839 if (RECORD_FULL_IS_REPLAY
)
1840 printf_filtered (_("Current instruction number is %s.\n"),
1841 pulongest (record_full_list
->u
.end
.insn_num
));
1843 /* Display instruction number for last instruction in the log. */
1844 printf_filtered (_("Highest recorded instruction number is %s.\n"),
1845 pulongest (record_full_insn_count
));
1847 /* Display log count. */
1848 printf_filtered (_("Log contains %u instructions.\n"),
1849 record_full_insn_num
);
1852 printf_filtered (_("No instructions have been logged.\n"));
1854 /* Display max log size. */
1855 printf_filtered (_("Max logged instructions is %u.\n"),
1856 record_full_insn_max_num
);
1859 /* The "to_record_delete" target method. */
1862 record_full_delete (struct target_ops
*self
)
1864 record_full_list_release_following (record_full_list
);
1867 /* The "to_record_is_replaying" target method. */
1870 record_full_is_replaying (struct target_ops
*self
, ptid_t ptid
)
1872 return RECORD_FULL_IS_REPLAY
;
1875 /* The "to_record_will_replay" target method. */
1878 record_full_will_replay (struct target_ops
*self
, ptid_t ptid
, int dir
)
1880 /* We can currently only record when executing forwards. Should we be able
1881 to record when executing backwards on targets that support reverse
1882 execution, this needs to be changed. */
1884 return RECORD_FULL_IS_REPLAY
|| dir
== EXEC_REVERSE
;
1887 /* Go to a specific entry. */
1890 record_full_goto_entry (struct record_full_entry
*p
)
1893 error (_("Target insn not found."));
1894 else if (p
== record_full_list
)
1895 error (_("Already at target insn."));
1896 else if (p
->u
.end
.insn_num
> record_full_list
->u
.end
.insn_num
)
1898 printf_filtered (_("Go forward to insn number %s\n"),
1899 pulongest (p
->u
.end
.insn_num
));
1900 record_full_goto_insn (p
, EXEC_FORWARD
);
1904 printf_filtered (_("Go backward to insn number %s\n"),
1905 pulongest (p
->u
.end
.insn_num
));
1906 record_full_goto_insn (p
, EXEC_REVERSE
);
1909 registers_changed ();
1910 reinit_frame_cache ();
1911 stop_pc
= regcache_read_pc (get_current_regcache ());
1912 print_stack_frame (get_selected_frame (NULL
), 1, SRC_AND_LOC
, 1);
1915 /* The "to_goto_record_begin" target method. */
1918 record_full_goto_begin (struct target_ops
*self
)
1920 struct record_full_entry
*p
= NULL
;
1922 for (p
= &record_full_first
; p
!= NULL
; p
= p
->next
)
1923 if (p
->type
== record_full_end
)
1926 record_full_goto_entry (p
);
1929 /* The "to_goto_record_end" target method. */
1932 record_full_goto_end (struct target_ops
*self
)
1934 struct record_full_entry
*p
= NULL
;
1936 for (p
= record_full_list
; p
->next
!= NULL
; p
= p
->next
)
1938 for (; p
!= NULL
; p
= p
->prev
)
1939 if (p
->type
== record_full_end
)
1942 record_full_goto_entry (p
);
1945 /* The "to_goto_record" target method. */
1948 record_full_goto (struct target_ops
*self
, ULONGEST target_insn
)
1950 struct record_full_entry
*p
= NULL
;
1952 for (p
= &record_full_first
; p
!= NULL
; p
= p
->next
)
1953 if (p
->type
== record_full_end
&& p
->u
.end
.insn_num
== target_insn
)
1956 record_full_goto_entry (p
);
1959 /* The "to_record_stop_replaying" target method. */
1962 record_full_stop_replaying (struct target_ops
*self
)
1964 record_full_goto_end (self
);
1968 init_record_full_ops (void)
1970 record_full_ops
.to_shortname
= "record-full";
1971 record_full_ops
.to_longname
= "Process record and replay target";
1972 record_full_ops
.to_doc
=
1973 "Log program while executing and replay execution from log.";
1974 record_full_ops
.to_open
= record_full_open
;
1975 record_full_ops
.to_close
= record_full_close
;
1976 record_full_ops
.to_async
= record_full_async
;
1977 record_full_ops
.to_resume
= record_full_resume
;
1978 record_full_ops
.to_commit_resume
= record_full_commit_resume
;
1979 record_full_ops
.to_wait
= record_full_wait
;
1980 record_full_ops
.to_disconnect
= record_disconnect
;
1981 record_full_ops
.to_detach
= record_detach
;
1982 record_full_ops
.to_mourn_inferior
= record_mourn_inferior
;
1983 record_full_ops
.to_kill
= record_kill
;
1984 record_full_ops
.to_store_registers
= record_full_store_registers
;
1985 record_full_ops
.to_xfer_partial
= record_full_xfer_partial
;
1986 record_full_ops
.to_insert_breakpoint
= record_full_insert_breakpoint
;
1987 record_full_ops
.to_remove_breakpoint
= record_full_remove_breakpoint
;
1988 record_full_ops
.to_stopped_by_watchpoint
= record_full_stopped_by_watchpoint
;
1989 record_full_ops
.to_stopped_data_address
= record_full_stopped_data_address
;
1990 record_full_ops
.to_stopped_by_sw_breakpoint
1991 = record_full_stopped_by_sw_breakpoint
;
1992 record_full_ops
.to_supports_stopped_by_sw_breakpoint
1993 = record_full_supports_stopped_by_sw_breakpoint
;
1994 record_full_ops
.to_stopped_by_hw_breakpoint
1995 = record_full_stopped_by_hw_breakpoint
;
1996 record_full_ops
.to_supports_stopped_by_hw_breakpoint
1997 = record_full_supports_stopped_by_hw_breakpoint
;
1998 record_full_ops
.to_can_execute_reverse
= record_full_can_execute_reverse
;
1999 record_full_ops
.to_stratum
= record_stratum
;
2000 /* Add bookmark target methods. */
2001 record_full_ops
.to_get_bookmark
= record_full_get_bookmark
;
2002 record_full_ops
.to_goto_bookmark
= record_full_goto_bookmark
;
2003 record_full_ops
.to_execution_direction
= record_full_execution_direction
;
2004 record_full_ops
.to_info_record
= record_full_info
;
2005 record_full_ops
.to_save_record
= record_full_save
;
2006 record_full_ops
.to_delete_record
= record_full_delete
;
2007 record_full_ops
.to_record_is_replaying
= record_full_is_replaying
;
2008 record_full_ops
.to_record_will_replay
= record_full_will_replay
;
2009 record_full_ops
.to_record_stop_replaying
= record_full_stop_replaying
;
2010 record_full_ops
.to_goto_record_begin
= record_full_goto_begin
;
2011 record_full_ops
.to_goto_record_end
= record_full_goto_end
;
2012 record_full_ops
.to_goto_record
= record_full_goto
;
2013 record_full_ops
.to_magic
= OPS_MAGIC
;
2016 /* "to_resume" method for prec over corefile. */
2019 record_full_core_resume (struct target_ops
*ops
, ptid_t ptid
, int step
,
2020 enum gdb_signal signal
)
2022 record_full_resume_step
= step
;
2023 record_full_resumed
= 1;
2024 record_full_execution_dir
= execution_direction
;
2026 /* We are about to start executing the inferior (or simulate it),
2027 let's register it with the event loop. */
2028 if (target_can_async_p ())
2032 /* "to_kill" method for prec over corefile. */
2035 record_full_core_kill (struct target_ops
*ops
)
2038 fprintf_unfiltered (gdb_stdlog
, "Process record: record_full_core_kill\n");
2040 unpush_target (&record_full_core_ops
);
2043 /* "to_fetch_registers" method for prec over corefile. */
2046 record_full_core_fetch_registers (struct target_ops
*ops
,
2047 struct regcache
*regcache
,
2052 int num
= gdbarch_num_regs (get_regcache_arch (regcache
));
2055 for (i
= 0; i
< num
; i
++)
2056 regcache_raw_supply (regcache
, i
,
2057 record_full_core_regbuf
+ MAX_REGISTER_SIZE
* i
);
2060 regcache_raw_supply (regcache
, regno
,
2061 record_full_core_regbuf
+ MAX_REGISTER_SIZE
* regno
);
2064 /* "to_prepare_to_store" method for prec over corefile. */
2067 record_full_core_prepare_to_store (struct target_ops
*self
,
2068 struct regcache
*regcache
)
2072 /* "to_store_registers" method for prec over corefile. */
2075 record_full_core_store_registers (struct target_ops
*ops
,
2076 struct regcache
*regcache
,
2079 if (record_full_gdb_operation_disable
)
2080 regcache_raw_collect (regcache
, regno
,
2081 record_full_core_regbuf
+ MAX_REGISTER_SIZE
* regno
);
2083 error (_("You can't do that without a process to debug."));
2086 /* "to_xfer_partial" method for prec over corefile. */
2088 static enum target_xfer_status
2089 record_full_core_xfer_partial (struct target_ops
*ops
,
2090 enum target_object object
,
2091 const char *annex
, gdb_byte
*readbuf
,
2092 const gdb_byte
*writebuf
, ULONGEST offset
,
2093 ULONGEST len
, ULONGEST
*xfered_len
)
2095 if (object
== TARGET_OBJECT_MEMORY
)
2097 if (record_full_gdb_operation_disable
|| !writebuf
)
2099 struct target_section
*p
;
2101 for (p
= record_full_core_start
; p
< record_full_core_end
; p
++)
2103 if (offset
>= p
->addr
)
2105 struct record_full_core_buf_entry
*entry
;
2106 ULONGEST sec_offset
;
2108 if (offset
>= p
->endaddr
)
2111 if (offset
+ len
> p
->endaddr
)
2112 len
= p
->endaddr
- offset
;
2114 sec_offset
= offset
- p
->addr
;
2116 /* Read readbuf or write writebuf p, offset, len. */
2118 if (p
->the_bfd_section
->flags
& SEC_CONSTRUCTOR
2119 || (p
->the_bfd_section
->flags
& SEC_HAS_CONTENTS
) == 0)
2122 memset (readbuf
, 0, len
);
2125 return TARGET_XFER_OK
;
2127 /* Get record_full_core_buf_entry. */
2128 for (entry
= record_full_core_buf_list
; entry
;
2129 entry
= entry
->prev
)
2136 /* Add a new entry. */
2137 entry
= XNEW (struct record_full_core_buf_entry
);
2139 if (!bfd_malloc_and_get_section
2140 (p
->the_bfd_section
->owner
,
2145 return TARGET_XFER_EOF
;
2147 entry
->prev
= record_full_core_buf_list
;
2148 record_full_core_buf_list
= entry
;
2151 memcpy (entry
->buf
+ sec_offset
, writebuf
,
2157 return ops
->beneath
->to_xfer_partial (ops
->beneath
,
2163 memcpy (readbuf
, entry
->buf
+ sec_offset
,
2168 return TARGET_XFER_OK
;
2172 return TARGET_XFER_E_IO
;
2175 error (_("You can't do that without a process to debug."));
2178 return ops
->beneath
->to_xfer_partial (ops
->beneath
, object
, annex
,
2179 readbuf
, writebuf
, offset
, len
,
2183 /* "to_insert_breakpoint" method for prec over corefile. */
2186 record_full_core_insert_breakpoint (struct target_ops
*ops
,
2187 struct gdbarch
*gdbarch
,
2188 struct bp_target_info
*bp_tgt
)
2193 /* "to_remove_breakpoint" method for prec over corefile. */
2196 record_full_core_remove_breakpoint (struct target_ops
*ops
,
2197 struct gdbarch
*gdbarch
,
2198 struct bp_target_info
*bp_tgt
,
2199 enum remove_bp_reason reason
)
2204 /* "to_has_execution" method for prec over corefile. */
2207 record_full_core_has_execution (struct target_ops
*ops
, ptid_t the_ptid
)
2213 init_record_full_core_ops (void)
2215 record_full_core_ops
.to_shortname
= "record-core";
2216 record_full_core_ops
.to_longname
= "Process record and replay target";
2217 record_full_core_ops
.to_doc
=
2218 "Log program while executing and replay execution from log.";
2219 record_full_core_ops
.to_open
= record_full_open
;
2220 record_full_core_ops
.to_close
= record_full_close
;
2221 record_full_core_ops
.to_async
= record_full_async
;
2222 record_full_core_ops
.to_resume
= record_full_core_resume
;
2223 record_full_core_ops
.to_wait
= record_full_wait
;
2224 record_full_core_ops
.to_kill
= record_full_core_kill
;
2225 record_full_core_ops
.to_fetch_registers
= record_full_core_fetch_registers
;
2226 record_full_core_ops
.to_prepare_to_store
= record_full_core_prepare_to_store
;
2227 record_full_core_ops
.to_store_registers
= record_full_core_store_registers
;
2228 record_full_core_ops
.to_xfer_partial
= record_full_core_xfer_partial
;
2229 record_full_core_ops
.to_insert_breakpoint
2230 = record_full_core_insert_breakpoint
;
2231 record_full_core_ops
.to_remove_breakpoint
2232 = record_full_core_remove_breakpoint
;
2233 record_full_core_ops
.to_stopped_by_watchpoint
2234 = record_full_stopped_by_watchpoint
;
2235 record_full_core_ops
.to_stopped_data_address
2236 = record_full_stopped_data_address
;
2237 record_full_core_ops
.to_stopped_by_sw_breakpoint
2238 = record_full_stopped_by_sw_breakpoint
;
2239 record_full_core_ops
.to_supports_stopped_by_sw_breakpoint
2240 = record_full_supports_stopped_by_sw_breakpoint
;
2241 record_full_core_ops
.to_stopped_by_hw_breakpoint
2242 = record_full_stopped_by_hw_breakpoint
;
2243 record_full_core_ops
.to_supports_stopped_by_hw_breakpoint
2244 = record_full_supports_stopped_by_hw_breakpoint
;
2245 record_full_core_ops
.to_can_execute_reverse
2246 = record_full_can_execute_reverse
;
2247 record_full_core_ops
.to_has_execution
= record_full_core_has_execution
;
2248 record_full_core_ops
.to_stratum
= record_stratum
;
2249 /* Add bookmark target methods. */
2250 record_full_core_ops
.to_get_bookmark
= record_full_get_bookmark
;
2251 record_full_core_ops
.to_goto_bookmark
= record_full_goto_bookmark
;
2252 record_full_core_ops
.to_execution_direction
2253 = record_full_execution_direction
;
2254 record_full_core_ops
.to_info_record
= record_full_info
;
2255 record_full_core_ops
.to_delete_record
= record_full_delete
;
2256 record_full_core_ops
.to_record_is_replaying
= record_full_is_replaying
;
2257 record_full_core_ops
.to_record_will_replay
= record_full_will_replay
;
2258 record_full_core_ops
.to_goto_record_begin
= record_full_goto_begin
;
2259 record_full_core_ops
.to_goto_record_end
= record_full_goto_end
;
2260 record_full_core_ops
.to_goto_record
= record_full_goto
;
2261 record_full_core_ops
.to_magic
= OPS_MAGIC
;
2264 /* Record log save-file format
2265 Version 1 (never released)
2268 4 bytes: magic number htonl(0x20090829).
2269 NOTE: be sure to change whenever this file format changes!
2273 1 byte: record type (record_full_end, see enum record_full_type).
2275 1 byte: record type (record_full_reg, see enum record_full_type).
2276 8 bytes: register id (network byte order).
2277 MAX_REGISTER_SIZE bytes: register value.
2279 1 byte: record type (record_full_mem, see enum record_full_type).
2280 8 bytes: memory length (network byte order).
2281 8 bytes: memory address (network byte order).
2282 n bytes: memory value (n == memory length).
2285 4 bytes: magic number netorder32(0x20091016).
2286 NOTE: be sure to change whenever this file format changes!
2290 1 byte: record type (record_full_end, see enum record_full_type).
2292 4 bytes: instruction count
2294 1 byte: record type (record_full_reg, see enum record_full_type).
2295 4 bytes: register id (network byte order).
2296 n bytes: register value (n == actual register size).
2297 (eg. 4 bytes for x86 general registers).
2299 1 byte: record type (record_full_mem, see enum record_full_type).
2300 4 bytes: memory length (network byte order).
2301 8 bytes: memory address (network byte order).
2302 n bytes: memory value (n == memory length).
2306 /* bfdcore_read -- read bytes from a core file section. */
2309 bfdcore_read (bfd
*obfd
, asection
*osec
, void *buf
, int len
, int *offset
)
2311 int ret
= bfd_get_section_contents (obfd
, osec
, buf
, *offset
, len
);
2316 error (_("Failed to read %d bytes from core file %s ('%s')."),
2317 len
, bfd_get_filename (obfd
),
2318 bfd_errmsg (bfd_get_error ()));
2321 static inline uint64_t
2322 netorder64 (uint64_t input
)
2326 store_unsigned_integer ((gdb_byte
*) &ret
, sizeof (ret
),
2327 BFD_ENDIAN_BIG
, input
);
2331 static inline uint32_t
2332 netorder32 (uint32_t input
)
2336 store_unsigned_integer ((gdb_byte
*) &ret
, sizeof (ret
),
2337 BFD_ENDIAN_BIG
, input
);
2341 static inline uint16_t
2342 netorder16 (uint16_t input
)
2346 store_unsigned_integer ((gdb_byte
*) &ret
, sizeof (ret
),
2347 BFD_ENDIAN_BIG
, input
);
2351 /* Restore the execution log from a core_bfd file. */
2353 record_full_restore (void)
2356 struct cleanup
*old_cleanups
;
2357 struct record_full_entry
*rec
;
2361 struct regcache
*regcache
;
2363 /* We restore the execution log from the open core bfd,
2365 if (core_bfd
== NULL
)
2368 /* "record_full_restore" can only be called when record list is empty. */
2369 gdb_assert (record_full_first
.next
== NULL
);
2372 fprintf_unfiltered (gdb_stdlog
, "Restoring recording from core file.\n");
2374 /* Now need to find our special note section. */
2375 osec
= bfd_get_section_by_name (core_bfd
, "null0");
2377 fprintf_unfiltered (gdb_stdlog
, "Find precord section %s.\n",
2378 osec
? "succeeded" : "failed");
2381 osec_size
= bfd_section_size (core_bfd
, osec
);
2383 fprintf_unfiltered (gdb_stdlog
, "%s", bfd_section_name (core_bfd
, osec
));
2385 /* Check the magic code. */
2386 bfdcore_read (core_bfd
, osec
, &magic
, sizeof (magic
), &bfd_offset
);
2387 if (magic
!= RECORD_FULL_FILE_MAGIC
)
2388 error (_("Version mis-match or file format error in core file %s."),
2389 bfd_get_filename (core_bfd
));
2391 fprintf_unfiltered (gdb_stdlog
,
2392 " Reading 4-byte magic cookie "
2393 "RECORD_FULL_FILE_MAGIC (0x%s)\n",
2394 phex_nz (netorder32 (magic
), 4));
2396 /* Restore the entries in recfd into record_full_arch_list_head and
2397 record_full_arch_list_tail. */
2398 record_full_arch_list_head
= NULL
;
2399 record_full_arch_list_tail
= NULL
;
2400 record_full_insn_num
= 0;
2401 old_cleanups
= make_cleanup (record_full_arch_list_cleanups
, 0);
2402 regcache
= get_current_regcache ();
2407 uint32_t regnum
, len
, signal
, count
;
2410 /* We are finished when offset reaches osec_size. */
2411 if (bfd_offset
>= osec_size
)
2413 bfdcore_read (core_bfd
, osec
, &rectype
, sizeof (rectype
), &bfd_offset
);
2417 case record_full_reg
: /* reg */
2418 /* Get register number to regnum. */
2419 bfdcore_read (core_bfd
, osec
, ®num
,
2420 sizeof (regnum
), &bfd_offset
);
2421 regnum
= netorder32 (regnum
);
2423 rec
= record_full_reg_alloc (regcache
, regnum
);
2426 bfdcore_read (core_bfd
, osec
, record_full_get_loc (rec
),
2427 rec
->u
.reg
.len
, &bfd_offset
);
2430 fprintf_unfiltered (gdb_stdlog
,
2431 " Reading register %d (1 "
2432 "plus %lu plus %d bytes)\n",
2434 (unsigned long) sizeof (regnum
),
2438 case record_full_mem
: /* mem */
2440 bfdcore_read (core_bfd
, osec
, &len
,
2441 sizeof (len
), &bfd_offset
);
2442 len
= netorder32 (len
);
2445 bfdcore_read (core_bfd
, osec
, &addr
,
2446 sizeof (addr
), &bfd_offset
);
2447 addr
= netorder64 (addr
);
2449 rec
= record_full_mem_alloc (addr
, len
);
2452 bfdcore_read (core_bfd
, osec
, record_full_get_loc (rec
),
2453 rec
->u
.mem
.len
, &bfd_offset
);
2456 fprintf_unfiltered (gdb_stdlog
,
2457 " Reading memory %s (1 plus "
2458 "%lu plus %lu plus %d bytes)\n",
2459 paddress (get_current_arch (),
2461 (unsigned long) sizeof (addr
),
2462 (unsigned long) sizeof (len
),
2466 case record_full_end
: /* end */
2467 rec
= record_full_end_alloc ();
2468 record_full_insn_num
++;
2470 /* Get signal value. */
2471 bfdcore_read (core_bfd
, osec
, &signal
,
2472 sizeof (signal
), &bfd_offset
);
2473 signal
= netorder32 (signal
);
2474 rec
->u
.end
.sigval
= (enum gdb_signal
) signal
;
2476 /* Get insn count. */
2477 bfdcore_read (core_bfd
, osec
, &count
,
2478 sizeof (count
), &bfd_offset
);
2479 count
= netorder32 (count
);
2480 rec
->u
.end
.insn_num
= count
;
2481 record_full_insn_count
= count
+ 1;
2483 fprintf_unfiltered (gdb_stdlog
,
2484 " Reading record_full_end (1 + "
2485 "%lu + %lu bytes), offset == %s\n",
2486 (unsigned long) sizeof (signal
),
2487 (unsigned long) sizeof (count
),
2488 paddress (get_current_arch (),
2493 error (_("Bad entry type in core file %s."),
2494 bfd_get_filename (core_bfd
));
2498 /* Add rec to record arch list. */
2499 record_full_arch_list_add (rec
);
2502 discard_cleanups (old_cleanups
);
2504 /* Add record_full_arch_list_head to the end of record list. */
2505 record_full_first
.next
= record_full_arch_list_head
;
2506 record_full_arch_list_head
->prev
= &record_full_first
;
2507 record_full_arch_list_tail
->next
= NULL
;
2508 record_full_list
= &record_full_first
;
2510 /* Update record_full_insn_max_num. */
2511 if (record_full_insn_num
> record_full_insn_max_num
)
2513 record_full_insn_max_num
= record_full_insn_num
;
2514 warning (_("Auto increase record/replay buffer limit to %u."),
2515 record_full_insn_max_num
);
2519 printf_filtered (_("Restored records from core file %s.\n"),
2520 bfd_get_filename (core_bfd
));
2522 print_stack_frame (get_selected_frame (NULL
), 1, SRC_AND_LOC
, 1);
2525 /* bfdcore_write -- write bytes into a core file section. */
2528 bfdcore_write (bfd
*obfd
, asection
*osec
, void *buf
, int len
, int *offset
)
2530 int ret
= bfd_set_section_contents (obfd
, osec
, buf
, *offset
, len
);
2535 error (_("Failed to write %d bytes to core file %s ('%s')."),
2536 len
, bfd_get_filename (obfd
),
2537 bfd_errmsg (bfd_get_error ()));
2540 /* Restore the execution log from a file. We use a modified elf
2541 corefile format, with an extra section for our data. */
2544 cmd_record_full_restore (char *args
, int from_tty
)
2546 core_file_command (args
, from_tty
);
2547 record_full_open (args
, from_tty
);
2551 record_full_save_cleanups (void *data
)
2553 bfd
*obfd
= (bfd
*) data
;
2554 char *pathname
= xstrdup (bfd_get_filename (obfd
));
2556 gdb_bfd_unref (obfd
);
2561 /* Save the execution log to a file. We use a modified elf corefile
2562 format, with an extra section for our data. */
2565 record_full_save (struct target_ops
*self
, const char *recfilename
)
2567 struct record_full_entry
*cur_record_full_list
;
2569 struct regcache
*regcache
;
2570 struct gdbarch
*gdbarch
;
2571 struct cleanup
*old_cleanups
;
2572 struct cleanup
*set_cleanups
;
2575 asection
*osec
= NULL
;
2578 /* Open the save file. */
2580 fprintf_unfiltered (gdb_stdlog
, "Saving execution log to core file '%s'\n",
2583 /* Open the output file. */
2584 obfd
= create_gcore_bfd (recfilename
);
2585 old_cleanups
= make_cleanup (record_full_save_cleanups
, obfd
);
2587 /* Save the current record entry to "cur_record_full_list". */
2588 cur_record_full_list
= record_full_list
;
2590 /* Get the values of regcache and gdbarch. */
2591 regcache
= get_current_regcache ();
2592 gdbarch
= get_regcache_arch (regcache
);
2594 /* Disable the GDB operation record. */
2595 set_cleanups
= record_full_gdb_operation_disable_set ();
2597 /* Reverse execute to the begin of record list. */
2600 /* Check for beginning and end of log. */
2601 if (record_full_list
== &record_full_first
)
2604 record_full_exec_insn (regcache
, gdbarch
, record_full_list
);
2606 if (record_full_list
->prev
)
2607 record_full_list
= record_full_list
->prev
;
2610 /* Compute the size needed for the extra bfd section. */
2611 save_size
= 4; /* magic cookie */
2612 for (record_full_list
= record_full_first
.next
; record_full_list
;
2613 record_full_list
= record_full_list
->next
)
2614 switch (record_full_list
->type
)
2616 case record_full_end
:
2617 save_size
+= 1 + 4 + 4;
2619 case record_full_reg
:
2620 save_size
+= 1 + 4 + record_full_list
->u
.reg
.len
;
2622 case record_full_mem
:
2623 save_size
+= 1 + 4 + 8 + record_full_list
->u
.mem
.len
;
2627 /* Make the new bfd section. */
2628 osec
= bfd_make_section_anyway_with_flags (obfd
, "precord",
2632 error (_("Failed to create 'precord' section for corefile %s: %s"),
2634 bfd_errmsg (bfd_get_error ()));
2635 bfd_set_section_size (obfd
, osec
, save_size
);
2636 bfd_set_section_vma (obfd
, osec
, 0);
2637 bfd_set_section_alignment (obfd
, osec
, 0);
2638 bfd_section_lma (obfd
, osec
) = 0;
2640 /* Save corefile state. */
2641 write_gcore_file (obfd
);
2643 /* Write out the record log. */
2644 /* Write the magic code. */
2645 magic
= RECORD_FULL_FILE_MAGIC
;
2647 fprintf_unfiltered (gdb_stdlog
,
2648 " Writing 4-byte magic cookie "
2649 "RECORD_FULL_FILE_MAGIC (0x%s)\n",
2650 phex_nz (magic
, 4));
2651 bfdcore_write (obfd
, osec
, &magic
, sizeof (magic
), &bfd_offset
);
2653 /* Save the entries to recfd and forward execute to the end of
2655 record_full_list
= &record_full_first
;
2659 if (record_full_list
!= &record_full_first
)
2662 uint32_t regnum
, len
, signal
, count
;
2665 type
= record_full_list
->type
;
2666 bfdcore_write (obfd
, osec
, &type
, sizeof (type
), &bfd_offset
);
2668 switch (record_full_list
->type
)
2670 case record_full_reg
: /* reg */
2672 fprintf_unfiltered (gdb_stdlog
,
2673 " Writing register %d (1 "
2674 "plus %lu plus %d bytes)\n",
2675 record_full_list
->u
.reg
.num
,
2676 (unsigned long) sizeof (regnum
),
2677 record_full_list
->u
.reg
.len
);
2680 regnum
= netorder32 (record_full_list
->u
.reg
.num
);
2681 bfdcore_write (obfd
, osec
, ®num
,
2682 sizeof (regnum
), &bfd_offset
);
2685 bfdcore_write (obfd
, osec
,
2686 record_full_get_loc (record_full_list
),
2687 record_full_list
->u
.reg
.len
, &bfd_offset
);
2690 case record_full_mem
: /* mem */
2692 fprintf_unfiltered (gdb_stdlog
,
2693 " Writing memory %s (1 plus "
2694 "%lu plus %lu plus %d bytes)\n",
2696 record_full_list
->u
.mem
.addr
),
2697 (unsigned long) sizeof (addr
),
2698 (unsigned long) sizeof (len
),
2699 record_full_list
->u
.mem
.len
);
2702 len
= netorder32 (record_full_list
->u
.mem
.len
);
2703 bfdcore_write (obfd
, osec
, &len
, sizeof (len
), &bfd_offset
);
2705 /* Write memaddr. */
2706 addr
= netorder64 (record_full_list
->u
.mem
.addr
);
2707 bfdcore_write (obfd
, osec
, &addr
,
2708 sizeof (addr
), &bfd_offset
);
2711 bfdcore_write (obfd
, osec
,
2712 record_full_get_loc (record_full_list
),
2713 record_full_list
->u
.mem
.len
, &bfd_offset
);
2716 case record_full_end
:
2718 fprintf_unfiltered (gdb_stdlog
,
2719 " Writing record_full_end (1 + "
2720 "%lu + %lu bytes)\n",
2721 (unsigned long) sizeof (signal
),
2722 (unsigned long) sizeof (count
));
2723 /* Write signal value. */
2724 signal
= netorder32 (record_full_list
->u
.end
.sigval
);
2725 bfdcore_write (obfd
, osec
, &signal
,
2726 sizeof (signal
), &bfd_offset
);
2728 /* Write insn count. */
2729 count
= netorder32 (record_full_list
->u
.end
.insn_num
);
2730 bfdcore_write (obfd
, osec
, &count
,
2731 sizeof (count
), &bfd_offset
);
2736 /* Execute entry. */
2737 record_full_exec_insn (regcache
, gdbarch
, record_full_list
);
2739 if (record_full_list
->next
)
2740 record_full_list
= record_full_list
->next
;
2745 /* Reverse execute to cur_record_full_list. */
2748 /* Check for beginning and end of log. */
2749 if (record_full_list
== cur_record_full_list
)
2752 record_full_exec_insn (regcache
, gdbarch
, record_full_list
);
2754 if (record_full_list
->prev
)
2755 record_full_list
= record_full_list
->prev
;
2758 do_cleanups (set_cleanups
);
2759 gdb_bfd_unref (obfd
);
2760 discard_cleanups (old_cleanups
);
2763 printf_filtered (_("Saved core file %s with execution log.\n"),
2767 /* record_full_goto_insn -- rewind the record log (forward or backward,
2768 depending on DIR) to the given entry, changing the program state
2772 record_full_goto_insn (struct record_full_entry
*entry
,
2773 enum exec_direction_kind dir
)
2775 struct cleanup
*set_cleanups
= record_full_gdb_operation_disable_set ();
2776 struct regcache
*regcache
= get_current_regcache ();
2777 struct gdbarch
*gdbarch
= get_regcache_arch (regcache
);
2779 /* Assume everything is valid: we will hit the entry,
2780 and we will not hit the end of the recording. */
2782 if (dir
== EXEC_FORWARD
)
2783 record_full_list
= record_full_list
->next
;
2787 record_full_exec_insn (regcache
, gdbarch
, record_full_list
);
2788 if (dir
== EXEC_REVERSE
)
2789 record_full_list
= record_full_list
->prev
;
2791 record_full_list
= record_full_list
->next
;
2792 } while (record_full_list
!= entry
);
2793 do_cleanups (set_cleanups
);
2796 /* Alias for "target record-full". */
2799 cmd_record_full_start (char *args
, int from_tty
)
2801 execute_command ("target record-full", from_tty
);
2805 set_record_full_insn_max_num (char *args
, int from_tty
,
2806 struct cmd_list_element
*c
)
2808 if (record_full_insn_num
> record_full_insn_max_num
)
2810 /* Count down record_full_insn_num while releasing records from list. */
2811 while (record_full_insn_num
> record_full_insn_max_num
)
2813 record_full_list_release_first ();
2814 record_full_insn_num
--;
2819 /* The "set record full" command. */
2822 set_record_full_command (char *args
, int from_tty
)
2824 printf_unfiltered (_("\"set record full\" must be followed "
2825 "by an apporpriate subcommand.\n"));
2826 help_list (set_record_full_cmdlist
, "set record full ", all_commands
,
2830 /* The "show record full" command. */
2833 show_record_full_command (char *args
, int from_tty
)
2835 cmd_show_list (show_record_full_cmdlist
, from_tty
, "");
2838 /* Provide a prototype to silence -Wmissing-prototypes. */
2839 extern initialize_file_ftype _initialize_record_full
;
2842 _initialize_record_full (void)
2844 struct cmd_list_element
*c
;
2846 /* Init record_full_first. */
2847 record_full_first
.prev
= NULL
;
2848 record_full_first
.next
= NULL
;
2849 record_full_first
.type
= record_full_end
;
2851 init_record_full_ops ();
2852 add_target (&record_full_ops
);
2853 add_deprecated_target_alias (&record_full_ops
, "record");
2854 init_record_full_core_ops ();
2855 add_target (&record_full_core_ops
);
2857 add_prefix_cmd ("full", class_obscure
, cmd_record_full_start
,
2858 _("Start full execution recording."), &record_full_cmdlist
,
2859 "record full ", 0, &record_cmdlist
);
2861 c
= add_cmd ("restore", class_obscure
, cmd_record_full_restore
,
2862 _("Restore the execution log from a file.\n\
2863 Argument is filename. File must be created with 'record save'."),
2864 &record_full_cmdlist
);
2865 set_cmd_completer (c
, filename_completer
);
2867 /* Deprecate the old version without "full" prefix. */
2868 c
= add_alias_cmd ("restore", "full restore", class_obscure
, 1,
2870 set_cmd_completer (c
, filename_completer
);
2871 deprecate_cmd (c
, "record full restore");
2873 add_prefix_cmd ("full", class_support
, set_record_full_command
,
2874 _("Set record options"), &set_record_full_cmdlist
,
2875 "set record full ", 0, &set_record_cmdlist
);
2877 add_prefix_cmd ("full", class_support
, show_record_full_command
,
2878 _("Show record options"), &show_record_full_cmdlist
,
2879 "show record full ", 0, &show_record_cmdlist
);
2881 /* Record instructions number limit command. */
2882 add_setshow_boolean_cmd ("stop-at-limit", no_class
,
2883 &record_full_stop_at_limit
, _("\
2884 Set whether record/replay stops when record/replay buffer becomes full."), _("\
2885 Show whether record/replay stops when record/replay buffer becomes full."),
2886 _("Default is ON.\n\
2887 When ON, if the record/replay buffer becomes full, ask user what to do.\n\
2888 When OFF, if the record/replay buffer becomes full,\n\
2889 delete the oldest recorded instruction to make room for each new one."),
2891 &set_record_full_cmdlist
, &show_record_full_cmdlist
);
2893 c
= add_alias_cmd ("stop-at-limit", "full stop-at-limit", no_class
, 1,
2894 &set_record_cmdlist
);
2895 deprecate_cmd (c
, "set record full stop-at-limit");
2897 c
= add_alias_cmd ("stop-at-limit", "full stop-at-limit", no_class
, 1,
2898 &show_record_cmdlist
);
2899 deprecate_cmd (c
, "show record full stop-at-limit");
2901 add_setshow_uinteger_cmd ("insn-number-max", no_class
,
2902 &record_full_insn_max_num
,
2903 _("Set record/replay buffer limit."),
2904 _("Show record/replay buffer limit."), _("\
2905 Set the maximum number of instructions to be stored in the\n\
2906 record/replay buffer. A value of either \"unlimited\" or zero means no\n\
2907 limit. Default is 200000."),
2908 set_record_full_insn_max_num
,
2909 NULL
, &set_record_full_cmdlist
,
2910 &show_record_full_cmdlist
);
2912 c
= add_alias_cmd ("insn-number-max", "full insn-number-max", no_class
, 1,
2913 &set_record_cmdlist
);
2914 deprecate_cmd (c
, "set record full insn-number-max");
2916 c
= add_alias_cmd ("insn-number-max", "full insn-number-max", no_class
, 1,
2917 &show_record_cmdlist
);
2918 deprecate_cmd (c
, "show record full insn-number-max");
2920 add_setshow_boolean_cmd ("memory-query", no_class
,
2921 &record_full_memory_query
, _("\
2922 Set whether query if PREC cannot record memory change of next instruction."),
2924 Show whether query if PREC cannot record memory change of next instruction."),
2927 When ON, query if PREC cannot record memory change of next instruction."),
2929 &set_record_full_cmdlist
,
2930 &show_record_full_cmdlist
);
2932 c
= add_alias_cmd ("memory-query", "full memory-query", no_class
, 1,
2933 &set_record_cmdlist
);
2934 deprecate_cmd (c
, "set record full memory-query");
2936 c
= add_alias_cmd ("memory-query", "full memory-query", no_class
, 1,
2937 &show_record_cmdlist
);
2938 deprecate_cmd (c
, "show record full memory-query");