From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-1.0 required=3.0 tests=HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 1FEF4C04AAF for ; Mon, 20 May 2019 07:14:36 +0000 (UTC) Received: from mm01.cs.columbia.edu (mm01.cs.columbia.edu [128.59.11.253]) by mail.kernel.org (Postfix) with ESMTP id 9526D2081C for ; Mon, 20 May 2019 07:14:35 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 9526D2081C Authentication-Results: mail.kernel.org; dmarc=none (p=none dis=none) header.from=arm.com Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=kvmarm-bounces@lists.cs.columbia.edu Received: from localhost (localhost [127.0.0.1]) by mm01.cs.columbia.edu (Postfix) with ESMTP id D2EC24A518; Mon, 20 May 2019 03:14:34 -0400 (EDT) X-Virus-Scanned: at lists.cs.columbia.edu Received: from mm01.cs.columbia.edu ([127.0.0.1]) by localhost (mm01.cs.columbia.edu [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id ZJQStD-q4YcP; Mon, 20 May 2019 03:14:33 -0400 (EDT) Received: from mm01.cs.columbia.edu (localhost [127.0.0.1]) by mm01.cs.columbia.edu (Postfix) with ESMTP id 749A24A50C; Mon, 20 May 2019 03:14:33 -0400 (EDT) Received: from localhost (localhost [127.0.0.1]) by mm01.cs.columbia.edu (Postfix) with ESMTP id 893584A49C for ; Mon, 20 May 2019 03:14:32 -0400 (EDT) X-Virus-Scanned: at lists.cs.columbia.edu Received: from mm01.cs.columbia.edu ([127.0.0.1]) by localhost (mm01.cs.columbia.edu [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id kLlbOtB+GJs5 for ; Mon, 20 May 2019 03:14:30 -0400 (EDT) Received: from foss.arm.com (usa-sjc-mx-foss1.foss.arm.com [217.140.101.70]) by mm01.cs.columbia.edu (Postfix) with ESMTP id A53C34A3A5 for ; Mon, 20 May 2019 03:14:30 -0400 (EDT) Received: from usa-sjc-imap-foss1.foss.arm.com (unknown [10.72.51.249]) by usa-sjc-mx-foss1.foss.arm.com (Postfix) with ESMTP id E206180D; Mon, 20 May 2019 00:14:29 -0700 (PDT) Received: from big-swifty.misterjones.org (usa-sjc-mx-foss1.foss.arm.com [217.140.101.70]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id B8E623F575; Mon, 20 May 2019 00:14:23 -0700 (PDT) Date: Mon, 20 May 2019 08:14:07 +0100 Message-ID: <86v9y57g3k.wl-marc.zyngier@arm.com> From: Marc Zyngier To: kevin zhao Subject: Re: ARM64 kvm cache coherency problem In-Reply-To: <7c31d3ab-ac30-626e-05be-b2547b558f4a@cloudminds.com> References: <7c31d3ab-ac30-626e-05be-b2547b558f4a@cloudminds.com> User-Agent: Wanderlust/2.15.9 (Almost Unreal) SEMI-EPG/1.14.7 (Harue) FLIM/1.14.9 (=?UTF-8?B?R29qxY0=?=) APEL/10.8 EasyPG/1.0.0 Emacs/26 (aarch64-unknown-linux-gnu) MULE/6.0 (HANACHIRUSATO) Organization: ARM Ltd MIME-Version: 1.0 (generated by SEMI-EPG 1.14.7 - "Harue") Cc: kvmarm@lists.cs.columbia.edu X-BeenThere: kvmarm@lists.cs.columbia.edu X-Mailman-Version: 2.1.14 Precedence: list List-Id: Where KVM/ARM decisions are made List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Errors-To: kvmarm-bounces@lists.cs.columbia.edu Sender: kvmarm-bounces@lists.cs.columbia.edu SGkgS2V2aW4sCgpPbiBNb24sIDIwIE1heSAyMDE5IDA0OjE5OjUwICswMTAwLAprZXZpbiB6aGFv IDx4aWFvcWlhbmcuemhhb0BjbG91ZG1pbmRzLmNvbT4gd3JvdGU6Cj4gCj4gWzEgIDxtdWx0aXBh cnQvYWx0ZXJuYXRpdmUgKDdiaXQpPl0KPiBbMS4xICA8dGV4dC9wbGFpbjsgVVRGLTggKDhiaXQp Pl0KPiDCoEhpLCB0aGVyZToKPiAKPiDCoMKgwqAgSSBoYXZlIHNlZW4gc29tZSBSRkMgYWJvdXQg c29sdmluZyBBUk02NCBrdm0gY2FjaGUgaW5jb2hlcmVuY3kKPiBpc3N1ZSAoWzFdLCBbMl0pIGlu IE1heSAyMDE1LiBJIGZvbGxvd2VkIGEgZmV3IHRocmVhZHMgYW5kIGRpZCBub3QKPiBrbm93IGhv dyB0aGlzIGFyZ3VtZW50cyBlbmRzLgoKRmlyc3QsIGxldCBtZSBwdXQgdGhpbmdzIHN0cmFpZ2h0 OiB0aGVyZSBpcyBubyBLVk0vYXJtNjQgY2FjaGUKY29oZXJlbmN5IHByb2JsZW0uIFRoZSBpc3N1 ZSBpcyB0aGF0IHBlb3BsZSBleHBlY3QgYmVoYXZpb3VycyB0aGF0IGFyZQpzcGVjaWZpYyB0byB4 ODYgKHN1Y2ggYXMgY29oZXJlbmN5IGJldHdlZW4gY2FjaGVhYmxlIGFuZCBub24tY2FjaGVhYmxl CmFsaWFzZXMpIHRvIHdvcmsgb24gbm9uLXg4NiBhcmNoaXRlY3R1cmVzLiBUaGlzIGlzbid0IGEg cmVhc29uYWJsZQpleHBlY3RhdGlvbiwgdW5mb3J0dW5hdGVseS4KClRoZSBwYXRjaGVzIHlvdSBy ZWZlciB0byB0cnkgdG8gd29ya2Fyb3VuZCB0aGUgaXNzdWUgYnkgY2hhbmdpbmcKZWl0aGVyIFFF TVUncyBvciB0aGUga2VybmVsJ3MgYmVoYXZpb3VyLiBJIGNvbnRlbmQgdGhhdCBub25lIG9mIHRo ZXNlCm5lZWQgdG8gYmUgY2hhbmdlZCwgYnV0IGluc3RlYWQgdGhlIGd1ZXN0IGhhcyB0byBiZSBm aXhlZCB0byBwcm9wZXJseQpiZWhhdmUgb24gdGhlIGFybTY0IGFyY2hpdGVjdHVyZSwgd2hpY2gg aW5jbHVkZXMgdGhpbmdzIHN1Y2ggYXMgbm90Cmx5aW5nIGFib3V0IHdoYXQgaXMgYSByZWFsIGRl dmljZSBhbmQgd2hhdCBpcyBhbiBlbXVsYXRlZCBvbmUuCgpJJ3ZlIHJhbnRlZCBwdWJsaWNseSBv biB0aGlzIHZlcnkgc3ViamVjdCBhIGxvbmcgd2hpbGUgYWdvWzFdLCB3aXRoCmFsbCB0aGUgZ29y eSBkZXRhaWxzIG9mIHdoYXQgZmFpbHMsIHdoeSwgYW5kIHdoYXQgdGhlIHNvbHV0aW9ucwphcmUu IEluIHRoZSBlbmQsIEtWTS9hcm02NCB3b3JrcyByZW1hcmthYmx5IHdlbGwgZm9yIHdoYXQgYWN0 dWFsbHkKbWF0dGVycywgc3VjaCBhcyBQViBkZXZpY2VzICh2aXJ0aW8pIGFuZCBkaXJlY3RseSBh c3NpZ25lZCBkZXZpY2VzLAp3aXRob3V0IGFueSBjYWNoZSBjb2hlcmVuY3kgaXNzdWUuCgo+IMKg wqAgRG9lcyBhbnlib2R5IGtub3cgaG93IHRoaXMgcHJvYmxlbcKgIGlzIHNvbHZlZCBmaW5hbGx5 ID8KClRoZSBhcmNoaXRlY3R1cmUgaGFzIGdhaW5lZCB0aGUgQVJNdjguNCBGV0IgZXh0ZW5zaW9u LCB3aGljaCBzb2x2ZXMKc29tZSBvZiB0aGVzZSBwcm9ibGVtcyBieSBhbGxvd2luZyBTdGFnZS0y IHRvIG92ZXJyaWRlIHRoZSBndWVzdCdzCmF0dHJpYnV0ZXMgKGFuZCBhIGNvdXBsZSBvZiBvdGhl ciB0aGluZ3MgdGhhdCBtYWtlIEkkL0QkIGNvaGVyZW5jeQptdWNoIGVhc2llcikuIFllcywgaXQg d291bGQgaGF2ZSBiZWVuIG5pY2UgdG8gaGF2ZSB0aGlzIHNpbmNlIGRheSBvbmUKKGNpcmNhIDIw MDgpLCBidXQgaXQgaW52b2x2ZXMgZ2V0dGluZyBob2xkIG9mIGEgY3J5c3RhbCBiYWxsIGFuZCBh CnRpbWUgbWFjaGluZSwgYm90aCBvZiB3aGljaCBhcmUgb3V0IG9mIHN0b2NrIGF0IG15IGxvY2Fs IGRlYWxlci4KCkkgZG9uJ3Qga25vdyBvZiBhbnkgcHVibGljbHkgYXZhaWxhYmxlIENQVSBpbXBs ZW1lbnRpbmcgRldCIGF0IHRoaXMKc3RhZ2UsIHNvIHRoaXMgaXMgYSBtb290IHBvaW50Li4uCgpU aGFua3MsCgoJTS4KClsxXSBodHRwczovL2V2ZW50cy5zdGF0aWMubGludXhmb3VuZC5vcmcvc2l0 ZXMvZXZlbnRzL2ZpbGVzL3NsaWRlcy9zbGlkZXNfMTAucGRmCgotLSAKSmF6eiBpcyBub3QgZGVh ZCwgaXQganVzdCBzbWVsbCBmdW5ueS4KX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX18Ka3ZtYXJtIG1haWxpbmcgbGlzdAprdm1hcm1AbGlzdHMuY3MuY29sdW1i aWEuZWR1Cmh0dHBzOi8vbGlzdHMuY3MuY29sdW1iaWEuZWR1L21haWxtYW4vbGlzdGluZm8va3Zt YXJtCg==