2009-10-25 Michael Snyder <msnyder@vmware.com>

* target.h (struct target_ops): New methods to_get_bookmark
        and to_goto_bookmark.
        (target_get_bookmark): New macro.
        (target_goto_bookmark): New macro.
        * target.c (dummy_get_bookmark): New function, default implementation.
        (dummy_goto_bookmark): New function, default implementation.
        (update_current_target): Inherit new methods.
        * record.c (record_get_bookmark): New function.
        (record_goto_bookmark): New function.
        (init_record_ops): Set to_get_bookmark and to_goto_bookmark methods.
        * reverse.c (struct bookmark): New type.
        (save_bookmark_command): New function (command).
        (delete_bookmark_command): New function (command).
        (goto_bookmark_command): New function (command).
        (bookmarks_info): New function (command).
        (_initialize_reverse): Add new bookmark commands.
	* command.h (enum command_class): Add class_bookmark.
	* NEWS: Mention bookmark commands.
This commit is contained in:
Michael Snyder 2009-11-20 17:23:38 +00:00
parent c29aca4a95
commit 6b04bdb74a
7 changed files with 449 additions and 3 deletions

View File

@ -1,3 +1,24 @@
2009-11-20 Michael Snyder <msnyder@vmware.com>
* target.h (struct target_ops): New methods to_get_bookmark
and to_goto_bookmark.
(target_get_bookmark): New macro.
(target_goto_bookmark): New macro.
* target.c (dummy_get_bookmark): New function, default implementation.
(dummy_goto_bookmark): New function, default implementation.
(update_current_target): Inherit new methods.
* record.c (record_get_bookmark): New function.
(record_goto_bookmark): New function.
(init_record_ops): Set to_get_bookmark and to_goto_bookmark methods.
* reverse.c (struct bookmark): New type.
(save_bookmark_command): New function (command).
(delete_bookmark_command): New function (command).
(goto_bookmark_command): New function (command).
(bookmarks_info): New function (command).
(_initialize_reverse): Add new bookmark commands.
* command.h (enum command_class): Add class_bookmark.
* NEWS: Mention bookmark commands.
2009-11-20 Pedro Alves <pedro@codesourcery.com>
* breakpoint.c (update_global_location_list): Fix duplicate

View File

@ -10142,6 +10142,8 @@ is prefixed with \"server \".\n\n\
Convenience variable \"$bpnum\" contains the number of the last\n\
breakpoint set."));
add_info_alias ("b", "breakpoints", 1);
if (xdb_commands)
add_com ("lb", class_breakpoint, breakpoints_info, _("\
Status of user-settable breakpoints, or breakpoint number NUMBER.\n\

View File

@ -32,8 +32,8 @@ enum command_class
/* Classes of commands */
no_class = -1, class_run = 0, class_vars, class_stack,
class_files, class_support, class_info, class_breakpoint, class_trace,
class_alias, class_obscure, class_user, class_maintenance,
class_pseudo, class_tui, class_xdb
class_alias, class_bookmark, class_obscure, class_maintenance,
class_pseudo, class_tui, class_user, class_xdb
};
/* FIXME: cagney/2002-03-17: Once cmd_type() has been removed, ``enum

View File

@ -1523,6 +1523,57 @@ record_can_execute_reverse (void)
return 1;
}
/* "to_get_bookmark" method for process record and prec over core. */
static gdb_byte *
record_get_bookmark (char *args, int from_tty)
{
gdb_byte *ret = NULL;
/* Return stringified form of instruction count. */
if (record_list && record_list->type == record_end)
ret = xstrdup (pulongest (record_list->u.end.insn_num));
if (record_debug)
{
if (ret)
fprintf_unfiltered (gdb_stdlog,
"record_get_bookmark returns %s\n", ret);
else
fprintf_unfiltered (gdb_stdlog,
"record_get_bookmark returns NULL\n");
}
return ret;
}
/* The implementation of the command "record goto". */
static void cmd_record_goto (char *, int);
/* "to_goto_bookmark" method for process record and prec over core. */
static void
record_goto_bookmark (gdb_byte *bookmark, int from_tty)
{
if (record_debug)
fprintf_unfiltered (gdb_stdlog,
"record_goto_bookmark receives %s\n", bookmark);
if (bookmark[0] == '\'' || bookmark[0] == '\"')
{
if (bookmark[strlen (bookmark) - 1] != bookmark[0])
error (_("Unbalanced quotes: %s"), bookmark);
/* Strip trailing quote. */
bookmark[strlen (bookmark) - 1] = '\0';
/* Strip leading quote. */
bookmark++;
/* Pass along to cmd_record_goto. */
}
cmd_record_goto ((char *) bookmark, from_tty);
return;
}
static void
init_record_ops (void)
{
@ -1545,6 +1596,9 @@ init_record_ops (void)
record_ops.to_remove_breakpoint = record_remove_breakpoint;
record_ops.to_can_execute_reverse = record_can_execute_reverse;
record_ops.to_stratum = record_stratum;
/* Add bookmark target methods. */
record_ops.to_get_bookmark = record_get_bookmark;
record_ops.to_goto_bookmark = record_goto_bookmark;
record_ops.to_magic = OPS_MAGIC;
}
@ -1750,6 +1804,9 @@ init_record_core_ops (void)
record_core_ops.to_can_execute_reverse = record_can_execute_reverse;
record_core_ops.to_has_execution = record_core_has_execution;
record_core_ops.to_stratum = record_stratum;
/* Add bookmark target methods. */
record_core_ops.to_get_bookmark = record_get_bookmark;
record_core_ops.to_goto_bookmark = record_goto_bookmark;
record_core_ops.to_magic = OPS_MAGIC;
}
@ -2406,6 +2463,101 @@ cmd_record_save (char *args, int from_tty)
recfilename);
}
/* record_goto_insn -- rewind the record log (forward or backward,
depending on DIR) to the given entry, changing the program state
correspondingly. */
static void
record_goto_insn (struct record_entry *entry,
enum exec_direction_kind dir)
{
struct cleanup *set_cleanups = record_gdb_operation_disable_set ();
struct regcache *regcache = get_current_regcache ();
struct gdbarch *gdbarch = get_regcache_arch (regcache);
/* Assume everything is valid: we will hit the entry,
and we will not hit the end of the recording. */
if (dir == EXEC_FORWARD)
record_list = record_list->next;
do
{
record_exec_insn (regcache, gdbarch, record_list);
if (dir == EXEC_REVERSE)
record_list = record_list->prev;
else
record_list = record_list->next;
} while (record_list != entry);
do_cleanups (set_cleanups);
}
/* "record goto" command. Argument is an instruction number,
as given by "info record".
Rewinds the recording (forward or backward) to the given instruction. */
static void
cmd_record_goto (char *arg, int from_tty)
{
struct record_entry *p = NULL;
ULONGEST target_insn = 0;
if (arg == NULL || *arg == '\0')
error (_("Command requires an argument (insn number to go to)."));
if (strncmp (arg, "start", strlen ("start")) == 0
|| strncmp (arg, "begin", strlen ("begin")) == 0)
{
/* Special case. Find first insn. */
for (p = &record_first; p != NULL; p = p->next)
if (p->type == record_end)
break;
if (p)
target_insn = p->u.end.insn_num;
}
else if (strncmp (arg, "end", strlen ("end")) == 0)
{
/* Special case. Find last insn. */
for (p = record_list; p->next != NULL; p = p->next)
;
for (; p!= NULL; p = p->prev)
if (p->type == record_end)
break;
if (p)
target_insn = p->u.end.insn_num;
}
else
{
/* General case. Find designated insn. */
target_insn = parse_and_eval_long (arg);
for (p = &record_first; p != NULL; p = p->next)
if (p->type == record_end && p->u.end.insn_num == target_insn)
break;
}
if (p == NULL)
error (_("Target insn '%s' not found."), arg);
else if (p == record_list)
error (_("Already at insn '%s'."), arg);
else if (p->u.end.insn_num > record_list->u.end.insn_num)
{
printf_filtered (_("Go forward to insn number %s\n"),
pulongest (target_insn));
record_goto_insn (p, EXEC_FORWARD);
}
else
{
printf_filtered (_("Go backward to insn number %s\n"),
pulongest (target_insn));
record_goto_insn (p, EXEC_REVERSE);
}
registers_changed ();
reinit_frame_cache ();
print_stack_frame (get_selected_frame (NULL), 1, SRC_AND_LOC);
}
void
_initialize_record (void)
{
@ -2491,4 +2643,9 @@ Set the maximum number of instructions to be stored in the\n\
record/replay buffer. Zero means unlimited. Default is 200000."),
set_record_insn_max_num,
NULL, &set_record_cmdlist, &show_record_cmdlist);
add_cmd ("goto", class_obscure, cmd_record_goto, _("\
Restore the program to its state at instruction number N.\n\
Argument is instruction number, as shown by 'info record'."),
&record_cmdlist);
}

View File

@ -24,6 +24,7 @@
#include "cli/cli-cmds.h"
#include "cli/cli-decode.h"
#include "inferior.h"
#include "regcache.h"
/* User interface:
reverse-step, reverse-next etc. */
@ -101,6 +102,220 @@ reverse_finish (char *args, int from_tty)
exec_reverse_once ("finish", args, from_tty);
}
/* Data structures for a bookmark list. */
struct bookmark {
struct bookmark *next;
int number;
CORE_ADDR pc;
struct symtab_and_line sal;
gdb_byte *opaque_data;
};
static struct bookmark *bookmark_chain;
static int bookmark_count;
#define ALL_BOOKMARKS(B) for ((B) = bookmark_chain; (B); (B) = (B)->next)
#define ALL_BOOKMARKS_SAFE(B,TMP) \
for ((B) = bookmark_chain; \
(B) ? ((TMP) = (B)->next, 1) : 0; \
(B) = (TMP))
/* save_bookmark_command -- implement "bookmark" command.
Call target method to get a bookmark identifier.
Insert bookmark identifier into list.
Identifier will be a malloc string (gdb_byte *).
Up to us to free it as required. */
static void
save_bookmark_command (char *args, int from_tty)
{
/* Get target's idea of a bookmark. */
gdb_byte *bookmark_id = target_get_bookmark (args, from_tty);
struct bookmark *b, *b1;
struct gdbarch *gdbarch = get_regcache_arch (get_current_regcache ());
/* CR should not cause another identical bookmark. */
dont_repeat ();
if (bookmark_id == NULL)
error (_("target_get_bookmark failed."));
/* Set up a bookmark struct. */
b = xcalloc (1, sizeof (struct bookmark));
b->number = ++bookmark_count;
init_sal (&b->sal);
b->pc = regcache_read_pc (get_current_regcache ());
b->sal = find_pc_line (b->pc, 0);
b->sal.pspace = get_frame_program_space (get_current_frame ());
b->opaque_data = bookmark_id;
b->next = NULL;
/* Add this bookmark to the end of the chain, so that a list
of bookmarks will come out in order of increasing numbers. */
b1 = bookmark_chain;
if (b1 == 0)
bookmark_chain = b;
else
{
while (b1->next)
b1 = b1->next;
b1->next = b;
}
printf_filtered (_("Saved bookmark %d at %s\n"), b->number,
paddress (gdbarch, b->sal.pc));
}
/* Implement "delete bookmark" command. */
static int
delete_one_bookmark (struct bookmark *b)
{
struct bookmark *b1;
/* Special case, first item in list. */
if (b == bookmark_chain)
bookmark_chain = b->next;
/* Find bookmark preceeding "marked" one, so we can unlink. */
if (b)
{
ALL_BOOKMARKS (b1)
if (b1->next == b)
{
/* Found designated bookmark. Unlink and delete. */
b1->next = b->next;
break;
}
xfree (b->opaque_data);
xfree (b);
return 1; /* success */
}
return 0; /* failure */
}
static void
delete_all_bookmarks (void)
{
struct bookmark *b, *b1;
ALL_BOOKMARKS_SAFE (b, b1)
{
xfree (b->opaque_data);
xfree (b);
}
bookmark_chain = NULL;
}
static void
delete_bookmark_command (char *args, int from_tty)
{
struct bookmark *b, *b1;
unsigned long num;
if (bookmark_chain == NULL)
{
warning (_("No bookmarks."));
return;
}
if (args == NULL || args[0] == '\0')
{
if (from_tty && !query (_("Delete all bookmarks? ")))
return;
delete_all_bookmarks ();
return;
}
num = strtoul (args, NULL, 0);
/* Find bookmark with corresponding number. */
ALL_BOOKMARKS (b)
if (b->number == num)
break;
if (!delete_one_bookmark (b))
/* Not found. */
error (_("delete bookmark: no bookmark found for '%s'."), args);
}
/* Implement "goto-bookmark" command. */
static void
goto_bookmark_command (char *args, int from_tty)
{
struct bookmark *b;
unsigned long num;
if (args == NULL || args[0] == '\0')
error (_("Command requires an argument."));
if (strncmp (args, "start", strlen ("start")) == 0
|| strncmp (args, "begin", strlen ("begin")) == 0
|| strncmp (args, "end", strlen ("end")) == 0)
{
/* Special case. Give target opportunity to handle. */
target_goto_bookmark (args, from_tty);
return;
}
if (args[0] == '\'' || args[0] == '\"')
{
/* Special case -- quoted string. Pass on to target. */
if (args[strlen (args) - 1] != args[0])
error (_("Unbalanced quotes: %s"), args);
target_goto_bookmark (args, from_tty);
return;
}
/* General case. Bookmark identified by bookmark number. */
num = strtoul (args, NULL, 0);
ALL_BOOKMARKS (b)
if (b->number == num)
break;
if (b)
{
/* Found. Send to target method. */
target_goto_bookmark (b->opaque_data, from_tty);
return;
}
/* Not found. */
error (_("goto-bookmark: no bookmark found for '%s'."), args);
}
/* Implement "info bookmarks" command. */
static void
bookmarks_info (char *args, int from_tty)
{
struct bookmark *b;
int bnum = -1;
struct gdbarch *gdbarch;
if (args)
bnum = parse_and_eval_long (args);
if (!bookmark_chain)
{
printf_filtered (_("No bookmarks.\n"));
return;
}
gdbarch = get_regcache_arch (get_current_regcache ());
printf_filtered (_("Bookmark Address Opaque\n"));
printf_filtered (_(" ID Data \n"));
ALL_BOOKMARKS (b)
printf_filtered (" %d %s '%s'\n",
b->number,
paddress (gdbarch, b->pc),
b->opaque_data);
}
/* Provide a prototype to silence -Wmissing-prototypes. */
extern initialize_file_ftype _initialize_reverse;
@ -142,4 +357,24 @@ the breakpoint won't break until the Nth time it is reached)."));
add_com ("reverse-finish", class_run, reverse_finish, _("\
Execute backward until just before selected stack frame is called."));
add_com ("bookmark", class_bookmark, save_bookmark_command, _("\
Set a bookmark in the program's execution history.\n\
A bookmark represents a point in the execution history \n\
that can be returned to at a later point in the debug session."));
add_info ("bookmarks", bookmarks_info, _("\
Status of user-settable bookmarks.\n\
Bookmarks are user-settable markers representing a point in the \n\
execution history that can be returned to later in the same debug \n\
session."));
add_cmd ("bookmark", class_bookmark, delete_bookmark_command, _("\
Delete a bookmark from the bookmark list.\n\
Argument is a bookmark number, or no argument to delete all bookmarks.\n"),
&deletelist);
add_com ("goto-bookmark", class_bookmark, goto_bookmark_command, _("\
Go to an earlier-bookmarked point in the program's execution history.\n\
Argument is the bookmark number of a bookmark saved earlier by using \n\
the 'bookmark' command, or the special arguments:\n\
start (beginning of recording)\n\
end (end of recording)\n"));
}

View File

@ -674,6 +674,8 @@ update_current_target (void)
INHERIT (to_async_mask, t);
INHERIT (to_find_memory_regions, t);
INHERIT (to_make_corefile_notes, t);
INHERIT (to_get_bookmark, t);
INHERIT (to_goto_bookmark, t);
/* Do not inherit to_get_thread_local_address. */
INHERIT (to_can_execute_reverse, t);
INHERIT (to_thread_architecture, t);
@ -2774,6 +2776,21 @@ dummy_make_corefile_notes (bfd *ignore1, int *ignore2)
return NULL;
}
/* Error-catcher for target_get_bookmark. */
static gdb_byte *
dummy_get_bookmark (char *ignore1, int ignore2)
{
tcomplain ();
return NULL;
}
/* Error-catcher for target_goto_bookmark. */
static void
dummy_goto_bookmark (gdb_byte *ignore, int from_tty)
{
tcomplain ();
}
/* Set up the handful of non-empty slots needed by the dummy target
vector. */
@ -2794,6 +2811,8 @@ init_dummy_target (void)
dummy_target.to_stratum = dummy_stratum;
dummy_target.to_find_memory_regions = dummy_find_memory_regions;
dummy_target.to_make_corefile_notes = dummy_make_corefile_notes;
dummy_target.to_get_bookmark = dummy_get_bookmark;
dummy_target.to_goto_bookmark = dummy_goto_bookmark;
dummy_target.to_xfer_partial = default_xfer_partial;
dummy_target.to_has_all_memory = (int (*) (struct target_ops *)) return_zero;
dummy_target.to_has_memory = (int (*) (struct target_ops *)) return_zero;

View File

@ -459,13 +459,18 @@ struct target_ops
void (*to_async) (void (*) (enum inferior_event_type, void *), void *);
int (*to_async_mask) (int);
int (*to_supports_non_stop) (void);
/* find_memory_regions support method for gcore */
int (*to_find_memory_regions) (int (*) (CORE_ADDR,
unsigned long,
int, int, int,
void *),
void *);
/* make_corefile_notes support method for gcore */
char * (*to_make_corefile_notes) (bfd *, int *);
/* get_bookmark support method for bookmarks */
gdb_byte * (*to_get_bookmark) (char *, int);
/* goto_bookmark support method for bookmarks */
void (*to_goto_bookmark) (gdb_byte *, int);
/* Return the thread-local address at OFFSET in the
thread-local storage for the thread PTID and the shared library
or executable file given by OBJFILE. If that block of
@ -1141,6 +1146,13 @@ extern char *normal_pid_to_str (ptid_t ptid);
#define target_make_corefile_notes(BFD, SIZE_P) \
(current_target.to_make_corefile_notes) (BFD, SIZE_P)
/* Bookmark interfaces. */
#define target_get_bookmark(ARGS, FROM_TTY) \
(current_target.to_get_bookmark) (ARGS, FROM_TTY)
#define target_goto_bookmark(ARG, FROM_TTY) \
(current_target.to_goto_bookmark) (ARG, FROM_TTY)
/* Hardware watchpoint interfaces. */
/* Returns non-zero if we were stopped by a hardware watchpoint (memory read or