aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPedro Alves <pedro@palves.net>2022-02-23 11:17:26 +0000
committerPedro Alves <pedro@palves.net>2022-03-10 11:35:53 +0000
commitb7b1008c0b1af5379656bd8e3063d01daf2bd764 (patch)
treecd270d68a9c46bdcbcdf9c6a527c9e7b591c1a04
parentcdff184f42743670a499bbac6b69c2d504760a78 (diff)
downloadgdb-b7b1008c0b1af5379656bd8e3063d01daf2bd764.zip
gdb-b7b1008c0b1af5379656bd8e3063d01daf2bd764.tar.gz
gdb-b7b1008c0b1af5379656bd8e3063d01daf2bd764.tar.bz2
Fix gdb.threads/current-lwp-dead.exp race
If we make GDB report the process EXIT event for the leader thread, as will be done in a latter patch of this series, then gdb.threads/current-lwp-dead.exp starts failing: (gdb) break fn_return Breakpoint 2 at 0x5555555551b5: file /home/pedro/rocm/gdb/build/gdb/testsuite/../../../src/gdb/testsuite/gdb.threads/current-lwp-dead.c, line 45. (gdb) continue Continuing. [New LWP 2138466] [Inferior 1 (process 2138459) exited normally] (gdb) FAIL: gdb.threads/current-lwp-dead.exp: continue to breakpoint: fn_return (the program exited) The inferior exit reported is actually correct. The main thread has indeed exited, and that's the thread that has the right exit code to report to the user, as that's the exit code that is reported to the program's parent. In this case, GDB managed to collect the exit code for the leader thread before reaping the other thread, because in reality, the testcase isn't creating standard threads, it is using raw clone, and the new clones are put in their own thread group. Fix it by making the main "thread" not exit until the scenario we're exercising plays out. Also, run the program to completion for completeness. The original program really wanted the leader thread to exit before the fn_return function was reached -- it was important that the current thread as pointed by inferior_ptid was gone when infrun got the breakpoint event. I've tweaked the testcase to ensure that that condition is still held, though it is no longer the main thread that exits. This required a bit of synchronization between the threads, which required using CLONE_VM unconditionally. The #ifdef guards were added as a fix for https://sourceware.org/bugzilla/show_bug.cgi?id=11214, though I don't think they were necessary because the program is not using TLS. If it turns out they were necessary, we can link the testcase with "-z now" instead, which was mentioned as an alternative workaround in that Bugzilla. Change-Id: I7be2f0da4c2fe8f80a60bdde5e6c623d8bd5a0aa
-rw-r--r--gdb/testsuite/gdb.threads/current-lwp-dead.c101
-rw-r--r--gdb/testsuite/gdb.threads/current-lwp-dead.exp23
2 files changed, 87 insertions, 37 deletions
diff --git a/gdb/testsuite/gdb.threads/current-lwp-dead.c b/gdb/testsuite/gdb.threads/current-lwp-dead.c
index 76babc4..ceb3ae4 100644
--- a/gdb/testsuite/gdb.threads/current-lwp-dead.c
+++ b/gdb/testsuite/gdb.threads/current-lwp-dead.c
@@ -15,6 +15,18 @@
You should have received a copy of the GNU General Public License
along with this program. If not, see <http://www.gnu.org/licenses/>.
+
+ The original issue we're trying to test is described in this
+ thread:
+
+ https://sourceware.org/legacy-ml/gdb-patches/2009-06/msg00802.html
+
+ The NEW_THREAD_EVENT code the comments below refer to no longer
+ exists in GDB, so the following comments are kept for historical
+ reasons, and to guide future updates to the testcase.
+
+ ---
+
Do not use threads as we need to exploit a bug in LWP code masked by the
threads code otherwise.
@@ -29,60 +41,81 @@
#include <assert.h>
#include <unistd.h>
#include <stdlib.h>
-
-#include <features.h>
-#ifdef __UCLIBC__
-#if !(defined(__UCLIBC_HAS_MMU__) || defined(__ARCH_HAS_MMU__))
-#define HAS_NOMMU
-#endif
-#endif
+#include <sys/types.h>
+#include <sys/wait.h>
#define STACK_SIZE 0x1000
-static int
-fn_return (void *unused)
-{
- return 0; /* at-fn_return */
-}
+/* True if the 'fn_return' thread has been reached at the point after
+ its parent is already gone. */
+volatile int fn_return_reached = 0;
+
+/* True if the 'fn' thread has exited. */
+volatile int fn_exited = 0;
+
+/* Wrapper around clone. */
static int
-fn (void *unused)
+do_clone (int (*fn)(void *))
{
- int i;
unsigned char *stack;
int new_pid;
- i = sleep (1);
- assert (i == 0);
-
stack = malloc (STACK_SIZE);
assert (stack != NULL);
- new_pid = clone (fn_return, stack + STACK_SIZE, CLONE_FILES
-#if defined(__UCLIBC__) && defined(HAS_NOMMU)
- | CLONE_VM
-#endif /* defined(__UCLIBC__) && defined(HAS_NOMMU) */
- , NULL, NULL, NULL, NULL);
+ new_pid = clone (fn, stack + STACK_SIZE, CLONE_FILES | CLONE_VM,
+ NULL, NULL, NULL, NULL);
assert (new_pid > 0);
+ return new_pid;
+}
+
+static int
+fn_return (void *unused)
+{
+ /* Wait until our direct parent exits. We want the breakpoint set a
+ couple lines below to hit with the previously-selected thread
+ gone. */
+ while (!fn_exited)
+ usleep (1);
+
+ fn_return_reached = 1; /* at-fn_return */
+ return 0;
+}
+
+static int
+fn (void *unused)
+{
+ do_clone (fn_return);
return 0;
}
int
main (int argc, char **argv)
{
- unsigned char *stack;
- int new_pid;
-
- stack = malloc (STACK_SIZE);
- assert (stack != NULL);
-
- new_pid = clone (fn, stack + STACK_SIZE, CLONE_FILES
-#if defined(__UCLIBC__) && defined(HAS_NOMMU)
- | CLONE_VM
-#endif /* defined(__UCLIBC__) && defined(HAS_NOMMU) */
- , NULL, NULL, NULL, NULL);
- assert (new_pid > 0);
+ int new_pid, status, ret;
+
+ new_pid = do_clone (fn);
+
+ /* Note the clone call above didn't use CLONE_THREAD, so it actually
+ put the new child in a new thread group. However, the new clone
+ is still reported with PTRACE_EVENT_CLONE to GDB, since we didn't
+ use CLONE_VFORK (results in PTRACE_EVENT_VFORK) nor set the
+ termination signal to SIGCHLD (results in PTRACE_EVENT_FORK), so
+ GDB thinks of it as a new thread of the same inferior. It's a
+ bit of an odd setup, but it's not important for what we're
+ testing, and, it let's us conveniently use waitpid to wait for
+ the child, which you can't with CLONE_THREAD. */
+ ret = waitpid (new_pid, &status, __WALL);
+ assert (ret == new_pid);
+ assert (WIFEXITED (status) && WEXITSTATUS (status) == 0);
+
+ fn_exited = 1;
+
+ /* Don't exit before the breakpoint at fn_return triggers. */
+ while (!fn_return_reached)
+ usleep (1);
return 0;
}
diff --git a/gdb/testsuite/gdb.threads/current-lwp-dead.exp b/gdb/testsuite/gdb.threads/current-lwp-dead.exp
index b69fdbb..6728dbe 100644
--- a/gdb/testsuite/gdb.threads/current-lwp-dead.exp
+++ b/gdb/testsuite/gdb.threads/current-lwp-dead.exp
@@ -15,8 +15,14 @@
# You should have received a copy of the GNU General Public License
# along with this program. If not, see <http://www.gnu.org/licenses/>.
-# Please email any bugs, comments, and/or additions to this file to:
-# bug-gdb@gnu.org
+# Regression test for issue originally described here:
+#
+# https://sourceware.org/legacy-ml/gdb-patches/2009-06/msg00802.html
+#
+# The relevant code has since been removed from GDB, but it doesn't
+# hurt to keep the testcase.
+
+standard_testfile
# This only works with on Linux targets.
if ![istarget *-*-linux*] then {
@@ -31,5 +37,16 @@ if {[runto_main] <= 0} {
return -1
}
-gdb_breakpoint "fn_return"
+# Run to "fn" so that thread 2 is made current.
+gdb_breakpoint "fn"
+gdb_continue_to_breakpoint "fn" ".*do_clone.*"
+
+# Run to thread 3, at a point where thread 2 is gone.
+set line [gdb_get_line_number "at-fn_return"]
+gdb_breakpoint $line
gdb_continue_to_breakpoint "fn_return" ".*at-fn_return.*"
+
+# Confirm thread 2 is really gone.
+gdb_test "info threads 2" "No threads match '2'\\."
+
+gdb_continue_to_end "" continue 1