Received: by 2002:ad5:474a:0:0:0:0:0 with SMTP id i10csp8397175imu; Thu, 15 Nov 2018 10:51:44 -0800 (PST) X-Google-Smtp-Source: AJdET5cmTQHTa/SMvlXxpRY35bXKiZ8BdZl21b6yai7zYDDo4tOjWRfZgkpbNkufWraw12/8nDyz X-Received: by 2002:a62:da54:: with SMTP id w20-v6mr7695050pfl.106.1542307904771; Thu, 15 Nov 2018 10:51:44 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1542307904; cv=none; d=google.com; s=arc-20160816; b=SvnnknqXg9mQ4vV6Tn6mayprFDUsirra48w7ZrT+tty3ivkU2hSElgNNuHnZa74we6 rU6C9JEeUNG+GSxfGks8Xaylvx4NlQiAPbWDuL5aOsLXn20//igXTrewoYTp/H2vNw3s G5Ef068T85bPETWPIVmURY8vHlEaYdTWx7DbqtqoAWGrCPREUqV1P+kxAbrpIKc6/XLx 5s1pZ9V/An+jJYwptAGeCVASvFdTFSCowhuBeWomom3u4ODkKfeflFUfqyMMYR4sVGhS +h0jjPkte/lXQGPrCL0hqRydk6w49VUdGgyHF81HKQ1Pefsq6/4tz/ZuWAEcQq6D5olI bPgA== 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:mail-followup-to :message-id:subject:cc:to:from:date; bh=vU5zGAFDJCF7enCqdUh9Fn07ulda4nUEBziqLmxJdVE=; b=uhQn9i+Bm6pJ5Dqy2+dJvBnThnah30m2/wiJ395kYRV+vSsit0R6ZXTO/q9Uu0UPm7 i/6pLamJyGVv4vqcCodV965iox0u9dUa4LKog+KOOlCeJxC7jCztctl0TQIJrSIPC3dt m0IueNOeS4U+KX/Txe09qnKvA4xR92tCkiZTSz811XSM8RjKrtqspXs1HJkHkFI65ROM dq1+thNqXjrZtOBgbWMYwXTxELRSjXE98hHw2MjH0/p9WjcYr6sLOJ38N3v8vh2EPriK XuIei+PTIYYODGuzyg0Dc3fCASspr6Um4EtIw1BX3iy8KqPx4UNqCyEYYSCxamB86R7C QKWA== 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 87si4051111pfs.7.2018.11.15.10.51.30; Thu, 15 Nov 2018 10:51:44 -0800 (PST) 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 S2388351AbeKPE60 (ORCPT + 99 others); Thu, 15 Nov 2018 23:58:26 -0500 Received: from mx2.suse.de ([195.135.220.15]:51934 "EHLO mx1.suse.de" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1726453AbeKPE6Z (ORCPT ); Thu, 15 Nov 2018 23:58:25 -0500 X-Virus-Scanned: by amavisd-new at test-mx.suse.de Received: from relay1.suse.de (unknown [195.135.220.254]) by mx1.suse.de (Postfix) with ESMTP id 18833AFD0; Thu, 15 Nov 2018 18:49:27 +0000 (UTC) Date: Thu, 15 Nov 2018 10:49:17 -0800 From: Davidlohr Bueso To: "Paul E. McKenney" Cc: linux-kernel@vger.kernel.org, mingo@kernel.org, jiangshanlai@gmail.com, dipankar@in.ibm.com, akpm@linux-foundation.org, mathieu.desnoyers@efficios.com, josh@joshtriplett.org, tglx@linutronix.de, peterz@infradead.org, rostedt@goodmis.org, dhowells@redhat.com, edumazet@google.com, fweisbec@gmail.com, oleg@redhat.com, joel@joelfernandes.org, Lance Roy , "Kirill A. Shutemov" , Yang Shi , Matthew Wilcox , Mel Gorman , Jan Kara , Shakeel Butt , linux-mm@kvack.org Subject: Re: [PATCH tip/core/rcu 6/7] mm: Replace spin_is_locked() with lockdep Message-ID: <20181115184917.6goqg67hpojfhk42@linux-r8p5> Mail-Followup-To: "Paul E. McKenney" , linux-kernel@vger.kernel.org, mingo@kernel.org, jiangshanlai@gmail.com, dipankar@in.ibm.com, akpm@linux-foundation.org, mathieu.desnoyers@efficios.com, josh@joshtriplett.org, tglx@linutronix.de, peterz@infradead.org, rostedt@goodmis.org, dhowells@redhat.com, edumazet@google.com, fweisbec@gmail.com, oleg@redhat.com, joel@joelfernandes.org, Lance Roy , "Kirill A. Shutemov" , Yang Shi , Matthew Wilcox , Mel Gorman , Jan Kara , Shakeel Butt , linux-mm@kvack.org References: <20181111200421.GA10551@linux.ibm.com> <20181111200443.10772-6-paulmck@linux.ibm.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Disposition: inline In-Reply-To: <20181111200443.10772-6-paulmck@linux.ibm.com> User-Agent: NeoMutt/20180323 Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Sun, 11 Nov 2018, Paul E. McKenney wrote: >From: Lance Roy > >lockdep_assert_held() is better suited to checking locking requirements, >since it only checks if the current thread holds the lock regardless of >whether someone else does. This is also a step towards possibly removing >spin_is_locked(). So fyi I'm not crazy about these kind of patches simply because lockdep is a lot less used out of anything that's not a lab, and we can be missing potential offenders. There's obviously nothing wrong about what you describe above perse, just my two cents. Thansk, Davidlohr