Received: by 10.192.165.148 with SMTP id m20csp464189imm; Fri, 20 Apr 2018 09:32:37 -0700 (PDT) X-Google-Smtp-Source: AIpwx4/Fq8FgsxnPKY+llonpfFns+lFNtjPmViEQQdoD8n4j/odqs+ej5rHIvjo65ofrt1dw+lPQ X-Received: by 10.98.107.138 with SMTP id g132mr10250991pfc.163.1524241957181; Fri, 20 Apr 2018 09:32:37 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1524241957; cv=none; d=google.com; s=arc-20160816; b=Bx8hiUcC54OvakBn4H+ixk3oh4Cp3/6yAuXZQc7j63hiAnWHNnGM8gA2k5sS8swDu6 jcvuVRu8RDXnYFERDqLmugssS/EpyF075/0OelpZYlLK5r0uhVVv+4KPzjygOwuJugFS crpO8V37CPjxaYOwo/omxHVDFFDI0Y0/6NPTyg1q0R/nuA54Gm4NImlfTX5oKNvjCiLH oNkvqynm2p7ueOTd1ghpXjo23T2f/tqXQz6y8KqgzOUoxuLSGZeIVW7woN+zVg1+hY1W v1SGgCrtMIDgaO0txZzf1JDnNLL1UbSPpnkr5mA8KeGtGUE9hPUW/jQhXEm+wDMsw8xn EhVA== 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 :references:in-reply-to:message-id:date:subject:cc:to:from :dkim-signature:arc-authentication-results; bh=GChexnhrRJalmrRqVwFAFNexnMuQ00hncCqJh1qEhyc=; b=meXmAAyNM92XV5EvXuuvrGG9QAjz+Ut/aiBY340ef9XYMCLvvXEmc5IqeA005Y5rLQ j0cMXQflGVcuurHo0/yK67qKLz5hAjDGmSQ0x68ApXnRp14UIkRutPRFqQjq7mlwlUTg s6d7jHAhMTy1Ey7cB6wlHRt9jn0SiA37pjMD8VdctUrqi7n/9yNWquwiL+oj4JxH7shn 5QRgv9CcUrBG4IGVEQZm6yV9mwq5RPtadM2jRc3rPZp9M1lKabHGZtOtT0uDrKKskcC/ YAJqHAqJ7zeCFsEfaAKaDW1xXzKKBPA0a9IjYvX4b0GGhpGYeToW+dSFqgcizgYEV5Fu t+zQ== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@amarulasolutions.com header.s=google header.b=Wo9vjghY; 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 o12si5266351pgc.381.2018.04.20.09.32.22; Fri, 20 Apr 2018 09:32:37 -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=Wo9vjghY; 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 S1753058AbeDTQbG (ORCPT + 99 others); Fri, 20 Apr 2018 12:31:06 -0400 Received: from mail-wr0-f196.google.com ([209.85.128.196]:45938 "EHLO mail-wr0-f196.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1753002AbeDTQbE (ORCPT ); Fri, 20 Apr 2018 12:31:04 -0400 Received: by mail-wr0-f196.google.com with SMTP id u11-v6so24496412wri.12 for ; Fri, 20 Apr 2018 09:31:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=amarulasolutions.com; s=google; h=from:to:cc:subject:date:message-id:in-reply-to:references :mime-version:content-transfer-encoding; bh=GChexnhrRJalmrRqVwFAFNexnMuQ00hncCqJh1qEhyc=; b=Wo9vjghYKMH/LX/wP1M/AX8pHvLasJub+N3osPF/Gsz2sur8CI+A5UxQjQyfR+yqfR ZLiE2os/qoVX/datb+GLBPGKGgFc3edJgvFNX3Nl4UH8/73HqP27DuO1WfamUD4rsU73 Q6Myduk8JGrP8CiTkclimw0sST7/yLFKcKPPg= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=GChexnhrRJalmrRqVwFAFNexnMuQ00hncCqJh1qEhyc=; b=QeXKgD70hY9C7xCBoCkrFHhwJ0H6cTrm2AvvnGqPhFy9ECmXgdANNeh77qS2Di26DQ Wx28E6clScH/qDKJ9y7IWVS85PzwsFKXF8XU2Kjt5faz/7jsvLRy0XBP2aCnNKPlV9SQ 3LFLXQiooFszMtzekUvgCY1AEtt1KYVSA8BHHqelAGh9VtUTCu/O54mgKpmXPaZwzp+C aNQMFpk58h3WoI/n3AgFrLV+NRyzpcyh5JVwYyonxhYbK1O4a+3DoQm0btog2MCYecYm sOSH1op+onYrNOizNw48HkB+ZAkqJgQTc1fUS+IrA438PfZBZV2qXDGgYCOjJlPjmCxS bcTA== X-Gm-Message-State: ALQs6tBVYGyM0y2f2caVhYUdIXyzqvYrt9KcPAHAKgVTIMOaTMhe6i3O lvp2mWF1NiquwHfHa4Bvfu7Sd8pU X-Received: by 2002:adf:879c:: with SMTP id b28-v6mr8857148wrb.119.1524241863206; Fri, 20 Apr 2018 09:31:03 -0700 (PDT) Received: from localhost.localdomain ([94.230.152.15]) by smtp.gmail.com with ESMTPSA id 80sm2490610wmk.46.2018.04.20.09.31.02 (version=TLS1_2 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Fri, 20 Apr 2018 09:31:02 -0700 (PDT) From: Andrea Parri To: linux-kernel@vger.kernel.org Cc: Andrea Parri , Alan Stern , Will Deacon , Peter Zijlstra , Boqun Feng , Nicholas Piggin , David Howells , Jade Alglave , Luc Maranget , "Paul E. McKenney" , Akira Yokosawa Subject: [PATCH 2/2] tools/memory-model: Add reference for 'Simplifying ARM concurrency' Date: Fri, 20 Apr 2018 18:30:13 +0200 Message-Id: <1524241813-14045-3-git-send-email-andrea.parri@amarulasolutions.com> X-Mailer: git-send-email 2.7.4 In-Reply-To: <1524241813-14045-1-git-send-email-andrea.parri@amarulasolutions.com> References: <1524241813-14045-1-git-send-email-andrea.parri@amarulasolutions.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org The paper discusses the revised ARMv8 memory model; such revision had an important impact on the design of the LKMM. Signed-off-by: Andrea Parri Cc: Alan Stern Cc: Will Deacon Cc: Peter Zijlstra Cc: Boqun Feng Cc: Nicholas Piggin Cc: David Howells Cc: Jade Alglave Cc: Luc Maranget Cc: "Paul E. McKenney" Cc: Akira Yokosawa --- tools/memory-model/Documentation/references.txt | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/tools/memory-model/Documentation/references.txt b/tools/memory-model/Documentation/references.txt index 74f448f2616a3..b177f3e4a614d 100644 --- a/tools/memory-model/Documentation/references.txt +++ b/tools/memory-model/Documentation/references.txt @@ -63,6 +63,12 @@ o Shaked Flur, Susmit Sarkar, Christopher Pulte, Kyndylan Nienhuis, Principles of Programming Languages (POPL 2017). ACM, New York, NY, USA, 429–442. +o Christopher Pulte, Shaked Flur, Will Deacon, Jon French, + Susmit Sarkar, and Peter Sewell. 2018. "Simplifying ARM concurrency: + multicopy-atomic axiomatic and operational models for ARMv8". In + Proceedings of the ACM on Programming Languages, Volume 2, Issue + POPL, Article No. 19. ACM, New York, NY, USA. + Linux-kernel memory model ========================= -- 2.7.4