Received: by 2002:a05:7412:d8a:b0:e2:908c:2ebd with SMTP id b10csp89928rdg; Tue, 10 Oct 2023 05:16:46 -0700 (PDT) X-Google-Smtp-Source: AGHT+IELFNDVa65ovSUzU3YRtcwEVgQy7sPrsnM4F09icWNHV2Jep98tq3wKMJboau3aZmsbtGOO X-Received: by 2002:a17:902:e74d:b0:1c9:af6a:6d13 with SMTP id p13-20020a170902e74d00b001c9af6a6d13mr1900018plf.12.1696940205735; Tue, 10 Oct 2023 05:16:45 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1696940205; cv=none; d=google.com; s=arc-20160816; b=h966+o4Gu/r51TCNiGkUo3nAbXT7MzGz8R/smVirjVLGFBs0txpqWeDkPkxFeuzfKE feWSlbjmFZacrn0hPIIf3Q2Yu8Ex66zSo/FuYLOjSX+1pHDbzyqVzCO+rPP1quVIKNC5 6ZNFAlkaTbFA51hjhvriMU1j4PGuOA0qKz+x0y/ns9VBiTRn7Omr5lXbHpkym58KX7Pb 8tNxdxsQqc4GkkI28EBI6USiezJWfIUDvjixFQ47Y6hiIGX5nECCuXV3Np+gj2JBFyFw mFT9dqVm2i1SP5PtE9U8SFi/ycct+08ZhKhn+3y0CnYENB9j2bFOqTzKJTYG/cReG+fT fxMw== 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=wyv0P0EsUQbglDoISC/Fppji3yoFWL07MHcby8FubpA=; fh=igrnqEZ0NGAu4PZQeOZYC3J441wca03PcXyKZlQqbXU=; b=x9ULuZmU7xjqKKmEfOZNm2/RksRixS2DByZ41ljaJdhzWlTemNP2cUZS6IHGkGC9GP krfQUjsO2s89MZTu+YE6fzLNVCb3er/lfrgfntUDAZ//8QzigEoKUEZHmL65qQLPo5gR zHBvOediz1hKLS++z1N0Xs0NO9GEUGCw5HT3mpTW4mxAjB/MMpw8Ozz7xfvtVnWjE5hX 56GLwVAlWRWxgDwPKr5vgxBvhSks6XJEPpqvul1ty532Lo6vgzOCrCBLDQby2Do+4QVp f+Xvj03W7cV3BB5CQ5MRQl5zJq3mPjrcA7xi1IXZB18NGypSPtPeqKRQBWs6dVE1PYd3 /YLA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@google.com header.s=20230601 header.b=HXe7J1PD; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:2 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 agentk.vger.email (agentk.vger.email. [2620:137:e000::3:2]) by mx.google.com with ESMTPS id z18-20020a170903019200b001c9ad6278ddsi2087252plg.96.2023.10.10.05.16.36 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 10 Oct 2023 05:16:45 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:2 as permitted sender) client-ip=2620:137:e000::3:2; Authentication-Results: mx.google.com; dkim=pass header.i=@google.com header.s=20230601 header.b=HXe7J1PD; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:2 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 agentk.vger.email (Postfix) with ESMTP id 637A4808724A; Tue, 10 Oct 2023 05:15:52 -0700 (PDT) X-Virus-Status: Clean X-Virus-Scanned: clamav-milter 0.103.10 at agentk.vger.email Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S231519AbjJJMPl (ORCPT + 99 others); Tue, 10 Oct 2023 08:15:41 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:36330 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S231246AbjJJMPj (ORCPT ); Tue, 10 Oct 2023 08:15:39 -0400 Received: from mail-qt1-x833.google.com (mail-qt1-x833.google.com [IPv6:2607:f8b0:4864:20::833]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id BFE3A94 for ; Tue, 10 Oct 2023 05:15:34 -0700 (PDT) Received: by mail-qt1-x833.google.com with SMTP id d75a77b69052e-41983b83e53so37725361cf.2 for ; Tue, 10 Oct 2023 05:15:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20230601; t=1696940134; x=1697544934; 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=wyv0P0EsUQbglDoISC/Fppji3yoFWL07MHcby8FubpA=; b=HXe7J1PDO6yck95/2UeDLimdHvIDtax4ziaElhBzOtGZuw+zQWoF03v5DIz9r1XtvW NTzm4CfMm18M1olbospsBAeDEASCMH/5WmezGdrGQjQYrve34UoSdrowyQ/rWZNeq1DW KowFetr9h9L/XCKzVmHc+wn1TRIynHR3XYL1594haSePNf3X5cJgZyIr56QWCekTct/3 eL4DZq4z0txGTRGESVuUhRP4eJBqFa9T1TYvoZ1uzpS/UXJdoBpVorQE0BxC3xIl3Lqm ZANaa0md3VRitO0ZVo3eXiXrusVRMW9pvNKFQcybm5F8OtbcpkDS6dStz2Bpi2bVopUa acoA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1696940134; x=1697544934; 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=wyv0P0EsUQbglDoISC/Fppji3yoFWL07MHcby8FubpA=; b=OwZ1Qt+emvzko4nOI+L8C/5AmOijL7ltDS/wTwoEyJkLW+X1KDIZIV0p9I1f63O97l pdVgt8Ufw4X/XvsdQAl/R2VBaScEYnR/iaPLvmUplMXcxfAUwFaR+67uIdG74cFcJ0c9 scM8DfLNnem1eBc8Yo4PeSZ9uOYX5x2YjeDMx2UfpbmDK2SlGFDl/JLe+bXE7cgBTfOn g4MY6BxWYlN/uUQX+krEFnf5lPFnb/NQxlLrG0TDRLcFT0CEvRFBwY3GLPUAq3FQrvsZ w5FSydVVuhFfz/B5KWidCS2ApkDBloMPgMcKtbbnybCAh72meWQuDmLWbhIYgNwRzTPG 59iQ== X-Gm-Message-State: AOJu0Yw39x0CmBWgmkA7iKVJFIOHy7QQjqV9aMzLp4pAFboXuWiQJgBT b4/1zaXewupf7KUDSsYJV0d52ptwPCHgCHcYsa6muw== X-Received: by 2002:a0c:cd85:0:b0:65b:2cb7:86a4 with SMTP id v5-20020a0ccd85000000b0065b2cb786a4mr17762697qvm.43.1696940133700; Tue, 10 Oct 2023 05:15:33 -0700 (PDT) MIME-Version: 1.0 References: <20231006134529.2816540-1-glider@google.com> <20231006134529.2816540-2-glider@google.com> <76db1532-1575-614e-5820-5b0fa49863c9@rasmusvillemoes.dk> In-Reply-To: <76db1532-1575-614e-5820-5b0fa49863c9@rasmusvillemoes.dk> From: Alexander Potapenko Date: Tue, 10 Oct 2023 14:14:52 +0200 Message-ID: Subject: Re: [PATCH v6 1/5] lib/bitmap: add bitmap_{read,write}() To: Rasmus Villemoes Cc: Yury Norov , catalin.marinas@arm.com, will@kernel.org, pcc@google.com, andreyknvl@gmail.com, andriy.shevchenko@linux.intel.com, aleksander.lobakin@intel.com, linux-kernel@vger.kernel.org, linux-arm-kernel@lists.infradead.org, eugenis@google.com, syednwaris@gmail.com, william.gray@linaro.org, Arnd Bergmann Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Status: No, score=-4.8 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,RCVD_IN_SBL_CSS,SPF_HELO_NONE,SPF_PASS, USER_IN_DEF_DKIM_WL autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on agentk.vger.email 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 (agentk.vger.email [0.0.0.0]); Tue, 10 Oct 2023 05:15:52 -0700 (PDT) On Tue, Oct 10, 2023 at 1:03=E2=80=AFPM Rasmus Villemoes wrote: > > On 10/10/2023 11.17, Alexander Potapenko wrote: > > >> 'behaves similarly' sounds like an understatement. I think, it behaves > >> much faster because it can assign up to 64 bits at once, not mentionin= g > >> the pressure on cache lines traffic. > > > > My intent was to describe the visible behavior, of course the > > generated code is better, and the number of memory accesses lower. > > > > How about the following description: > > > > * The result of bitmap_write() is similar to @nbits calls of assign_bi= t(), i.e. > > * bits beyond @nbits are ignored: > > * > > * for (bit =3D 0; bit < nbits; bit++) > > * assign_bit(start + bit, bitmap, val & BIT(bit)); > > > > ? > > C programmers should know the meaning of the term "as-if". Perhaps use > that. Smth like "bitmap_write() behaves as-if implemented as @nbits > calls of __assign_bit()". Good idea, I'll go with this one. Thank you!