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 Received: from vger.kernel.org (vger.kernel.org [23.128.96.18]) by smtp.lore.kernel.org (Postfix) with ESMTP id 7EB39C678D4 for ; Tue, 7 Mar 2023 11:36:48 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S230515AbjCGLgr (ORCPT ); Tue, 7 Mar 2023 06:36:47 -0500 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:38142 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S231139AbjCGLgn (ORCPT ); Tue, 7 Mar 2023 06:36:43 -0500 Received: from desiato.infradead.org (desiato.infradead.org [IPv6:2001:8b0:10b:1:d65d:64ff:fe57:4e05]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 5CF7D298CE; Tue, 7 Mar 2023 03:36:19 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=infradead.org; s=desiato.20200630; h=In-Reply-To:Content-Transfer-Encoding: Content-Type:MIME-Version:References:Message-ID:Subject:Cc:To:From:Date: Sender:Reply-To:Content-ID:Content-Description; bh=BVGCRdlhXoJzmQdf8XCmE7+QIsrubV9w+1i9PXTee9Q=; b=AtCcCdOUx85ga5lHlCmY0z81qz 2tmPFeofVlDLYKOOg/L8sNg9UjNMazGTqOBNu1Wb/hnLZwth8w08sMGf9PKN/bsltVpCyiKZpsGkZ 01AdlAKXcSQAJtgmXrfbgE4cm1FkFd2EtIx6Do9mmhCPTl3/lvnIooUlaROXxvOLOiPSjPNKKDNaH 56j7TAwdl2hA28zqjHt/oyyHidVbLh2Pfz9Z3Hsk09SaJOMrVDX3wPx9UO2qBLIDsrNLKo6C5pVsu Gqbm1k00C0tM5lvmzMb7rtadzTYT0ehEHEISdsDRwhNgCLmJ/zBQcsWZWQ57eKT4xGB4oQZrNJejc UaRQxNLw==; Received: from j130084.upc-j.chello.nl ([24.132.130.84] helo=noisy.programming.kicks-ass.net) by desiato.infradead.org with esmtpsa (Exim 4.96 #2 (Red Hat Linux)) id 1pZVbf-00H1sR-25; Tue, 07 Mar 2023 11:35:47 +0000 Received: from hirez.programming.kicks-ass.net (hirez.programming.kicks-ass.net [192.168.1.225]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by noisy.programming.kicks-ass.net (Postfix) with ESMTPS id 8966830031E; Tue, 7 Mar 2023 12:35:45 +0100 (CET) Received: by hirez.programming.kicks-ass.net (Postfix, from userid 1000) id 629FA23A1D2ED; Tue, 7 Mar 2023 12:35:45 +0100 (CET) Date: Tue, 7 Mar 2023 12:35:45 +0100 From: Peter Zijlstra To: Nick Desaulniers Cc: Stephane Eranian , linux-kernel@vger.kernel.org, tony.luck@intel.com, reinette.chatre@intel.com, fenghua.yu@intel.com, peternewman@google.com, james.morse@arm.com, babu.moger@amd.com, ananth.narayan@amd.com, vschneid@redhat.com, Nathan Chancellor , clang-built-linux , Borislav Petkov , Linus Torvalds , "H. Peter Anvin" , linux-toolchains@vger.kernel.org Subject: Re: [PATCH] x86/resctrl: avoid compiler optimization in __resctrl_sched_in Message-ID: <20230307113545.GB2017917@hirez.programming.kicks-ass.net> References: <20230303231133.1486085-1-eranian@google.com> <20230306120106.GE1267364@hirez.programming.kicks-ass.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: Precedence: bulk List-ID: X-Mailing-List: linux-toolchains@vger.kernel.org On Mon, Mar 06, 2023 at 04:16:52PM -0800, Nick Desaulniers wrote: > Start of Lore thread: > https://lore.kernel.org/lkml/20230303231133.1486085-1-eranian@google.com/ > > On Mon, Mar 6, 2023 at 4:01 AM Peter Zijlstra wrote: > > > > On Fri, Mar 03, 2023 at 03:11:33PM -0800, Stephane Eranian wrote: > > > > > The problem is located in the __resctrl_sched_in() routine which rewrites > > > the active closid via the PQR_ASSOC register. Because this is an expensive > > > operation, the kernel only does it when the context switch involves tasks > > > with different CLOSID. And to check that, it needs to access the current > > > task's closid field using current->closid. current is actually a macro > > > that reads the per-cpu variable pcpu_hot.current_task. > > > > > > After an investigation by compiler experts, the problem has been tracked down > > > to the usage of the get_current() macro in the __resctrl_sched_in() code and > > > in particular the per-cpu macro: > > > > > > static __always_inline struct task_struct *get_current(void) > > > { > > > return this_cpu_read_stable(pcpu_hot.current_task); > > > } > > > > > > And as per percpu.h: > > > > > > /* > > > * this_cpu_read() makes gcc load the percpu variable every time it is > > > * accessed while this_cpu_read_stable() allows the value to be cached. > > > * this_cpu_read_stable() is more efficient and can be used if its value > > > * is guaranteed to be valid across cpus. The current users include > > > * get_current() and get_thread_info() both of which are actually > > > * per-thread variables implemented as per-cpu variables and thus > > > * stable for the duration of the respective task. > > > */ > > > > > > The _stable version of the macro allows the value to be cached, meaning it > > > does not force a reload. > > > > Right, so afaict the difference between this_cpu_read() and > > this_cpu_read_stable() is the volatile qualifier. > > > > this_cpu_read() is asm volatile(), while this_cpu_read_stable() and > > raw_cpu_read() are both an unqualified asm(). > > > > Now, afaiu we're inlining all of this into __switch_to(), which has > > raw_cpu_write(pcpu_hot.current_task, next_p). > > > > And I suppose what the compiler is doing is lifting the 'current' load > > over that store, but how is it allowed that? I thought C was supposed to > > have PO consistency, That raw_cpu_write() should be seen as a store to > > to pcpu_hot.current_task, why can it lift a load over the store? > > > > Specifically, percpu_to_op() has a "+m" output constaint while > > percpu_stable_op() has a "p" input constraint on the same address. > > I definitely think the issue is specific to "p" constraints. > https://godbolt.org/z/34YeG6WbY is the test case I reduced which I > think demonstrates the issue. > > https://reviews.llvm.org/D145416 > -> click "Show Older Changes" for the ongoing discussion. So per that summary, I'm going to nit-pick and state we very much want CSE. CSE good. What we don't want it violating store-load ordering. > I don't have a satisfactory answer yet, but am looking into this. Oh, geez, what a twisty tale that... So Linus knew back in '09 that "p" was icky, but it sorta was the only thing and it 'worked' -- until now :/ Is there a way to explicitly order these things? barrier() obviously isn't going to help here. So ideally we'd get something that respects the whole store-load ordering but still allows agressive CSE. And works for both toolchains. Small ask, I know :-)