From patchwork Fri Mar 17 03:13:32 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Boqun Feng X-Patchwork-Id: 6788 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a5d:604a:0:0:0:0:0 with SMTP id j10csp121235wrt; Thu, 16 Mar 2023 20:21:47 -0700 (PDT) X-Google-Smtp-Source: AK7set9dnG+bj/PKFzJHeZuQeNXGOK6UhhZWwI4bKcjmrCy+S/sOKm4/NpGmHkamseUkLPu29Fwr X-Received: by 2002:a92:3f02:0:b0:316:f93f:6baa with SMTP id m2-20020a923f02000000b00316f93f6baamr8523521ila.31.1679023307478; Thu, 16 Mar 2023 20:21:47 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1679023307; cv=none; d=google.com; s=arc-20160816; b=IoRcyyfMN7ZcepKqXAbE6FrqAy5EUR5ZLfyBck9UpiGhdqtXXkr63R6RTOhT3Iahjz ffow2QdNqqSzUDU1Sr2iNe/rKxMjuLDmUBSFU6zlT5fJ7iTYkY/Gb3SV6x1Bg/mW6E48 QYVD7OMFcrDS9p3Kbsd4WGVMH1SMFvs6Htd0d3O9G85fIJDLNAVhA435asm2MJJWp9je bjDlmfcgkz0429M2peblQcpwtHKMby4rla+fIJmd6k2ML3fKPK3Mff0qNnIaLcKbZY4l 08jyNPIovO9hRl62kRRVgZZvCm9VKYavYMEBeZAQK3AKtpFaWxnccGiGmuIrhvmbUOEP dqxA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:content-transfer-encoding:mime-version :message-id:date:subject:cc:to:from:feedback-id:dkim-signature; bh=98A9JSDdK68EP3muC4QWfVH1TQwNKNbY7UT9PV4lw+A=; b=e0D8Y2y9vrbaqzkDzgxWV5hz2pSwZk/q8RZzdmSTENYjy/7R02GTdbjVXilLq+jcsj 849rHM7AlQjnRkGk8PB3z3IuebDAQXq8MXdNh+Goaht9TwOI9OqmAnAhMhXcnigC/WbI 3wBR+Ff7FI2iU27cneiDPv85XRMYOnOGej76vs+bKmaxB9vjSuE0jc8IkvmuNCK/PVF7 h6ZH/Yz2JAV2j3pgJ81qXqwBu2a/tRsQHprV8Y4KoNNn3AQ9Xwld4m4dzTcLBCLpUmcQ WSjA7ZmIp8CYHYizpKeR7xt7/upDG2tKfsfmhGhhZCYQ0qLN2fudF2ORTXE3Z60+JCiV P19w== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=YQMHQ1Os; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from out1.vger.email (out1.vger.email. [2620:137:e000::1:20]) by mx.google.com with ESMTP id y2-20020a056e02128200b0031783ada287si989199ilq.142.2023.03.16.20.21.33; Thu, 16 Mar 2023 20:21:47 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20; Authentication-Results: mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=YQMHQ1Os; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S230015AbjCQDPp (ORCPT + 99 others); Thu, 16 Mar 2023 23:15:45 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:39566 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S229476AbjCQDOH (ORCPT ); Thu, 16 Mar 2023 23:14:07 -0400 Received: from mail-qt1-x836.google.com (mail-qt1-x836.google.com [IPv6:2607:f8b0:4864:20::836]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id E9B7E1BAFB; Thu, 16 Mar 2023 20:13:49 -0700 (PDT) Received: by mail-qt1-x836.google.com with SMTP id c18so4358290qte.5; Thu, 16 Mar 2023 20:13:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; t=1679022828; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:feedback-id:from:to:cc:subject:date:message-id:reply-to; bh=98A9JSDdK68EP3muC4QWfVH1TQwNKNbY7UT9PV4lw+A=; b=YQMHQ1OsP0EdlubDPzv442u2bgCWNjY25DmA/nAQg9xskVJ1uo2sr3tFXMSrEWzG01 8Vl5hD6IVBF/2oZSTDY7FecH9sH3A+UInfcCqUDJYO3JDZICAzgprK4fVrVkQYV+gzfL XU5eEbVf4jpOhF3/WBNIZoFxvIFN9llLgFdNyp0BJBneeCR7JRFiwVffuA4y3KQ/LPey ue6ghUEUJr7QwfzvtFYkwZs/6pPZ0QL+Mrk6O7bxwb0fmaA4FX+Djh1gHjSGBN+dWquL B0eFf7wAA39YEpghdEKHlsfmlUHZjLc2x88X/knSo4Zq1QBdi4vbopc4I8G58OC1oN5y t8Zg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1679022828; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:feedback-id:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=98A9JSDdK68EP3muC4QWfVH1TQwNKNbY7UT9PV4lw+A=; b=XkdZloPXkxoJfkIf0Ye5uo5bp/opl1ged67H0KjddKDgdbBq1IcmJAUq5TQxyclc/z m8Az5ySPgB5t5BBULr0DWPVMC77X/X+piRyvqrsdKcQ4zPpbpw+Omvd0TC1t/IJTwBv5 HHaPkhISCxSckExtK/dv2QmN+Zu+rB+oMgORnuLNwYK4Hx0JbpuUuCLnkMIuP9gb+MjF 3Z3m57Z+KxZDCy7KKbiga0HfZIGKbu59haumSmozWXkCjCR56ca5gW3QTuuGe87Uxqje Cx7TaoSvSvXYpUejBndM1cII4qm+UEXXVIPX98O5NXiovp72HuqAAyVWo7ShBcqi5fP/ 6Hww== X-Gm-Message-State: AO0yUKWSXyMRhT0gbRiwZxKDdoDrYNPEZCbVGhsfWK83laAl3Gv1EQ8O J7bMi709Wl0+T1OFOFYMMuo= X-Received: by 2002:ac8:578a:0:b0:3a7:e2df:e868 with SMTP id v10-20020ac8578a000000b003a7e2dfe868mr10421797qta.41.1679022828769; Thu, 16 Mar 2023 20:13:48 -0700 (PDT) Received: from auth2-smtp.messagingengine.com (auth2-smtp.messagingengine.com. [66.111.4.228]) by smtp.gmail.com with ESMTPSA id f21-20020a05620a281500b0074233b15a72sm788877qkp.116.2023.03.16.20.13.47 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 16 Mar 2023 20:13:47 -0700 (PDT) Received: from compute5.internal (compute5.nyi.internal [10.202.2.45]) by mailauth.nyi.internal (Postfix) with ESMTP id 3FC8027C0054; Thu, 16 Mar 2023 23:13:47 -0400 (EDT) Received: from mailfrontend1 ([10.202.2.162]) by compute5.internal (MEProxy); Thu, 16 Mar 2023 23:13:47 -0400 X-ME-Sender: X-ME-Received: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedvhedrvdefuddgheekucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmne cujfgurhephffvvefufffkofgggfestdekredtredttdenucfhrhhomhepuehoqhhunhcu hfgvnhhguceosghoqhhunhdrfhgvnhhgsehgmhgrihhlrdgtohhmqeenucggtffrrghtth gvrhhnpefgteffhfehjeegtdduieffudetfeehgfegudejudfhieefgfeigfevueduledu ffenucevlhhushhtvghrufhiiigvpedtnecurfgrrhgrmhepmhgrihhlfhhrohhmpegsoh hquhhnodhmvghsmhhtphgruhhthhhpvghrshhonhgrlhhithihqdeiledvgeehtdeigedq udejjeekheehhedvqdgsohhquhhnrdhfvghngheppehgmhgrihhlrdgtohhmsehfihigmh gvrdhnrghmvg X-ME-Proxy: Feedback-ID: iad51458e:Fastmail Received: by mail.messagingengine.com (Postfix) with ESMTPA; Thu, 16 Mar 2023 23:13:46 -0400 (EDT) From: Boqun Feng To: rcu@vger.kernel.org Cc: Peter Zijlstra , Ingo Molnar , Will Deacon , Waiman Long , Boqun Feng , Lai Jiangshan , "Paul E. McKenney" , Josh Triplett , Steven Rostedt , Mathieu Desnoyers , Davidlohr Bueso , Frederic Weisbecker , Neeraj Upadhyay , Joel Fernandes , Shuah Khan , David Woodhouse , Paolo Bonzini , kvm@vger.kernel.org, seanjc@google.com, linux-kernel@vger.kernel.org, linux-kselftest@vger.kernel.org Subject: [PATCH rcu 0/7] RCU-related lockdep changes for v6.4 Date: Thu, 16 Mar 2023 20:13:32 -0700 Message-Id: <20230317031339.10277-1-boqun.feng@gmail.com> X-Mailer: git-send-email 2.39.2 MIME-Version: 1.0 X-Spam-Status: No, score=-2.1 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM, RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on lindbergh.monkeyblade.net Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org X-getmail-retrieved-from-mailbox: =?utf-8?q?INBOX?= X-GMAIL-THRID: =?utf-8?q?1760583543825182694?= X-GMAIL-MSGID: =?utf-8?q?1760583543825182694?= Hi, This series enables deadlock detection for srcu_read_lock() vs synchronize_srcu(). Again, my first time helping prepare PR, so please take a careful look and yell at me if there is something wrong. Thanks a lot! You will also be able to find the series at: https://github/fbq/linux rcu/lockdep.2023.03.12a top commit is: 24390de55773 List of changes: Boqun Feng (4): locking/lockdep: Introduce lock_sync() rcu: Annotate SRCU's update-side lockdep dependencies locking: Reduce the number of locks in ww_mutex stress tests locking/lockdep: Improve the deadlock scenario print for sync and read lock Paul E. McKenney (3): rcutorture: Add SRCU deadlock scenarios rcutorture: Add RCU Tasks Trace and SRCU deadlock scenarios rcutorture: Add srcu_lockdep.sh include/linux/lockdep.h | 8 +- include/linux/srcu.h | 34 +++- kernel/locking/lockdep.c | 64 +++++- kernel/locking/test-ww_mutex.c | 2 +- kernel/rcu/rcutorture.c | 185 ++++++++++++++++++ kernel/rcu/srcutiny.c | 2 + kernel/rcu/srcutree.c | 2 + .../selftests/rcutorture/bin/srcu_lockdep.sh | 73 +++++++ 8 files changed, 359 insertions(+), 11 deletions(-) create mode 100755 tools/testing/selftests/rcutorture/bin/srcu_lockdep.sh