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=-10.4 required=3.0 tests=BAYES_00,DKIMWL_WL_HIGH, DKIM_SIGNED,DKIM_VALID,HEADER_FROM_DIFFERENT_DOMAINS,INCLUDES_PATCH, MAILING_LIST_MULTI,NICE_REPLY_A,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 D3708C433E0 for ; Tue, 19 Jan 2021 15:03:35 +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 853FB2312E for ; Tue, 19 Jan 2021 15:03:35 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 853FB2312E 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:Date:Message-ID:From: References:To:Subject:Reply-To:Content-ID:Content-Description:Resent-Date: Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Owner; bh=dAHTaU7xYhjyJXrIZHpp0speP+i2r45u6nebeXMrQEA=; b=EFCj7RJPi+2tVMUtR9D2jm4Iq DB/kboSlezJS6kf0cfhLJu49LB4cNt8fthug9wTOkyukEzklt+25DtU1sCffqWuQ50vc10bFXvQKb mlFPE2exBdXcjaNtHR02m7qiHSQdSvv4bGlq8hCSlbuoHKSJeY5p+0KFGOFxrxR8pYvNBnF+j8lFM vdwsW9MYRRmPkTyERifaBxh9PkYTl1Hc7GBeur3kdf67yT0XY4cUsXTeFTtrFcMZgb/PEboak+Udk B+07vb4teeVFxDAbLe3pNHIfOay+oV7Okii/nFoDiX9L7jk6PcuGygKrKxHeyHILf4NePL+CCzNtF 7PnHSQrmw==; Received: from localhost ([::1] helo=merlin.infradead.org) by merlin.infradead.org with esmtp (Exim 4.92.3 #3 (Red Hat Linux)) id 1l1sWA-0008Hh-Go; Tue, 19 Jan 2021 15:02:02 +0000 Received: from foss.arm.com ([217.140.110.172]) by merlin.infradead.org with esmtp (Exim 4.92.3 #3 (Red Hat Linux)) id 1l1sW7-0008Gt-4l for linux-arm-kernel@lists.infradead.org; Tue, 19 Jan 2021 15:01:59 +0000 Received: from usa-sjc-imap-foss1.foss.arm.com (unknown [10.121.207.14]) by usa-sjc-mx-foss1.foss.arm.com (Postfix) with ESMTP id 5911DD6E; Tue, 19 Jan 2021 07:01:58 -0800 (PST) Received: from [10.37.8.29] (unknown [10.37.8.29]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id 409AF3F66E; Tue, 19 Jan 2021 07:01:56 -0800 (PST) Subject: Re: [PATCH v4 3/5] kasan: Add report for async mode To: Mark Rutland References: <20210118183033.41764-1-vincenzo.frascino@arm.com> <20210118183033.41764-4-vincenzo.frascino@arm.com> <20210119130440.GC17369@gaia> <813f907f-0de8-6b96-c67a-af9aecf31a70@arm.com> <20210119144625.GB2338@C02TD0UTHF1T.local> From: Vincenzo Frascino Message-ID: Date: Tue, 19 Jan 2021 15:05:45 +0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0 MIME-Version: 1.0 In-Reply-To: <20210119144625.GB2338@C02TD0UTHF1T.local> Content-Language: en-US X-CRM114-Version: 20100106-BlameMichelson ( TRE 0.8.0 (BSD) ) MR-646709E3 X-CRM114-CacheID: sfid-20210119_100159_269263_60CC0B5D X-CRM114-Status: GOOD ( 26.34 ) 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 , Will Deacon , Catalin Marinas , linux-kernel@vger.kernel.org, kasan-dev@googlegroups.com, Alexander Potapenko , linux-arm-kernel@lists.infradead.org, Andrey Konovalov , Dmitry Vyukov , Andrey Ryabinin , Marco Elver , Evgenii Stepanov 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 1/19/21 2:46 PM, Mark Rutland wrote: > On Tue, Jan 19, 2021 at 02:23:03PM +0000, Vincenzo Frascino wrote: >> On 1/19/21 1:04 PM, Catalin Marinas wrote: >>> On Mon, Jan 18, 2021 at 06:30:31PM +0000, Vincenzo Frascino wrote: > >>>> +bool kasan_report_async(unsigned long addr, size_t size, >>>> + bool is_write, unsigned long ip); >>> >>> We have no address, no size and no is_write information. Do we have a >>> reason to pass all these arguments here? Not sure what SPARC ADI does >>> but they may not have all this information either. We can pass ip as the >>> point where we checked the TFSR reg but that's about it. >> >> I kept the interface generic for future development and mainly to start a >> discussion. I do not have a strong opinion either way. If Andrey agrees as well >> I am happy to change it to what you are suggesting in v5. > > For now, I think it's preferable that this only has parameters that we > can actually provide. That way it's clearer what's going on in both > callers and callees, and we can always rework the prototype later or add > separate variants of the function that can take additional parameters. > > I don't think we even need to use __kasan_report() -- more on that > below. > > [...] > >>>> @@ -388,11 +388,11 @@ static void __kasan_report(unsigned long addr, size_t size, bool is_write, >>>> start_report(&flags); >>>> >>>> print_error_description(&info); >>>> - if (addr_has_metadata(untagged_addr)) >>>> + if (addr_has_metadata(untagged_addr) && (untagged_addr != 0)) >>>> print_tags(get_tag(tagged_addr), info.first_bad_addr); >>>> pr_err("\n"); >>>> >>>> - if (addr_has_metadata(untagged_addr)) { >>>> + if (addr_has_metadata(untagged_addr) && (untagged_addr != 0)) { >>>> print_address_description(untagged_addr, get_tag(tagged_addr)); >>>> pr_err("\n"); >>>> print_memory_metadata(info.first_bad_addr); >>>> @@ -419,6 +419,18 @@ bool kasan_report(unsigned long addr, size_t size, bool is_write, >>>> return ret; >>>> } >>>> >>>> +bool kasan_report_async(unsigned long addr, size_t size, >>>> + bool is_write, unsigned long ip) >>>> +{ >>>> + pr_info("==================================================================\n"); >>>> + pr_info("KASAN: set in asynchronous mode\n"); >>>> + pr_info("KASAN: some information might not be accurate\n"); >>>> + pr_info("KASAN: fault address is ignored\n"); >>>> + pr_info("KASAN: write/read distinction is ignored\n"); >>>> + >>>> + return kasan_report(addr, size, is_write, ip); >>> >>> So just call kasan_report (0, 0, 0, ip) here. > > Given there's no information available, I think it's simpler and > preferable to handle the logging separately, as is done for > kasan_report_invalid_free(). For example, we could do something roughly > like: > > void kasan_report_async(void) > { > unsigned long flags; > > start_report(&flags); > pr_err("BUG: KASAN: Tag mismatch detected asynchronously\n"); > pr_err("KASAN: no fault information available\n"); > dump_stack(); > end_report(&flags); > } > > ... which is easier to consume, since there's no misleading output, > avoids complicating the synchronous reporting path, and we could > consider adding information that's only of use for debugging > asynchronous faults here. > > Since the callside is logged in the backtrace, we don't even need the > synthetic IP parameter. > Agree, especially because I tend to not like to rely on compiler builtins and what you proposed solves the problem ;) I will refactor my code once Andrey had a chance to take a look as well. > Thanks, > Mark. > -- Regards, Vincenzo _______________________________________________ linux-arm-kernel mailing list linux-arm-kernel@lists.infradead.org http://lists.infradead.org/mailman/listinfo/linux-arm-kernel