]> git.baikalelectronics.ru Git - kernel.git/commitdiff
mptcp: pm: add lockdep assertions
authorFlorian Westphal <fw@strlen.de>
Thu, 4 Feb 2021 23:23:30 +0000 (15:23 -0800)
committerJakub Kicinski <kuba@kernel.org>
Sat, 6 Feb 2021 22:35:47 +0000 (14:35 -0800)
Add a few assertions to make sure functions are called with the needed
locks held.
Two functions gain might_sleep annotations because they contain
conditional calls to functions that sleep.

Signed-off-by: Florian Westphal <fw@strlen.de>
Signed-off-by: Mat Martineau <mathew.j.martineau@linux.intel.com>
Signed-off-by: Jakub Kicinski <kuba@kernel.org>
net/mptcp/pm.c
net/mptcp/pm_netlink.c
net/mptcp/protocol.c
net/mptcp/protocol.h

index 3a22e73220b99ab87059c4ff8383ef5b06b0c7d5..1a25003fd8e34f3ad3e10aa92da66c31a474a594 100644 (file)
@@ -20,6 +20,8 @@ int mptcp_pm_announce_addr(struct mptcp_sock *msk,
 
        pr_debug("msk=%p, local_id=%d", msk, addr->id);
 
+       lockdep_assert_held(&msk->pm.lock);
+
        if (add_addr) {
                pr_warn("addr_signal error, add_addr=%d", add_addr);
                return -EINVAL;
index e7b1abb4f0c26930050de0e95ef70f3422f1d1fd..23780a13b9346f2a6ac5593d33737b1703d0dc56 100644 (file)
@@ -145,6 +145,8 @@ select_local_address(const struct pm_nl_pernet *pernet,
        struct mptcp_pm_addr_entry *entry, *ret = NULL;
        struct sock *sk = (struct sock *)msk;
 
+       msk_owned_by_me(msk);
+
        rcu_read_lock();
        __mptcp_flush_join_list(msk);
        list_for_each_entry_rcu(entry, &pernet->local_addr_list, list) {
@@ -246,6 +248,8 @@ lookup_anno_list_by_saddr(struct mptcp_sock *msk,
 {
        struct mptcp_pm_add_entry *entry;
 
+       lockdep_assert_held(&msk->pm.lock);
+
        list_for_each_entry(entry, &msk->pm.anno_list, list) {
                if (addresses_equal(&entry->addr, addr, true))
                        return entry;
@@ -342,6 +346,8 @@ static bool mptcp_pm_alloc_anno_list(struct mptcp_sock *msk,
        struct sock *sk = (struct sock *)msk;
        struct net *net = sock_net(sk);
 
+       lockdep_assert_held(&msk->pm.lock);
+
        if (lookup_anno_list_by_saddr(msk, &entry->addr))
                return false;
 
@@ -496,6 +502,9 @@ void mptcp_pm_nl_add_addr_send_ack(struct mptcp_sock *msk)
 {
        struct mptcp_subflow_context *subflow;
 
+       msk_owned_by_me(msk);
+       lockdep_assert_held(&msk->pm.lock);
+
        if (!mptcp_pm_should_add_signal(msk))
                return;
 
@@ -566,6 +575,8 @@ void mptcp_pm_nl_rm_addr_received(struct mptcp_sock *msk)
 
        pr_debug("address rm_id %d", msk->pm.rm_id);
 
+       msk_owned_by_me(msk);
+
        if (!msk->pm.rm_id)
                return;
 
@@ -601,6 +612,8 @@ void mptcp_pm_nl_rm_subflow_received(struct mptcp_sock *msk, u8 rm_id)
 
        pr_debug("subflow rm_id %d", rm_id);
 
+       msk_owned_by_me(msk);
+
        if (!rm_id)
                return;
 
index 1405e146dd7ccc165e22f3fbb1217e2109baa67a..b9f16a1535d2eeb3e8165e673dba2f7bca1a71e5 100644 (file)
@@ -2187,6 +2187,8 @@ static void __mptcp_close_subflow(struct mptcp_sock *msk)
 {
        struct mptcp_subflow_context *subflow, *tmp;
 
+       might_sleep();
+
        list_for_each_entry_safe(subflow, tmp, &msk->conn_list, node) {
                struct sock *ssk = mptcp_subflow_tcp_sock(subflow);
 
@@ -2529,6 +2531,8 @@ static void __mptcp_destroy_sock(struct sock *sk)
 
        pr_debug("msk=%p", msk);
 
+       might_sleep();
+
        /* dispose the ancillatory tcp socket, if any */
        if (msk->subflow) {
                iput(SOCK_INODE(msk->subflow));
index 1cc7948a1826f6861c1988d211fd3c48691af85a..73a923d02aad48975962ba1855d3c77f20ebb1af 100644 (file)
@@ -288,6 +288,11 @@ struct mptcp_sock {
 #define mptcp_for_each_subflow(__msk, __subflow)                       \
        list_for_each_entry(__subflow, &((__msk)->conn_list), node)
 
+static inline void msk_owned_by_me(const struct mptcp_sock *msk)
+{
+       sock_owned_by_me((const struct sock *)msk);
+}
+
 static inline struct mptcp_sock *mptcp_sk(const struct sock *sk)
 {
        return (struct mptcp_sock *)sk;