From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-15.4 required=3.0 tests=BAYES_00,DKIMWL_WL_HIGH, DKIM_SIGNED,DKIM_VALID,HEADER_FROM_DIFFERENT_DOMAINS,INCLUDES_CR_TRAILER, INCLUDES_PATCH,MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS,USER_AGENT_SANE_1 autolearn=ham autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id BD242C433E0 for ; Tue, 19 Jan 2021 19:03:15 +0000 (UTC) Received: from merlin.infradead.org (merlin.infradead.org [205.233.59.134]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPS id 53CA7216FD for ; Tue, 19 Jan 2021 19:03:15 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 53CA7216FD Authentication-Results: mail.kernel.org; dmarc=fail (p=none dis=none) header.from=arm.com Authentication-Results: mail.kernel.org; spf=none smtp.mailfrom=linux-arm-kernel-bounces+linux-arm-kernel=archiver.kernel.org@lists.infradead.org DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lists.infradead.org; s=merlin.20170209; h=Sender:Content-Transfer-Encoding: Content-Type:Cc:List-Subscribe:List-Help:List-Post:List-Archive: List-Unsubscribe:List-Id:In-Reply-To:MIME-Version:References:Message-ID: Subject:To:From:Date:Reply-To:Content-ID:Content-Description:Resent-Date: Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Owner; bh=uuKLCrR6mnqR2xZvoEtKAKVgvcll6Nq20kWQ3b0dbBY=; b=sbZJznzYwQ7IUB8ou/wHaUlT3 B4iIcqekzB1QHJaChCfZ4ZEDEVOg8IzPp+vPHoOM83WDDRpVVWmHHDNNr9aVKWBcjBo8MvsP/gMMT jRHRqS4ZL/JLuh4cJREOi1Yl+QUSHmJfXME7irbATJwRWy/xZOjB0fmH3jooDyroyd3Z3t2rs7VqB oyHDadjsGGd0nZ5FQvMkNRvg1d8kDYLmW955obFhh2xko5uxvovd0J8oPaeB43r9dNK0ltawXVDY4 BnbleIKsN9kV7Swani3SAv33iTVMhii/ar3uxvGzX4Nw5A8K3xOJ/kJdALOWGrni3EdD8V49075St 2XZq7r9ZQ==; Received: from localhost ([::1] helo=merlin.infradead.org) by merlin.infradead.org with esmtp (Exim 4.92.3 #3 (Red Hat Linux)) id 1l1wFC-00011E-6U; Tue, 19 Jan 2021 19:00:46 +0000 Received: from mail.kernel.org ([198.145.29.99]) by merlin.infradead.org with esmtps (Exim 4.92.3 #3 (Red Hat Linux)) id 1l1wF9-00010k-Ld for linux-arm-kernel@lists.infradead.org; Tue, 19 Jan 2021 19:00:44 +0000 Received: by mail.kernel.org (Postfix) with ESMTPSA id 8BAF020776; Tue, 19 Jan 2021 19:00:40 +0000 (UTC) Date: Tue, 19 Jan 2021 19:00:38 +0000 From: Catalin Marinas To: Andrey Konovalov Subject: Re: [PATCH v4 5/5] arm64: mte: Inline mte_assign_mem_tag_range() Message-ID: <20210119190037.GB26948@gaia> References: <20210118183033.41764-1-vincenzo.frascino@arm.com> <20210118183033.41764-6-vincenzo.frascino@arm.com> <20210119144459.GE17369@gaia> <1bb4355f-4341-21a7-0a53-a4a27840adee@arm.com> MIME-Version: 1.0 Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.10.1 (2018-07-13) X-CRM114-Version: 20100106-BlameMichelson ( TRE 0.8.0 (BSD) ) MR-646709E3 X-CRM114-CacheID: sfid-20210119_140043_871145_152896CA X-CRM114-Status: GOOD ( 33.26 ) X-BeenThere: linux-arm-kernel@lists.infradead.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: Branislav Rankov , Marco Elver , Evgenii Stepanov , LKML , kasan-dev , Alexander Potapenko , Linux ARM , Andrey Ryabinin , Vincenzo Frascino , Will Deacon , Dmitry Vyukov Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Sender: "linux-arm-kernel" Errors-To: linux-arm-kernel-bounces+linux-arm-kernel=archiver.kernel.org@lists.infradead.org On Tue, Jan 19, 2021 at 07:12:40PM +0100, Andrey Konovalov wrote: > On Tue, Jan 19, 2021 at 4:45 PM Vincenzo Frascino > wrote: > > On 1/19/21 2:45 PM, Catalin Marinas wrote: > > > On Mon, Jan 18, 2021 at 06:30:33PM +0000, Vincenzo Frascino wrote: > > >> mte_assign_mem_tag_range() is called on production KASAN HW hot > > >> paths. It makes sense to inline it in an attempt to reduce the > > >> overhead. > > >> > > >> Inline mte_assign_mem_tag_range() based on the indications provided at > > >> [1]. > > >> > > >> [1] https://lore.kernel.org/r/CAAeHK+wCO+J7D1_T89DG+jJrPLk3X9RsGFKxJGd0ZcUFjQT-9Q@mail.gmail.com/ > > >> > > >> Cc: Catalin Marinas > > >> Cc: Will Deacon > > >> Signed-off-by: Vincenzo Frascino > > >> --- > > >> arch/arm64/include/asm/mte.h | 26 +++++++++++++++++++++++++- > > >> arch/arm64/lib/mte.S | 15 --------------- > > >> 2 files changed, 25 insertions(+), 16 deletions(-) > > >> > > >> diff --git a/arch/arm64/include/asm/mte.h b/arch/arm64/include/asm/mte.h > > >> index 237bb2f7309d..1a6fd53f82c3 100644 > > >> --- a/arch/arm64/include/asm/mte.h > > >> +++ b/arch/arm64/include/asm/mte.h > > >> @@ -49,7 +49,31 @@ long get_mte_ctrl(struct task_struct *task); > > >> int mte_ptrace_copy_tags(struct task_struct *child, long request, > > >> unsigned long addr, unsigned long data); > > >> > > >> -void mte_assign_mem_tag_range(void *addr, size_t size); > > >> +static inline void mte_assign_mem_tag_range(void *addr, size_t size) > > >> +{ > > >> + u64 _addr = (u64)addr; > > >> + u64 _end = _addr + size; > > >> + > > >> + /* > > >> + * This function must be invoked from an MTE enabled context. > > >> + * > > >> + * Note: The address must be non-NULL and MTE_GRANULE_SIZE aligned and > > >> + * size must be non-zero and MTE_GRANULE_SIZE aligned. > > >> + */ > > >> + do { > > >> + /* > > >> + * 'asm volatile' is required to prevent the compiler to move > > >> + * the statement outside of the loop. > > >> + */ > > >> + asm volatile(__MTE_PREAMBLE "stg %0, [%0]" > > >> + : > > >> + : "r" (_addr) > > >> + : "memory"); > > >> + > > >> + _addr += MTE_GRANULE_SIZE; > > >> + } while (_addr != _end); > > >> +} > > > > > > While I'm ok with moving this function to C, I don't think it solves the > > > inlining in the kasan code. The only interface we have to kasan is via > > > mte_{set,get}_mem_tag_range(), so the above function doesn't need to > > > live in a header. > > > > > > If you do want inlining all the way to the kasan code, we should > > > probably move the mte_{set,get}_mem_tag_range() functions to the header > > > as well (and ideally backed by some numbers to show that it matters). > > > > > > Moving it to mte.c also gives us more control on how it's called (we > > > have the WARN_ONs in place in the callers). > > > > > > > Based on the thread [1] this patch contains only an intermediate step to allow > > KASAN to call directly mte_assign_mem_tag_range() in future. At that point I > > think that mte_set_mem_tag_range() can be removed. > > > > If you agree, I would live the things like this to give to Andrey a chance to > > execute on the original plan with a separate series. > > I think we should drop this patch from this series as it's unrelated. > > I will pick it up into my future optimization series. Then it will be > easier to discuss it in the context. The important part that I needed > is an inlinable C implementation of mte_assign_mem_tag_range(), which > I now have with this patch. That's fine by me but we may want to add some forced-alignment on the addr and size as the loop here depends on them being aligned, otherwise it gets stuck. The mte_set_mem_tag_range() at least had a WARN_ON in place. Here we could do: addr &= MTE_GRANULE_MASK; size = ALIGN(size, MTE_GRANULE_SIZE); (or maybe trim "size" with MTE_GRANULE_MASK) That's unless the call places are well known and guarantee this alignment (only had a very brief look). -- Catalin _______________________________________________ linux-arm-kernel mailing list linux-arm-kernel@lists.infradead.org http://lists.infradead.org/mailman/listinfo/linux-arm-kernel