aboutsummaryrefslogtreecommitdiff
path: root/gdb
diff options
context:
space:
mode:
authorPedro Alves <palves@redhat.com>2015-04-08 19:59:03 +0100
committerPedro Alves <palves@redhat.com>2015-04-08 19:59:03 +0100
commitf3770638ca377ff2bdd7cec2cb239d2909034690 (patch)
tree2ec95e8099c03ef03ed2345b5de495fd863be31d /gdb
parentfebdfe65a81629bc2a764820c94f9d2912a90e38 (diff)
downloadgdb-f3770638ca377ff2bdd7cec2cb239d2909034690.zip
gdb-f3770638ca377ff2bdd7cec2cb239d2909034690.tar.gz
gdb-f3770638ca377ff2bdd7cec2cb239d2909034690.tar.bz2
Add test for PR18214 and PR18216 - multiple step-overs with queued signals
Both PRs are triggered by the same use case. PR18214 is about software single-step targets. On those, the 'resume' code that detects that we're stepping over a breakpoint and delivering a signal at the same time: /* Currently, our software single-step implementation leads to different results than hardware single-stepping in one situation: when stepping into delivering a signal which has an associated signal handler, hardware single-step will stop at the first instruction of the handler, while software single-step will simply skip execution of the handler. ... Fortunately, we can at least fix this particular issue. We detect here the case where we are about to deliver a signal while software single-stepping with breakpoints removed. In this situation, we revert the decisions to remove all breakpoints and insert single- step breakpoints, and instead we install a step-resume breakpoint at the current address, deliver the signal without stepping, and once we arrive back at the step-resume breakpoint, actually step over the breakpoint we originally wanted to step over. */ doesn't handle the case of _another_ thread also needing to step over a breakpoint. Because the other thread is just resumed at the PC where it had stopped and a breakpoint is still inserted there, the thread immediately re-traps the same breakpoint. This test exercises that. On software single-step targets, it fails like this: KFAIL: gdb.threads/multiple-step-overs.exp: displaced=off: signal thr3: continue to sigusr1_handler KFAIL: gdb.threads/multiple-step-overs.exp: displaced=off: signal thr2: continue to sigusr1_handler gdb.log (simplified): (gdb) continue Continuing. Breakpoint 4, child_function_2 (arg=0x0) at src/gdb/testsuite/gdb.threads/multiple-step-overs.c:66 66 callme (); /* set breakpoint thread 2 here */ (gdb) thread 3 (gdb) queue-signal SIGUSR1 (gdb) thread 1 [Switching to thread 1 (Thread 0x7ffff7fc1740 (LWP 24824))] #0 main () at src/gdb/testsuite/gdb.threads/multiple-step-overs.c:106 106 wait_threads (); /* set wait-threads breakpoint here */ (gdb) break sigusr1_handler Breakpoint 5 at 0x400837: file src/gdb/testsuite/gdb.threads/multiple-step-overs.c, line 31. (gdb) continue Continuing. [Switching to Thread 0x7ffff7fc0700 (LWP 24828)] Breakpoint 4, child_function_2 (arg=0x0) at src/gdb/testsuite/gdb.threads/multiple-step-overs.c:66 66 callme (); /* set breakpoint thread 2 here */ (gdb) KFAIL: gdb.threads/multiple-step-overs.exp: displaced=off: signal thr3: continue to sigusr1_handler For good measure, I made the test try displaced stepping too. And then I found it crashes GDB on x86-64 (a hardware step target), but only when displaced stepping... : KFAIL: gdb.threads/multiple-step-overs.exp: displaced=on: signal thr1: continue to sigusr1_handler (PRMS: gdb/18216) KFAIL: gdb.threads/multiple-step-overs.exp: displaced=on: signal thr2: continue to sigusr1_handler (PRMS: gdb/18216) KFAIL: gdb.threads/multiple-step-overs.exp: displaced=on: signal thr3: continue to sigusr1_handler (PRMS: gdb/18216) Program terminated with signal SIGSEGV, Segmentation fault. #0 0x000000000062a83a in process_event_stop_test (ecs=0x7fff847eeee0) at src/gdb/infrun.c:4964 4964 if (sr_bp->loc->permanent Setting up the environment for debugging gdb. Breakpoint 1 at 0x79fcfc: file src/gdb/common/errors.c, line 54. Breakpoint 2 at 0x50a26c: file src/gdb/cli/cli-cmds.c, line 217. (top-gdb) p sr_bp $1 = (struct breakpoint *) 0x0 (top-gdb) bt #0 0x000000000062a83a in process_event_stop_test (ecs=0x7fff847eeee0) at src/gdb/infrun.c:4964 #1 0x000000000062a1af in handle_signal_stop (ecs=0x7fff847eeee0) at src/gdb/infrun.c:4715 #2 0x0000000000629097 in handle_inferior_event (ecs=0x7fff847eeee0) at src/gdb/infrun.c:4165 #3 0x0000000000627482 in fetch_inferior_event (client_data=0x0) at src/gdb/infrun.c:3298 #4 0x000000000064ad7b in inferior_event_handler (event_type=INF_REG_EVENT, client_data=0x0) at src/gdb/inf-loop.c:56 #5 0x00000000004c375f in handle_target_event (error=0, client_data=0x0) at src/gdb/linux-nat.c:4658 #6 0x0000000000648c47 in handle_file_event (file_ptr=0x2e0eaa0, ready_mask=1) at src/gdb/event-loop.c:658 The all-stop-non-stop series fixes this, but meanwhile, this augments the multiple-step-overs.exp test to cover this, KFAILed. gdb/testsuite/ChangeLog: 2015-04-08 Pedro Alves <palves@redhat.com> PR gdb/18214 PR gdb/18216 * gdb.threads/multiple-step-overs.c (sigusr1_handler): New function. (main): Install it as SIGUSR1 handler. * gdb.threads/multiple-step-overs.exp (setup): Remove 'prefix' parameter. Always use "setup" as prefix. Toggle "set displaced-stepping" off/on depending on global. Don't switch to thread 1 here. (top level): Add displaced stepping "off/on" test axis. Update "setup" calls. Wrap each subtest with with_test_prefix. Test continuing with a queued signal in each thread.
Diffstat (limited to 'gdb')
-rw-r--r--gdb/testsuite/ChangeLog15
-rw-r--r--gdb/testsuite/gdb.threads/multiple-step-overs.c7
-rw-r--r--gdb/testsuite/gdb.threads/multiple-step-overs.exp80
3 files changed, 88 insertions, 14 deletions
diff --git a/gdb/testsuite/ChangeLog b/gdb/testsuite/ChangeLog
index 234a0b0..c671c2f 100644
--- a/gdb/testsuite/ChangeLog
+++ b/gdb/testsuite/ChangeLog
@@ -1,5 +1,20 @@
2015-04-08 Pedro Alves <palves@redhat.com>
+ PR gdb/18214
+ PR gdb/18216
+ * gdb.threads/multiple-step-overs.c (sigusr1_handler): New
+ function.
+ (main): Install it as SIGUSR1 handler.
+ * gdb.threads/multiple-step-overs.exp (setup): Remove 'prefix'
+ parameter. Always use "setup" as prefix. Toggle "set
+ displaced-stepping" off/on depending on global. Don't switch to
+ thread 1 here.
+ (top level): Add displaced stepping "off/on" test axis. Update
+ "setup" calls. Wrap each subtest with with_test_prefix. Test
+ continuing with a queued signal in each thread.
+
+2015-04-08 Pedro Alves <palves@redhat.com>
+
* gdb.trace/actions.exp: Use gdb_load before gdb_run_cmd.
* gdb.trace/infotrace.exp: Use gdb_load before gdb_run_cmd. Use
gdb_breakpoint instead of gdb_test that doesn't expect anything.
diff --git a/gdb/testsuite/gdb.threads/multiple-step-overs.c b/gdb/testsuite/gdb.threads/multiple-step-overs.c
index 87d292f5e..3a0142d 100644
--- a/gdb/testsuite/gdb.threads/multiple-step-overs.c
+++ b/gdb/testsuite/gdb.threads/multiple-step-overs.c
@@ -26,6 +26,11 @@ pthread_barrier_t barrier;
pthread_t child_thread_2, child_thread_3;
void
+sigusr1_handler (int signo)
+{
+}
+
+void
callme (void)
{
}
@@ -76,6 +81,8 @@ main ()
int res;
long i;
+ signal (SIGUSR1, sigusr1_handler);
+
/* Call these early so that PLTs for these are resolved soon,
instead of in the threads. RTLD_NOW should work as well. */
usleep (0);
diff --git a/gdb/testsuite/gdb.threads/multiple-step-overs.exp b/gdb/testsuite/gdb.threads/multiple-step-overs.exp
index 3d54ac2..bfa4ad1 100644
--- a/gdb/testsuite/gdb.threads/multiple-step-overs.exp
+++ b/gdb/testsuite/gdb.threads/multiple-step-overs.exp
@@ -29,19 +29,21 @@ if {[gdb_compile_pthreads "${srcdir}/${subdir}/${srcfile}" "${binfile}" \
return -1
}
-# Prepare environment for test. PREFIX is used as prefix in test
-# messages.
+# Prepare environment for test.
-proc setup { prefix } {
+proc setup {} {
global executable
+ global displaced
- with_test_prefix $prefix {
+ with_test_prefix "setup" {
clean_restart $executable
if ![runto_main] {
return -1
}
+ gdb_test_no_output "set displaced-stepping $displaced"
+
gdb_breakpoint [gdb_get_line_number "set wait-threads breakpoint here"]
gdb_continue_to_breakpoint "run to breakpoint"
gdb_test "info threads" "3 .* 2 .*\\\* 1.*" "info threads shows all threads"
@@ -59,8 +61,7 @@ proc setup { prefix } {
gdb_continue_to_breakpoint "run to breakpoint in thread 2"
gdb_test "p *myp = 0" " = 0" "unbreak loop in thread 2"
- # Switch back to thread 1 and disable scheduler locking.
- gdb_test "thread 1" "Switching.*"
+ # Disable scheduler locking.
gdb_test_no_output "set scheduler-locking off"
# Now all 3 threads are stopped for a breakpoint that needs to
@@ -68,13 +69,64 @@ proc setup { prefix } {
}
}
-setup "step"
-gdb_test "step" "in wait_threads .*"
+foreach displaced { "off" "on" } {
+ with_test_prefix "displaced=$displaced" {
+ with_test_prefix "step" {
+ setup
+ gdb_test "thread 1" "Switching.*"
+ gdb_test "step" "in wait_threads .*"
+ }
+
+ with_test_prefix "next" {
+ setup
+ gdb_test "thread 1" "Switching.*"
+ gdb_test "next" "pthread_join.*"
+ }
-setup "next"
-gdb_test "set debug infrun 1" ".*"
-gdb_test "next" "pthread_join.*"
+ with_test_prefix "continue" {
+ setup
+ gdb_breakpoint [gdb_get_line_number "EXIT_SUCCESS"]
+ gdb_test "thread 1" "Switching.*"
+ gdb_test "continue" "EXIT_SUCCESS.*"
+ }
-setup "continue"
-gdb_breakpoint [gdb_get_line_number "EXIT_SUCCESS"]
-gdb_test "continue" "EXIT_SUCCESS.*"
+ # Try continuing with a queued signal in each of the threads
+ # (one at a time). Should stop at the signal handler, instead
+ # of re-trapping the breakpoint the threads were already
+ # stopped at.
+ foreach thread {1 2 3} {
+ with_test_prefix "signal thr$thread" {
+ setup
+
+ # Queue a signal in THREAD.
+ gdb_test "thread $thread" "Switching.*"
+ gdb_test_no_output "queue-signal SIGUSR1"
+
+ # Switch back to thread 1, and continue.
+ gdb_test "thread 1" "Switching.*" "switch back to thread 1"
+ gdb_breakpoint "sigusr1_handler" "set break at sigusr1_handler"
+
+ set msg "continue to sigusr1_handler"
+ gdb_test_multiple "continue" $msg {
+ -re "Breakpoint .* sigusr1_handler .*$gdb_prompt $" {
+ pass $msg
+ }
+ -re "Breakpoint .*$gdb_prompt $" {
+ if {![can_single_step_to_signal_handler]
+ && $thread != 1 && $displaced == "off"} {
+ setup_kfail "gdb/18214" "*-*-*"
+ }
+ fail $msg
+ }
+ eof {
+ if {[can_single_step_to_signal_handler]
+ && $displaced == "on"} {
+ setup_kfail "gdb/18216" "*-*-*"
+ }
+ fail $msg
+ }
+ }
+ }
+ }
+ }
+}