Received: by 2002:a05:6a10:d5a5:0:0:0:0 with SMTP id gn37csp2984968pxb; Sun, 3 Oct 2021 11:15:36 -0700 (PDT) X-Google-Smtp-Source: ABdhPJyDMIRXuGq6oBK4odVV7Oj9WDzD6xUgzhgwncro0WJ5bQOJ1X9FfHAYnRGvl67pyt17nWoX X-Received: by 2002:a05:6402:450:: with SMTP id p16mr12680771edw.162.1633284936479; Sun, 03 Oct 2021 11:15:36 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1633284936; cv=none; d=google.com; s=arc-20160816; b=cyJ82M8A44fssMKR3ZIJSFfZMDiqp7c4YEpT1K3B3FHBGod6urwGKfFtHnVF7nXNz8 56JsdHhUby0bxX6gg9fDXPgPku6ylcv+LZRN7tQSDnYiuREzzYTKxMC+8xOoWkG+w1uu luYX1EQoM3DPTXp0NuJ0yyYZ2mWj2UstZijcrq9qVG2bZI687n1CDaVEV9jHyCJhOEjr dLkPZMuo0HRoWkkodeBXWY8q9m/qhzgg/hai7VagWFV0tiN5Ztob01ynxxjOZ4BIdXtO 80NXn6KwJqGhmJTvZ83P5lcVTP3Qmh3+qV+yuZehaRrxGNew9/ZgDbt1qLXXkZRCdM5u Dczg== 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 :references:in-reply-to:message-id:date:subject:cc:to:from :dkim-signature; bh=KLdiZdvX9Wpt6i/lfKY3Po8YdL6RC5eGoUV438OTryc=; b=ciKHclLe3PtXP4RcRjob/GiGEGF3zDaClpDza3m5hbtTcN25RGUhSgibmFaikGDUjd OACrLxzzlL3VR7R0XgiOT2feCshrIZKwSkvoZtkYSCIlblMr+k47E9tKC6/PIQ1yo2Sn CUFwwmJLDRSNU3fGayv1SKWy0mu/DFVjWW354HbKH0kkgXfkUr8ZJkjW/OHspS9LyMXO pslYWOBaiaeBeZwd5B+KIqSgpirsp5iSiTHuNMfKmhWBtRtyytromIX40H2YnV5pYZv3 PsdR946AypgEs4bOKyEQ8qlSW1MfzXyjHT9ATlsap8W9Q5XdBwMBymBuY4Ih/bQesOUk tMwQ== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@kernel.org header.s=k20201202 header.b=BbMUl87c; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id 8si18030868ejn.389.2021.10.03.11.15.12; Sun, 03 Oct 2021 11:15:36 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; dkim=pass header.i=@kernel.org header.s=k20201202 header.b=BbMUl87c; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S231502AbhJCSOW (ORCPT + 99 others); Sun, 3 Oct 2021 14:14:22 -0400 Received: from mail.kernel.org ([198.145.29.99]:46112 "EHLO mail.kernel.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S231449AbhJCSON (ORCPT ); Sun, 3 Oct 2021 14:14:13 -0400 Received: by mail.kernel.org (Postfix) with ESMTPSA id D10E761A03; Sun, 3 Oct 2021 18:12:24 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1633284745; bh=ubBfXkJlfWk9vB5diL1cDnPrfyxhDRFVopndxkSNLHo=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=BbMUl87cCWT+97KqDP92fcWx1lVuUa4W8XKStdB2ZbTf1SW2GYZcHkZ2/qI+Jii+/ Ri7eMjFTMjDrLQpWoQuMRp69yPR/Kz1fwTX8xUjtQcrgdRCluu5G88bEiXlfzJzghh +5TPkDuyNOK4KURDvatzlatieradDHJ+EfA6joHw6znQKDTSCHP0xpNs8/WNhAgE4J suhj15keyLSoPCl+bTHZhGuTieX6KHadZuXJgJERBPaAXEwSmDh9Q/KX2YrYf4qS1P 4L57JhB15P5pBGGRXwCoPJCYInAEHhRlltaudJ5cPzq9FC/i/vHEaalRRHFn2ddBEX Yyb1Wtb18cMlg== From: Leon Romanovsky To: "David S . Miller" , Jakub Kicinski Cc: Leon Romanovsky , Ido Schimmel , Ingo Molnar , Jiri Pirko , linux-kernel@vger.kernel.org, linux-rdma@vger.kernel.org, mlxsw@nvidia.com, Moshe Shemesh , netdev@vger.kernel.org, Saeed Mahameed , Salil Mehta , Shay Drory , Steven Rostedt , Tariq Toukan , Yisen Zhuang Subject: [PATCH net-next v2 2/5] devlink: Annotate devlink API calls Date: Sun, 3 Oct 2021 21:12:03 +0300 Message-Id: X-Mailer: git-send-email 2.31.1 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org From: Leon Romanovsky Initial annotation patch to separate calls that needs to be executed before or after devlink_register(). Signed-off-by: Leon Romanovsky --- net/core/devlink.c | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/net/core/devlink.c b/net/core/devlink.c index 9642429cec65..4e484afeadea 100644 --- a/net/core/devlink.c +++ b/net/core/devlink.c @@ -154,6 +154,22 @@ static const struct nla_policy devlink_function_nl_policy[DEVLINK_PORT_FUNCTION_ static DEFINE_XARRAY_FLAGS(devlinks, XA_FLAGS_ALLOC); #define DEVLINK_REGISTERED XA_MARK_1 +/* devlink instances are open to the access from the user space after + * devlink_register() call. Such logical barrier allows us to have certain + * expectations related to locking. + * + * Before *_register() - we are in initialization stage and no parallel + * access possible to the devlink instance. All drivers perform that phase + * by implicitly holding device_lock. + * + * After *_register() - users and driver can access devlink instance at + * the same time. + */ +#define ASSERT_DEVLINK_REGISTERED(d) \ + WARN_ON_ONCE(!xa_get_mark(&devlinks, (d)->index, DEVLINK_REGISTERED)) +#define ASSERT_DEVLINK_NOT_REGISTERED(d) \ + WARN_ON_ONCE(xa_get_mark(&devlinks, (d)->index, DEVLINK_REGISTERED)) + /* devlink_mutex * * An overall lock guarding every operation coming from userspace. @@ -9115,6 +9131,10 @@ static void devlink_notify_unregister(struct devlink *devlink) */ void devlink_register(struct devlink *devlink) { + ASSERT_DEVLINK_NOT_REGISTERED(devlink); + /* Make sure that we are in .probe() routine */ + device_lock_assert(devlink->dev); + mutex_lock(&devlink_mutex); xa_set_mark(&devlinks, devlink->index, DEVLINK_REGISTERED); devlink_notify_register(devlink); @@ -9129,6 +9149,10 @@ EXPORT_SYMBOL_GPL(devlink_register); */ void devlink_unregister(struct devlink *devlink) { + ASSERT_DEVLINK_REGISTERED(devlink); + /* Make sure that we are in .remove() routine */ + device_lock_assert(devlink->dev); + devlink_put(devlink); wait_for_completion(&devlink->comp); @@ -9183,6 +9207,8 @@ EXPORT_SYMBOL_GPL(devlink_reload_disable); */ void devlink_free(struct devlink *devlink) { + ASSERT_DEVLINK_NOT_REGISTERED(devlink); + mutex_destroy(&devlink->reporters_lock); mutex_destroy(&devlink->lock); WARN_ON(!list_empty(&devlink->trap_policer_list)); -- 2.31.1