From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-10.5 required=3.0 tests=BAYES_00, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,MENTIONS_GIT_HOSTING, SPF_HELO_NONE,SPF_PASS,USER_AGENT_SANE_1 autolearn=unavailable autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id DFD68C433E0 for ; Wed, 15 Jul 2020 23:42:11 +0000 (UTC) Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by mail.kernel.org (Postfix) with ESMTP id AAC782072E for ; Wed, 15 Jul 2020 23:42:11 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org AAC782072E Authentication-Results: mail.kernel.org; dmarc=none (p=none dis=none) header.from=fromorbit.com Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=owner-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix) id 2978A8D0001; Wed, 15 Jul 2020 19:42:11 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id 248196B000A; Wed, 15 Jul 2020 19:42:11 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 113488D0001; Wed, 15 Jul 2020 19:42:11 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from forelay.hostedemail.com (smtprelay0042.hostedemail.com [216.40.44.42]) by kanga.kvack.org (Postfix) with ESMTP id ECD836B0007 for ; Wed, 15 Jul 2020 19:42:10 -0400 (EDT) Received: from smtpin06.hostedemail.com (10.5.19.251.rfc1918.com [10.5.19.251]) by forelay02.hostedemail.com (Postfix) with ESMTP id 3CC272DFA for ; Wed, 15 Jul 2020 23:42:10 +0000 (UTC) X-FDA: 77041936020.06.quill88_371109326efd Received: from filter.hostedemail.com (10.5.16.251.rfc1918.com [10.5.16.251]) by smtpin06.hostedemail.com (Postfix) with ESMTP id D68271004817D for ; Wed, 15 Jul 2020 23:42:09 +0000 (UTC) X-HE-Tag: quill88_371109326efd X-Filterd-Recvd-Size: 5606 Received: from mail109.syd.optusnet.com.au (mail109.syd.optusnet.com.au [211.29.132.80]) by imf45.hostedemail.com (Postfix) with ESMTP for ; Wed, 15 Jul 2020 23:42:08 +0000 (UTC) Received: from dread.disaster.area (pa49-180-53-24.pa.nsw.optusnet.com.au [49.180.53.24]) by mail109.syd.optusnet.com.au (Postfix) with ESMTPS id 30842D7C575; Thu, 16 Jul 2020 09:42:04 +1000 (AEST) Received: from dave by dread.disaster.area with local (Exim 4.92.3) (envelope-from ) id 1jvr2J-0001Fq-DD; Thu, 16 Jul 2020 09:42:03 +1000 Date: Thu, 16 Jul 2020 09:42:03 +1000 From: Dave Chinner To: Eric Biggers Cc: Marco Elver , syzbot , akpm@linux-foundation.org, linux-kernel@vger.kernel.org, linux-mm@kvack.org, linux-fsdevel@vger.kernel.org, syzkaller-bugs@googlegroups.com, "Paul E. McKenney" , Will Deacon Subject: Re: KCSAN: data-race in generic_file_buffered_read / generic_file_buffered_read Message-ID: <20200715234203.GK5369@dread.disaster.area> References: <0000000000004a4d6505aa7c688a@google.com> <20200715152912.GA2209203@elver.google.com> <20200715163256.GB1167@sol.localdomain> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20200715163256.GB1167@sol.localdomain> User-Agent: Mutt/1.10.1 (2018-07-13) X-Optus-CM-Score: 0 X-Optus-CM-Analysis: v=2.3 cv=W5xGqiek c=1 sm=1 tr=0 a=moVtWZxmCkf3aAMJKIb/8g==:117 a=moVtWZxmCkf3aAMJKIb/8g==:17 a=kj9zAlcOel0A:10 a=_RQrkK6FrEwA:10 a=VwQbUJbxAAAA:8 a=edf1wS77AAAA:8 a=eU0e3LhYAAAA:20 a=hSkVLCK3AAAA:8 a=7-415B0cAAAA:8 a=ZUY0gg6SJnirf6z4UTcA:9 a=CjuIK1q_8ugA:10 a=AjGcO6oz07-iQ99wixmX:22 a=DcSpbTIhAlouE1Uv7lRv:22 a=cQPPKAXgyycSBL8etih5:22 a=biEYGPWJfzWAr4FL6Ov7:22 a=pHzHmUro8NiASowvMSCR:22 a=nt3jZW36AmriUCFCBwmW:22 X-Rspamd-Queue-Id: D68271004817D X-Spamd-Result: default: False [0.00 / 100.00] X-Rspamd-Server: rspam02 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000507, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: On Wed, Jul 15, 2020 at 09:32:56AM -0700, Eric Biggers wrote: > [+Cc linux-fsdevel] > > On Wed, Jul 15, 2020 at 05:29:12PM +0200, 'Marco Elver' via syzkaller-bugs wrote: > > On Wed, Jul 15, 2020 at 08:16AM -0700, syzbot wrote: > > > Hello, > > > > > > syzbot found the following issue on: > > > > > > HEAD commit: e9919e11 Merge branch 'for-linus' of git://git.kernel.org/.. > > > git tree: upstream > > > console output: https://syzkaller.appspot.com/x/log.txt?x=1217a83b100000 > > > kernel config: https://syzkaller.appspot.com/x/.config?x=570eb530a65cd98e > > > dashboard link: https://syzkaller.appspot.com/bug?extid=0f1e470df6a4316e0a11 > > > compiler: clang version 11.0.0 (https://github.com/llvm/llvm-project.git ca2dcbd030eadbf0aa9b660efe864ff08af6e18b) > > > > > > Unfortunately, I don't have any reproducer for this issue yet. > > > > > > IMPORTANT: if you fix the issue, please add the following tag to the commit: > > > Reported-by: syzbot+0f1e470df6a4316e0a11@syzkaller.appspotmail.com > > > > > > ================================================================== > > > BUG: KCSAN: data-race in generic_file_buffered_read / generic_file_buffered_read > > > > Our guess is that this is either misuse of an API from userspace, or a > > bug. Can someone clarify? > > > > Below are the snippets of code around these accesses. > > Concurrent reads on the same file descriptor are allowed. Not with sys_read(), > as that implicitly uses the file position. But it's allowed with sys_pread(), > and also with sys_sendfile() which is the case syzbot is reporting here. Concurrent read()s are fine, they'll just read from the same offset. > > > > > > write to 0xffff8880968747b0 of 8 bytes by task 6336 on cpu 0: > > > generic_file_buffered_read+0x18be/0x19e0 mm/filemap.c:2246 > > > > ... > > would_block: > > error = -EAGAIN; > > out: > > ra->prev_pos = prev_index; > > ra->prev_pos <<= PAGE_SHIFT; > > 2246) ra->prev_pos |= prev_offset; > > > > *ppos = ((loff_t)index << PAGE_SHIFT) + offset; > > file_accessed(filp); > > return written ? written : error; > > } > > EXPORT_SYMBOL_GPL(generic_file_buffered_read); > > ... > > Well, it's a data race. Each open file descriptor has just one readahead state > (struct file_ra_state), and concurrent reads of the same file descriptor > use/change that readahead state without any locking. > > Presumably this has traditionally been considered okay, since readahead is > "only" for performance and doesn't affect correctness. And for performance > reasons, we want to avoid locking during file reads. > > So we may just need to annotate all access to file_ra_state with > READ_ONCE() and WRITE_ONCE()... Please, no. Can we stop making the code hard to read, more difficult to maintain and preventing the compiler from optimising it by doing stupid "turn off naive static checker warnings" stuff like this? If the code is fine with races, then -leave it alone-. If it's not fine with a data race, then please go and work out the correct ordering and place well documented barriers and/or release/acquire ordering semantics in the code so that we do not need to hide data races behind a compiler optimisation defeating macro.... Yes, I know data_race() exists to tell the tooling that it should ignore data races in the expression, but that makes just as much mess of the code as READ_ONCE/WRITE_ONCE being spewed everywhere indiscriminately because . Cheers, Dave. -- Dave Chinner david@fromorbit.com