2007-11-06 Jan Kratochvil <jan.kratochvil@redhat.com>

	* strace.c [LINUX] (droptcb): Recurse on TCP->parent if it is a
	TCB_EXITING zombie group leader.
	* test/childthread.c: New file.
	* test/.cvsignore, test/Makefile: Add it.
	Code advisory: Roland McGrath
	Fixes RH#354261.

diff --git a/strace.c b/strace.c
index b71e093b83621ee0e384c4ffbddbf92e3effdfa7..341ed04adeb10b9ccb58084773318ecfdfba9e51 100644 (file)
--- a/strace.c
+++ b/strace.c
@@ -1297,6 +1297,16 @@ struct tcb *tcp;
                if (!(tcp->flags & TCB_CLONE_DETACHED))
 #endif
                        tcp->parent->nzombies++;
+#ifdef LINUX
+               /* Update `tcp->parent->parent->nchildren' and the other fields
+                  like NCLONE_DETACHED, only for zombie group leader that has
+                  already reported and been short-circuited at the top of this
+                  function.  The same condition as at the top of DETACH.  */
+               if ((tcp->flags & TCB_CLONE_THREAD) &&
+                   tcp->parent->nclone_threads == 0 &&
+                   (tcp->parent->flags & TCB_EXITING))
+                       droptcb(tcp->parent);
+#endif
                tcp->parent = NULL;
        }
 

diff --git a/test/.cvsignore b/test/.cvsignore
index c415255686f8ac7eeaef5c1b9de64cb7929c7295..58caafe7b449442ad6ba45b6bd97659dd93db8e1 100644 (file)
--- a/test/.cvsignore
+++ b/test/.cvsignore
@@ -4,3 +4,4 @@ skodic
 vfork
 clone
 leaderkill
+childthread

diff --git a/test/Makefile b/test/Makefile
index 2879c086b0eccc72e2999a407f97d92cca3bfb3e..283094f42ebca8e901fa2f9cf9e80c22a1e146ce 100644 (file)
--- a/test/Makefile
+++ b/test/Makefile
@@ -2,10 +2,12 @@
 # $Id$
 #
 
-all: vfork fork sig skodic clone leaderkill
+all: vfork fork sig skodic clone leaderkill childthread
 
 leaderkill: LDFLAGS += -pthread
 
+childthread: LDFLAGS += -pthread
+
 clean distclean:
        rm -f clone vfork fork sig leaderkill *.o core
 

diff --git a/test/childthread.c b/test/childthread.c
new file mode 100644 (file)
index 0000000..bc10d3a
--- /dev/null
+++ b/test/childthread.c
@@ -0,0 +1,59 @@
+/* Test exit of a child of a TCB_EXITING child where the toplevel process starts
+ * waiting on it.  The middle one gets detached and strace must update the
+ * toplevel process'es number of attached children to 0.
+ * 
+ * gcc -o test/childthread test/childthread.c -Wall -ggdb2 -pthread;./strace -f ./test/childthread
+ * It must print: write(1, "OK\n", ...
+ */
+
+#include <pthread.h>
+#include <assert.h>
+#include <unistd.h>
+#include <stdlib.h>
+#include <stdio.h>
+#include <sys/wait.h>
+
+static void *start0 (void *arg)
+{
+  pause ();
+  /* NOTREACHED */
+  assert (0);
+}
+
+int main (void)
+{
+  pthread_t thread0;
+  int i;
+  pid_t child, got_pid;
+  int status;
+
+  child = fork ();
+  switch (child)
+    {
+    case -1:
+      assert (0);
+    case 0:
+      i = pthread_create (&thread0, NULL, start0, NULL);
+      assert (i == 0);
+      /* The thread must be initialized, it becomes thread-child of this
+        process-child (child of a child of the toplevel process).  */
+      sleep (1);
+      /* Here the child TCB cannot be deallocated as there still exist
+       * children (the thread child in START0).  */
+      exit (42);
+      /* NOTREACHED */
+      assert (0);
+    default:
+      /* We must not be waiting in WAITPID when the child double-exits.  */
+      sleep (2);
+      /* PID must be -1.  */
+      got_pid = waitpid (-1, &status, 0);
+      assert (got_pid == child);
+      assert (WIFEXITED (status));
+      assert (WEXITSTATUS (status) == 42);
+      puts ("OK");
+      exit (0);
+    }
+  /* NOTREACHED */
+  assert (0);
+}