Received: by 2002:ac0:a594:0:0:0:0:0 with SMTP id m20-v6csp2761704imm; Thu, 24 May 2018 15:42:37 -0700 (PDT) X-Google-Smtp-Source: AB8JxZoLk63NEMzmyoPp/jX60tK9TbE518vot0Do+0xBLl1MBx1kLdI4r341iJGhzi0oqUupJJHS X-Received: by 2002:a17:902:5a03:: with SMTP id q3-v6mr8284171pli.300.1527201757681; Thu, 24 May 2018 15:42:37 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1527201757; cv=none; d=google.com; s=arc-20160816; b=a2HScBlwpqZEpH4w/P8it2GotXel4fpAMTc3xHb/KDArVJtJF14WYIivK7Laj9le4P T1wxVh2/yPxXvRF+dM6REsT7bXM2rGy/XIErpbCR4aVlraEG+ykLxgbipzqzyZyhrwwK ya/LJbFHF3w1/fq172JwEr+YrchtLdku0JsTCdXKEz75U5zVatuF2dHFn7MDQRnLGm/H cpPWcFWcucnBFhMGlno/1hH/TvAVt2U0cdY6Ehs7dWabU097EKbsNHdnPXin/UXtJtJ7 or76XDqJJ9SLwfgb5X+fqD8ki6MNBVs9mXaKZ06DG5oXzACvKEEOpfYDcL29Be2LNPFF XkrQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:user-agent:in-reply-to :content-disposition:mime-version:references:message-id:subject:cc :to:from:date:arc-authentication-results; bh=mG3Fi43iS68hNdgQV0FXbE3DFBFR4Xw6uOoK30iKea0=; b=gMGKfP3nwW8tyRm7Sk905LRISmXtF8VBe7k1IgqghnXMU8n1Ab7NSRmHXCiH3OxjxR 6RnaXo0Ll2yFkE9mUnMd8SfFZOvOtJRCmXO5xxF3mP71G9nE3sqKi2DD9M8w1wNuQmKM b1dBOqlKXRNr24gFW74EynmlzPBwCV8wn3wtYFtSyULjqwiBDgez/1wk5g2mOIa7u5nq KzZnkXhSRiiH0gh49QChlfqpzP4SRmRvefYsBHXLBK7jmPTIsx+zacNenV8yD1Czf2Oq iVmmtwofuyWEUrjfNTaYVMmmrR3Er/qAL/c7ocWbiqCyxuXAWiakLhA2VJr9doyyKELZ 2Dtw== ARC-Authentication-Results: i=1; mx.google.com; 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 Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id p61-v6si22399412plb.472.2018.05.24.15.42.22; Thu, 24 May 2018 15:42:37 -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; 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 Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S966797AbeEXMtH (ORCPT + 99 others); Thu, 24 May 2018 08:49:07 -0400 Received: from usa-sjc-mx-foss1.foss.arm.com ([217.140.101.70]:43954 "EHLO foss.arm.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751041AbeEXMtE (ORCPT ); Thu, 24 May 2018 08:49:04 -0400 Received: from usa-sjc-imap-foss1.foss.arm.com (unknown [10.72.51.249]) by usa-sjc-mx-foss1.foss.arm.com (Postfix) with ESMTP id B721215AD; Thu, 24 May 2018 05:49:03 -0700 (PDT) Received: from edgewater-inn.cambridge.arm.com (usa-sjc-imap-foss1.foss.arm.com [10.72.51.249]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPA id 864FB3F25D; Thu, 24 May 2018 05:49:03 -0700 (PDT) Received: by edgewater-inn.cambridge.arm.com (Postfix, from userid 1000) id 9266C1AE3AF0; Thu, 24 May 2018 13:49:31 +0100 (BST) Date: Thu, 24 May 2018 13:49:31 +0100 From: Will Deacon To: Linus Torvalds Cc: psodagud@codeaurora.org, Kees Cook , Andy Lutomirski , Will Drewry , Andrew Morton , Rik van Riel , Thomas Gleixner , Ingo Molnar , Peter Zijlstra , Eric Biggers , Frederic Weisbecker , sherryy@android.com, Vegard Nossum , Christoph Lameter , Andrea Arcangeli , Sasha Levin , Linux Kernel Mailing List , Boqun Feng Subject: Re: write_lock_irq(&tasklist_lock) Message-ID: <20180524124928.GH8689@arm.com> References: <0879f797135033e05e8e9166a3c85628@codeaurora.org> <20180523130547.GF26965@arm.com> <20180523153607.GD2983@arm.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.23 (2014-03-12) Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Wed, May 23, 2018 at 09:26:35AM -0700, Linus Torvalds wrote: > On Wed, May 23, 2018 at 8:35 AM Will Deacon wrote: > > > In other words, qrwlock requires consistent locking order wrt spinlocks. > > I *thought* lockdep already tracked and detected this. Or is that only with > with the sleeping versions? There are patches in-flight to detect this: https://marc.info/?l=linux-kernel&m=152483640529740&w=2k as part of Boqun's work into recursive read locking. Will