Received: by 2002:a25:8b12:0:0:0:0:0 with SMTP id i18csp4306349ybl; Mon, 26 Aug 2019 08:30:08 -0700 (PDT) X-Google-Smtp-Source: APXvYqx08IzCe832fnWMLck9W4Blz87b0J65ZNpyFgKkD3Tb7BzaOVl8DXvUqDNIDVfGesmhh2Lf X-Received: by 2002:a17:902:d207:: with SMTP id t7mr17200652ply.305.1566833408848; Mon, 26 Aug 2019 08:30:08 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1566833408; cv=none; d=google.com; s=arc-20160816; b=REMdVgy7LZkTqKwq+D5156XcXVTLWxOhGnXYwqV/5ciZyeU31vlgOuLWxCful5Rrax DDedwpshooD/Hjmdq/zn4+4rwn3DsodbtvHIsiRN1Tg3LLTtEDcE5RgZKIqZ/M31rbmJ 8mZrWAkhUraRA9FaH8lKSZsbiFDWkhODCdf8VCJMtv4S2d8RCGJSkZC0uuHQKp4qbe+Z 25fhlUHJHYXVU2XfQMgPW/Su9xO2pSuRj4YZ9e5JGpfRAGshMNWKtOZ6SgemUE2cE8/f tK6OYikcuEImCFuCCXd1zWlMWapT9kFYyt5xXhh3iEum4B2rMFsLu5RyZy+r2ARErrvS eSMA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:content-transfer-encoding:mime-version :message-id:date:subject:cc:to:from:dkim-signature; bh=9hLTRnahv7VwSqM+8AVBw/J9UPFHaQFM89sF719kYPc=; b=YZtYhUKRV7RNGWPPVARsxog8+Sd2tEy9/d1TOqO/c1NsEDiPqF0h/pZI6x4iKquMU1 sLToAaVwlzJMCFtZvVt4w/e0tbZz7/Dq86EPwxTxJR+z12y16uxO4x9cYxAxUR9Uwbog TKws3Lt34Ioq5wX/QSPBebQjpz/CsIoWyqIbOtRhKemGToFfVGKlvwENeSUdlZhzIzdO N4drrZdITNVoYqfD5E0SeIout9FWPXEWYnYhiKET795nMixNKriCaAsKQf1Jh9uzz3S1 iSAHHSLU2T0FBJbDGipmFSv4qtiQNAeGrNestAeAthlmkeuOVKKHe0N7/8rJJO75d52O T9VA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@kernel.org header.s=default header.b=HdM+S1qf; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id k8si10765207pfp.255.2019.08.26.08.29.53; Mon, 26 Aug 2019 08:30:08 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; dkim=pass header.i=@kernel.org header.s=default header.b=HdM+S1qf; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1732463AbfHZOb0 (ORCPT + 99 others); Mon, 26 Aug 2019 10:31:26 -0400 Received: from mail.kernel.org ([198.145.29.99]:41344 "EHLO mail.kernel.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726484AbfHZOb0 (ORCPT ); Mon, 26 Aug 2019 10:31:26 -0400 Received: from sasha-vm.mshome.net (c-73-47-72-35.hsd1.nh.comcast.net [73.47.72.35]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPSA id 8F8E02173E; Mon, 26 Aug 2019 14:31:24 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=default; t=1566829885; bh=S0V5XzeUw6fLtK+Xw7uttsjbYD3Xydm6LhgGRawrGX0=; h=From:To:Cc:Subject:Date:From; b=HdM+S1qfzWCubuHSz6qprslKCDToWduEWGAZnKuGrZAg3ma0tx7ElLj13ud7eZ+in btG6ByNvg67bwAvN/iGinplkOY5WKXOuTXcBA/5EJJ00R7BYBmLOsiaR/m8BlF8ZKb /b6XNqIcvqne7TeArj/U9ZqIUZx5dITtt0zKn9jQ= From: Sasha Levin To: peterz@infradead.org, will@kernel.org, jstancek@redhat.com, stable@vger.kernel.org Cc: torvalds@linux-foundation.org, tglx@linutronix.de, linux-kernel@vger.kernel.org, Waiman Long , dbueso@suse.de, Ingo Molnar , Sasha Levin Subject: [PATCH v5.2 1/2] locking/rwsem: Add missing ACQUIRE to read_slowpath exit when queue is empty Date: Mon, 26 Aug 2019 10:31:13 -0400 Message-Id: <20190826143114.23471-1-sashal@kernel.org> X-Mailer: git-send-email 2.20.1 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org From: Jan Stancek [ Upstream commit e1b98fa316648420d0434d9ff5b92ad6609ba6c3 ] LTP mtest06 has been observed to occasionally hit "still mapped when deleted" and following BUG_ON on arm64. The extra mapcount originated from pagefault handler, which handled pagefault for vma that has already been detached. vma is detached under mmap_sem write lock by detach_vmas_to_be_unmapped(), which also invalidates vmacache. When the pagefault handler (under mmap_sem read lock) calls find_vma(), vmacache_valid() wrongly reports vmacache as valid. After rwsem down_read() returns via 'queue empty' path (as of v5.2), it does so without an ACQUIRE on sem->count: down_read() __down_read() rwsem_down_read_failed() __rwsem_down_read_failed_common() raw_spin_lock_irq(&sem->wait_lock); if (list_empty(&sem->wait_list)) { if (atomic_long_read(&sem->count) >= 0) { raw_spin_unlock_irq(&sem->wait_lock); return sem; The problem can be reproduced by running LTP mtest06 in a loop and building the kernel (-j $NCPUS) in parallel. It does reproduces since v4.20 on arm64 HPE Apollo 70 (224 CPUs, 256GB RAM, 2 nodes). It triggers reliably in about an hour. The patched kernel ran fine for 10+ hours. Signed-off-by: Jan Stancek Signed-off-by: Peter Zijlstra (Intel) Reviewed-by: Will Deacon Acked-by: Waiman Long Cc: Linus Torvalds Cc: Peter Zijlstra Cc: Thomas Gleixner Cc: dbueso@suse.de Fixes: 4b486b535c33 ("locking/rwsem: Exit read lock slowpath if queue empty & no writer") Link: https://lkml.kernel.org/r/50b8914e20d1d62bb2dee42d342836c2c16ebee7.1563438048.git.jstancek@redhat.com Signed-off-by: Ingo Molnar Signed-off-by: Sasha Levin --- This is a backport for the v5.2 stable tree. There were multiple reports of this issue being hit. Given that there were a few changes to the code around this, I'd appreciate an ack before pulling it in. kernel/locking/rwsem-xadd.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/kernel/locking/rwsem-xadd.c b/kernel/locking/rwsem-xadd.c index 0b1f779572402..397dedc58432d 100644 --- a/kernel/locking/rwsem-xadd.c +++ b/kernel/locking/rwsem-xadd.c @@ -454,6 +454,8 @@ __rwsem_down_read_failed_common(struct rw_semaphore *sem, int state) * been set in the count. */ if (atomic_long_read(&sem->count) >= 0) { + /* Provide lock ACQUIRE */ + smp_acquire__after_ctrl_dep(); raw_spin_unlock_irq(&sem->wait_lock); rwsem_set_reader_owned(sem); lockevent_inc(rwsem_rlock_fast); -- 2.20.1