From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from barracuda.ebox.ca (barracuda.ebox.ca [96.127.255.19]) by sourceware.org (Postfix) with ESMTPS id CB6D23858030 for ; Tue, 18 Jan 2022 04:11:43 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org CB6D23858030 X-ASG-Debug-ID: 1642479099-0c856e06ab131cd0001-fS2M51 Received: from smtp.ebox.ca (smtp.ebox.ca [96.127.255.82]) by barracuda.ebox.ca with ESMTP id BDoPqxx3eX9nQUIO (version=TLSv1 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Mon, 17 Jan 2022 23:11:39 -0500 (EST) X-Barracuda-Envelope-From: simon.marchi@polymtl.ca X-Barracuda-RBL-Trusted-Forwarder: 96.127.255.82 Received: from simark.localdomain (192-222-157-6.qc.cable.ebox.net [192.222.157.6]) by smtp.ebox.ca (Postfix) with ESMTP id 11FFE441D64; Mon, 17 Jan 2022 23:11:39 -0500 (EST) From: Simon Marchi X-Barracuda-RBL-IP: 192.222.157.6 X-Barracuda-Effective-Source-IP: 192-222-157-6.qc.cable.ebox.net[192.222.157.6] X-Barracuda-Apparent-Source-IP: 192.222.157.6 To: gdb-patches@sourceware.org Cc: Simon Marchi Subject: [PATCH v2 9/9] gdb: resume ongoing step after handling fork or vfork Date: Mon, 17 Jan 2022 23:09:37 -0500 X-ASG-Orig-Subj: [PATCH v2 9/9] gdb: resume ongoing step after handling fork or vfork Message-Id: <20220118040937.730282-10-simon.marchi@polymtl.ca> X-Mailer: git-send-email 2.34.1 In-Reply-To: <20220118040937.730282-1-simon.marchi@polymtl.ca> References: <20220118040937.730282-1-simon.marchi@polymtl.ca> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Barracuda-Connect: smtp.ebox.ca[96.127.255.82] X-Barracuda-Start-Time: 1642479099 X-Barracuda-Encrypted: DHE-RSA-AES256-SHA X-Barracuda-URL: https://96.127.255.19:443/cgi-mod/mark.cgi X-Barracuda-BRTS-Status: 1 X-Virus-Scanned: by bsmtpd at ebox.ca X-Barracuda-Scan-Msg-Size: 12382 X-Barracuda-Spam-Score: 0.00 X-Barracuda-Spam-Status: No, SCORE=0.00 using global scores of TAG_LEVEL=1000.0 QUARANTINE_LEVEL=1000.0 KILL_LEVEL=8.0 tests= X-Barracuda-Spam-Report: Code version 3.2, rules version 3.2.3.95404 Rule breakdown below pts rule name description ---- ---------------------- -------------------------------------------------- X-Spam-Status: No, score=-15.8 required=5.0 tests=BAYES_00, GIT_PATCH_0, KAM_DMARC_QUARANTINE, KAM_DMARC_STATUS, KAM_SHORT, RCVD_IN_DNSWL_LOW, SPF_HELO_NONE, SPF_SOFTFAIL, TXREP autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on server2.sourceware.org X-BeenThere: gdb-patches@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gdb-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 18 Jan 2022 04:11:46 -0000 From: Simon Marchi New in v2: - updated the check in handle_inferior_event from if (parent->inf->thread_waiting_for_vfork_done != nullptr || !switch_back_to_stepped_thread (ecs)) to if ((!follow_child && detach_fork && parent->inf->thread_waiting_for_vfork_done != nullptr) || !switch_back_to_stepped_thread (ecs)) The `parent` pointer is stale when not following the parent, so that broke some follow-fork-mode=child tests. I changed this expression last minute before sending and did not re-test :(. The test introduced by this patch would fail in this configuration, with the native-gdbserver or native-extended-gdbserver boards: FAIL: gdb.threads/next-fork-other-thread.exp: fork_func=fork: target-non-stop=auto: non-stop=off: displaced-stepping=auto: i=2: next to for loop The problem is that the step operation is forgotten when handling the fork/vfork. With "debug infrun" and "debug remote", it looks like this (some lines omitted for brevity). We do the next: [infrun] proceed: enter [infrun] proceed: addr=0xffffffffffffffff, signal=GDB_SIGNAL_DEFAULT [infrun] resume_1: step=1, signal=GDB_SIGNAL_0, trap_expected=0, current thread [4154304.4154304.0] at 0x5555555553bf [infrun] do_target_resume: resume_ptid=4154304.0.0, step=1, sig=GDB_SIGNAL_0 [remote] Sending packet: $vCont;r5555555553bf,5555555553c4:p3f63c0.3f63c0;c:p3f63c0.-1#cd [infrun] proceed: exit We then handle a fork event: [infrun] fetch_inferior_event: enter [remote] wait: enter [remote] Packet received: T05fork:p3f63ee.3f63ee;06:0100000000000000;07:b08e59f6ff7f0000;10:bf60e8f7ff7f0000;thread:p3f63c0.3f63c6;core:17; [remote] wait: exit [infrun] print_target_wait_results: target_wait (-1.0.0 [process -1], status) = [infrun] print_target_wait_results: 4154304.4154310.0 [Thread 4154304.4154310], [infrun] print_target_wait_results: status->kind = FORKED, child_ptid = 4154350.4154350.0 [infrun] handle_inferior_event: status->kind = FORKED, child_ptid = 4154350.4154350.0 [remote] Sending packet: $D;3f63ee#4b [infrun] resume_1: step=0, signal=GDB_SIGNAL_0, trap_expected=0, current thread [4154304.4154310.0] at 0x7ffff7e860bf [infrun] do_target_resume: resume_ptid=4154304.0.0, step=0, sig=GDB_SIGNAL_0 [remote] Sending packet: $vCont;c:p3f63c0.-1#73 [infrun] fetch_inferior_event: exit In the first snippet, we resume the stepping thread with the range-stepping (r) vCont command. But after handling the fork (detaching the fork child), we resumed the whole process freely. The stepping thread, which was paused by GDBserver while reporting the fork event, was therefore resumed freely, instead of confined to the addresses of the stepped line. Note that since this is a "next", it could be that we have entered a function, installed a step-resume breakpoint, and it's ok to continue freely the stepping thread, but that's not the case here. The two snippets shown above were next to each other in the logs. For the fork case, we can resume stepping right after handling the event. However, for the vfork case, where we are waiting for the external child process to exec or exit, we only resume the thread that called vfork, and keep the others stopped (see patch "gdb: fix handling of vfork by multi-threaded program" prior in this series). So we can't resume the stepping thread right now. Instead, do it after handling the vfork-done event. Change-Id: I92539c970397ce880110e039fe92b87480f816bd --- gdb/infrun.c | 23 +++- .../gdb.threads/next-fork-other-thread.c | 86 +++++++++++++ .../gdb.threads/next-fork-other-thread.exp | 116 ++++++++++++++++++ 3 files changed, 221 insertions(+), 4 deletions(-) create mode 100644 gdb/testsuite/gdb.threads/next-fork-other-thread.c create mode 100644 gdb/testsuite/gdb.threads/next-fork-other-thread.exp diff --git a/gdb/infrun.c b/gdb/infrun.c index 75252be22038..f9bc4807d954 100644 --- a/gdb/infrun.c +++ b/gdb/infrun.c @@ -5744,7 +5744,18 @@ handle_inferior_event (struct execution_control_state *ecs) ecs->ptid = inferior_ptid; if (should_resume) - keep_going (ecs); + { + /* Never call switch_back_to_stepped_thread if we are waiting for + vfork-done (waiting for an external vfork child to exec or + exit). We will resume only the vforking thread for the purpose + of collecting the vfork-done event, and we will restart any + step once the critical shared address space window is done. */ + if ((!follow_child + && detach_fork + && parent->inf->thread_waiting_for_vfork_done != nullptr) + || !switch_back_to_stepped_thread (ecs)) + keep_going (ecs); + } else stop_waiting (ecs); return; @@ -5764,9 +5775,13 @@ handle_inferior_event (struct execution_control_state *ecs) if (handle_stop_requested (ecs)) return; - /* This also takes care of reinserting breakpoints in the - previously locked inferior. */ - keep_going (ecs); + if (!switch_back_to_stepped_thread (ecs)) + { + gdb_assert (inferior_thread () == ecs->event_thread); + /* This also takes care of reinserting breakpoints in the + previously locked inferior. */ + keep_going (ecs); + } return; case TARGET_WAITKIND_EXECD: diff --git a/gdb/testsuite/gdb.threads/next-fork-other-thread.c b/gdb/testsuite/gdb.threads/next-fork-other-thread.c new file mode 100644 index 000000000000..6679f92c70c5 --- /dev/null +++ b/gdb/testsuite/gdb.threads/next-fork-other-thread.c @@ -0,0 +1,86 @@ +/* This testcase is part of GDB, the GNU debugger. + + Copyright 2022 Free Software Foundation, Inc. + + This program is free software; you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation; either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see . */ + +#include +#include +#include +#include +#include +#include +#include + +/* Number of threads doing forks. */ +#define N_FORKERS 4 + +static void * +forker (void *arg) +{ + for (;;) + { + pid_t pid = FORK_FUNC (); + + if (pid == 0) + _exit(11); + + assert (pid > 0); + + /* Wait for children to exit. */ + int ret; + int stat; + do { + ret = waitpid (pid, &stat, 0); + } while (ret == EINTR); + + assert (ret == pid); + assert (WIFEXITED (stat)); + assert (WEXITSTATUS (stat) == 11); + + usleep (40 * 1000); + } + + return NULL; +} + +static void +sleep_a_bit (void) +{ + usleep (1000 * 50); +} + +int +main (void) +{ + alarm (60); + + pthread_t thread[N_FORKERS]; + for (int i = 0; i < N_FORKERS; ++i) + { + int ret = pthread_create (&thread[i], NULL, forker, NULL); + assert (ret == 0); + } + + for (int i = 0; i < INT_MAX; ++i) /* for loop */ + { + sleep_a_bit (); /* break here */ + sleep_a_bit (); /* other line */ + } + + for (int i = 0; i < N_FORKERS; ++i) + pthread_join (thread[i], NULL); + + return 0; +} diff --git a/gdb/testsuite/gdb.threads/next-fork-other-thread.exp b/gdb/testsuite/gdb.threads/next-fork-other-thread.exp new file mode 100644 index 000000000000..5960bb9ba100 --- /dev/null +++ b/gdb/testsuite/gdb.threads/next-fork-other-thread.exp @@ -0,0 +1,116 @@ +# Copyright 2022 Free Software Foundation, Inc. + +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 3 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see . + +# Test doing a "next" on a thread during which forks or vforks happen in other +# threads. + +standard_testfile + +# Line where to stop the main thread. +set break_here_line [gdb_get_line_number "break here"] + +# Build executables, one for each fork flavor. +foreach_with_prefix fork_func {fork vfork} { + set opts [list debug pthreads additional_flags=-DFORK_FUNC=${fork_func}] + if { [build_executable "failed to prepare" \ + ${testfile}-${fork_func} ${srcfile} $opts] } { + return + } +} + +# If testing against GDBserver, consume all it its output. + +proc drain_gdbserver_output { } { + if { [info exists ::server_spawn_id] } { + gdb_test_multiple "" "" { + -i "$::server_spawn_id" + -timeout 0 + -re ".+" { + exp_continue + } + } + } +} + +# Run the test with the given parameters: +# +# - FORK_FUNC: fork flavor, "fork" or "vfork". +# - TARGET-NON-STOP: "maintenance set target-non-stop" value, "auto", "on" or +# "off". +# - NON-STOP: "set non-stop" value, "on" or "off". +# - DISPLACED-STEPPING: "set displaced-stepping" value, "auto", "on" or "off". + +proc do_test { fork_func target-non-stop non-stop displaced-stepping } { + save_vars { ::GDBFLAGS } { + append ::GDBFLAGS " -ex \"maintenance set target-non-stop ${target-non-stop}\"" + append ::GDBFLAGS " -ex \"set non-stop ${non-stop}\"" + clean_restart ${::binfile}-${fork_func} + } + + gdb_test_no_output "set displaced-stepping ${displaced-stepping}" + + if { ![runto_main] } { + return + } + + # The "Detached after (v)fork" messages get in the way in non-stop, disable + # them. + gdb_test_no_output "set print inferior-events off" + + # Advance the next-ing thread to the point where we'll execute the nexts. + # Leave the breakpoint in: it will force GDB to step over it while next-ing, + # which exercises some additional code paths. + gdb_test "break $::break_here_line" "Breakpoint $::decimal at $::hex.*" + gdb_test "continue" "hit Breakpoint $::decimal, main.*" + + # Next an arbitrary number of times over the lines of the loop. + # + # It is useful to bump this number to a larger value (e.g. 200) to stress + # test more, but it makes the test case run for considerably longer. If + # you increase the number of loops, you might want to adjust the alarm + # time in the .c file accordingly. + for { set i 0 } { $i < 20 } { incr i } { + # If testing against GDBserver, the forking threads cause a lot of + # "Detaching from process XYZ" messages to appear. If we don't consume + # that output, GDBserver eventually blocks on a full stderr. Drain it + # once every loop. It may not be needed for 20 iterations, but it's + # needed if you increase to 200 iterations. + drain_gdbserver_output + + with_test_prefix "i=$i" { + if { [gdb_test "next" "other line.*" "next to other line"] != 0 } { + return + } + + if { [gdb_test "next" "for loop.*" "next to for loop"] != 0 } { + return + } + + if { [gdb_test "next" "break here.*" "next to break here"] != 0} { + return + } + } + } +} + +foreach_with_prefix fork_func {fork vfork} { + foreach_with_prefix target-non-stop {auto on off} { + foreach_with_prefix non-stop {off on} { + foreach_with_prefix displaced-stepping {auto on off} { + do_test ${fork_func} ${target-non-stop} ${non-stop} ${displaced-stepping} + } + } + } +} -- 2.34.1