[PATCH 4/6] signal: sigprocmask() should doretarget_shared_pending()

From: Oleg Nesterov
Date: Mon Apr 11 2011 - 13:22:24 EST

In short, almost every changing of current->blocked is wrong, or at least
can lead to the unexpected results.

For example. Two threads T1 and T2, T1 sleeps in sigtimedwait/pause/etc.
kill(tgid, SIG) can pick T2 for TIF_SIGPENDING. If T2 calls sigprocmask()
and blocks SIG before it notices the pending signal, nobody else can handle
this pending shared signal.

I am not sure this is bug, but at least this looks strange imho. T1 should
not sleep forever, there is a signal which should wake it up.

This patch changes sigprocmask() to call retarget_shared_pending() as
exit_signals() does. To calculate the "blocked" argument we add the new
helper, signorsets(), although we could do ~(newset & ~current->blocked)
instead. According to grep, nobody in arch/ defines __HAVE_ARCH_SIG_SETOPS,
we only need to change linux/signal.h.

Note: for this particular case we could simply change sigprocmask() to
return -EINTR if signal_pending(), but then we should change other callers
and, more importantly, if we need this fix then sigprocmask() will have
more callers and some of them can't restart. See the next patch as a random

Signed-off-by: Oleg Nesterov <oleg@xxxxxxxxxx>

include/linux/signal.h | 3 +++
kernel/signal.c | 5 +++++
2 files changed, 8 insertions(+)

--- sigprocmask/include/linux/signal.h~4_sigprocmask_retarget 2011-04-06 21:33:50.000000000 +0200
+++ sigprocmask/include/linux/signal.h 2011-04-11 18:16:51.000000000 +0200
@@ -126,10 +126,14 @@ _SIG_SET_BINOP(sigandsets, _sig_and)
#define _sig_nand(x,y) ((x) & ~(y))
_SIG_SET_BINOP(signandsets, _sig_nand)

+#define _sig_nor(x,y) ((x) | ~(y))
+_SIG_SET_BINOP(signorsets, _sig_nor)
#undef _sig_or
#undef _sig_and
#undef _sig_nand
+#undef _sig_nor

#define _SIG_SET_OP(name, op) \
static inline void name(sigset_t *set) \
--- sigprocmask/kernel/signal.c~4_sigprocmask_retarget 2011-04-10 21:57:42.000000000 +0200
+++ sigprocmask/kernel/signal.c 2011-04-11 18:02:22.000000000 +0200
@@ -2131,6 +2131,11 @@ int sigprocmask(int how, sigset_t *set,

+ if (signal_pending(tsk) && !thread_group_empty(tsk)) {
+ sigset_t not_newblocked;
+ signorsets(&not_newblocked, &current->blocked, &newset);
+ retarget_shared_pending(tsk, &not_newblocked);
+ }
tsk->blocked = newset;

To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/