freebsd-dev/sys/ddb
Bruce Evans bd20334ca0 Abort single stepping in ddb if the trap is not for single-stepping.
This is not very easy to do, since ddb didn't know when traps are
for single-stepping.  It more or less assumed that traps are either
breakpoints or single-step, but even for x86 this became inadequate
with the release of the i386 in ~1986, and FreeBSD passes it other
trap types for NMIs and panics.

On x86, teach ddb when a trap is for single stepping using the %dr6
register.  Unknown traps are now treated almost the same as breakpoints
instead of as the same as single-steps.  Previously, the classification
of breakpoints was almost correct and everything else was unknown so
had to be treated as a single-step.  Now the classification of single-
steps is precise, the classification of breakpoints is almost correct
(as before) and everything else is unknown and treated like a
breakpoint.

This fixes:
- breakpoints not set by ddb, including the main one in kdb_enter(),
  were treated as single-steps and not stopped on when stepping
  (except for the usual, simple case of a step with residual count 1).
  As special cases, kdb_enter() didn't stop for fatal traps or panics
- similarly for "hardware breakpoints".

Use a new MD macro IS_SSTEP_TRAP(type, code) to code to classify
single-steps.  This is excessively complicated for bug-for-bug and
backwards compatibilty.  Design errors apparently started in Mach
in ~1990 or perhaps in the FreeBSD interface in ~1993.  Common trap
types like single steps should have a unique MI code (like the TRAP*
codes for user SIGTRAP) so that debuggers don't need macros like
IS_SSTEP_TRAP() to decode them.  But 'type' is actually an ambiguous
MD trap number, and code was always 0 (now it is (int)%dr6 on x86).
So it was impossible to determine the trap type from the args.
Global variables had to be used.

There is already a classification macro db_pc_is_single_step(), but
this just gets in the way.  It is only used to recover from bugs in
IS_BREAKPOINT_TRAP().  On some arches, IS_BREAKPOINT_TRAP() just
duplicates the ambiguity in 'type' and misclassifies single-steps as
breakpoints.  It defaults to 'false', which is the opposite of what is
needed for bug-for-bug compatibility.

When this is cleaned up, MI classification bits should be passed in
'code'.  This could be done now for positive-logic bits, since 'code'
was always 0, but some negative logic is needed for compatibility so
a simple MI classificition is not usable yet.

After reading %dr6, clear the single-step bit in it so that the type
of the next debugger trap can be decoded.  This is a little
ddb-specific.  ddb doesn't understand the need to clear this bit and
doing it before calling kdb is easiest.  gdb would need to reverse
this to support hardware breakpoints, but it just doesn't support
them now since gdbstub doesn't support %dr*.

Fix a bug involving %dr6: when emulating a single-step trap for vm86,
set the bit for it in %dr6.  Userland debuggers need this.  ddb now
needs this for vm86 bios calls.  The bit gets copied to 'code' then
cleared again.

Fix related style bugs:
- when clearing bits for hardware breakpoints in %dr6, spell the mask
  as ~0xf on both amd64 and i386 to get the correct number of bits
  using sign extension and not need a comment about using the wrong
  mask on amd64 (amd64 traps for invalid results but clearing the
  reserved top bits didn't trap since they are 0).
- rewrite my old wrong comments about using %dr6 for ddb watchpoints.
2016-09-15 17:24:23 +00:00
..
db_access.c ddb: finish converting boolean values. 2015-05-21 15:16:18 +00:00
db_access.h ddb: finish converting boolean values. 2015-05-21 15:16:18 +00:00
db_break.c ddb: finish converting boolean values. 2015-05-21 15:16:18 +00:00
db_break.h
db_capture.c ddb: finish converting boolean values. 2015-05-21 15:16:18 +00:00
db_command.c Correct the type of db_cmd_loop_done. 2016-09-09 04:16:53 +00:00
db_command.h
db_examine.c Add a small set of logical operators to DDB command language. 2016-05-16 19:42:38 +00:00
db_expr.c Expand error messages: print symbol names, parentheses and shift tokens, 2016-08-28 19:33:09 +00:00
db_input.c ddb: de-register 2015-05-23 14:59:27 +00:00
db_lex.c Add a small set of logical operators to DDB command language. 2016-05-16 19:42:38 +00:00
db_lex.h Add a small set of logical operators to DDB command language. 2016-05-16 19:42:38 +00:00
db_main.c Pass the trap type and code down from db_trap() to db_stop_at_pc() so 2016-09-09 15:53:42 +00:00
db_output.c sys: Make use of our rounddown() macro when sys/param.h is available. 2016-04-30 14:41:18 +00:00
db_output.h ddb: space/tab fixes. 2014-10-11 20:25:19 +00:00
db_print.c Various changes to the registers displayed in DDB for x86. 2015-07-22 01:09:02 +00:00
db_ps.c In ddb ps, left justify the non-numeric fields 'state' and 'wmesg' and 2016-08-14 15:26:40 +00:00
db_run.c Abort single stepping in ddb if the trap is not for single-stepping. 2016-09-15 17:24:23 +00:00
db_script.c ddb: finish converting boolean values. 2015-05-21 15:16:18 +00:00
db_sym.c ddb: for pointers replace 0 with NULL. 2016-04-15 17:27:20 +00:00
db_sym.h ddb: finish converting boolean values. 2015-05-21 15:16:18 +00:00
db_textdump.c sys/ddb: spelling fixes in comments. 2016-04-29 20:53:39 +00:00
db_thread.c ddb: finish converting boolean values. 2015-05-21 15:16:18 +00:00
db_variables.c Indentation issues. 2016-04-20 16:19:44 +00:00
db_variables.h ddb: space/tab fixes. 2014-10-11 20:25:19 +00:00
db_watch.c ddb: de-register 2015-05-23 14:59:27 +00:00
db_watch.h ddb: space/tab fixes. 2014-10-11 20:25:19 +00:00
db_write_cmd.c ddb: de-register 2015-05-23 14:59:27 +00:00
ddb.h Pass the trap type and code down from db_trap() to db_stop_at_pc() so 2016-09-09 15:53:42 +00:00