Received: by 2002:ac0:a581:0:0:0:0:0 with SMTP id m1-v6csp7879099imm; Thu, 28 Jun 2018 10:42:54 -0700 (PDT) X-Google-Smtp-Source: ADUXVKLav6jdY4MA3j/kx/pmsmI8Pww2dvPKT3qrkmiAxHj6KUHhFrhFurXz/pYAnQiXQfjC4+jh X-Received: by 2002:a17:902:14b:: with SMTP id 69-v6mr11486085plb.184.1530207774551; Thu, 28 Jun 2018 10:42:54 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1530207774; cv=none; d=google.com; s=arc-20160816; b=mN6boGU8xWhDzuWSJs7dLUJGfe7mpEkwo3bMuiP29pndltGZswCbKKenMy89a112Cf 7LWyJzccpmD0V9SLBcldyH37e2bIXtZmE4VSGa58Be1/+nnFWmAU8PvQCFFChI3s0+Oq omslDZ15kM37Ld7HT4H53hAxrkv3atAounq8bhJAMDwBc3fJfOtqhrX+u07/QIzgoxsM 172bote2YiPrzmUjevDgf4aTUQYtYl5b43m5/beWWXF1iE0WeLOMn14gGCys52y2iwBs UeOaHnF4ZMJjTi6LoUIsuErnT8vjZ6/tmX7wf7wDP29e/Jo+qh4+dRssxwdtzOdPRm0S Y/9g== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:user-agent:in-reply-to :content-disposition:mime-version:references:message-id:subject:cc :to:from:date:dkim-signature:arc-authentication-results; bh=czgCCwu5w8+Is78rh064XF2WOlg+3jlPMkGkQxjSbgI=; b=Y8VP3aDu7tJ0pnzwVercWFG6UrM6Ng69XL+86ZEGBw0sqamlPg7PqoUTbP9zv+GVSA rs4MYSXtQyBepKBLrNskoImiE764uZcooQULVbQSDxLrU2YVV6UalL+uWdfcDc9MqRT+ Hbdav99s3Cu10lrwJA4Uz55IAcfCj/d1aMJ4naxFtNnbN/MZYbLZ91K9ce1b2eF9jHIS 7iFh+ekH22bGClNnm2zennRBUe2/7nVJxhrpoaCE6tU3GP4s/Mc78aTaZOz2ocdVAqDh 5hcHeauyRm19K0DZkOGHnIJTJjl3oxYo3IeA66qkScHRo4ZZFcVdzpmcRrLadWbTaQKC d+mg== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@amarulasolutions.com header.s=google header.b=dMOodLTe; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id w5-v6si6939969plq.112.2018.06.28.10.42.25; Thu, 28 Jun 2018 10:42:54 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; dkim=pass header.i=@amarulasolutions.com header.s=google header.b=dMOodLTe; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S965961AbeF1NLC (ORCPT + 99 others); Thu, 28 Jun 2018 09:11:02 -0400 Received: from mail-wr0-f193.google.com ([209.85.128.193]:42355 "EHLO mail-wr0-f193.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S965245AbeF1NK5 (ORCPT ); Thu, 28 Jun 2018 09:10:57 -0400 Received: by mail-wr0-f193.google.com with SMTP id p1-v6so5472618wrs.9 for ; Thu, 28 Jun 2018 06:10:57 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=amarulasolutions.com; s=google; h=date:from:to:cc:subject:message-id:references:mime-version :content-disposition:in-reply-to:user-agent; bh=czgCCwu5w8+Is78rh064XF2WOlg+3jlPMkGkQxjSbgI=; b=dMOodLTe7fotjawJjvny6HiMZLMx4DiUPptbG2rckHkpqbSKU+HECKwlv9SoW4MO+m 4fyjdoALBvwfK5XCGclBc65BtlJWrpu5HOqI7gYGUYAumYCNGsj8pCFZmBRXibsxD7xp eXpx3R8yDWjQMu1U+9UiyQnVKJfnf/NfWqt6g= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:cc:subject:message-id:references :mime-version:content-disposition:in-reply-to:user-agent; bh=czgCCwu5w8+Is78rh064XF2WOlg+3jlPMkGkQxjSbgI=; b=WRbCwjB7n7mw+G7IvqcBa9Ow++nb5Dja8BJJbViZzP3+KQhousmJ7jagNJsZ6bZs8m 6Lj3GCSQatuWBo8T+O+EVVMKbCvtI0aXRwrwUnp0vOxVYh1djrFhH9ELUzR9sN/al8Gj wEDImm7oxMrMRrxldRw7WGDwn96R7cNFOg9MNsxNwGSdCwseSCtu2JF3K0xjX4bGdVAU ap1OhTRDNDPdq5D92yjNcgFktcpopKnta2PVopFpPEUgCseqrhLLLGozbG987lZc6p7V bMp79qwsDWshDgAau3q9J4A/MJeTIelsFm5mwnaXn/oruosLl5+Nq9xEI+/NkzYKm6gm 0TQg== X-Gm-Message-State: APt69E2Wwnr0qABtqPfHAiDvH+nbU+8+2ezC3U6urvG4dMOFB9dr5avS X7DMWoainL/Kii/gMDjwGjaqPQ== X-Received: by 2002:adf:f282:: with SMTP id k2-v6mr8259761wro.263.1530191456432; Thu, 28 Jun 2018 06:10:56 -0700 (PDT) Received: from andrea (85.100.broadband17.iol.cz. [109.80.100.85]) by smtp.gmail.com with ESMTPSA id o17-v6sm6723397wrp.62.2018.06.28.06.10.55 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 28 Jun 2018 06:10:55 -0700 (PDT) Date: Thu, 28 Jun 2018 15:10:49 +0200 From: Andrea Parri To: Matthew Wilcox Cc: linux-kernel@vger.kernel.org, linux-doc@vger.kernel.org, Peter Zijlstra , Ingo Molnar , Will Deacon , Alan Stern , Boqun Feng , Nicholas Piggin , David Howells , Jade Alglave , Luc Maranget , "Paul E . McKenney" , Akira Yokosawa , Daniel Lustig , Jonathan Corbet , Randy Dunlap Subject: Re: [PATCH 2/3] locking: Clarify requirements for smp_mb__after_spinlock() Message-ID: <20180628131049.GA14956@andrea> References: <1530182480-13205-1-git-send-email-andrea.parri@amarulasolutions.com> <1530182480-13205-3-git-send-email-andrea.parri@amarulasolutions.com> <20180628130258.GF7646@bombadil.infradead.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20180628130258.GF7646@bombadil.infradead.org> User-Agent: Mutt/1.5.24 (2015-08-30) Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Hi Matthew, On Thu, Jun 28, 2018 at 06:02:58AM -0700, Matthew Wilcox wrote: > On Thu, Jun 28, 2018 at 12:41:19PM +0200, Andrea Parri wrote: > > + * smp_mb__after_spinlock() provides a full memory barrier between po-earlier > > + * lock acquisitions and po-later memory accesses. > > What does po-earlier mean? Partial order? "po" was intended as an abbreviation for "program order"; I should have kept the whole form..., thank you for the feedback. Andrea >