Received: by 2002:ac0:a5a6:0:0:0:0:0 with SMTP id m35-v6csp5551298imm; Sun, 26 Aug 2018 23:16:39 -0700 (PDT) X-Google-Smtp-Source: ANB0VdadEP8hYOFKJZK30Dt8kMAQ1uqBRyA0nUi8a1UPr8Hi1CP3xf751L2rXHiDLtoexjqbuUML X-Received: by 2002:a63:b19:: with SMTP id 25-v6mr11167659pgl.301.1535350599787; Sun, 26 Aug 2018 23:16:39 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1535350599; cv=none; d=google.com; s=arc-20160816; b=OSst3v33NYV+zmSCFT/9DLO9witJv+tSNUnVHkKP0XKs5tnVGiWGu9s3d4dGeSk1vC f6uGUbEcwaah91I8UYnjUqBIgre5yHwTzpBPLbZzocSoKro6pwYi5Uss0f0Se6h37CrB KPqP7Q7/xqYNIbKKyHV90TENbxyGP52UjWNzQ7uST47f8jcOdxn0l6qDpwJNfY42AKH+ ly7xWBd2dv2qH8Xq6C4tMFispFxlziRhp3wFUrWfhjvtqu2JLsp6KjZj1d81LOaj7Lrz etxLPX12mI9jP8wXHulB5HQLCGXfrqUDuuFkzLbInLBVhOMb7PdYyf+0DD5z6lPyZond rD1A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:content-transfer-encoding :content-language:in-reply-to:mime-version:user-agent:date :message-id:from:references:cc:to:subject:dkim-signature :arc-authentication-results; bh=x2BeIOOqN1NrL4nq7RoNAdPEamtcjr1RptUt30WBufQ=; b=oyebX3cNI1Jlfe+AtjUbBuK957z2920Z6uEMC6hcifr6r8Ncoysq9VgC7XV99WtMvy L1zq9iebO99tb4ReFwQN/QCejY2TzUQC45m+dtBXeTCmfhpjE4ACOP5pDH7L8E2poFdq dTf7sMYuJHxpwXGdRqbA6hYI3eFakiMVlLIRjWrP1dL6PwPBPfpEd3vx9shoI6/1zyKR 4Awbhqy7cFlNNEK8ToGS3pDAu9UXKyfrpwrbeJ5ewlnR850kalKpsXVwg3fjs6bNH7oQ aXaSZC5g/s3dsKBn7fPu81oKGl0O91xGTc5rbOYOvovvuDjj01dib48hc2lHwppZ0jLa agLQ== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@oracle.com header.s=corp-2018-07-02 header.b=crbkzX6y; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=oracle.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id h2-v6si13206536plh.145.2018.08.26.23.16.24; Sun, 26 Aug 2018 23:16:39 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; dkim=pass header.i=@oracle.com header.s=corp-2018-07-02 header.b=crbkzX6y; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=oracle.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727058AbeH0J74 (ORCPT + 99 others); Mon, 27 Aug 2018 05:59:56 -0400 Received: from userp2120.oracle.com ([156.151.31.85]:34354 "EHLO userp2120.oracle.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726776AbeH0J7z (ORCPT ); Mon, 27 Aug 2018 05:59:55 -0400 Received: from pps.filterd (userp2120.oracle.com [127.0.0.1]) by userp2120.oracle.com (8.16.0.22/8.16.0.22) with SMTP id w7R64Dc2013548; Mon, 27 Aug 2018 06:14:33 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=subject : to : cc : references : from : message-id : date : mime-version : in-reply-to : content-type : content-transfer-encoding; s=corp-2018-07-02; bh=x2BeIOOqN1NrL4nq7RoNAdPEamtcjr1RptUt30WBufQ=; b=crbkzX6yklVhs+ffEXKr5bRTLPZhU5WItmpFg0+46oiAxVN8Mj45UB2ULOn5ltKlgw5o 5AxuSQ42ElrA+Tc9E37GV2/o1VTboCChF3T2P7FOe1gvRCOq1tqLPqDoCpnlIyANMOiC i7+cv0pwy2yG4RzRPzsAZHNzCKDcuo1gzNg+tdPIktMxBCjKCpeF3UGMD+lUPDfIxGEk o/eqlzYmJeVb75bvSpP3RQ6umlRRAj3pH37ZIp+Nnqf49hM3zTa5biBT74s8Qx0sX/4S Tm6v+01seTFnE+/uxIEXMZ1swyd7+Sna+y/YXgNOmlITK/kV7mfKwuPmscJUGiSxpDkD YA== Received: from aserv0022.oracle.com (aserv0022.oracle.com [141.146.126.234]) by userp2120.oracle.com with ESMTP id 2m2yrputw4-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Mon, 27 Aug 2018 06:14:32 +0000 Received: from aserv0121.oracle.com (aserv0121.oracle.com [141.146.126.235]) by aserv0022.oracle.com (8.14.4/8.14.4) with ESMTP id w7R6ERIw031835 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Mon, 27 Aug 2018 06:14:27 GMT Received: from abhmp0007.oracle.com (abhmp0007.oracle.com [141.146.116.13]) by aserv0121.oracle.com (8.14.4/8.13.8) with ESMTP id w7R6EQqb010222; Mon, 27 Aug 2018 06:14:26 GMT Received: from [10.182.70.180] (/10.182.70.180) by default (Oracle Beehive Gateway v4.0) with ESMTP ; Sun, 26 Aug 2018 23:14:26 -0700 Subject: Re: [PATCH] blk-wbt: get back the missed wakeup from __wbt_done To: Jens Axboe , Anchal Agarwal Cc: fllinden@amazon.com, "linux-block@vger.kernel.org" , "linux-kernel@vger.kernel.org" References: <1535029718-17259-1-git-send-email-jianchao.w.wang@oracle.com> <20180823210144.GB5624@kaos-source-ops-60001.pdx1.amazon.com> <3eaa20ce-0599-c405-d979-87d91ea331d2@kernel.dk> <20180824181223.GA9049@kaos-source-ops-60001.pdx1.amazon.com> <677c8648-63fd-601c-b906-40a8502f9782@kernel.dk> <20180824203305.GA4690@kaos-source-ops-60001.pdx1.amazon.com> <2fecf2f2-f00b-f6ba-710a-54ceaacfedbb@kernel.dk> <00445460-d826-4d85-c5f4-fa565892da01@oracle.com> From: "jianchao.wang" Message-ID: <3876c36c-fec6-6586-435f-dc177dc38c76@oracle.com> Date: Mon, 27 Aug 2018 14:15:07 +0800 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 MIME-Version: 1.0 In-Reply-To: <00445460-d826-4d85-c5f4-fa565892da01@oracle.com> Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 7bit X-Proofpoint-Virus-Version: vendor=nai engine=5900 definitions=8997 signatures=668707 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 suspectscore=0 malwarescore=0 phishscore=0 bulkscore=0 spamscore=0 mlxscore=0 mlxlogscore=999 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1807170000 definitions=main-1808270066 Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On 08/27/2018 11:52 AM, jianchao.wang wrote: > Hi Jens > > On 08/25/2018 11:41 PM, Jens Axboe wrote: >> do { >> - set_current_state(TASK_UNINTERRUPTIBLE); >> + if (test_bit(0, &data.flags)) >> + break; >> >> - if (!has_sleeper && rq_wait_inc_below(rqw, get_limit(rwb, rw))) >> + WARN_ON_ONCE(list_empty(&data.wq.entry)); >> + >> + if (!has_sleeper && >> + rq_wait_inc_below(rqw, get_limit(rwb, rw))) { >> + finish_wait(&rqw->wait, &data.wq); >> + >> + /* >> + * We raced with wbt_wake_function() getting a token, >> + * which means we now have two. Put ours and wake >> + * anyone else potentially waiting for one. >> + */ >> + if (test_bit(0, &data.flags)) >> + wbt_rqw_done(rwb, rqw, wb_acct); >> break; > > Just use 'bool' variable should be OK > After finish_wait, no one could race with us here. > >> + } >> >> if (lock) { >> spin_unlock_irq(lock); >> @@ -511,11 +569,11 @@ static void __wbt_wait(struct rq_wb *rwb, enum wbt_flags wb_acct, >> spin_lock_irq(lock); >> } else >> io_schedule(); >> + >> has_sleeper = false; >> } while (1); > > I cannot get the point of "since we can't rely on just being woken from the ->func handler > we set". > Do you mean there could be someone else could wake up this task ? > If we do need a recheck after the io_schedule, we could do as following: static void __wbt_wait(struct rq_wb *rwb, enum wbt_flags wb_acct, unsigned long rw, spinlock_t *lock) __releases(lock) __acquires(lock) { struct rq_wait *rqw = get_rq_wait(rwb, wb_acct); struct wbt_wait_data data = { .wq = { .func = wbt_wake_function, .entry = LIST_HEAD_INIT(data.wq.entry), }, .curr = current, .rwb = rwb, .rqw = rqw, .rw = rw, }; bool has_sleeper; bool got = false; retry: has_sleeper = wq_has_sleeper(&rqw->wait); if (!has_sleeper && rq_wait_inc_below(rqw, get_limit(rwb, rw))) return; prepare_to_wait_exclusive(&rqw->wait, &data.wq, TASK_UNINTERRUPTIBLE); if (!has_sleeper && rq_wait_inc_below(rqw, get_limit(rwb, rw))) { got = true; goto out; } if (lock) { spin_unlock_irq(lock); io_schedule(); spin_lock_irq(lock); } else io_schedule(); out: finish_wait(&rqw->wait, &data.wq); /* * We raced with wbt_wake_function() getting a token, * which means we now have two. Put ours and wake * anyone else potentially waiting for one. */ if (data.got && got) wbt_rqw_done(rwb, rqw, wb_acct); else if (!data.got && !got) goto retry; Thanks Jianchao