Received: by 2002:a05:6a10:5bc5:0:0:0:0 with SMTP id os5csp1104630pxb; Tue, 26 Oct 2021 02:53:47 -0700 (PDT) X-Google-Smtp-Source: ABdhPJyGVsUgq7y10gwNsMSW1BzgDwskNkauxwIdXeeI3O0/ht02e4pwmO/LfUO17fQaVpNhruIw X-Received: by 2002:a05:6a00:16cb:b0:44b:bd38:e068 with SMTP id l11-20020a056a0016cb00b0044bbd38e068mr24865952pfc.34.1635242027636; Tue, 26 Oct 2021 02:53:47 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1635242027; cv=none; d=google.com; s=arc-20160816; b=RtX7WY8qh9s8N2iLJiGcvyNzJ7kFEjY+U/Cd2+uDqiZfoR+NlXFqSQXqpqjDPLIhFu ePWlUejd90KP/QS9WGMyE+CXL6Tk1DmghJ9UWZ0QtsusmQxHdzdAEP1yJT9Un6/q9SWG l9fQJpuWqdYWURLoGXkMnMXPKrfe/nV0y/v+Pwa22ZmQpqLgF9yxzuSrHjm559QTMA7L 1cCCcIXuFZvvaFADQOTXElHRV9BuKJLHoU+Mpi8hPzEgiwFgP0CpFuVRT3EjoFSn0z82 jWFxmD0+n8P2anW+8gGGf3wSsuuA68QPKn9nEp/etu2E7iBWwKgt25GSQFOHTAiUHLbz XE2g== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:in-reply-to:content-disposition:mime-version :references:message-id:subject:cc:to:from:date:dkim-signature; bh=yOVnpOO/5xsqTdBpo8mL+Ltjo2bLl6z6mBz9wfQs/DU=; b=Atq4iAtFVwzGpeX2hGOAp6kovQ1JNYWiZPul+Hx1QcecGD/prhsd701hAWpgzTjjxI wT4W1LKV7D5vJIVziFusjhXbn15Ze3iVdAst1JGfBFYaIE2icWLPGidF0iXIvNVtCYSq 0DX6/nzxdWQkGRCtY9lwBPGlfSRI4LB+6RjNCEvwJt27HFKdwFdF0VP/WcPU833Be49Z pCzYigKpwW68N63kIbpESOhG8mkYugLPepnoqNPjyiu2Ie1VP1CUqNUV6jXFxFds/P+P 817hF1GuJ6iS7PvWdvJlUH2YeBj2j5gSv0F7EZjatn0+QR+XXp0Srov+7GJCGudytY9u su1A== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@infradead.org header.s=casper.20170209 header.b=ks6XJRXZ; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id mp9si111720pjb.182.2021.10.26.02.53.32; Tue, 26 Oct 2021 02:53:47 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; dkim=pass header.i=@infradead.org header.s=casper.20170209 header.b=ks6XJRXZ; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S234563AbhJZHFd (ORCPT + 99 others); Tue, 26 Oct 2021 03:05:33 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:38338 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S234545AbhJZHFc (ORCPT ); Tue, 26 Oct 2021 03:05:32 -0400 Received: from casper.infradead.org (casper.infradead.org [IPv6:2001:8b0:10b:1236::1]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id DB13DC061745; Tue, 26 Oct 2021 00:03:08 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=infradead.org; s=casper.20170209; h=In-Reply-To:Content-Type:MIME-Version: References:Message-ID:Subject:Cc:To:From:Date:Sender:Reply-To: Content-Transfer-Encoding:Content-ID:Content-Description; bh=yOVnpOO/5xsqTdBpo8mL+Ltjo2bLl6z6mBz9wfQs/DU=; b=ks6XJRXZ5y+5VZcS3b5DVFHuqj R9oUANLsSYe37eQrtvDX126RQYf+lPZEPWmvuhGQ4o356l9iBFF8829wsy8egyeDwSlvnKtazLWAa mCnwksJ2D17DCw8nZDGUolL1V3Q0NGVaY5a7DH0Ydl1Yfyksisj36ZT6ZJkAUI+Dgz11z8HvHK0Ch CqQFlapn7fuBIgJ8k9v0WwRZofbEIP/zn/q0Kj/cAaEMAAwCOmCRopc4wdJA+eMitPQf99ZXJcwWI NnX4/cewNHYkbaDUhtT+Pi8gZPkfljpCLmW+ez/EuIuYXH1FyNa9VRw+k7Vo4H+UO+idBmtkfdTNA Zi8WWM0Q==; Received: from j217100.upc-j.chello.nl ([24.132.217.100] helo=noisy.programming.kicks-ass.net) by casper.infradead.org with esmtpsa (Exim 4.94.2 #2 (Red Hat Linux)) id 1mfGQK-00GfiF-3E; Tue, 26 Oct 2021 06:59:21 +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 (2048 bits) server-digest SHA256) (Client did not present a certificate) by noisy.programming.kicks-ass.net (Postfix) with ESMTPS id 5BB443001BF; Tue, 26 Oct 2021 08:59:01 +0200 (CEST) Received: by hirez.programming.kicks-ass.net (Postfix, from userid 1000) id 388392D80369E; Tue, 26 Oct 2021 08:59:01 +0200 (CEST) Date: Tue, 26 Oct 2021 08:59:01 +0200 From: Peter Zijlstra To: Boqun Feng Cc: linux-kernel@vger.kernel.org, linux-arch@vger.kernel.org, linux-doc@vger.kernel.org, "Paul E . McKenney " , Dan Lustig , Will Deacon , Linus Torvalds , Alexander Shishkin , Peter Anvin , Andrea Parri , Ingo Molnar , Vince Weaver , Thomas Gleixner , Jiri Olsa , Arnaldo Carvalho de Melo , Stephane Eranian , palmer@dabbelt.com, paul.walmsley@sifive.com, mpe@ellerman.id.au, Jonathan Corbet Subject: Re: [RFC v2 0/3] memory model: Make unlock(A)+lock(B) on the same CPU RCtso Message-ID: References: <20211025145416.698183-1-boqun.feng@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20211025145416.698183-1-boqun.feng@gmail.com> Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Mon, Oct 25, 2021 at 10:54:13PM +0800, Boqun Feng wrote: > Boqun Feng (3): > tools/memory-model: Provide extra ordering for unlock+lock pair on the > same CPU > tools/memory-model: doc: Describe the requirement of the litmus-tests > directory > tools/memory-model: litmus: Add two tests for unlock(A)+lock(B) > ordering I'm obviously all in favour of this :-) Acked-by: Peter Zijlstra (Intel)