Received: by 2002:a05:7412:8d10:b0:f3:1519:9f41 with SMTP id bj16csp4523230rdb; Tue, 12 Dec 2023 01:46:21 -0800 (PST) X-Google-Smtp-Source: AGHT+IGbHuf1COrl0oHWgtEuZeSR2HaaKCDx7/2RulISq3MbKiczyF79jGA3NpBKmyOKPdv6MT4H X-Received: by 2002:a05:6a00:190e:b0:6ce:82bd:93d2 with SMTP id y14-20020a056a00190e00b006ce82bd93d2mr3056189pfi.17.1702374381177; Tue, 12 Dec 2023 01:46:21 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1702374381; cv=none; d=google.com; s=arc-20160816; b=aER2Y6wArlv4VCeeY2kT9HP2AiSbXobbkWMvGpFoURqQfoO02/ef1RjconP9wBsi2i jn4JFFv4rd3/lvlKzJo9T59nu9Ihc0ZC93b12aB4d3xUn9cU2KBg5W5MsEg8n0bgcQY2 AVDR2LBWoq/bF0z5Horicf/fkT1ifA2c9SqH7ohvdXcNAGM6+7isg5L+uNdFO4x3BUPy DHxmfXfuI4CBzfqs2q7DNGo7g4NzpQj+InV2NzQDrIcLwgGdXT04eqZVypLSO9Stpd4y cdnK90v85rtkR4ABwVnaKo0suJuV1RSucK6InUrWo7IkzIQyHKVfYWnuhkHwYmWpi4/Q 5wrQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:content-transfer-encoding:cc:to:subject :message-id:date:from:in-reply-to:references:mime-version :dkim-signature; bh=kDJfKvrg0IZT8RtTcsIPiv+6i6KEEJtTvRyYtSZWV3Y=; fh=LVQU2AY+Sabn81tLLLRFKjHqXSN7SnXgA282nmTD6KM=; b=DzLbbaT1gNgO2TwNrkfwHhxdvT5YGENg+hldh9bx0y2Z/kTg8lPlPSfXvb/Is+FInP 1jRNWUPyDtEwgZCQtVwrSz7QTuoPI9ZaMqv/4ZafNI/bB4SBOZflDI5f52sKwDlEuCa5 c3KOZKvNf8CZcvDwCCHWA8casxRhOuUbx9AV2PE8xXiiA2k2c/CnCT+Sa6lZ5riAVc37 qqzdxQ7gemo2CJke9L13lGWznUxXwV0Yd0W78dp0WOPmcTruhikQ1Wy9vFlRRWxWAobl 6OG5S5huTbrdXgGPUmDh2cE132RiYJOwnaF5zO+vSZdWrUdhCjrC2dGXFa+aZeu7IaV/ SbiA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@google.com header.s=20230601 header.b=Y5LVhpZP; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.37 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Return-Path: Received: from snail.vger.email (snail.vger.email. [23.128.96.37]) by mx.google.com with ESMTPS id c2-20020a056a000ac200b006cb6fc94847si7564115pfl.172.2023.12.12.01.46.20 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 12 Dec 2023 01:46:21 -0800 (PST) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.37 as permitted sender) client-ip=23.128.96.37; Authentication-Results: mx.google.com; dkim=pass header.i=@google.com header.s=20230601 header.b=Y5LVhpZP; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.37 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Received: from out1.vger.email (depot.vger.email [IPv6:2620:137:e000::3:0]) by snail.vger.email (Postfix) with ESMTP id 97B90806CC1A; Tue, 12 Dec 2023 01:46:02 -0800 (PST) X-Virus-Status: Clean X-Virus-Scanned: clamav-milter 0.103.11 at snail.vger.email Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S231322AbjLLJps (ORCPT + 99 others); Tue, 12 Dec 2023 04:45:48 -0500 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:59168 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S230218AbjLLJpr (ORCPT ); Tue, 12 Dec 2023 04:45:47 -0500 Received: from mail-vs1-xe33.google.com (mail-vs1-xe33.google.com [IPv6:2607:f8b0:4864:20::e33]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 68FECD2 for ; Tue, 12 Dec 2023 01:45:53 -0800 (PST) Received: by mail-vs1-xe33.google.com with SMTP id ada2fe7eead31-4649e4e6fbfso1184946137.1 for ; Tue, 12 Dec 2023 01:45:53 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20230601; t=1702374352; x=1702979152; darn=vger.kernel.org; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=kDJfKvrg0IZT8RtTcsIPiv+6i6KEEJtTvRyYtSZWV3Y=; b=Y5LVhpZPNqHDEoEg3Rc/HE3Ti4N2gEKxUuiXm1gIveu69J6pTcKD74TmybLBCaDFnH jyWXuh/zKMDVINNzq05sh1uYlb3pCtMwJA6UeiwJg3IRukbP2yb/K/WLTDTmHlVwN8Yq jVr4gq4cvJjI8EkEh964aQxlckZ6xZqdpuv4kDI1ZyI0NkP5wPY4Bq3qPFf2SOuywriX j9QRdUlYihfSfJM0i3uVvIttrkLX69wsNwfk0BlzrjBp2QRuM7vp/Qf+s/yMWvMCyzQi TsdhLYqTGAx0J3dUheXnjPtA3fnpzEi5MODY/8OcvialziFWl8jK0OzckuFE8f/YJxhZ uYow== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1702374352; x=1702979152; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=kDJfKvrg0IZT8RtTcsIPiv+6i6KEEJtTvRyYtSZWV3Y=; b=cvMpuzG9XBH8/46oXiN9s69OiTaqh/4yB5Qthl3qvlz4QaL6AL90VAi9z/4HyJRwMB cuBR3gwycnQh+kJjik41J+dJGDeeGU5mJ2kM3q5cW4SpThlq7f7wZU/od1Mu+YTBft/p 3UwJz3Fi50dxmYQ+sN1/WrhYM98O6VPJ4uXTWtVYG+iy9MJ3SuDh71h0RsIXkpEmipwb g28M3u4XuhP5hwCrtp9OXBXPFPTo26Hh2B3qi9vSWmu0b8+969sZAJL6Yw/WqPL0lOsS 2iN4RZJQre3KJPRu0UeK2i1qsT20rslAuctXdk49R2d+QoGQdh3w7cht3tRnW3z64a8Z UeJw== X-Gm-Message-State: AOJu0Yzg8qECBVi0Va4B3mw1TFyKakg77cSemFzIyWCY6S8EOhyXKbln qQOStnAusdfFdp4DnJ2VFE8Ob7jXKMawkPfJooiDgA== X-Received: by 2002:a05:6102:32c9:b0:464:4eef:b9a9 with SMTP id o9-20020a05610232c900b004644eefb9a9mr4066516vss.0.1702374352425; Tue, 12 Dec 2023 01:45:52 -0800 (PST) MIME-Version: 1.0 References: <20231206-rb-new-condvar-methods-v1-0-33a4cab7fdaa@google.com> <20231206-rb-new-condvar-methods-v1-2-33a4cab7fdaa@google.com> <1dd1a3e8-ef9a-4e89-891f-b49d82acc5f8@gmail.com> In-Reply-To: From: Alice Ryhl Date: Tue, 12 Dec 2023 10:45:41 +0100 Message-ID: Subject: Re: [PATCH 2/2] rust: sync: add `CondVar::wait_timeout` To: Benno Lossin Cc: Tiago Lam , Miguel Ojeda , Alex Gaynor , Wedson Almeida Filho , Boqun Feng , Gary Guo , =?UTF-8?Q?Bj=C3=B6rn_Roy_Baron?= , Andreas Hindborg , Peter Zijlstra , Ingo Molnar , Will Deacon , Waiman Long , rust-for-linux@vger.kernel.org, linux-kernel@vger.kernel.org Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Status: No, score=-17.6 required=5.0 tests=BAYES_00,DKIMWL_WL_MED, DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF, ENV_AND_HDR_SPF_MATCH,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS, T_SCC_BODY_TEXT_LINE,USER_IN_DEF_DKIM_WL,USER_IN_DEF_SPF_WL 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 X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.6.4 (snail.vger.email [0.0.0.0]); Tue, 12 Dec 2023 01:46:02 -0800 (PST) On Fri, Dec 8, 2023 at 10:27=E2=80=AFAM Benno Lossin wrote: > > On 12/8/23 08:37, Alice Ryhl wrote: > > On Wed, Dec 6, 2023 at 6:05=E2=80=AFPM Tiago Lam w= rote: > >> On 06/12/2023 10:09, Alice Ryhl wrote: > >>> +/// The return type of `wait_timeout`. > >>> +pub enum CondVarTimeoutResult { > >>> + /// The timeout was reached. > >>> + Timeout, > >>> + /// Somebody woke us up. > >>> + Woken { > >>> + /// Remaining sleep duration. > >>> + jiffies: u64, > >>> + }, > >>> + /// A signal occurred. > >>> + Signal { > >>> + /// Remaining sleep duration. > >>> + jiffies: u64, > >>> + }, > >>> +} > >> > >> Is `Signal` and `Woken` only going to hold a single value? Would it be > >> best represented as a tuple struct instead, like so? > >> > >> pub enum CondVarTimeoutResult { > >> /// The timeout was reached. > >> Timeout, > >> /// Somebody woke us up. > >> Woken (u64), > >> /// A signal occurred. > >> Signal (u64), > >> } > > > > I could do that, but I like the explicitly named version as it makes > > it clear that the unit is jiffies. > > Why not use `type Jiffies =3D u64;` until we have proper bindings for > them? That way we can have both. I do not mind adding and using a type alias, but I still think the named fields are better. Alice