Re: [libre-riscv-dev] [Bug 209] spectre-proof speculative execution

diff --git a/a5/c31cd3fd12b00ace1d0638849ee0e0ebd91952 b/a5/c31cd3fd12b00ace1d0638849ee0e0ebd91952
new file mode 100644 (file)
index 0000000..a73cba0
--- /dev/null
+++ b/a5/c31cd3fd12b00ace1d0638849ee0e0ebd91952
@@ -0,0 +1,115 @@
+Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
+Envelope-to: publicinbox@libre-riscv.org
+Delivery-date: Mon, 18 May 2020 20:25:57 +0100
+Received: from localhost ([::1] helo=libre-riscv.org)
+       by libre-soc.org with esmtp (Exim 4.89)
+       (envelope-from <libre-riscv-dev-bounces@lists.libre-riscv.org>)
+       id 1jalOe-0002BS-Ui; Mon, 18 May 2020 20:25:56 +0100
+Received: from mail-dm6nam10on2135.outbound.protection.outlook.com
+ ([40.107.93.135] helo=NAM10-DM6-obe.outbound.protection.outlook.com)
+ by libre-soc.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
+ (Exim 4.89) (envelope-from <yimmanuel3@gatech.edu>)
+ id 1jalOd-0002BM-T2
+ for libre-riscv-dev@lists.libre-riscv.org; Mon, 18 May 2020 20:25:56 +0100
+ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none;
+ b=KOl9/8NhH+G2XzTSRLRmLF35ZkKOLO6wM1JTRl46pk6zClLikAbrqvJq2d7ob1F66x5DQoYetp28E7ll5lTxvUUaV5eRVD+UCI00lZ4uDAqk0EMJWgKjQe+Z3Vf2y/mCTahzdgCUF6NZrNrh18PzsFCcwJBBp7Gho5r4k3PGCx2P0sUE2g209rH2L/VmjCWQlm/HtsMt1G5HVvYO0utT8sHp+/gCp/Paj5CqZ7qPy9gxBQzDXljNmvKv12wLYkuGhJ5n1V4RaghWYaudFM3ynBhqtsClGd/zWChn1fh42AkABXiktdju7D5+L6SuYkBbVWN5YIeAbgbRe0qz9YZ6pg==
+ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; 
+ s=arcselector9901;
+ h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck;
+ bh=/aTIeTjzFbgZ7zMKOqkSYF5ppkwTEj6WAkV27NMCq04=;
+ b=XLdUgFld0csukpdin/o45slvOetC85csLTVU6SIlDbPPvgJsu1qzIsChvcTD4uXFKc0+zQvm9cd2N2U9bqLbAt4RZWFgJEfQmLt8oa2UlOU9Es0dQ8nkVJN1bh+bkgcFeVngXzehEJzWZw+n6daJ6/l2TTiNKi/ebyU8m3zG6/ZlvP1jQOwKckGbV2ppK90kv0pSwh8xCiGkc4dEPHDeJOlo0lqz2wuj3uFdkqwLqSAofzbJ/u4YjZ+TYrHkUnX69tvD7OvCz1NQnQfRMdxM1vUlUR+R9JBwC4u5qPbMVqnkpzQMMFlns8re7zmVMWMSbGn8xVXD9MJ4VBl00+qkfQ==
+ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass
+ smtp.mailfrom=gatech.edu; dmarc=pass action=none header.from=gatech.edu;
+ dkim=pass header.d=gatech.edu; arc=none
+DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gatech.edu;
+ s=selector1;
+ h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck;
+ bh=/aTIeTjzFbgZ7zMKOqkSYF5ppkwTEj6WAkV27NMCq04=;
+ b=W4z03o0SVvvxjHwnSR20cVwjLGNXgR5/xWKlaOFA2e3F8Q2vHboh4N896epi/BdQEFL0rZDLz/Xg5ivtRTxYkqUJR+ukROC5dYzaP27q+zXyKpos0h7qLFwXmBYjYEBX/EDMUkKSJ0uDEjLjva1rkLhuWrKqtSQKUeer231Moe4=
+Authentication-Results: lists.libre-riscv.org; dkim=none (message not signed)
+ header.d=none; lists.libre-riscv.org;
+ dmarc=none action=none header.from=gatech.edu;
+Received: from BN8PR07MB6961.namprd07.prod.outlook.com (2603:10b6:408:d8::14)
+ by BN8PR07MB7028.namprd07.prod.outlook.com (2603:10b6:408:df::10)
+ with Microsoft SMTP Server (version=TLS1_2,
+ cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3000.27; Mon, 18 May
+ 2020 19:25:53 +0000
+Received: from BN8PR07MB6961.namprd07.prod.outlook.com
+ ([fe80::21e4:21f3:ed04:f847]) by BN8PR07MB6961.namprd07.prod.outlook.com
+ ([fe80::21e4:21f3:ed04:f847%6]) with mapi id 15.20.3000.034; Mon, 18 May 2020
+ 19:25:53 +0000
+From: Yehowshua <yimmanuel3@gatech.edu>
+Date: Mon, 18 May 2020 15:25:51 -0400
+References: <bug-209-13@https.bugs.libre-soc.org/>
+ <bug-209-13-shMgt04DnC@https.bugs.libre-soc.org/>
+To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
+In-Reply-To: <bug-209-13-shMgt04DnC@https.bugs.libre-soc.org/>
+Message-Id: <0C5BB73E-D5A4-4EE5-8BDE-C5F48188B74E@gatech.edu>
+X-Mailer: Apple Mail (2.3608.80.23.2.2)
+X-ClientProxiedBy: BN6PR03CA0076.namprd03.prod.outlook.com
+ (2603:10b6:405:6f::14) To BN8PR07MB6961.namprd07.prod.outlook.com
+ (2603:10b6:408:d8::14)
+MIME-Version: 1.0
+X-MS-Exchange-MessageSentRepresentingType: 1
+Received: from [IPv6:2601:c9:8000:1399:dc58:310c:d849:8b9b]
+ (2601:c9:8000:1399:dc58:310c:d849:8b9b) by
+ BN6PR03CA0076.namprd03.prod.outlook.com (2603:10b6:405:6f::14) with Microsoft
+ SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id
+ 15.20.3000.25 via Frontend Transport; Mon, 18 May 2020 19:25:53 +0000
+X-Mailer: Apple Mail (2.3608.80.23.2.2)
+X-Originating-IP: [2601:c9:8000:1399:dc58:310c:d849:8b9b]
+X-MS-PublicTrafficType: Email
+X-MS-Office365-Filtering-Correlation-Id: 16407675-28e0-4b12-9502-08d7fb6147de
+X-MS-TrafficTypeDiagnostic: BN8PR07MB7028:
+X-Microsoft-Antispam-PRVS: <BN8PR07MB7028BA83CA7A5F5C37217A1AECB80@BN8PR07MB7028.namprd07.prod.outlook.com>
+X-GT-Tenant: 042d12d7-75fe-4547-b5b6-0573f80f829d
+X-MS-Oob-TLC-OOBClassifiers: OLM:7691;
+X-Forefront-PRVS: 04073E895A
+X-MS-Exchange-SenderADCheck: 1
+X-Microsoft-Antispam: BCL:0;
+X-Microsoft-Antispam-Message-Info: B0WKk3SR1DZoK6+Vr1b5K+9kX2Bb7jRXnH2KyFbYTiloxqi9NGwwp0ATzMZRDaUzU1D2a5T4ES5xB7CvnjNAzOgEEZHOGjlRGg4eCuR/Ox8oM36vmArFO+uXzdg2Fg92xkmUfaJF3o8H041w/+votW4gO6DppqYRLjAPcXvZ4ZpebKJ8mEHwMYxZuz2Xr+V6FQEfwXWmupG3DhzsZ+pbYIv7TsnO06tuUkitBsSFg0yfTlwWYKpdKpijm5ONVOBkWTx/jAzb5hJBmlK8q0qfJjtTjKbkqcsjeqvFDaG86Y3Zuk4Amd2QSYfUKT6TaWSF0TBaFy+ITazykzNAFghxjHRZh8Z+Rvf6TuNW2zN4cXpo+mZ4SIfuXjG68fN4Fa3aWyegF3hE5CSIygNHWDxlUNVnhZWRq3AzG7WwRfIOow8eJDBk2f1t1gXHj2Ajh+wRQsAcj1tks/7h4qFzAzKuOPwOuCkbuLQEp+JOTgyvbXrdeTCSvkYdi8wZKY6wwMpv
+X-Forefront-Antispam-Report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:;
+ IPV:NLI; SFV:NSPM; H:BN8PR07MB6961.namprd07.prod.outlook.com; PTR:; CAT:NONE;
+ SFTY:;
+ SFS:(4636009)(346002)(376002)(396003)(136003)(366004)(39860400002)(478600001)(5660300002)(8936002)(8676002)(186003)(33656002)(6486002)(2906002)(6916009)(36756003)(786003)(316002)(2616005)(86362001)(16526019)(52116002)(53546011)(33964004)(66946007)(66476007)(66556008)(75432002)(82953001);
+ DIR:OUT; SFP:1102; 
+X-MS-Exchange-AntiSpam-MessageData: Sa0S0iyqN0o2PG20VM7smUsdOTUkSAU1WOx3y5+eOVlWqSTL819636M7lbQCN9HPrzSF+YwNGgMFpR5TdGV5V1L29Xi55j/qPdS2/Unf/hY8X9jfLIw/vXI3Qe4Z5v5S98fmpDUSDRTdUy8foYze8eM4ErZoCrLRh3FyoBRiyQ37iDTLtmHAJMuWU110PjM4CKRxe8ODjvC36gFUjqIrXaLqio6NxRMghUavCnuMfoqkM8288p2tPVwF0NHyCtee5RNRr7NF76O7095yxbzi8Ya2tW+o+jU92PLYzjt1wuYeibWrggTBITg3JmFwTkf1cjV9CqEdZ7yLLBMox1g9/Of6y2kOfjxBG/0Ll59XN+jJuXdo/WrCj3o6O9M1oN3aj8JvYW8nEm46MhE0pxsWPdsTRK0X0Wy/fJbwn4OfEbiJasYfN+YxE0uW9qlnD0enPvQf14uRb5+8xLmiSEfa96i51KqJeNetovRJ9+YrQUvD7j0YHdSjYSJcaxKhvEGtkrtUFY2OXKBILP3zozitc8r+hk8Lnx00xKFErgw57qs=
+X-OriginatorOrg: gatech.edu
+X-MS-Exchange-CrossTenant-Network-Message-Id: 16407675-28e0-4b12-9502-08d7fb6147de
+X-MS-Exchange-CrossTenant-OriginalArrivalTime: 18 May 2020 19:25:53.6903 (UTC)
+X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
+X-MS-Exchange-CrossTenant-Id: 482198bb-ae7b-4b25-8b7a-6d7f32faa083
+X-MS-Exchange-CrossTenant-MailboxType: HOSTED
+X-MS-Exchange-CrossTenant-UserPrincipalName: 9Zy8uPQbisTUL4RLtg0Iehe0O20U/sOf/fW1eA2VjNpuBn5g4Ex0ULCKRVwSWHxDQUJh+201cHT5NKEitboHng==
+X-MS-Exchange-Transport-CrossTenantHeadersStamped: BN8PR07MB7028
+X-Content-Filtered-By: Mailman/MimeDel 2.1.23
+Subject: Re: [libre-riscv-dev] [Bug 209] spectre-proof speculative execution
+X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
+X-Mailman-Version: 2.1.23
+Precedence: list
+List-Id: Libre-RISCV General Development
+ <libre-riscv-dev.lists.libre-riscv.org>
+List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>, 
+ <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
+List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
+List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
+List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
+List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>, 
+ <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
+Reply-To: Libre-RISCV General Development
+ <libre-riscv-dev@lists.libre-riscv.org>
+Content-Type: text/plain; charset="utf-8"
+Content-Transfer-Encoding: base64
+Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
+Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
+
+Cgo+IE9uIE1heSAxOCwgMjAyMCwgYXQgMzoyNCBQTSwgYnVnemlsbGEtZGFlbW9uQGxpYnJlLXNv
+Yy5vcmcgd3JvdGU6Cj4gCj4gc28gYmFzaWNhbGx5IHRoaXMgZXh0ZW5kcyB0aGUgRGVwZW5kZW5j
+eSBNYXRyaXggIlNoYWRvdyIgY29uY2VwdCBhY3R1YWxseQo+IHJpZ2h0IGRvd24gaW50byB0aGUg
+Q2FjaGVzLgoKRXhhY3RseSAtIGtlZXAgaW4gbWluZCB0aGF0IHRoaXMgaXMgb25seSBmb3IgdmFy
+aWFudCAxLgpJ4oCZbGwgcmVhZCB1cCBvbiB0aGUgb3RoZXIgdmFyaWFudHMgbGF0ZXIuCgpXaHkg
+ZG8gQ1BVcyBoYXZlIHRvIGJlIHNvIGNvbXBsaWNhdGVkLi4uCgpZZWhvd3NodWEKX19fX19fX19f
+X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KbGlicmUtcmlzY3YtZGV2IG1h
+aWxpbmcgbGlzdApsaWJyZS1yaXNjdi1kZXZAbGlzdHMubGlicmUtcmlzY3Yub3JnCmh0dHA6Ly9s
+aXN0cy5saWJyZS1yaXNjdi5vcmcvbWFpbG1hbi9saXN0aW5mby9saWJyZS1yaXNjdi1kZXYK
+