Received: by 2002:a25:4158:0:0:0:0:0 with SMTP id o85csp318518yba; Thu, 16 May 2019 01:03:12 -0700 (PDT) X-Google-Smtp-Source: APXvYqzJy4cUQdqXuNrnjXeKP8tUEjyGKpJ92mu5pomfRNMyHAnX/3oHr6z3Md8GrdCSXvRXwTPA X-Received: by 2002:aa7:8008:: with SMTP id j8mr52042237pfi.120.1557993792256; Thu, 16 May 2019 01:03:12 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1557993792; cv=none; d=google.com; s=arc-20160816; b=pDBy9j/8+fGGhgfgW5IgNDZd5vyBWbkjhFWCeCFO8gbFLRu8LnsGggM+f6D/VNa6BB khDFNhs7GIR+z0MFMcE7yLxbntjLNShPOKQp7JfCBdZNzFS8raH4SGUhwil82YUTP76N C7+Njke28vsU8BPhR9gMGM2pNaYcCBBo4T+xFtPiSCvUxsrXwwXw77vXfpqg7VLR0vh6 L3PAY7EgJI5uG4eYF7KNznAWt8Fr4/N0PQXjupoB5pVeMGk+uLKkT1jArrgzyYDiZrL2 /f93ck774uGQJrUBu0kFJfjwuJemxrj1iJZvhTLH1LTQN6MjHxJj+Z43TcX06SLl/9OJ X62g== 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 :references:in-reply-to:message-id:date:subject:cc:to:from :dkim-signature; bh=KOg0plYJEIKIEl9QAJQRD24ArXQQiymCSaNyEeEZPgs=; b=C8cPPsoOcYGvNJb/rc8bzAczR6EmnZF+F9+el+zGT3PXH3umksNKCdBNAYx8PM4UlC TaCvZ7I4BbxPtWj9tKEgD2jyqLdOQ7XBFFcW2wxAKkFIMKD1OpuiL7nzphwlP54JWBJP lpPaJQZxRrJ3EYqZDT1ZoyJIA9kGGDz4hkxyq0KmFfA8V5rsfUT+LlPk9lWyphfmEH4f BNmVutYnytga84fxiwIrA0S2vbDTqoit9+k8V3mfucEsKtPnZexXd+U6kF8gg2FO/1Eh FSKr/1ZmcfiiZ8i/Zh0nb/MCBhz6KYGnS24W5QU/VhWPUUd1RdEYZQYgnP7pPQ3DPP8c yh2Q== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b="Dl4WaBv/"; 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=QUARANTINE dis=NONE) header.from=gmail.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id d2si3163939plr.138.2019.05.16.01.02.57; Thu, 16 May 2019 01:03:12 -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=@gmail.com header.s=20161025 header.b="Dl4WaBv/"; 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=QUARANTINE dis=NONE) header.from=gmail.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727090AbfEPIBT (ORCPT + 99 others); Thu, 16 May 2019 04:01:19 -0400 Received: from mail-pl1-f195.google.com ([209.85.214.195]:43161 "EHLO mail-pl1-f195.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726537AbfEPIBR (ORCPT ); Thu, 16 May 2019 04:01:17 -0400 Received: by mail-pl1-f195.google.com with SMTP id n8so1204048plp.10 for ; Thu, 16 May 2019 01:01:17 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:date:message-id:in-reply-to:references :mime-version:content-transfer-encoding; bh=KOg0plYJEIKIEl9QAJQRD24ArXQQiymCSaNyEeEZPgs=; b=Dl4WaBv/rUPiSgrv8hqukESTtQ3BtX3IMIhBIrI6/I89DzAccguBeEs8CpsUh2akKr YwKk0YB5fFRsTp2p1Z/wFzO9zXzem2teUr8cG3iTWAt8fkROOA/56dojTLmcMs9SyhKc 1Tw1C2fShhPGkxWK+r+ypnjKhvVnOLBhpbEV9KnvqjYdu16L5nsLydiYLb5pPrs7PjJ+ qp/0VU1oaAOzPwPhtGrMjqGCDHNbzSvtBbv+okJ/LLEV3n4NutvhcvzAF0mOL50e7Ip1 oohIsvf/sNwiz43H1eJXdtWcZQg07tyFjiBDKlbZgtm9oTAcZu1ZkgYJ2z+a7Q5ULHsp s0Ow== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=KOg0plYJEIKIEl9QAJQRD24ArXQQiymCSaNyEeEZPgs=; b=Bz+0mo104HmmsmwKwE/92iafRvvAf39sV8YAwXA4NI72FFsvhWHCC0jzOmw5D274LN 0jh4YvUI4qNhkdDYikXGnajW2YfiGZrqacZBWwCqhbPRuwV2CEPxXp/c+hoG8uyMsuIM phlb37GZ8YRVfA+CiUZXswhmU8S1cKsiy5U3bezZoZXXr+IyGNRJYRKiC9Fn2FJzvSEe T/lwboVyddk+tbRGLS/wESif4PBCjPZrbThtsunydiR6jRXv/IvFvwsEM8KC5UsFFCaF Mkw5DwJHogLexf3DR0M2Qtf1MPZrbqBZO2hgaB0kEQ4J7Fm28QP9jjEH9X85RH1xpIzf vhag== X-Gm-Message-State: APjAAAXVq7SM+NAolast3+kR5PzRbxgpFApIPD6PiH2ZnOsAvTYoeoPg gBTbm0LZT8PA/2MsFZGecss= X-Received: by 2002:a17:902:bf07:: with SMTP id bi7mr10777735plb.248.1557993676885; Thu, 16 May 2019 01:01:16 -0700 (PDT) Received: from localhost.localdomain ([203.100.54.194]) by smtp.gmail.com with ESMTPSA id p7sm2051471pgb.92.2019.05.16.01.01.13 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 16 May 2019 01:01:16 -0700 (PDT) From: Yuyang Du To: peterz@infradead.org, will.deacon@arm.com, mingo@kernel.org Cc: bvanassche@acm.org, ming.lei@redhat.com, frederic@kernel.org, tglx@linutronix.de, boqun.feng@gmail.com, paulmck@linux.ibm.com, linux-kernel@vger.kernel.org, Yuyang Du Subject: [PATCH v2 15/17] locking/lockdep: Adjust selftest case for recursive read lock Date: Thu, 16 May 2019 16:00:13 +0800 Message-Id: <20190516080015.16033-16-duyuyang@gmail.com> X-Mailer: git-send-email 2.20.1 (Apple Git-117) In-Reply-To: <20190516080015.16033-1-duyuyang@gmail.com> References: <20190516080015.16033-1-duyuyang@gmail.com> 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 Now that we support recursive read locks, a previously failed case: ---------------------------------------------------------------------------- | spin |wlock |rlock |mutex | wsem | rsem | -------------------------------------------------------------------------- mixed read-lock/lock-write ABBA: |FAILED| | ok | can be added back. Now we have: Good, all 262 testcases passed! See the case in: e91498589746065e3a ("Add mixed read-write ABBA tests") Signed-off-by: Yuyang Du --- lib/locking-selftest.c | 7 ------- 1 file changed, 7 deletions(-) diff --git a/lib/locking-selftest.c b/lib/locking-selftest.c index f83f047..4c6dd8a 100644 --- a/lib/locking-selftest.c +++ b/lib/locking-selftest.c @@ -2055,13 +2055,6 @@ void locking_selftest(void) print_testname("mixed read-lock/lock-write ABBA"); pr_cont(" |"); dotest(rlock_ABBA1, FAILURE, LOCKTYPE_RWLOCK); -#ifdef CONFIG_PROVE_LOCKING - /* - * Lockdep does indeed fail here, but there's nothing we can do about - * that now. Don't kill lockdep for it. - */ - unexpected_testcase_failures--; -#endif pr_cont(" |"); dotest(rwsem_ABBA1, FAILURE, LOCKTYPE_RWSEM); -- 1.8.3.1