btrace: allow leading trace gaps

GDB ignores trace gaps from decode errors or overflows at the beginning of the
trace.  There isn't really a gap in the trace; the trace just starts a bit
later than expected.

In cases where there is no trace at all or where the trace is smaller than
expected, this may hide the reason for the missing trace.

Allow leading trace gaps.  They will be shown as decode warnings and by the
record function-call-history command.

    (gdb) info record
    Active record target: record-btrace
    Recording format: Intel Processor Trace.
    Buffer size: 16kB.
    warning: Decode error (-6) at instruction 0 (offset = 0x58, pc = 0x0): unexpected packet context.
    warning: Decode error (-6) at instruction 0 (offset = 0xb0, pc = 0x0): unexpected packet context.
    warning: Decode error (-6) at instruction 0 (offset = 0x168, pc = 0x0): unexpected packet context.
    warning: Decode error (-6) at instruction 54205 (offset = 0xe08, pc = 0x0): unexpected packet context.
    warning: Decode error (-6) at instruction 54205 (offset = 0xe60, pc = 0x0): unexpected packet context.
    warning: Decode error (-6) at instruction 54205 (offset = 0xed8, pc = 0x0): unexpected packet context.
    Recorded 91582 instructions in 1111 functions (6 gaps) for thread 1 (process 15710).
    (gdb) record function-call-history /c 1
    1       [decode error (-6): unexpected packet context]
    2       [decode error (-6): unexpected packet context]
    3       [decode error (-6): unexpected packet context]
    4           _dl_addr
    5             ??
    6           _dl_addr
    7         ??
    8           ??
    9         ??
    10      ??

Leading trace gaps will not be shown by the record instruction-history command
without further changes.

gdb/
	* btrace.c (btrace_compute_ftrace_bts, ftrace_add_pt): Allow leading gaps.
	* record-btrace.c (record_btrace_single_step_forward)
	(record_btrace_single_step_backward): Jump back to last instruction if
	step ends at a gap.
	(record_btrace_goto_begin): Skip gaps.
This commit is contained in:
Markus Metzger 2016-01-18 16:59:21 +01:00
parent 63ab433e29
commit b61ce85cc5
3 changed files with 61 additions and 31 deletions

View file

@ -1,3 +1,12 @@
2016-10-28 Markus Metzger <markus.t.metzger@intel.com>
* btrace.c (btrace_compute_ftrace_bts, ftrace_add_pt): Allow
leading gaps.
* record-btrace.c (record_btrace_single_step_forward)
(record_btrace_single_step_backward): Jump back to last
instruction if step ends at a gap.
(record_btrace_goto_begin): Skip gaps.
2016-10-28 Markus Metzger <markus.t.metzger@intel.com>
* btrace.c (ftrace_add_pt): Fix gap indication. Add warning for non-

View file

@ -626,17 +626,17 @@ btrace_compute_ftrace_bts (struct thread_info *tp,
/* We should hit the end of the block. Warn if we went too far. */
if (block->end < pc)
{
/* Indicate the gap in the trace - unless we're at the
beginning. */
if (begin != NULL)
{
end = ftrace_new_gap (end, BDE_BTS_OVERFLOW);
ngaps += 1;
/* Indicate the gap in the trace. */
end = ftrace_new_gap (end, BDE_BTS_OVERFLOW);
if (begin == NULL)
begin = end;
ngaps += 1;
warning (_("Recorded trace may be corrupted at instruction "
"%u (pc = %s)."), end->insn_offset - 1,
core_addr_to_string_nz (pc));
warning (_("Recorded trace may be corrupted at instruction "
"%u (pc = %s)."), end->insn_offset - 1,
core_addr_to_string_nz (pc));
}
break;
}
@ -796,19 +796,22 @@ ftrace_add_pt (struct pt_insn_decoder *decoder,
"= 0x%" PRIx64 ", pc = 0x%" PRIx64 ")."),
end->insn_offset - 1, offset, insn.ip);
}
}
/* Indicate trace overflows. */
if (insn.resynced)
{
*pend = end = ftrace_new_gap (end, BDE_PT_OVERFLOW);
*ngaps += 1;
/* Indicate trace overflows. */
if (insn.resynced)
{
*pend = end = ftrace_new_gap (end, BDE_PT_OVERFLOW);
if (begin == NULL)
*pbegin = begin = end;
pt_insn_get_offset (decoder, &offset);
*ngaps += 1;
warning (_("Overflow at instruction %u (offset = 0x%" PRIx64
", pc = 0x%" PRIx64 ")."), end->insn_offset - 1,
offset, insn.ip);
}
pt_insn_get_offset (decoder, &offset);
warning (_("Overflow at instruction %u (offset = 0x%" PRIx64
", pc = 0x%" PRIx64 ")."), end->insn_offset - 1,
offset, insn.ip);
}
upd = ftrace_update_function (end, insn.ip);
@ -834,13 +837,10 @@ ftrace_add_pt (struct pt_insn_decoder *decoder,
if (errcode == -pte_eos)
break;
/* If the gap is at the very beginning, we ignore it - we will have
less trace, but we won't have any holes in the trace. */
if (begin == NULL)
continue;
/* Indicate the gap in the trace. */
*pend = end = ftrace_new_gap (end, errcode);
if (begin == NULL)
*pbegin = begin = end;
*ngaps += 1;
pt_insn_get_offset (decoder, &offset);

View file

@ -2300,7 +2300,7 @@ record_btrace_replay_at_breakpoint (struct thread_info *tp)
static struct target_waitstatus
record_btrace_single_step_forward (struct thread_info *tp)
{
struct btrace_insn_iterator *replay, end;
struct btrace_insn_iterator *replay, end, start;
struct btrace_thread_info *btinfo;
btinfo = &tp->btrace;
@ -2314,7 +2314,9 @@ record_btrace_single_step_forward (struct thread_info *tp)
if (record_btrace_replay_at_breakpoint (tp))
return btrace_step_stopped ();
/* Skip gaps during replay. */
/* Skip gaps during replay. If we end up at a gap (at the end of the trace),
jump back to the instruction at which we started. */
start = *replay;
do
{
unsigned int steps;
@ -2323,7 +2325,10 @@ record_btrace_single_step_forward (struct thread_info *tp)
of the execution history. */
steps = btrace_insn_next (replay, 1);
if (steps == 0)
return btrace_step_no_history ();
{
*replay = start;
return btrace_step_no_history ();
}
}
while (btrace_insn_get (replay) == NULL);
@ -2344,7 +2349,7 @@ record_btrace_single_step_forward (struct thread_info *tp)
static struct target_waitstatus
record_btrace_single_step_backward (struct thread_info *tp)
{
struct btrace_insn_iterator *replay;
struct btrace_insn_iterator *replay, start;
struct btrace_thread_info *btinfo;
btinfo = &tp->btrace;
@ -2355,14 +2360,19 @@ record_btrace_single_step_backward (struct thread_info *tp)
replay = record_btrace_start_replaying (tp);
/* If we can't step any further, we reached the end of the history.
Skip gaps during replay. */
Skip gaps during replay. If we end up at a gap (at the beginning of
the trace), jump back to the instruction at which we started. */
start = *replay;
do
{
unsigned int steps;
steps = btrace_insn_prev (replay, 1);
if (steps == 0)
return btrace_step_no_history ();
{
*replay = start;
return btrace_step_no_history ();
}
}
while (btrace_insn_get (replay) == NULL);
@ -2772,6 +2782,17 @@ record_btrace_goto_begin (struct target_ops *self)
tp = require_btrace_thread ();
btrace_insn_begin (&begin, &tp->btrace);
/* Skip gaps at the beginning of the trace. */
while (btrace_insn_get (&begin) == NULL)
{
unsigned int steps;
steps = btrace_insn_next (&begin, 1);
if (steps == 0)
error (_("No trace."));
}
record_btrace_set_replay (tp, &begin);
}