From patchwork Sun Apr 8 00:18:08 2018 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Akira Yokosawa X-Patchwork-Id: 132939 Delivered-To: patch@linaro.org Received: by 10.46.84.29 with SMTP id i29csp2390241ljb; Sat, 7 Apr 2018 17:18:20 -0700 (PDT) X-Google-Smtp-Source: AIpwx499z2dSQ1erVEJ+nOQZyEdgpkNi4N78DhvG+uWxsZvPax70MX730s8BWL7OxB5PWhO1LI6R X-Received: by 10.99.113.83 with SMTP id b19mr21328250pgn.167.1523146700486; Sat, 07 Apr 2018 17:18:20 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1523146700; cv=none; d=google.com; s=arc-20160816; b=PGPxqg2xZsCTG5zxrSvR8KQD0Gh3mf7CrYnD/ErUOmDjxhjWzir9JMj4Epjv7e05fI PzyIZdQd2AslujG0thSBBfgygOhY/8FfyVDwqyMyfMlFuP6Lw7WPP6CAyquBZXFkTaZG 0AVe1a/9urKSQ7jHrGIVUht070p8WitS85NcoUrJNGPz3AU2GeJJ/DrNi9TIxEJ2dsMF aDfdPwVevtscH3B/DdKxgjcXOnooVV3Ll7Aeh4MbNDwfvH8wHoVk1u4kmGkFZgjZxUPX dTcJ3t64vjPmDHMdYLGwAbVCAQ3JEyU48iNU5p+BYCCfgumB0YbJjU+ScrIKrRsEdg22 GwTg== 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 :content-language:mime-version:user-agent:date:message-id:subject :from:cc:to:dkim-signature:arc-authentication-results; bh=n5ox9dBnHd/pbwZLTMGqhxIiG5+24MqCIVz8KL+QU9s=; b=MBfLor+FqMcJy2/yJ3Z1mVCcRv4hGOuKa5NgsS76Pzf2xUmwgsYN5v+z+oOD+hI1gV eKNR/UbD1Ph+1/FhPZJdDsFv1djFohrDfutqhvF1IsxUp/d5BX67saPJ53OcxHmYXikY eDDYCahdJyglFfEiWAutRg/qtBHP1s5zXpBUf4w4tgIMEhzt1rA6mLG7Y1YxeEGYXTzO 7zG4nNXMK2IVKT5T7bkpOlDfCaEvz70eCCpdCkYdmg83aVjgyIa6v4KIa5mJsnHtgAJw qb5uCrw0gtieww1zP5B1dPf0Ciy0DnNMtyfNLP5d0XanPqXavnJZ0W4RM3L9MYUVDvl+ hhMA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=VRc6Yv7q; 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; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id j61-v6si11610763plb.317.2018.04.07.17.18.19; Sat, 07 Apr 2018 17:18:20 -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=@gmail.com header.s=20161025 header.b=VRc6Yv7q; 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; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752506AbeDHASP (ORCPT + 29 others); Sat, 7 Apr 2018 20:18:15 -0400 Received: from mail-pl0-f67.google.com ([209.85.160.67]:38943 "EHLO mail-pl0-f67.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752262AbeDHASO (ORCPT ); Sat, 7 Apr 2018 20:18:14 -0400 Received: by mail-pl0-f67.google.com with SMTP id e7-v6so891051plt.6 for ; Sat, 07 Apr 2018 17:18:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=to:cc:from:subject:message-id:date:user-agent:mime-version :content-language:content-transfer-encoding; bh=n5ox9dBnHd/pbwZLTMGqhxIiG5+24MqCIVz8KL+QU9s=; b=VRc6Yv7qXWpw5jxWnASOmfvYOALjkNSfvFnikwdU9eABsyfdf2ZjCHiIVlqnmpdXgN smoBNcRWbshagKyYdkOybfqi9KoUnb7K8d1VkJKUEaVkIqix8UdQqy9wilnqcN5Z0iKU LUah0Vog79sHXWf9sxmN1qb9kvkdkX8CgX3AzxBmbKUuro1sC3HJhFXsCgz81lUQzWeT d3ABUpz53wWB0lU9aiLBoKUUtIMNM5vBXiETFJmyEMLILOTmUxcg+1gIv6NptqmCfsTR 3o4YA18OVQzKSAHOdw9hXBXi9QZrpayYLKogNphf8TjyN29EI47TuTo0CYz7dUEJ2nM6 AuEg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:to:cc:from:subject:message-id:date:user-agent :mime-version:content-language:content-transfer-encoding; bh=n5ox9dBnHd/pbwZLTMGqhxIiG5+24MqCIVz8KL+QU9s=; b=JHLJISobVTMQ60vw2dOtF7uT70S0+9ZrmSePV+6enUKI1TIU7r6fD+FVRYGBn94/ib lO7gBbwFdAFL1eRHjeKOP2Azchdwm7EzVGQWwCdeDSkJopi2XOQMp7KomnUAy7njdY7X EB2S3cob04rCCaK2JaIFxQ5o9Kqs+vDG3IOZmBj9aq83CFDhSXX2Xovj8cAXR7JTKEu0 sODodoawZMek56SWGVq/VwZ/B0xt8JaqgLL2hON+mqvAOTLPk1eUc3uWJJuxoLsywDpZ jzpEZlFbzfiTUGCVEXxcDAMwdPYxvWqFvAl/O7EGNVLUU5vkmnXLoU5aw1Q/DQVJPp7F SE6A== X-Gm-Message-State: AElRT7GVivAQhbbvhujWssIphDcpl+B+co4fz4FDbdToCtA4Ic5UIc8S 4cmEoTMdl1rMvdIB+9aW2nL9GChB X-Received: by 2002:a17:902:529:: with SMTP id 38-v6mr33369573plf.64.1523146693590; Sat, 07 Apr 2018 17:18:13 -0700 (PDT) Received: from [192.168.11.4] (KD106167171201.ppp-bb.dion.ne.jp. [106.167.171.201]) by smtp.gmail.com with ESMTPSA id e4sm21811859pfi.86.2018.04.07.17.18.10 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 07 Apr 2018 17:18:13 -0700 (PDT) To: "Paul E. McKenney" Cc: Alan Stern , Andrea Parri , Will Deacon , Peter Zijlstra , Boqun Feng , Nicholas Piggin , David Howells , Jade Alglave , Luc Maranget , Ingo Molnar , Akira Yokosawa , linux-kernel@vger.kernel.org From: Akira Yokosawa Subject: [PATCH] tools/memory-model: Update required version of herdtools7 Message-ID: Date: Sun, 8 Apr 2018 09:18:08 +0900 User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.7.0 MIME-Version: 1.0 Content-Language: en-US Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org >From 64542a47acf159d26b8290480c0af9c2a05d20d6 Mon Sep 17 00:00:00 2001 From: Akira Yokosawa Date: Sun, 8 Apr 2018 07:44:55 +0900 Subject: [PATCH] tools/memory-model: Update required version of herdtools7 Code generated by klitmus7 version 7.48 doesn't compile with kernel header of 4.15 and later due to the absence of ACCESS_ONCE(). As the issue has been resolved in herdtools7 7.49, bump the required version number in README. Signed-off-by: Akira Yokosawa Cc: Alan Stern Cc: Andrea Parri 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: Ingo Molnar --- Hi Paul, I think this is a 4.17 matter. Thoughts? Thanks, Akira -- tools/memory-model/README | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) -- 2.7.4 diff --git a/tools/memory-model/README b/tools/memory-model/README index 0b3a5f3..734f7fe 100644 --- a/tools/memory-model/README +++ b/tools/memory-model/README @@ -20,7 +20,7 @@ that litmus test to be exercised within the Linux kernel. REQUIREMENTS ============ -Version 7.48 of the "herd7" and "klitmus7" tools must be downloaded +Version 7.49 of the "herd7" and "klitmus7" tools must be downloaded separately: https://github.com/herd/herdtools7