Received: by 2002:ab2:6816:0:b0:1f9:5764:f03e with SMTP id t22csp10495lqo; Wed, 15 May 2024 18:43:41 -0700 (PDT) X-Forwarded-Encrypted: i=3; AJvYcCVmPuHB9ve8NxTuyZDWv6A5m1crlq3ZJjnod6If7Y0a1d4VOfnzpvspr8hmuBOyul6ucD/zAi+7O7OeeRaGC2awIez8vjVTUtrBHMEX7g== X-Google-Smtp-Source: AGHT+IFRIH+ECXPjRDuMwS/z7IU1Q21mVPTrpsnnBOcUmUbZOCAdSrxKgZasxaW0iTwx0zI6beys X-Received: by 2002:a05:6a00:3c91:b0:6ec:ef1c:4dcd with SMTP id d2e1a72fcca58-6f4df3d7edbmr25356414b3a.6.1715823821509; Wed, 15 May 2024 18:43:41 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1715823821; cv=pass; d=google.com; s=arc-20160816; b=eTuGtBYvw+jXP4gAYfXx5W+tiW3gtczpl5pOHcwgPq183eSL+nfckScAQPY3HVEYIU aguNXXIkuND2lXqkbNwCDra8kIGy3bQ6JgDGFR90zGDcSCHwkJYc9sqVjrinczruC8Xz WNRvMJGt31/OmsPDVOlvuOsSien9u5Fbz2f/N2sZMPsdSq2KJyBs/pptbM5GUWamvj0E qnBBiN5ySlUF/aghdM0DGyqQlpD8GZr68Lg5FPS/uetnvLlvf8BNYURBCuNZIrHU4TSI 7WnVOhnMYztGQJCFHlFR66F96HqhwjkHIUIUBngOqWuGKMyky8nE7nOZHyne/NmBtd22 nomw== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-disposition:mime-version:list-unsubscribe:list-subscribe :list-id:precedence:message-id:subject:cc:to:from:date; bh=0ByM2rqrmmQkPFCGds/CKkyptr4Jqzj+CRY+O+ds2aM=; fh=SQJ64KRruatd6msq7D7H3LcHA/qL/glN0PlsP1EfHIE=; b=nNZ4xuEpDoyKzk65ujSYL7IE6ncpG1YnGfEbvWy2HdYetNjYCRjWBNGvP7wWKDR6Bl TwTeLGHEuy6DU7VDYXgdXUN0HL5ZNR2cZzmsqmAUgL0QgkZlxSBF7EWmyXOu7PI/s7AA Nwuut7ADI4wH8xroWrIUeO2g6WJz5tCQeSGEJG4SV0lalkkZ4IxqMAtB+FDtG2wby6oM ILxW+yc3IycrdYR1BAtp50zBkrHEknZp1oVmLEXjtNveUWs6a86jipgMRZNvy+ZxH0gs IHZOT6ZhMHPlfpcJpWHUA+vCqtk+TkQNtaV+dsrKjeAgkhytc8v1udROd1smqN4JVQ5s c5Ng==; dara=google.com ARC-Authentication-Results: i=2; mx.google.com; arc=pass (i=1 spf=pass spfdomain=netrider.rowland.org); spf=pass (google.com: domain of linux-kernel+bounces-180553-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:40f1:3f00::1 as permitted sender) smtp.mailfrom="linux-kernel+bounces-180553-linux.lists.archive=gmail.com@vger.kernel.org"; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=harvard.edu Return-Path: Received: from sy.mirrors.kernel.org (sy.mirrors.kernel.org. [2604:1380:40f1:3f00::1]) by mx.google.com with ESMTPS id d2e1a72fcca58-6f4d2a72744si15062637b3a.6.2024.05.15.18.43.41 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 15 May 2024 18:43:41 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel+bounces-180553-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:40f1:3f00::1 as permitted sender) client-ip=2604:1380:40f1:3f00::1; Authentication-Results: mx.google.com; arc=pass (i=1 spf=pass spfdomain=netrider.rowland.org); spf=pass (google.com: domain of linux-kernel+bounces-180553-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:40f1:3f00::1 as permitted sender) smtp.mailfrom="linux-kernel+bounces-180553-linux.lists.archive=gmail.com@vger.kernel.org"; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=harvard.edu Received: from smtp.subspace.kernel.org (wormhole.subspace.kernel.org [52.25.139.140]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by sy.mirrors.kernel.org (Postfix) with ESMTPS id 4718CB2289C for ; Thu, 16 May 2024 01:43:35 +0000 (UTC) Received: from localhost.localdomain (localhost.localdomain [127.0.0.1]) by smtp.subspace.kernel.org (Postfix) with ESMTP id 0065E184E; Thu, 16 May 2024 01:43:27 +0000 (UTC) Received: from netrider.rowland.org (netrider.rowland.org [192.131.102.5]) by smtp.subspace.kernel.org (Postfix) with SMTP id EEAA510FA for ; Thu, 16 May 2024 01:43:24 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=192.131.102.5 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1715823806; cv=none; b=LQiHCRD6OkdSwaXMFBVpbbnlyia6xKUeVXXXRWJ/yuz+wIKKcruX3nO+ClyQM76xps6laQ5cfQD9jmdJ3p9taLW/b+Fj9JIrS5rsUHQF9XMesDfW/mKqw+9Hm8DphYLigCncZP6r4IBMJ+Kc2ZApfv+5l9z5yv6sficrXIdbVtA= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1715823806; c=relaxed/simple; bh=aJ1HYO2k1NY8pFcW+T62qja/tqE9SP8PlX9DwyFk8VU=; h=Date:From:To:Cc:Subject:Message-ID:MIME-Version:Content-Type: Content-Disposition; b=VO4ARn4V/JhWBeYQoBTFUVECYoYRrBJONmWkjeGNmafSt4MqdyaNrT/nB1timIT+kAXn3eiSDE193GkGd2SUWOplc7a1tpCrGJS0D0h9UVqqd/jKudVComTwuO5qBEBKEqGA9JzK56F5EJoadNZbN8iRXWskI0dr+FcMrIr8rIc= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=fail (p=none dis=none) header.from=rowland.harvard.edu; spf=pass smtp.mailfrom=netrider.rowland.org; arc=none smtp.client-ip=192.131.102.5 Authentication-Results: smtp.subspace.kernel.org; dmarc=fail (p=none dis=none) header.from=rowland.harvard.edu Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=netrider.rowland.org Received: (qmail 246864 invoked by uid 1000); 15 May 2024 21:43:17 -0400 Date: Wed, 15 May 2024 21:43:17 -0400 From: Alan Stern To: Hernan Ponce de Leon , Jonas Oberhauser Cc: "Paul E. McKenney" , linux-kernel@vger.kernel.org, linux-arch@vger.kernel.org, kernel-team@meta.com, parri.andrea@gmail.com, boqun.feng@gmail.com, j.alglave@ucl.ac.uk, luc.maranget@inria.fr, Joel Fernandes Subject: LKMM: Making RMW barriers explicit Message-ID: <72c804c8-2511-4349-a823-bc1de8bb729e@rowland.harvard.edu> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Hernan and Jonas: Can you explain more fully the changes you want to make to herd7 and/or the LKMM? The goal is to make the memory barriers currently implicit in RMW operations explicit, but I couldn't understand how you propose to do this. Are you going to change herd7 somehow, and if so, how? It seems like you should want to provide sufficient information so that the .bell and .cat files can implement the appropriate memory barriers associated with each RMW operation. What additional information is needed? And how (explained in English, not by quoting source code) will the .bell and .cat files make use of this information? Alan