Received: by 2002:a05:6a10:1a4d:0:0:0:0 with SMTP id nk13csp1662613pxb; Wed, 2 Feb 2022 09:41:09 -0800 (PST) X-Google-Smtp-Source: ABdhPJwb3OR4ovQyllzmaEvDdQ4p7dzBHHPamvCBeRvQPd05to1xFmuIX9+lhA8tEx/CowN8my+u X-Received: by 2002:a17:902:d509:: with SMTP id b9mr31816270plg.86.1643823669085; Wed, 02 Feb 2022 09:41:09 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1643823669; cv=none; d=google.com; s=arc-20160816; b=m3uOCVkOKZ8WUZ1TgQOaAHVDkKQfQbbREd7HA5oTmY2Fb/TgqvKf0ml6uikacRev2K w7kte+cZLUDBV1l+PTGQlS95gB87QmsrqI3LarAe33f36G8Fj3nz9UUa2thNiGGchVZN aoHWqnrHulZ78K9Yf0Y6mT7gm7JpbBgr41DjHSHLAb65QP4g5OeJT8AO2AwfVs9gzS3i +SaKiXbfL+r2k3TfhT6f0zjBogUlItOxMBx44vHww+phfhUIDCI6KT2Snw4irtliSDGi Lz8vlfutxfuFxjlapEL6+8GG7hS9KIBWP8WCO/CJh3REocojvYq8yUXJYpUsNQ8hIpyT u7WA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:content-language:content-transfer-encoding :mime-version:user-agent:date:message-id:cc:to:subject:from :dkim-signature; bh=gb6FpjDviXqkxJ6tLKBKooggf+e2HvpPzlaYq1JqIm4=; b=sWtyAqDr8H8kJ+EhpaayS1FAupbW0oFwrdyADfk93isUXJtSBd4oTBBVEi3fXp8S4f wmdBUGvpy4uzIyJybWJHBb5geyq2sMRgOvysxz8dJzFGe4crt7HbJ72R808T5WRXEhbd 3NPAJSeeyOVxxEW1HMnxtxEloAS6yVRfQLUITzIKyFQVYzrP5OEOHkZjPNC80aLdED2q l5AeDeyxwR6HQ2Hk81TPM5BwiQcPJkk+2XHX/lvDBxrnY/ed/8HuIgQJo1eRHo/cjfNa KCHPnY+lq03pVa2oWKN0QJ1TaqhcEKNnp+ogW5SuizOuVOKRxg7H5SevQ6RCsX6RBqyN 2f2Q== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b="bnc/76N1"; 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 Return-Path: Received: from out1.vger.email (out1.vger.email. [2620:137:e000::1:20]) by mx.google.com with ESMTP id 196si1727197pga.735.2022.02.02.09.40.56; Wed, 02 Feb 2022 09:41:09 -0800 (PST) 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="bnc/76N1"; 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 S234603AbiBAH1v (ORCPT + 99 others); Tue, 1 Feb 2022 02:27:51 -0500 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:42176 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S233720AbiBAH1m (ORCPT ); Tue, 1 Feb 2022 02:27:42 -0500 Received: from mail-pg1-x532.google.com (mail-pg1-x532.google.com [IPv6:2607:f8b0:4864:20::532]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 8D2FFC061714; Mon, 31 Jan 2022 23:27:41 -0800 (PST) Received: by mail-pg1-x532.google.com with SMTP id s16so14437070pgs.13; Mon, 31 Jan 2022 23:27:41 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:subject:to:cc:message-id:date:user-agent:mime-version :content-transfer-encoding:content-language; bh=gb6FpjDviXqkxJ6tLKBKooggf+e2HvpPzlaYq1JqIm4=; b=bnc/76N1EHpYnVPW0XvmUduROAoPN/BPMdfuK+CbCaGMaDLhq9vVyYnoauw4VUy74M goJr9Vz1HZ/knFlNZl3LdsRqn5exiyvIQX7oF1Klbm8vRves0iepp3npexp9I0RM91z6 B+LVOWEg0833b+k8LBpD4jzy5z172K9hHkAqbLSsiEPsJYn3p0mCW2DI7wau+ryZ7GAv /petSKnTeBErJ1rtmG2aMKvd4oGx5YWsRRQMFqZXPK9PMXvU7nq2iXYnCREQ71USITOc 9b2uZN2O8lkx+N1A0KzvnJUIuU8do4nHw6v+WxEBj2+IGY8z32n9ioLMVuuRVxWTmSIZ c9vg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:subject:to:cc:message-id:date:user-agent :mime-version:content-transfer-encoding:content-language; bh=gb6FpjDviXqkxJ6tLKBKooggf+e2HvpPzlaYq1JqIm4=; b=FlV30beL7BmElpn7vHv1FPVFMrECdswllyJi+YVjTSHOxXXbvENHa+OqE63bSGQc9S he8iVIwjD78qr2c0jEyvYiGJrpgHfZtk6CHpuSK9No4T2lEUh/aCJxvC1tgEm+hpSvFB 99lfN3vTVk1xKk1GKqTQAOPbfdmSBE6T2ns6IfglHRZTHEvLbJVdMwyx1irIk3kvFnBk QU1auH5UX4syHPpryGs/70hMcVEAXdaMoLPqser/Gt5BxoPmom+o9SCTky3e4JN7Dk2S UNr6E+efLavckOEtrkjvi3ehiq4UCfR/KanPsWANm6SFUPNlcjO7YlwlN2W0OImIfICG VUrQ== X-Gm-Message-State: AOAM5302QhI8LFasHiAyZgfvtZWCtqJF6izTR7aXwsa8FVP5s11RQ/fV GAmmgnAoFw++Ro0ro0C7BFxFrdqKjYs= X-Received: by 2002:a63:1a21:: with SMTP id a33mr19938856pga.35.1643700460589; Mon, 31 Jan 2022 23:27:40 -0800 (PST) Received: from [10.59.0.6] ([85.203.23.80]) by smtp.gmail.com with ESMTPSA id c14sm19908190pfm.169.2022.01.31.23.27.36 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 31 Jan 2022 23:27:39 -0800 (PST) From: Jia-Ju Bai Subject: [BUG] vhost: two possible deadlocks involving locking and waiting To: jasowang@redhat.com Cc: kvm@vger.kernel.org, virtualization@lists.linux-foundation.org, netdev@vger.kernel.org, linux-kernel Message-ID: <22f57c53-1a0b-ced9-b36e-1b4de8d55572@gmail.com> Date: Tue, 1 Feb 2022 15:27:32 +0800 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:68.0) Gecko/20100101 Thunderbird/68.4.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: en-US Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Hello, My static analysis tool reports two possible deadlocks in the vhost driver in Linux 5.16: #BUG 1 vhost_net_set_backend()   mutex_lock(&n->dev.mutex); --> Line 1511(Lock A)   vhost_net_ubuf_put_wait_and_free()     vhost_net_ubuf_put_and_wait()     wait_event(ubufs->wait ...); --> Line 260 (Wait X) vhost_net_ioctl()   mutex_lock(&n->dev.mutex); --> Line 1734 (Lock A)   vhost_net_flush()     vhost_net_ubuf_put_and_wait()       vhost_net_ubuf_put()         wake_up(&ubufs->wait); --> Line 253 (Wake X) When vhost_net_set_backend() is executed, "Wait X" is performed by holding "Lock A". If vhost_net_ioctl() is executed at this time, "Wake X" cannot be performed to wake up "Wait X" in vhost_net_set_backend(), because "Lock A" has been already hold by vhost_net_set_backend(), causing a possible deadlock. #BUG2 vhost_net_set_backend()   mutex_lock(&vq->mutex); --> Line 1522(Lock A)   vhost_net_ubuf_put_wait_and_free()     vhost_net_ubuf_put_and_wait()     wait_event(ubufs->wait ...); --> Line 260 (Wait X) handle_tx()   mutex_lock_nested(&vq->mutex, ...); --> Line 966 (Lock A)   handle_tx_zerocopy()     vhost_net_ubuf_put()       wake_up(&ubufs->wait); --> Line 253 (Wake X) When vhost_net_set_backend() is executed, "Wait X" is performed by holding "Lock A". If handle_tx() is executed at this time, "Wake X" cannot be performed to wake up "Wait X" in vhost_net_set_backend(), because "Lock A" has been already hold by vhost_net_set_backend(), causing a possible deadlock. I am not quite sure whether these possible problems are real and how to fix them if they are real. Any feedback would be appreciated, thanks :) Best wishes, Jia-Ju Bai