summaryrefslogtreecommitdiff
path: root/mm/init-mm.c
diff options
context:
space:
mode:
authorHugh Dickins <hughd@google.com>2015-08-18 03:34:27 +0300
committerBen Hutchings <ben@decadent.org.uk>2019-07-10 00:04:12 +0300
commit24c6b38285915c6caef4bed62ac27857fe77f2b3 (patch)
tree43cf04e04233d3e498980ac7d44f861af5ca6b1c /mm/init-mm.c
parentc2bf7c6315d9d553211221016b6b911de22924b7 (diff)
downloadlinux-24c6b38285915c6caef4bed62ac27857fe77f2b3.tar.xz
mm: fix potential data race in SyS_swapon
commit 6f179af88f60b32c2855e7f3e16ea8e336a7043f upstream. While running KernelThreadSanitizer (ktsan) on upstream kernel with trinity, we got a few reports from SyS_swapon, here is one of them: Read of size 8 by thread T307 (K7621): [< inlined >] SyS_swapon+0x3c0/0x1850 SYSC_swapon mm/swapfile.c:2395 [<ffffffff812242c0>] SyS_swapon+0x3c0/0x1850 mm/swapfile.c:2345 [<ffffffff81e97c8a>] ia32_do_call+0x1b/0x25 Looks like the swap_lock should be taken when iterating through the swap_info array on lines 2392 - 2401: q->swap_file may be reset to NULL by another thread before it is dereferenced for f_mapping. But why is that iteration needed at all? Doesn't the claim_swapfile() which follows do all that is needed to check for a duplicate entry - FMODE_EXCL on a bdev, testing IS_SWAPFILE under i_mutex on a regfile? Well, not quite: bd_may_claim() allows the same "holder" to claim the bdev again, so we do need to use a different holder than "sys_swapon"; and we should not replace appropriate -EBUSY by inappropriate -EINVAL. Index i was reused in a cpu loop further down: renamed cpu there. Reported-by: Andrey Konovalov <andreyknvl@google.com> Signed-off-by: Hugh Dickins <hughd@google.com> Signed-off-by: Al Viro <viro@zeniv.linux.org.uk> Signed-off-by: Ben Hutchings <ben@decadent.org.uk>
Diffstat (limited to 'mm/init-mm.c')
0 files changed, 0 insertions, 0 deletions