timerfd: Protect the might cancel mechanism proper
authorThomas Gleixner <tglx@linutronix.de>
Tue, 31 Jan 2017 14:24:03 +0000 (15:24 +0100)
committerBen Hutchings <ben@decadent.org.uk>
Sat, 26 Aug 2017 01:14:06 +0000 (02:14 +0100)
commit1b31fcb21779ddbe0b49f519830e203fe0586688
tree0754e465acf6191f8428c70ce3be656a14886f8b
parentc5a5d1b1cb8449c77d3cb1663649391635228cff
timerfd: Protect the might cancel mechanism proper

commit 1e38da300e1e395a15048b0af1e5305bd91402f6 upstream.

The handling of the might_cancel queueing is not properly protected, so
parallel operations on the file descriptor can race with each other and
lead to list corruptions or use after free.

Protect the context for these operations with a seperate lock.

The wait queue lock cannot be reused for this because that would create a
lock inversion scenario vs. the cancel lock. Replacing might_cancel with an
atomic (atomic_t or atomic bit) does not help either because it still can
race vs. the actual list operation.

Reported-by: Dmitry Vyukov <dvyukov@google.com>
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
Cc: "linux-fsdevel@vger.kernel.org"
Cc: syzkaller <syzkaller@googlegroups.com>
Cc: Al Viro <viro@zeniv.linux.org.uk>
Cc: linux-fsdevel@vger.kernel.org
Link: http://lkml.kernel.org/r/alpine.DEB.2.20.1701311521430.3457@nanos
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
[bwh: Backported to 3.2: adjust context]
Signed-off-by: Ben Hutchings <ben@decadent.org.uk>
fs/timerfd.c