Received: by 10.223.185.116 with SMTP id b49csp149228wrg; Thu, 8 Mar 2018 14:35:25 -0800 (PST) X-Google-Smtp-Source: AG47ELt0aMdU3q0qp7UmPzooV4iDH0nPlXkIFfkkrR8FiE7+FXltavzrCp4BOUY25uQbqK5yWFVZ X-Received: by 10.99.173.3 with SMTP id g3mr23019581pgf.213.1520548525835; Thu, 08 Mar 2018 14:35:25 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1520548525; cv=none; d=google.com; s=arc-20160816; b=mOJUSF1LcuB6Uy9p4m/3rUEV82wh7oTUtJ5hdSuGKl3Pexzz23GZ/wOQyI/uQ8aVJs 8/K+4T2mk/pa/YzI0uQi6otECrql9uVnI7YHlYfaHa35NA5QQjOpJbyHC8wD2qaIYyiO IDM1zb+wKeOKgdS7hZ0Oqs0eXHGrNYn+KovH9gRWV1KbNmf30v7xnM3yQzYMm6nqBVHR 64yRuFKcYa+st8Sq9CZuLCgeZAP/od7uPiJV0AVMZRa38XIrUUE8gYW1Dvqqitv8cITt kx0xmUJJd5Z4YKDzuSK2n/swFKlQMKkeKDDBU68uMVuXo3OLX1CgqQJkWkLBcEktNqsf VXMQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:content-transfer-encoding:mime-version :message-id:to:from:cc:in-reply-to:subject:date:dkim-signature :arc-authentication-results; bh=tfmkhDDyuwNt6GLQK4zy1ZBxjiMnXBRzfSMjeO3hQg4=; b=pFBwIGPHNLv1KiaP8qAMpItrXftK82YbahEV7cq0jdGVwEwWXZM/co1O+ubTaYTTNk zLjkXSud8oiJV9XEPQQ6el3sx6zQAhXM0GQU0ngvIwhbVlWZnw2aUVICrITdICbuF2IM zqUaYGPjvDKNyMj5U0Wmx+C70bdbt+NcDOuOs3w0Qu7qYCzBBlNs4jTeteYddGL+5b5c QqFyT8upN0KEd7GwlwFPejs7+v+E4e1g5K+bDFvTHDxp793TYzRDgAqJkq4NfZQJOvS1 JP/AtOq5+t3brEpdMCLM7xEzBWQGEDtpSNmoHfizmeIgIKy0bdZALLNmPzNc4fFIGNy3 T5Mg== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@sifive.com header.s=google header.b=MMjGEeli; 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 c136si8038252pga.318.2018.03.08.14.35.10; Thu, 08 Mar 2018 14:35:25 -0800 (PST) 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=@sifive.com header.s=google header.b=MMjGEeli; 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 S1750908AbeCHWLO (ORCPT + 99 others); Thu, 8 Mar 2018 17:11:14 -0500 Received: from mail-pf0-f194.google.com ([209.85.192.194]:45893 "EHLO mail-pf0-f194.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1750713AbeCHWLN (ORCPT ); Thu, 8 Mar 2018 17:11:13 -0500 Received: by mail-pf0-f194.google.com with SMTP id h19so472031pfd.12 for ; Thu, 08 Mar 2018 14:11:13 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sifive.com; s=google; h=date:subject:in-reply-to:cc:from:to:message-id:mime-version :content-transfer-encoding; bh=tfmkhDDyuwNt6GLQK4zy1ZBxjiMnXBRzfSMjeO3hQg4=; b=MMjGEeliLuTNDz7xBw1fq/vH4Dfknlrc0BcZMlCLfR6L+Vo5RR+oluQnFjs4yOHpAN gx49pB/s73WgcYHXK19VLykBcpnFtWuZqvWdrrrCfEISdqawcrCm8GdwBbjKFYTj5xlX 8dy2l3mMFV3cZuQ4x1OlJKPuQRZCAGk+63z7zVaafDTJG99MoP3BDQGqvz7LwAKUTiuR YhU3fWnpKL30dFsiamhU/gnHci/ZdanFkxn96V16sZxZ9KOR41QAl26iDeONf+mQC8fv ppSQmGzNoe+cTsO6n9GWKvD+il4m7qzoYH3YZ+a1J8EnIB7vJEmF74lcobCHzo/X2dEb ngdw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:subject:in-reply-to:cc:from:to:message-id :mime-version:content-transfer-encoding; bh=tfmkhDDyuwNt6GLQK4zy1ZBxjiMnXBRzfSMjeO3hQg4=; b=Az+cHg0Lq5369M5GxDUn8W56yQOgwE7zszt7gnRVpN5/2BLCxFTbQiXbF3Eq6dBpGI 6UMJNBu+Gi7P/CoHzsgGDsCEm5x8QgwXxRy9NJPXFnQ6kyQawqKXt95TRfcVGb4d6tAa QLtaYJ2vvtq1nbAp1ZQnHVkyeVHlfvqkOEtr+dj2TLkaI9oxR0FZYwwEh0Yg1LUBiKgL J2NJzUcdidUs8UPX2KP/fa2Jkgn6e2ZxfnL43IndRFp0rwsAIlDgUNqXLpWqaA6lLtwq SrsUa21P/KdOJR7W91uW7krCY85rQX4yJby0vQMq9p7ueKVQSYe4ZEBCMh55poMyBHCJ inHg== X-Gm-Message-State: APf1xPA58bbAQAsGO8wi2PWgV8BlZdFeJ2ZyygexncJWsNkdglJrBRkR pTpmf+X4+7eRuGV+1JMidAiBqQ== X-Received: by 10.101.86.198 with SMTP id w6mr22069863pgs.434.1520547072822; Thu, 08 Mar 2018 14:11:12 -0800 (PST) Received: from localhost ([12.206.222.5]) by smtp.gmail.com with ESMTPSA id u27sm43138696pfk.172.2018.03.08.14.11.11 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 08 Mar 2018 14:11:12 -0800 (PST) Date: Thu, 08 Mar 2018 14:11:12 -0800 (PST) X-Google-Original-Date: Thu, 08 Mar 2018 14:08:33 PST (-0800) Subject: Re: [RFC PATCH 1/2] riscv/spinlock: Strengthen implementations with fences In-Reply-To: <20180308210303.GA2897@andrea> CC: albert@sifive.com, Daniel Lustig , stern@rowland.harvard.edu, Will Deacon , peterz@infradead.org, boqun.feng@gmail.com, npiggin@gmail.com, dhowells@redhat.com, j.alglave@ucl.ac.uk, luc.maranget@inria.fr, paulmck@linux.vnet.ibm.com, akiyks@gmail.com, mingo@kernel.org, Linus Torvalds , linux-riscv@lists.infradead.org, linux-kernel@vger.kernel.org From: Palmer Dabbelt To: parri.andrea@gmail.com Message-ID: Mime-Version: 1.0 (MHng) Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Thu, 08 Mar 2018 13:03:03 PST (-0800), parri.andrea@gmail.com wrote: > On Wed, Mar 07, 2018 at 10:33:49AM -0800, Palmer Dabbelt wrote: > > [...] > >> I'm going to go produce a new set of spinlocks, I think it'll be a bit more >> coherent then. >> >> I'm keeping your other patch in my queue for now, it generally looks good >> but I haven't looked closely yet. > > Patches 1 and 2 address a same issue ("release-to-acquire"); this is also > expressed, more or less explicitly, in the corresponding commit messages: > it might make sense to "queue" them together, and to build the new locks > on top of these (even if this meant "rewrite all of/a large portion of > spinlock.h"...). I agree. IIRC you had a fixup to the first pair of patches, can you submit a v2?