|
|
5f7b84 |
commit 669ff911e2571f74a2668493e326ac9a505776bd
|
|
|
5f7b84 |
Author: Florian Weimer <fweimer@redhat.com>
|
|
|
5f7b84 |
Date: Fri Feb 8 12:46:19 2019 +0100
|
|
|
5f7b84 |
|
|
|
5f7b84 |
nptl: Avoid fork handler lock for async-signal-safe fork [BZ #24161]
|
|
|
5f7b84 |
|
|
|
5f7b84 |
Commit 27761a1042daf01987e7d79636d0c41511c6df3c ("Refactor atfork
|
|
|
5f7b84 |
handlers") introduced a lock, atfork_lock, around fork handler list
|
|
|
5f7b84 |
accesses. It turns out that this lock occasionally results in
|
|
|
5f7b84 |
self-deadlocks in malloc/tst-mallocfork2:
|
|
|
5f7b84 |
|
|
|
5f7b84 |
(gdb) bt
|
|
|
5f7b84 |
#0 __lll_lock_wait_private ()
|
|
|
5f7b84 |
at ../sysdeps/unix/sysv/linux/x86_64/lowlevellock.S:63
|
|
|
5f7b84 |
#1 0x00007f160c6f927a in __run_fork_handlers (who=(unknown: 209394016),
|
|
|
5f7b84 |
who@entry=atfork_run_prepare) at register-atfork.c:116
|
|
|
5f7b84 |
#2 0x00007f160c6b7897 in __libc_fork () at ../sysdeps/nptl/fork.c:58
|
|
|
5f7b84 |
#3 0x00000000004027d6 in sigusr1_handler (signo=<optimized out>)
|
|
|
5f7b84 |
at tst-mallocfork2.c:80
|
|
|
5f7b84 |
#4 sigusr1_handler (signo=<optimized out>) at tst-mallocfork2.c:64
|
|
|
5f7b84 |
#5 <signal handler called>
|
|
|
5f7b84 |
#6 0x00007f160c6f92e4 in __run_fork_handlers (who=who@entry=atfork_run_parent)
|
|
|
5f7b84 |
at register-atfork.c:136
|
|
|
5f7b84 |
#7 0x00007f160c6b79a2 in __libc_fork () at ../sysdeps/nptl/fork.c:152
|
|
|
5f7b84 |
#8 0x0000000000402567 in do_test () at tst-mallocfork2.c:156
|
|
|
5f7b84 |
#9 0x0000000000402dd2 in support_test_main (argc=1, argv=0x7ffc81ef1ab0,
|
|
|
5f7b84 |
config=config@entry=0x7ffc81ef1970) at support_test_main.c:350
|
|
|
5f7b84 |
#10 0x0000000000402362 in main (argc=<optimized out>, argv=<optimized out>)
|
|
|
5f7b84 |
at ../support/test-driver.c:168
|
|
|
5f7b84 |
|
|
|
5f7b84 |
If no locking happens in the single-threaded case (where fork is
|
|
|
5f7b84 |
expected to be async-signal-safe), this deadlock is avoided.
|
|
|
5f7b84 |
(pthread_atfork is not required to be async-signal-safe, so a fork
|
|
|
5f7b84 |
call from a signal handler interrupting pthread_atfork is not
|
|
|
5f7b84 |
a problem.)
|
|
|
5f7b84 |
|
|
|
5f7b84 |
diff --git a/nptl/register-atfork.c b/nptl/register-atfork.c
|
|
|
5f7b84 |
index bc797b7..80a1bec 100644
|
|
|
5f7b84 |
--- a/nptl/register-atfork.c
|
|
|
5f7b84 |
+++ b/nptl/register-atfork.c
|
|
|
5f7b84 |
@@ -107,13 +107,14 @@ __unregister_atfork (void *dso_handle)
|
|
|
5f7b84 |
}
|
|
|
5f7b84 |
|
|
|
5f7b84 |
void
|
|
|
5f7b84 |
-__run_fork_handlers (enum __run_fork_handler_type who)
|
|
|
5f7b84 |
+__run_fork_handlers (enum __run_fork_handler_type who, _Bool do_locking)
|
|
|
5f7b84 |
{
|
|
|
5f7b84 |
struct fork_handler *runp;
|
|
|
5f7b84 |
|
|
|
5f7b84 |
if (who == atfork_run_prepare)
|
|
|
5f7b84 |
{
|
|
|
5f7b84 |
- lll_lock (atfork_lock, LLL_PRIVATE);
|
|
|
5f7b84 |
+ if (do_locking)
|
|
|
5f7b84 |
+ lll_lock (atfork_lock, LLL_PRIVATE);
|
|
|
5f7b84 |
size_t sl = fork_handler_list_size (&fork_handlers);
|
|
|
5f7b84 |
for (size_t i = sl; i > 0; i--)
|
|
|
5f7b84 |
{
|
|
|
5f7b84 |
@@ -133,7 +134,8 @@ __run_fork_handlers (enum __run_fork_handler_type who)
|
|
|
5f7b84 |
else if (who == atfork_run_parent && runp->parent_handler)
|
|
|
5f7b84 |
runp->parent_handler ();
|
|
|
5f7b84 |
}
|
|
|
5f7b84 |
- lll_unlock (atfork_lock, LLL_PRIVATE);
|
|
|
5f7b84 |
+ if (do_locking)
|
|
|
5f7b84 |
+ lll_unlock (atfork_lock, LLL_PRIVATE);
|
|
|
5f7b84 |
}
|
|
|
5f7b84 |
}
|
|
|
5f7b84 |
|
|
|
5f7b84 |
diff --git a/sysdeps/nptl/fork.c b/sysdeps/nptl/fork.c
|
|
|
5f7b84 |
index bd68f18..14b69a6 100644
|
|
|
5f7b84 |
--- a/sysdeps/nptl/fork.c
|
|
|
5f7b84 |
+++ b/sysdeps/nptl/fork.c
|
|
|
5f7b84 |
@@ -55,7 +55,7 @@ __libc_fork (void)
|
|
|
5f7b84 |
but our current fork implementation is not. */
|
|
|
5f7b84 |
bool multiple_threads = THREAD_GETMEM (THREAD_SELF, header.multiple_threads);
|
|
|
5f7b84 |
|
|
|
5f7b84 |
- __run_fork_handlers (atfork_run_prepare);
|
|
|
5f7b84 |
+ __run_fork_handlers (atfork_run_prepare, multiple_threads);
|
|
|
5f7b84 |
|
|
|
5f7b84 |
/* If we are not running multiple threads, we do not have to
|
|
|
5f7b84 |
preserve lock state. If fork runs from a signal handler, only
|
|
|
5f7b84 |
@@ -134,7 +134,7 @@ __libc_fork (void)
|
|
|
5f7b84 |
__rtld_lock_initialize (GL(dl_load_lock));
|
|
|
5f7b84 |
|
|
|
5f7b84 |
/* Run the handlers registered for the child. */
|
|
|
5f7b84 |
- __run_fork_handlers (atfork_run_child);
|
|
|
5f7b84 |
+ __run_fork_handlers (atfork_run_child, multiple_threads);
|
|
|
5f7b84 |
}
|
|
|
5f7b84 |
else
|
|
|
5f7b84 |
{
|
|
|
5f7b84 |
@@ -149,7 +149,7 @@ __libc_fork (void)
|
|
|
5f7b84 |
}
|
|
|
5f7b84 |
|
|
|
5f7b84 |
/* Run the handlers registered for the parent. */
|
|
|
5f7b84 |
- __run_fork_handlers (atfork_run_parent);
|
|
|
5f7b84 |
+ __run_fork_handlers (atfork_run_parent, multiple_threads);
|
|
|
5f7b84 |
}
|
|
|
5f7b84 |
|
|
|
5f7b84 |
return pid;
|
|
|
5f7b84 |
diff --git a/sysdeps/nptl/fork.h b/sysdeps/nptl/fork.h
|
|
|
5f7b84 |
index a1c3b26..99ed760 100644
|
|
|
5f7b84 |
--- a/sysdeps/nptl/fork.h
|
|
|
5f7b84 |
+++ b/sysdeps/nptl/fork.h
|
|
|
5f7b84 |
@@ -52,9 +52,11 @@ enum __run_fork_handler_type
|
|
|
5f7b84 |
- atfork_run_child: run all the CHILD_HANDLER and unlocks the internal
|
|
|
5f7b84 |
lock.
|
|
|
5f7b84 |
- atfork_run_parent: run all the PARENT_HANDLER and unlocks the internal
|
|
|
5f7b84 |
- lock. */
|
|
|
5f7b84 |
-extern void __run_fork_handlers (enum __run_fork_handler_type who)
|
|
|
5f7b84 |
- attribute_hidden;
|
|
|
5f7b84 |
+ lock.
|
|
|
5f7b84 |
+
|
|
|
5f7b84 |
+ Perform locking only if DO_LOCKING. */
|
|
|
5f7b84 |
+extern void __run_fork_handlers (enum __run_fork_handler_type who,
|
|
|
5f7b84 |
+ _Bool do_locking) attribute_hidden;
|
|
|
5f7b84 |
|
|
|
5f7b84 |
/* C library side function to register new fork handlers. */
|
|
|
5f7b84 |
extern int __register_atfork (void (*__prepare) (void),
|