Received: by 2002:a05:6358:7058:b0:131:369:b2a3 with SMTP id 24csp10132605rwp; Thu, 20 Jul 2023 15:21:48 -0700 (PDT) X-Google-Smtp-Source: APBJJlE5DESIlyaouwoQojC6ku6kozqBn1D+whOllAbywdpuKQDXGLCz7dmEbkd7C9CsaO+N+C2i X-Received: by 2002:a05:6402:1517:b0:51d:df35:3818 with SMTP id f23-20020a056402151700b0051ddf353818mr144236edw.5.1689891707975; Thu, 20 Jul 2023 15:21:47 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1689891707; cv=none; d=google.com; s=arc-20160816; b=o/n1cHOOKCDBR6SIexKDOR6R6UoabUH0SGBMF9uVcqs0xafMi7Xvnw4zAm7xs1PY5I hGQOWAqTfbvnM9/aAerpInlRWyPHe+cmUuXP2iJvmiT8/0IozM62QyG+zDbSoW9YLTJ0 ahmMTYfKJiRr3x5v5kCx3JFsLAMVHQytdIPnauFZFXsPnGpS8UIKzRQeoiIgz5JQlYVg 54hPxz091JaZt1L5FGVvNnPVr+HHYNW4B3E5MGsO5V8E2+Cf9t/DnGe6uzJIP5WrLVO+ khIQytU6B9m/gKHilFN3b4cfZETjQeoXZRCH4KaG/nrR2NGm4EJHJLRyiqpHE3z7V2sC lP8w== 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=LX64aRTXZn1J2+kMH6li2nZLGVOvJMDcauw8tqpt/jw=; fh=VYUvNHWwRhArRb7BdFa1NXGXvY7mXGhB0yCZGNknZVc=; b=GRfC4FD2cxlbgW2frSR3qdrUiBUN9K4IEkxgFI2gNCGXeM2/QThohvICeE7sLIAMF9 8mJQFddKpSi2pn5QL9WXgct8eUjMEnnBjUcGfFr4tGYChG57vQUrQ9sVTSy4Ta8++ZP6 mcPy6AmGdXIcowtBQxxoo53cLtB3kC3HYWLkcW9XzLo/m205+Z0ux6jY8nxkg/CRT4V1 6ONOJNx+EcgeXqQHXd/KohC5nn/ScCCTDeuXdf3RuJhgRChGZ+7dTgtEkccKDRWNHuJG pgmQdW+/Cc7B3j8DdCUenUifD8fKDDtYB5u1yGBKxfDcl7+D102kM5ucaQq8N4zhQ0Iz aVjw== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@kernel-dk.20221208.gappssmtp.com header.s=20221208 header.b=NTDIBKua; 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 Return-Path: Received: from out1.vger.email (out1.vger.email. [2620:137:e000::1:20]) by mx.google.com with ESMTP id x15-20020aa7d38f000000b0051e3d383697si1334592edq.504.2023.07.20.15.21.24; Thu, 20 Jul 2023 15:21:47 -0700 (PDT) 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=@kernel-dk.20221208.gappssmtp.com header.s=20221208 header.b=NTDIBKua; 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 Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S229970AbjGTWTW (ORCPT + 99 others); Thu, 20 Jul 2023 18:19:22 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:46560 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S229829AbjGTWTO (ORCPT ); Thu, 20 Jul 2023 18:19:14 -0400 Received: from mail-io1-xd2f.google.com (mail-io1-xd2f.google.com [IPv6:2607:f8b0:4864:20::d2f]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 180FA10A for ; Thu, 20 Jul 2023 15:19:13 -0700 (PDT) Received: by mail-io1-xd2f.google.com with SMTP id ca18e2360f4ac-785ccd731a7so17736039f.0 for ; Thu, 20 Jul 2023 15:19:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=kernel-dk.20221208.gappssmtp.com; s=20221208; t=1689891552; x=1690496352; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=LX64aRTXZn1J2+kMH6li2nZLGVOvJMDcauw8tqpt/jw=; b=NTDIBKuaQrU+oK6NuHlx5B81IFDJTKS6nFNJR8IjnDWuQ3CbrlsC37Y6uNykBch951 y1cDhu4g3Vm2zDmH7LT6Yah04Cwmm6E2kIo17kCmYQbPD5TRzI97KDs7voVTmSRh05LO 8gsjss/ICP3PEbbXnwbSxmi8W/ocu+WKm86dXJiAYuRtoqTXZoKFjXyL0Hshgo/1biL0 T+iW3lltXneCyqwUYeGEKgvExOsAlS8cH3LZZ3hVIg0XXWmevD2sPCeK2RxFJ/K5qkCP AZ2o+gTFfDFuBUnqI4SGYJc+HtbaktxCa1lDXW8JRp0yfO0Y51ti9hPn0nw8I7VS/wFG Befg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1689891552; x=1690496352; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=LX64aRTXZn1J2+kMH6li2nZLGVOvJMDcauw8tqpt/jw=; b=W+n92C3Rkg4leBLYzpvvftfN+rk993hm3IACaz5kqdKT126L09tjF5b/NB/5VlXvC1 KuQ53WYG6kwXGprezOnpkOioCSO4Bo/hPo1Ql43XlBufaDP+nUq5sRAsYhVAX9hegGtl +Cv6IioUySmMAv53tBwY8e0LAJ2X6qyluLOZzVlek3+sI3j3mjopRjB1/l0NVr04ivrI nCDV11SQjoPz398TkbV4qAbdoI1bQ6+4VjX2sSkas8OPDnOtidgoVC21TnILpcDE4Zl1 rq/E00GFKmaf7KaPKetf+epj6yLwnaeSsNHAWyB0RwaGrdf8K2YOHJtCkfRRu6vpIIOI /T0g== X-Gm-Message-State: ABy/qLa6wUZ4nI+U6i7DC/KzRQn4SMRgxdq+Ph/jvxOOBA43cTLNS1BC KB6gkuAMx7MKo70Vomo+fDWfZw== X-Received: by 2002:a92:c9c3:0:b0:33b:d741:5888 with SMTP id k3-20020a92c9c3000000b0033bd7415888mr347950ilq.0.1689891552434; Thu, 20 Jul 2023 15:19:12 -0700 (PDT) Received: from localhost.localdomain ([198.8.77.157]) by smtp.gmail.com with ESMTPSA id q1-20020a63bc01000000b0055b3af821d5sm1762454pge.25.2023.07.20.15.19.11 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 20 Jul 2023 15:19:11 -0700 (PDT) From: Jens Axboe To: io-uring@vger.kernel.org, linux-kernel@vger.kernel.org Cc: peterz@infradead.org, andres@anarazel.de, Jens Axboe Subject: [PATCH 04/10] futex: factor out the futex wake handling Date: Thu, 20 Jul 2023 16:18:52 -0600 Message-Id: <20230720221858.135240-5-axboe@kernel.dk> X-Mailer: git-send-email 2.40.1 In-Reply-To: <20230720221858.135240-1-axboe@kernel.dk> References: <20230720221858.135240-1-axboe@kernel.dk> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,RCVD_IN_DNSWL_BLOCKED,SPF_HELO_NONE,SPF_PASS, T_SCC_BODY_TEXT_LINE 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 In preparation for having another waker that isn't futex_wake_mark(), add a wake handler in futex_q. No extra data is associated with the handler outside of struct futex_q itself. futex_wake_mark() is defined as the standard wakeup helper, now set through futex_q_init like other defaults. Normal sync futex waiting relies on wake_q holding tasks that should be woken up. This is what futex_wake_mark() does, it'll unqueue the futex and add the associated task to the wake queue. For async usage of futex waiting, rather than having tasks sleeping on the futex, we'll need to deal with a futex wake differently. For the planned io_uring case, that means posting a completion event for the task in question. Having a definable wake handler can help support that use case. Signed-off-by: Jens Axboe --- kernel/futex/futex.h | 4 ++++ kernel/futex/requeue.c | 3 ++- kernel/futex/waitwake.c | 6 +++--- 3 files changed, 9 insertions(+), 4 deletions(-) diff --git a/kernel/futex/futex.h b/kernel/futex/futex.h index 54f4470b7db8..2b18eb889cce 100644 --- a/kernel/futex/futex.h +++ b/kernel/futex/futex.h @@ -111,6 +111,9 @@ struct futex_pi_state { union futex_key key; } __randomize_layout; +struct futex_q; +typedef void (futex_wake_fn)(struct wake_q_head *wake_q, struct futex_q *q); + /** * struct futex_q - The hashed futex queue entry, one per waiting task * @list: priority-sorted list of tasks waiting on this futex @@ -140,6 +143,7 @@ struct futex_q { struct task_struct *task; spinlock_t *lock_ptr; + futex_wake_fn *wake; union futex_key key; struct futex_pi_state *pi_state; struct rt_mutex_waiter *rt_waiter; diff --git a/kernel/futex/requeue.c b/kernel/futex/requeue.c index cba8b1a6a4cc..e892bc6c41d8 100644 --- a/kernel/futex/requeue.c +++ b/kernel/futex/requeue.c @@ -58,6 +58,7 @@ enum { const struct futex_q futex_q_init = { /* list gets initialized in futex_queue()*/ + .wake = futex_wake_mark, .key = FUTEX_KEY_INIT, .bitset = FUTEX_BITSET_MATCH_ANY, .requeue_state = ATOMIC_INIT(Q_REQUEUE_PI_NONE), @@ -591,7 +592,7 @@ int futex_requeue(u32 __user *uaddr1, unsigned int flags, u32 __user *uaddr2, /* Plain futexes just wake or requeue and are done */ if (!requeue_pi) { if (++task_count <= nr_wake) - futex_wake_mark(&wake_q, this); + this->wake(&wake_q, this); else requeue_futex(this, hb1, hb2, &key2); continue; diff --git a/kernel/futex/waitwake.c b/kernel/futex/waitwake.c index fa9757766103..0272b8c3b132 100644 --- a/kernel/futex/waitwake.c +++ b/kernel/futex/waitwake.c @@ -174,7 +174,7 @@ int futex_wake(u32 __user *uaddr, unsigned int flags, int nr_wake, u32 bitset) if (!(this->bitset & bitset)) continue; - futex_wake_mark(&wake_q, this); + this->wake(&wake_q, this); if (++ret >= nr_wake) break; } @@ -289,7 +289,7 @@ int futex_wake_op(u32 __user *uaddr1, unsigned int flags, u32 __user *uaddr2, ret = -EINVAL; goto out_unlock; } - futex_wake_mark(&wake_q, this); + this->wake(&wake_q, this); if (++ret >= nr_wake) break; } @@ -303,7 +303,7 @@ int futex_wake_op(u32 __user *uaddr1, unsigned int flags, u32 __user *uaddr2, ret = -EINVAL; goto out_unlock; } - futex_wake_mark(&wake_q, this); + this->wake(&wake_q, this); if (++op_ret >= nr_wake2) break; } -- 2.40.1