Received: by 2002:a05:6358:d09b:b0:dc:cd0c:909e with SMTP id jc27csp3486364rwb; Fri, 16 Dec 2022 16:04:17 -0800 (PST) X-Google-Smtp-Source: AMrXdXuXSFf325ZjHiCjDx620ED0ILCNN9RQ0xhsJjyOP6GEDbar2nhTDwQvgqhNwve0LH9Nm6M7 X-Received: by 2002:a17:906:5957:b0:7d5:29e1:15ea with SMTP id g23-20020a170906595700b007d529e115eamr6389482ejr.8.1671235457789; Fri, 16 Dec 2022 16:04:17 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1671235457; cv=none; d=google.com; s=arc-20160816; b=FCo71LMwjGym/IZ9DXFuBA8H4Du/9W853P4gi+/zq7gL8NeMIZuhNjpIANbOuF6tl9 TZKltBxlOWv4d4/s1tBMC1t6GUdVr3HifsP7rvVxpz232S6cYKubSXZoYWL+ScVQ97P/ UQEWLotCcTrq28VIhXck8OPYzf7qUDZDllQ/qNXkeg0+vWw5XK4vmNTial7nJ/VKKYi4 MZruAJsh4HDMYiwxtsUrnNe/8AF9pVsUpZlRtH/3joRsUqQ7ySn0h8zfiGLyFuvWVg1T hv4eu8pVOPvC/PNW2UY0ZVS6wqcqEw9ya5d04a5xOvNz/UiRd05Bpmm3IDO0h91QjPUg Q1DQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:in-reply-to:content-disposition :mime-version:references:message-id:subject:cc:to:from:date :dkim-signature; bh=wT46KGKikDaSt9tnXBQ+uhqsdL1NaFa+FYB9ZlSrl2w=; b=LfG7dIThJ3vfAwvBwYvxa7P7nL5Hf2EEgqiBdloVgtuN83jdYiXkPpMIyejy3fbRZH D4Kccj6yIv085jnntn/5BgxUWHQRwkdNl6zTkquQpOVjjXgq49Scbq6GlfKz7bU23QeC Ysn0csTV0ClzKLRWF/ZZCIK7PYONiatK5ZrQGa1eT6YijtmDbPvyt+OGvYIIK8pNT8in cf3Yv9LhlBKJzKh2yx0nByVymQUAt5sqASd0fTpOSoxUD7fkci2OWMUcdto17g3JSohO fmAEd53c+/i64T6HYJKW1Jmeg2fwvx90jfYUkWnONz/wyks7a9I+0TdwTy87JeLihtPg tXHw== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@linux.org.uk header.s=zeniv-20220401 header.b=SYk8DagK; 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=NONE dis=NONE) header.from=zeniv.linux.org.uk Return-Path: Received: from out1.vger.email (out1.vger.email. [2620:137:e000::1:20]) by mx.google.com with ESMTP id sd38-20020a1709076e2600b0073866c0672asi3985677ejc.73.2022.12.16.16.04.01; Fri, 16 Dec 2022 16:04:17 -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=@linux.org.uk header.s=zeniv-20220401 header.b=SYk8DagK; 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=NONE dis=NONE) header.from=zeniv.linux.org.uk Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S230060AbiLPXjd (ORCPT + 68 others); Fri, 16 Dec 2022 18:39:33 -0500 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:60016 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S229526AbiLPXj3 (ORCPT ); Fri, 16 Dec 2022 18:39:29 -0500 Received: from zeniv.linux.org.uk (zeniv.linux.org.uk [IPv6:2a03:a000:7:0:5054:ff:fe1c:15ff]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id B7E1F102; Fri, 16 Dec 2022 15:39:27 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=linux.org.uk; s=zeniv-20220401; h=Sender:In-Reply-To:Content-Type: MIME-Version:References:Message-ID:Subject:Cc:To:From:Date:Reply-To: Content-Transfer-Encoding:Content-ID:Content-Description; bh=wT46KGKikDaSt9tnXBQ+uhqsdL1NaFa+FYB9ZlSrl2w=; b=SYk8DagKGfIM4fchklGtw6T5nc D5GZHk2//+t8yG/tMaR47GMjZ8+OFPg5f9RufoFcCm77sPVNPxiBE6NH+00fY0pvDa8pWYXkst5jC IYQGXgh6zYyyHtvyfVjiaFN+havemj89QJLBnggcoosyaK5urjzRc/MKcmhdMioZlHrhwL22x9qHd ONfUgXpFoOSVHKrtELLpzhCwa1xZ6oRixkfZY1r7UH7zZnomwifqtgwuNJT7xBpbpLjMKct8RE3ik pJHXExdc5YfmpLpe4yhc6KpzPEGMBvzlSWWHPR/tM8lmxKmgjxgviFqy5Pxf5jhY5XzbRL5iY4s+m Bx2XmFWw==; Received: from viro by zeniv.linux.org.uk with local (Exim 4.96 #2 (Red Hat Linux)) id 1p6KIT-00CL0M-0N; Fri, 16 Dec 2022 23:39:21 +0000 Date: Fri, 16 Dec 2022 23:39:21 +0000 From: Al Viro To: Linus Torvalds Cc: Damien Le Moal , Wei Chen , linux-ide@vger.kernel.org, linux-kernel@vger.kernel.org, syzkaller-bugs@googlegroups.com, syzbot , linux-fsdevel , Chuck Lever , Jeff Layton , Peter Zijlstra , Boqun Feng Subject: Re: possible deadlock in __ata_sff_interrupt Message-ID: References: <5eff70b8-04fc-ee87-973a-2099a65f6e29@opensource.wdc.com> <80dc24c5-2c4c-b8da-5017-31aae65a4dfa@opensource.wdc.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: Sender: Al Viro X-Spam-Status: No, score=-2.0 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF,SPF_HELO_NONE,SPF_NONE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on lindbergh.monkeyblade.net Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org [Boqun Feng Cc'd] On Fri, Dec 16, 2022 at 03:26:21AM -0800, Linus Torvalds wrote: > On Thu, Dec 15, 2022 at 7:41 PM Al Viro wrote: > > > > CPU1: ptrace(2) > > ptrace_check_attach() > > read_lock(&tasklist_lock); > > > > CPU2: setpgid(2) > > write_lock_irq(&tasklist_lock); > > spins > > > > CPU1: takes an interrupt that would call kill_fasync(). grep and the > > first instance of kill_fasync() is in hpet_interrupt() - it's not > > something exotic. IRQs disabled on CPU2 won't stop it. > > kill_fasync(..., SIGIO, ...) > > kill_fasync_rcu() > > read_lock_irqsave(&fa->fa_lock, flags); > > send_sigio() > > read_lock_irqsave(&fown->lock, flags); > > read_lock(&tasklist_lock); > > > > ... and CPU1 spins as well. > > Nope. See kernel/locking/qrwlock.c: [snip rwlocks are inherently unfair, queued ones are somewhat milder, but all implementations have writers-starving behaviour for read_lock() at least when in_interrupt()] D'oh... Consider requested "Al, you are a moron" duly delivered... I plead having been on way too low caffeine and too little sleep ;-/ Looking at the original report, looks like the scenario there is meant to be the following: CPU1: read_lock(&tasklist_lock) tasklist_lock grabbed CPU2: get an sg write(2) feeding request to libata; host->lock is taken, request is immediately completed and scsi_done() is about to be called. host->lock grabbed CPU3: write_lock_irq(&tasklist_lock) spins on tasklist_lock until CPU1 gets through. CPU2: get around to kill_fasync() called by sg_rq_end_io() and to grabbing tasklist_lock inside send_sigio() spins, since it's not in an interrupt and there's a pending writer host->lock is held, spin until CPU3 gets through. CPU1: take an interrupt, which on libata will try to grab host->lock tasklist_lock is held, spins on host->lock until CPU2 gets through Am I reading it correctly?