[lkml]   [2017]   [Jun]   [30]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
Subject[PATCH 0/8] signal: Fix sending signals with siginfo

Today sending a signal with rt_sigqueueinfo and receving it on
a signalfd does not work reliably. The issue is that reading
a signalfd instead of returning a siginfo returns a signalfd_siginfo and
the kernel must convert from one to the other.

The kernel does not currently have the code to deduce which union
members of struct siginfo are in use.

In this patchset I fix that by introducing a new function siginfo_layout
that can look at a siginfo and report which union member of struct
nnsiginfo is in use. Before that I clean up how we populate struct

The siginfo structure has two key members si_signo and si_code. Some
si_codes are signal specific and for those it takes si_signo and si_code
to indicate the members of siginfo that are valid. The rest of the
si_code values are signal independent like SI_USER, SI_KERNEL, SI_QUEUE,
and SI_TIMER and only si_code is needed to indicate which members of
siginfo are valid.

At least that is how POSIX documents them, and how common sense would
indicate they should function. In practice we have been rather sloppy
about maintaining the ABI in linux and we have some exceptions. We have
a couple of buggy architectures that make SI_USER mean something
different when combined with SIGFPE or SIGTRAP. Worse we have
fcntl(F_SETSIG) which results in the si_codes POLL_IN, POLL_OUT,
POLL_MSG, POLL_ERR, POLL_PRI, POLL_HUP being sent with any arbitrary
signal, while the values are in a range that overlaps the signal
specific si_codes.

Thankfully the ambiguous cases are for things no sane persion would do
that so we can rectify the situtation. AKA no one cares so we won't
cause a regression fixing it.

As part of fixing this I stop leaking the __SI_xxxx codes to userspace
and stop storing them in the high 16bits of si_code. Making the kernel
code fundamentally simpler. We have already confirmed that the one
application that would see this difference in kernel behavior CRIU won't
be affected by this change as it copies values verbatim from one kernel
interface to another.


Eric W. Biederman (8):
signal/alpha: Document a conflict with SI_USER for SIGTRAP
signal/ia64: Document a conflict with SI_USER with SIGFPE
signal/sparc: Document a conflict with SI_USER with SIGFPE
signal/mips: Document a conflict with SI_USER with SIGFPE
signal/testing: Don't look for __SI_FAULT in userspace
signal/x86: Fix SIGSYS handling in copy_siginfo_to_user32
fcntl: Don't use ambiguous SIG_POLL si_codes
signal: Remove kernel interal si_code magic

arch/alpha/include/uapi/asm/siginfo.h | 5 ++
arch/alpha/kernel/traps.c | 6 +-
arch/arm64/kernel/signal32.c | 23 +++---
arch/blackfin/include/uapi/asm/siginfo.h | 30 +++++---
arch/frv/include/uapi/asm/siginfo.h | 2 +-
arch/ia64/include/uapi/asm/siginfo.h | 19 ++---
arch/ia64/kernel/signal.c | 17 ++---
arch/ia64/kernel/traps.c | 4 +-
arch/mips/include/uapi/asm/siginfo.h | 9 ++-
arch/mips/kernel/signal32.c | 19 +++--
arch/mips/kernel/traps.c | 2 +-
arch/parisc/kernel/signal32.c | 31 ++++----
arch/powerpc/kernel/signal_32.c | 20 +++--
arch/s390/kernel/compat_signal.c | 32 ++++----
arch/sparc/include/uapi/asm/siginfo.h | 7 +-
arch/sparc/kernel/signal32.c | 16 ++--
arch/sparc/kernel/traps_32.c | 2 +-
arch/sparc/kernel/traps_64.c | 2 +-
arch/tile/include/uapi/asm/siginfo.h | 4 +-
arch/tile/kernel/compat_signal.c | 18 ++---
arch/tile/kernel/traps.c | 1 -
arch/x86/kernel/signal_compat.c | 22 +++---
fs/fcntl.c | 13 +++-
fs/signalfd.c | 22 ++----
include/asm-generic/siginfo.h | 22 +++---
include/linux/signal.h | 8 ++
include/uapi/asm-generic/siginfo.h | 104 ++++++++++++--------------
kernel/compat.c | 2 -
kernel/exit.c | 6 +-
kernel/ptrace.c | 6 +-
kernel/signal.c | 72 +++++++++++++-----
tools/testing/selftests/x86/mpx-mini-test.c | 3 +-
tools/testing/selftests/x86/protection_keys.c | 13 ++--
33 files changed, 302 insertions(+), 260 deletions(-)

 \ /
  Last update: 2017-06-30 23:13    [W:0.295 / U:2.040 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site