Received: by 2002:a05:7208:13c3:b0:82:bbfa:f723 with SMTP id r3csp1128043rbe; Tue, 14 May 2024 12:18:24 -0700 (PDT) X-Forwarded-Encrypted: i=3; AJvYcCW+g2jSkO0Wm5jYZ9B65lrIXEt84lu6zGmAdI8QuG2g74BMsdE/Z4T9ouenSPlDeTG0XhQNexgiSbCoSn7R8kJdQjL1zGUVL2MZHV1ipg== X-Google-Smtp-Source: AGHT+IGqSQwHJhXIgLBkYolEIF4B3BYhPQGUjAdSQbScIQtBcy8K7m6+7WwO0Z8h6y46BOFJumQS X-Received: by 2002:ac8:5807:0:b0:437:96a9:ed with SMTP id d75a77b69052e-43dfdadb964mr165761471cf.24.1715714303958; Tue, 14 May 2024 12:18:23 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1715714303; cv=pass; d=google.com; s=arc-20160816; b=m/nUGbuUDsKSjQX/VdmLftx2Kc6q2gj2y0Ej825rpR839xqBja7WNh3zPtfiqyqie3 uXBMBibb6RMlfHU4nG4odg8NkuK5YJLv/bCMkzvPKrQYeujDuSIbP2xYUq6jk+zL+zwA siZBKFyatzaewYZ9GV0k8rstPQBABwt/3FptMfuSGNCjE5/80vxsqhsgcTst1goOrjBd wrPX8neoKf/4o/ha0/gx3M+4KX/+XB0+ktQv4L3Ot5LNsamfDQ/RGIPcm/AltRM2Ju/u YH2SgqLKdNVyxIxhxvpGo1anFUknCbRQ0B5DTkZuuMSSArUXJXy1rwjKckD7FLb/sjAi tbGg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=cc:to:from:subject:message-id:mime-version:list-unsubscribe :list-subscribe:list-id:precedence:date:dkim-signature; bh=PqyaUutE/tXclPFxiVv+3e9qFm1giav03EIhpEdhlMw=; fh=uLjrXS9r53SghWQA2+bpdJttrZ+7vJYxkfhOT0Fy+Sk=; b=mmNZjwGDaec8/bVoLn4eynwz18kb6UlZCN1oB374Bqa+yesI0oYz5Xhu0QzPA2riep gH5BzpbMnk6RTt91Rhh7sz6YPXXWEi/HxMJz6cF4eL4hiMNi2bP8dndsY7lZkSb50Vfm tvCKeK3CoMk1w2juOG+RS+VuhhwK/CS/HRzXSKLcAk+BJdGhs6+aEVNXiV6AYk1GLWaE 2POWpsiwZ1BnznU+muhgWAbXpH3q7IxI5unftDcdottizNii+fs1IT47ELK1BABMlXsG 6WuZJnChV/8c7FgV6KTnSP4U7rtHWYkRNv4fm1AZ6fGhq5Nx9X5kgDyhj/ygPgphl9eU VDPQ==; dara=google.com ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@google.com header.s=20230601 header.b=0DIplDvC; arc=pass (i=1 spf=pass spfdomain=flex--cmllamas.bounces.google.com dkim=pass dkdomain=google.com dmarc=pass fromdomain=google.com); spf=pass (google.com: domain of linux-kernel+bounces-179097-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:45d1:ec00::1 as permitted sender) smtp.mailfrom="linux-kernel+bounces-179097-linux.lists.archive=gmail.com@vger.kernel.org"; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Return-Path: Received: from ny.mirrors.kernel.org (ny.mirrors.kernel.org. [2604:1380:45d1:ec00::1]) by mx.google.com with ESMTPS id d75a77b69052e-43e28332684si20102831cf.392.2024.05.14.12.18.23 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 14 May 2024 12:18:23 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel+bounces-179097-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:45d1:ec00::1 as permitted sender) client-ip=2604:1380:45d1:ec00::1; Authentication-Results: mx.google.com; dkim=pass header.i=@google.com header.s=20230601 header.b=0DIplDvC; arc=pass (i=1 spf=pass spfdomain=flex--cmllamas.bounces.google.com dkim=pass dkdomain=google.com dmarc=pass fromdomain=google.com); spf=pass (google.com: domain of linux-kernel+bounces-179097-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:45d1:ec00::1 as permitted sender) smtp.mailfrom="linux-kernel+bounces-179097-linux.lists.archive=gmail.com@vger.kernel.org"; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Received: from smtp.subspace.kernel.org (wormhole.subspace.kernel.org [52.25.139.140]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ny.mirrors.kernel.org (Postfix) with ESMTPS id 9805D1C21BEE for ; Tue, 14 May 2024 19:18:23 +0000 (UTC) Received: from localhost.localdomain (localhost.localdomain [127.0.0.1]) by smtp.subspace.kernel.org (Postfix) with ESMTP id C5100181316; Tue, 14 May 2024 19:18:18 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=google.com header.i=@google.com header.b="0DIplDvC" Received: from mail-yw1-f201.google.com (mail-yw1-f201.google.com [209.85.128.201]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id BF3E217F36F for ; Tue, 14 May 2024 19:18:14 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.128.201 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1715714297; cv=none; b=kmj9MnYsIbLgtawGd+Hy4IashbO4n8XoAzzULZ8WKZS5JH2BnOXAuIkXJGEzvTLRcarpwr0TWM9Edl0NDxr6NzUf6jzrGP4LyBUa+d7xWlB8tnAbiLBGsIooLNIYfelZg4xG2E3r+o79FPnFV3KQHlf50fwuLXl4u/GS+5NB/Qo= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1715714297; c=relaxed/simple; bh=2+0MbbVhfwpzgandx9JAIthS253OCPOQX76PZB0bhis=; h=Date:Mime-Version:Message-ID:Subject:From:To:Cc:Content-Type; b=SXhY8FX0Ubb+5Vi0VYFKHoDtWd9trqXxhjwNAteIH5uIWs+mWqOXStY/wrnpzNCEzqR53RDVE0zPtqrUF19FGk9rwDTnLBRwAmYKuTpCvsY+Pw+V23GRd+bsgInUZFWIK1xMa1Q422ASnUsYXMoPzoVV0wxnhkMsS+VvQBrQNjU= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=reject dis=none) header.from=google.com; spf=pass smtp.mailfrom=flex--cmllamas.bounces.google.com; dkim=pass (2048-bit key) header.d=google.com header.i=@google.com header.b=0DIplDvC; arc=none smtp.client-ip=209.85.128.201 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=reject dis=none) header.from=google.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=flex--cmllamas.bounces.google.com Received: by mail-yw1-f201.google.com with SMTP id 00721157ae682-61dfa4090c1so92546357b3.3 for ; Tue, 14 May 2024 12:18:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20230601; t=1715714294; x=1716319094; darn=vger.kernel.org; h=cc:to:from:subject:message-id:mime-version:date:from:to:cc:subject :date:message-id:reply-to; bh=PqyaUutE/tXclPFxiVv+3e9qFm1giav03EIhpEdhlMw=; b=0DIplDvCGx+qplxkobg57S3o/zCFF+kBW9pgC3mJB3laDvKkyAAj1crgTH13PxKOIY RfR6ldQ8hiLJqJVumZQPowlSTwN2LWerVHER6mYOiOjBjzrj2BjWYHfIKrx5JHSGH1z+ wVncmF4cNbef5nAYT1NSgZ9aXJ4uOwz2JKK4ylKKpQ2yXGPu38pl6YUrIo2kfYKjHOJC kOglf5eTnc9uJb0Le07czy54jrlHOpbjffzx/regVt0tVmxbxDYXuYRBNg7Or/X7K5D7 kf1FX1wnXo72FqVvBPKJe5eLhy5sq8973ksLyIopcgnThJ88gdXHdTOociJp17X/iiqc TFBA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1715714294; x=1716319094; h=cc:to:from:subject:message-id:mime-version:date:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=PqyaUutE/tXclPFxiVv+3e9qFm1giav03EIhpEdhlMw=; b=n2M+/70uw16RSL0ctpC8HRaqm1rX+jSgDI3/cA8isz+jlhDSYx+5WK/GVTX0x/Sk83 jJ72dWdOt4WJYTqguW/tD1x9kmBRyyQ4PFvaBWL+chsJWVIXeiHU6YZHsAmyaXxrht/E IDrHwfS22Q2hbkSZeH/CtMFphL2ilZxjRWyXOU40iRcdJ1cbGNZ4MP6YHCtugO7HtTzA 9J47Gnx9wRTdE2xetLCcfjxm7LAeKlAe+dzWl913ax4c9IUUvdsQgXVQzQRTaTpaR/DK fAc6WEP7X84hQvE3uTHPxWfprXdLjiUFyudIZYLhlVLIFO1qWKReUh/1R1e3apBZKfkj 1Q8w== X-Forwarded-Encrypted: i=1; AJvYcCUt+n+fXimgt8dhoXtYwGRBP8zYk4BrvcS13JHc3B1Rbe6c5FhixeAbh7SXiTsngc+zu3EmTHkctdb+q6OX141gB9VOqbSao1K3T0Mq X-Gm-Message-State: AOJu0Yw0RQKXvpICY5uwHipYGAefJXEDdk4h2i/YrUz/9bLGGgbaSYGj TKa1gWpWTk/xEeamrbmTfE7/eOqSoN2ShNafUbRGBKX5Yjkf8XwjTGwVpl8JxNxF2z10n2Y6/ik yCUGqQxcdEw== X-Received: from xllamas.c.googlers.com ([fda3:e722:ac3:cc00:7f:e700:c0a8:5070]) (user=cmllamas job=sendgmr) by 2002:a05:6902:18c6:b0:dee:6f2b:20a8 with SMTP id 3f1490d57ef6-dee6f2b271bmr819105276.0.1715714293720; Tue, 14 May 2024 12:18:13 -0700 (PDT) Date: Tue, 14 May 2024 19:15:46 +0000 Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: Mime-Version: 1.0 X-Mailer: git-send-email 2.45.0.rc1.225.g2a3ae87e7f-goog Message-ID: <20240514191547.3230887-1-cmllamas@google.com> Subject: [PATCH v4 RESEND] lockdep: fix deadlock issue between lockdep and rcu From: Carlos Llamas To: "Paul E . McKenney" , Peter Zijlstra , Ingo Molnar , Will Deacon , Waiman Long , Boqun Feng , Bart Van Assche Cc: John Stultz , Joel Fernandes , linux-kernel@vger.kernel.org, kernel-team@android.com, Zhiguo Niu , stable@vger.kernel.org, Carlos Llamas , Xuewen Yan , Ingo Molnar Content-Type: text/plain; charset="UTF-8" From: Zhiguo Niu There is a deadlock scenario between lockdep and rcu when rcu nocb feature is enabled, just as following call stack: rcuop/x -000|queued_spin_lock_slowpath(lock = 0xFFFFFF817F2A8A80, val = ?) -001|queued_spin_lock(inline) // try to hold nocb_gp_lock -001|do_raw_spin_lock(lock = 0xFFFFFF817F2A8A80) -002|__raw_spin_lock_irqsave(inline) -002|_raw_spin_lock_irqsave(lock = 0xFFFFFF817F2A8A80) -003|wake_nocb_gp_defer(inline) -003|__call_rcu_nocb_wake(rdp = 0xFFFFFF817F30B680) -004|__call_rcu_common(inline) -004|call_rcu(head = 0xFFFFFFC082EECC28, func = ?) -005|call_rcu_zapped(inline) -005|free_zapped_rcu(ch = ?)// hold graph lock -006|rcu_do_batch(rdp = 0xFFFFFF817F245680) -007|nocb_cb_wait(inline) -007|rcu_nocb_cb_kthread(arg = 0xFFFFFF817F245680) -008|kthread(_create = 0xFFFFFF80803122C0) -009|ret_from_fork(asm) rcuop/y -000|queued_spin_lock_slowpath(lock = 0xFFFFFFC08291BBC8, val = 0) -001|queued_spin_lock() -001|lockdep_lock() -001|graph_lock() // try to hold graph lock -002|lookup_chain_cache_add() -002|validate_chain() -003|lock_acquire -004|_raw_spin_lock_irqsave(lock = 0xFFFFFF817F211D80) -005|lock_timer_base(inline) -006|mod_timer(inline) -006|wake_nocb_gp_defer(inline)// hold nocb_gp_lock -006|__call_rcu_nocb_wake(rdp = 0xFFFFFF817F2A8680) -007|__call_rcu_common(inline) -007|call_rcu(head = 0xFFFFFFC0822E0B58, func = ?) -008|call_rcu_hurry(inline) -008|rcu_sync_call(inline) -008|rcu_sync_func(rhp = 0xFFFFFFC0822E0B58) -009|rcu_do_batch(rdp = 0xFFFFFF817F266680) -010|nocb_cb_wait(inline) -010|rcu_nocb_cb_kthread(arg = 0xFFFFFF817F266680) -011|kthread(_create = 0xFFFFFF8080363740) -012|ret_from_fork(asm) rcuop/x and rcuop/y are rcu nocb threads with the same nocb gp thread. This patch release the graph lock before lockdep call_rcu. Fixes: a0b0fd53e1e6 ("locking/lockdep: Free lock classes that are no longer in use") Cc: Cc: Boqun Feng Cc: Waiman Long Cc: Carlos Llamas Cc: Bart Van Assche Signed-off-by: Zhiguo Niu Signed-off-by: Xuewen Yan Reviewed-by: Boqun Feng Reviewed-by: Waiman Long Reviewed-by: Carlos Llamas Reviewed-by: Bart Van Assche Signed-off-by: Carlos Llamas --- kernel/locking/lockdep.c | 48 ++++++++++++++++++++++++++-------------- 1 file changed, 32 insertions(+), 16 deletions(-) diff --git a/kernel/locking/lockdep.c b/kernel/locking/lockdep.c index 151bd3de5936..3468d8230e5f 100644 --- a/kernel/locking/lockdep.c +++ b/kernel/locking/lockdep.c @@ -6184,25 +6184,27 @@ static struct pending_free *get_pending_free(void) static void free_zapped_rcu(struct rcu_head *cb); /* - * Schedule an RCU callback if no RCU callback is pending. Must be called with - * the graph lock held. - */ -static void call_rcu_zapped(struct pending_free *pf) +* See if we need to queue an RCU callback, must called with +* the lockdep lock held, returns false if either we don't have +* any pending free or the callback is already scheduled. +* Otherwise, a call_rcu() must follow this function call. +*/ +static bool prepare_call_rcu_zapped(struct pending_free *pf) { WARN_ON_ONCE(inside_selftest()); if (list_empty(&pf->zapped)) - return; + return false; if (delayed_free.scheduled) - return; + return false; delayed_free.scheduled = true; WARN_ON_ONCE(delayed_free.pf + delayed_free.index != pf); delayed_free.index ^= 1; - call_rcu(&delayed_free.rcu_head, free_zapped_rcu); + return true; } /* The caller must hold the graph lock. May be called from RCU context. */ @@ -6228,6 +6230,7 @@ static void free_zapped_rcu(struct rcu_head *ch) { struct pending_free *pf; unsigned long flags; + bool need_callback; if (WARN_ON_ONCE(ch != &delayed_free.rcu_head)) return; @@ -6239,14 +6242,18 @@ static void free_zapped_rcu(struct rcu_head *ch) pf = delayed_free.pf + (delayed_free.index ^ 1); __free_zapped_classes(pf); delayed_free.scheduled = false; + need_callback = + prepare_call_rcu_zapped(delayed_free.pf + delayed_free.index); + lockdep_unlock(); + raw_local_irq_restore(flags); /* - * If there's anything on the open list, close and start a new callback. - */ - call_rcu_zapped(delayed_free.pf + delayed_free.index); + * If there's pending free and its callback has not been scheduled, + * queue an RCU callback. + */ + if (need_callback) + call_rcu(&delayed_free.rcu_head, free_zapped_rcu); - lockdep_unlock(); - raw_local_irq_restore(flags); } /* @@ -6286,6 +6293,7 @@ static void lockdep_free_key_range_reg(void *start, unsigned long size) { struct pending_free *pf; unsigned long flags; + bool need_callback; init_data_structures_once(); @@ -6293,10 +6301,11 @@ static void lockdep_free_key_range_reg(void *start, unsigned long size) lockdep_lock(); pf = get_pending_free(); __lockdep_free_key_range(pf, start, size); - call_rcu_zapped(pf); + need_callback = prepare_call_rcu_zapped(pf); lockdep_unlock(); raw_local_irq_restore(flags); - + if (need_callback) + call_rcu(&delayed_free.rcu_head, free_zapped_rcu); /* * Wait for any possible iterators from look_up_lock_class() to pass * before continuing to free the memory they refer to. @@ -6390,6 +6399,7 @@ static void lockdep_reset_lock_reg(struct lockdep_map *lock) struct pending_free *pf; unsigned long flags; int locked; + bool need_callback = false; raw_local_irq_save(flags); locked = graph_lock(); @@ -6398,11 +6408,13 @@ static void lockdep_reset_lock_reg(struct lockdep_map *lock) pf = get_pending_free(); __lockdep_reset_lock(pf, lock); - call_rcu_zapped(pf); + need_callback = prepare_call_rcu_zapped(pf); graph_unlock(); out_irq: raw_local_irq_restore(flags); + if (need_callback) + call_rcu(&delayed_free.rcu_head, free_zapped_rcu); } /* @@ -6446,6 +6458,7 @@ void lockdep_unregister_key(struct lock_class_key *key) struct pending_free *pf; unsigned long flags; bool found = false; + bool need_callback = false; might_sleep(); @@ -6466,11 +6479,14 @@ void lockdep_unregister_key(struct lock_class_key *key) if (found) { pf = get_pending_free(); __lockdep_free_key_range(pf, key, 1); - call_rcu_zapped(pf); + need_callback = prepare_call_rcu_zapped(pf); } lockdep_unlock(); raw_local_irq_restore(flags); + if (need_callback) + call_rcu(&delayed_free.rcu_head, free_zapped_rcu); + /* Wait until is_dynamic_key() has finished accessing k->hash_entry. */ synchronize_rcu(); } -- 2.45.0.rc1.225.g2a3ae87e7f-goog