Re: [RFC] RISC-V KVM: guest local sfence.vma may miss stale VS-stage TLB after vCPU migration
Guo Ren <[email protected]> Mon, 3 Aug 2026 13:19:47 -0400
| Newsgroups | org.infradead.lists.linux-riscv,org.infradead.lists.kvm-riscv,org.kernel.vger.kvm,org.kernel.vger.linux-kernel |
|---|---|
| Message-ID | <[email protected]> |
T24gTW9uLCBBdWcgMDMsIDIwMjYgYXQgMDc6NTI6MTRQTSArMDUzMCwgQW51cCBQYXRlbCB3cm90 ZToKPiBPbiBTdW4sIEF1ZyAyLCAyMDI2IGF0IDEwOjMw4oCvQU0gWWF4aW5nIEd1byA8Z3VveWF4 aW5nQGJvc2MuYWMuY24+IHdyb3RlOgo+ID4KPiA+IEhpIGFsbCwKPiA+Cj4gPiBJIHdvdWxkIGxp a2UgdG8gYXNrIHdoZXRoZXIgUklTQy1WIEtWTSBoYXMgYSBnYXAgYXJvdW5kIGd1ZXN0IHNmZW5j ZS52bWEKPiA+IGFuZCBWUy1zdGFnZSBUTEIgaW52YWxpZGF0aW9uIHdoZW4gYSB2Q1BVIG1pZ3Jh dGVzIGFjcm9zcyBob3N0IENQVXMuCj4gPgo+ID4gT24gYmFyZSBtZXRhbCwgTGludXggdXNlcyBt bV9jcHVtYXNrIGluIF9fZmx1c2hfdGxiX3JhbmdlKCkgdG8gZGVjaWRlCj4gPiB3aGV0aGVyIHRv IHNlbmQgYSBsb2NhbCBvciByZW1vdGUgc2ZlbmNlLnZtYS4gVGhhdCB3b3JrcyBiZWNhdXNlIHRo ZSBjcHVtYXNrCj4gPiByZWZsZWN0cyBwaHlzaWNhbCBDUFVzLiBJbiBhIGd1ZXN0LCBob3dldmVy LCB0aGUga2VybmVsIG9ubHkgc2VlcyB2Q1BVcywgc28KPiA+IGZyb20gdGhlIGd1ZXN0IHBvaW50 IG9mIHZpZXcgYSB0YXNrIG1heSBuZXZlciAibWlncmF0ZSIgZXZlbiB0aG91Z2ggdGhlCj4gPiB1 bmRlcmx5aW5nIHZDUFUgbW92ZWQgdG8gYSBkaWZmZXJlbnQgaG9zdCBDUFUuIEluIG90aGVyIHdv cmRzLCBndWVzdAo+ID4gbW1fY3B1bWFzayBpcyBlZmZlY3RpdmVseSBhIHZDUFUgbWFzaywgbm90 IGEgaG9zdCBDUFUgbWFzay4KPiA+Cj4gPiBUaGVyZSBpcyBhbHNvIGEgcmVsYXRlZCBzd2l0Y2hf bW0oKS9zZXRfbW1fYXNpZCgpIGFzcGVjdC4gV2l0aCB0aGUgQVNJRAo+ID4gYWxsb2NhdG9yIGVu YWJsZWQsIFJJU0MtViBMaW51eCBkb2VzIG5vdCBmbHVzaCBvbiBldmVyeSBjb250ZXh0IHN3aXRj aC4gQQo+ID4gbG9jYWxfZmx1c2hfdGxiX2FsbCgpIGlzIG9ubHkgZG9uZSB3aGVuIGEgZGVmZXJy ZWQgQVNJRCByb2xsb3ZlciBmbHVzaCBpcwo+ID4gcGVuZGluZyBmb3IgdGhlIGN1cnJlbnQgQ1BV LiBUaGF0IGlzIGZpbmUgb24gYmFyZSBtZXRhbCwgYmVjYXVzZSBwcmV2aW91cwo+ID4gc2hvb3Rk b3ducyBhcmUgYWxzbyBiYXNlZCBvbiBwaHlzaWNhbCBDUFVzLiBJbiBhIGd1ZXN0LCBob3dldmVy LCB0aGUgZWFybGllcgo+ID4gc2hvb3Rkb3duIG1heSBoYXZlIGJlZW4gb25seSBhIGd1ZXN0LWxv Y2FsIHNmZW5jZS52bWEgYW5kIG1heSBoYXZlIG1pc3NlZCBhbgo+ID4gb2xkIGhvc3QgQ1BVIHdo ZXJlIHRoZSBzYW1lIHZDUFUgcmFuIHByZXZpb3VzbHkuCj4gPgo+ID4gQSBzaW1wbGlmaWVkIHNl cXVlbmNlIGlzOgo+ID4KPiA+IDEuIEEgZ3Vlc3QgdGFzayB3aXRoIG1tIEEgcnVucyBvbiB2Y3B1 MCB3aGlsZSB2Y3B1MCBpcyBzY2hlZHVsZWQgb24gaG9zdAo+ID4gICAgQ1BVMS4gQ1BVMSBmaWxs cyBhIFZTLXN0YWdlIFRMQiBlbnRyeSBmb3IgdGhhdCBtbS9BU0lELgo+ID4gMi4gdmNwdTAgbWln cmF0ZXMgdG8gaG9zdCBDUFUwLiBLVk0ncyB2Q1BVIG1pZ3JhdGlvbiBzYW5pdGl6YXRpb24gaXMg bG9jYWwKPiA+ICAgIHRvIHRoZSBjdXJyZW50IGhvc3QgQ1BVLCBzbyBpdCBkb2VzIG5vdCBpbnZh bGlkYXRlIHRoZSBWUy1zdGFnZSBUTEIgZW50cnkKPiA+ICAgIHRoYXQgd2FzIGxlZnQgb24gaG9z dCBDUFUxLgo+IAo+IFdoZW4gdmNwdTAgbWlncmF0ZXMgdG8gaG9zdCBDUFUwLCB0aGUgaG9zdCBD UFUwIG1heSBvciBtYXkgbm90IGhhdmUKPiBWUy1zdGFnZSBUTEIgZW50cnkgc28gVkNQVSBtaWdy YXRpb24gc2FuaXRpemF0aW9uIGRvZXMgdGhlIHJpZ2h0IHRoaW5nLgo+IAo+IEluIHRoZSBmdXR1 cmUsIHZjcHUwIG1heSBhZ2FpbiBtb3ZlIGJhY2sgdG8gaG9zdCBDUFUxIGNvbnRhaW5pbmcgc3Rh bGUKPiBWUy1zdGFnZSBUTEIgZW50cmllcyBsZWZ0IGluIHN0ZXAxIGFib3ZlIHNvIHRoZSBWQ1BV IG1pZ3JhdGlvbiBzYW5pdGl6YXRpb24KPiB3aWxsIGNsZWFudXAgdGhlc2Ugc3RhbGUgVExCIGVu dGVyaWVzLgo+IAo+ID4gMy4gVGhlIGd1ZXN0IGxhdGVyIHVwZGF0ZXMgbW0gQSdzIHBhZ2UgdGFi bGUgZnJvbSB2Y3B1MCwgZm9yIGV4YW1wbGUgZHVlIHRvCj4gPiAgICBDT1cuIFNpbmNlIHRoZSBn dWVzdCBzdGlsbCBzZWVzIG1tIEEgYXMgaGF2aW5nIHJ1biBvbmx5IG9uIGd1ZXN0IENQVTAsCj4g PiAgICBfX2ZsdXNoX3RsYl9yYW5nZSgpIGNhbiBjaG9vc2UgYSBsb2NhbCBzZmVuY2Uudm1hLiBU aGF0IGxvY2FsIHNmZW5jZS52bWEKPiA+ICAgIG9ubHkgYWZmZWN0cyBob3N0IENQVTAsIHdoZXJl IHZjcHUwIGlzIGN1cnJlbnRseSBydW5uaW5nLCBzbyB0aGUgc3RhbGUKPiA+ICAgIFZTLXN0YWdl IGVudHJ5IG9uIGhvc3QgQ1BVMSByZW1haW5zLgo+IAo+IE5vIG5lZWQgdG8gd29ycnkgYWJvdXQg c3RhbGUgVlMtc3RhZ2UgZW50cnkgb24gaG9zdCBDUFUxIGJlY2F1c2UgdGhlc2UKPiB3aWxsIGFn ZS1vdXQgb3Igc2FtZSBndWVzdCBtYXkgYWdhaW4gbW92ZSB0byBob3N0IENQVTEgcmVzdWx0aW5n IGluCj4gVkNQVSBtaWdyYXRpb24gc2FuaXRpemF0aW9uLgoKdm9pZCBrdm1fcmlzY3ZfbG9jYWxf dGxiX3Nhbml0aXplKHN0cnVjdCBrdm1fdmNwdSAqdmNwdSkKewogICAgICAgIHVuc2lnbmVkIGxv bmcgdm1pZDsKCiAgICAgICAgaWYgKCFrdm1fcmlzY3ZfZ3N0YWdlX3ZtaWRfYml0cygpIHx8CiAg ICAgICAgICAgIHZjcHUtPmFyY2gubGFzdF9leGl0X2NwdSA9PSB2Y3B1LT5jcHUpCiAgICAgICAg ICAgICAgICByZXR1cm47CgpZb3UncmUgcmlnaHQgdGhhdCBrdm1fcmlzY3ZfbG9jYWxfdGxiX3Nh bml0aXplKCkgY2FuIGNvcnJlY3RseSBkZXRlY3QgYQpDUFUgbWlncmF0aW9uIHZpYSB0aGUgYWJv dmUgY2hlY2suIFRoaXMgY2hlY2sgcnVucyBiZWZvcmUKa3ZtX3Jpc2N2X3ZjcHVfZW50ZXJfZXhp dCgpLCBzbyBsYXN0X2V4aXRfY3B1IHN0aWxsIGhvbGRzIHRoZSBwcmV2aW91cwpDUFUgYW5kIHRo ZSBtaWdyYXRpb24gY2FzZSBpcyBwcm9wZXJseSBoYW5kbGVkLgoKICAgICAgICB2bWlkID0gUkVB RF9PTkNFKHZjcHUtPmt2bS0+YXJjaC52bWlkLnZtaWQpOwogICAgICAgIGt2bV9yaXNjdl9sb2Nh bF9oZmVuY2VfZ3ZtYV92bWlkX2FsbCh2bWlkKTsKClRoZSBYaWFuZ1NoYW4gdGVhbSBzZWVtcyB0 byByZWFkIHRoZSBzcGVjaWZpY2F0aW9uIGFzIG5vdCByZXF1aXJpbmcKSEZFTkNFLkdWTUEgdG8g aW52YWxpZGF0ZSBWUy1zdGFnZSBUTEIgZW50cmllcy4gQ291bGQgeW91IHBsZWFzZSBwb2ludApt ZSB0byB0aGUgZXhhY3Qgd29yZGluZyBpbiB0aGUgUklTQy1WIFByaXZpbGVnZWQgU3BlY2lmaWNh dGlvbiB0aGF0CmluZGljYXRlcyBvdGhlcndpc2U/IEkgd291bGQgcmVhbGx5IGFwcHJlY2lhdGUg dGhlIHJlZmVyZW5jZS4KCj4gCj4gPiA0LiBMYXRlciwgdGhlIHRhc2sgaXMgc2NoZWR1bGVkIGFn YWluIHdoaWxlIHZjcHUwIGlzIHJ1bm5pbmcgb24gaG9zdCBDUFUxLgo+ID4gICAgSWYgdGhlIEFT SUQgaXMgc3RpbGwgdmFsaWQgYW5kIG5vIGRlZmVycmVkIEFTSUQgcm9sbG92ZXIgZmx1c2ggaXMg cGVuZGluZywKPiA+ICAgIHNldF9tbV9hc2lkKCkgbWF5IG5vdCBpc3N1ZSBhbnkgZmx1c2guIFRo ZSBhY2Nlc3Mgb24gaG9zdCBDUFUxIGNhbiB0aGVuCj4gPiAgICBoaXQgdGhlIG9sZCBWUy1zdGFn ZSBUTEIgZW50cnkuCj4gCj4gU2VlIGFib3ZlIGNvbW1lbnRzLgo+IAo+ID4KPiA+IFdlIGhpdCB0 aGlzIG9uIGEgWGlhbmdTaGFuIFJJU0MtViBzeXN0ZW0uIEEgYmFzaCB0YXNrIGluIHRoZSBndWVz dCB3YXMKPiA+IHNjaGVkdWxlZCBvbiB2Y3B1MCB3aGlsZSB0aGF0IHZDUFUgd2FzIHJ1bm5pbmcg b24gaG9zdCBDUFUxLiBBIHJlYWQtb25seQo+ID4gcGFnZSB3YXMgcHJlZmV0Y2hlZCBhbmQgY2Fj aGVkIGluIENQVTEncyBWUy1zdGFnZSBUTEIuIExhdGVyIHRoZSBzYW1lIHZDUFUKPiA+IG1pZ3Jh dGVkIHRvIGhvc3QgQ1BVMCwgdGhlIGd1ZXN0IHRyaWdnZXJlZCBDT1cgYW5kIHVwZGF0ZWQgdGhl IG1hcHBpbmcsIGFuZAo+ID4gdGhlIGd1ZXN0IHN0aWxsIGlzc3VlZCBvbmx5IGEgbG9jYWwgc2Zl bmNlLnZtYS4gVGhlIHN0YWxlIFZTLXN0YWdlIGVudHJ5IG9uCj4gPiBDUFUxIHdhcyBub3QgaW52 YWxpZGF0ZWQuIEFmdGVyIHJ1bm5pbmcgZm9yIHNvbWUgdGltZSwgdGhlIHRhc2sgbGF0ZXIKPiA+ IGFjY2Vzc2VkIHRoYXQgbWFwcGluZyB3aGlsZSBydW5uaW5nIG9uIGhvc3QgQ1BVMSBhZ2FpbiBh bmQgaGl0IHRoZSBzdGFsZQo+ID4gdHJhbnNsYXRpb24uIFRoZSBkYXRhIGluIHRoYXQgcGFnZSB3 YXMgYSBwb2ludGVyIGZyb20gdGhlIEdPVCwgc28gaXQKPiA+IGRlcmVmZXJlbmNlZCB0byBOVUxM IGFuZCBldmVudHVhbGx5IGNhdXNlZCBhIHNlZ21lbnRhdGlvbiBmYXVsdC4KPiAKPiBUaGUgYWJv dmUgZXhhbXBsZSBpcyBhbHJlYWR5IHRha2VuIGNhcmUgYnkgVExCIGZsdXNoZXMgaW4gS1ZNIFJJ U0MtVi4KPiBUaGlzIHNtZWxscyBsaWtlIHNvbWUgSFcgZXJyYXRhIHRvIG1lLgo+IAo+ID4KPiA+ IEkgY2hlY2tlZCBjdXJyZW50IHVwc3RyZWFtIFJJU0MtViBLVk0gKHY3LjAuMikgYW5kIEkgZG8g bm90IHNlZSBIU1RBVFVTLlZUVk0KPiA+IGJlaW5nIGVuYWJsZWQsIHNvIGd1ZXN0IHNmZW5jZS52 bWEgaXMgbm90IHRyYXBwZWQuIEkgZm91bmQKPiA+IGt2bV9yaXNjdl9sb2NhbF90bGJfc2FuaXRp emUoKSBvbiBob3N0IENQVSBtaWdyYXRpb24sIHdoaWNoIGhhbmRsZXMgRy1zdGFnZQo+ID4gVk1J RCBlbnRyaWVzIG9uIHRoZSBjdXJyZW50IGhvc3QgQ1BVLCBidXQgSSBkbyBub3QgdGhpbmsgaXQg Z2VuZXJhbGx5IHNvbHZlcwo+ID4gdGhlIHN0YWxlIFZTLXN0YWdlIFRMQiBjYXNlIGRlc2NyaWJl ZCBhYm92ZS4KPiA+Cj4gPiBJIGFsc28gbm90aWNlZCB0aGUgdmVuZG9yLXNwZWNpZmljIGt2bV9y aXNjdl92c3N0YWdlX3RsYl9ub19ncGEgcGF0aCBpbgo+ID4gY3VycmVudCB1cHN0cmVhbS4gSXQg bG9va3MgbGlrZSBhIHdvcmthcm91bmQgZm9yIGEgcGFydGljdWxhciBpbXBsZW1lbnRhdGlvbgo+ ID4gaXNzdWUgb24gQW5kZXMgQVg2Niwgd2hlcmUgdGhlIFZTLXN0YWdlIFRMQiBkb2VzIG5vdCBj YWNoZSBndWVzdCBwaHlzaWNhbAo+ID4gYWRkcmVzcyBhbmQgVk1JRCwgc28gdGhlIG5vcm1hbCBW TUlEL0dQQS1iYXNlZCBpbnZhbGlkYXRpb24gbW9kZWwgaXMKPiA+IGluc3VmZmljaWVudC4gSW4g dGhhdCBzZW5zZSwgaXQgZG9lcyBub3Qgc2VlbSB0byBiZSBhIGdlbmVyaWMgc29sdXRpb24gZm9y Cj4gPiBndWVzdCBzZmVuY2Uudm1hIGNvaGVyZW5jZSBhY3Jvc3MgdkNQVSBtaWdyYXRpb24uCj4g Pgo+ID4gSSBhbSB3b25kZXJpbmcgd2hhdCB0aGUgcmlnaHQgZGlyZWN0aW9uIHNob3VsZCBiZS4g RW5hYmxpbmcgSFNUQVRVUy5WVFZNIGFuZAo+ID4gdHJhcHBpbmcgZ3Vlc3Qgc2ZlbmNlLnZtYSB3 b3VsZCBhbGxvdyBLVk0gdG8gdHJhbnNsYXRlIGd1ZXN0IGxvY2FsIHNmZW5jZS52bWEKPiA+IGlu dG8gdGhlIHJlcXVpcmVkIGhvc3Qtc2lkZSBoZmVuY2UudnZtYSwgYnV0IHRoYXQgbWF5IGJlIHRv byBoZWF2eSBmb3IgdGhlCj4gPiBjb21tb24gY2FzZS4gQW5vdGhlciBwb3NzaWJsZSBkaXJlY3Rp b24gbWF5IGJlIHRvIG1ha2UgdGhlIGN1cnJlbnQKPiA+IEFuZGVzLXNwZWNpZmljIHZDUFUgbWln cmF0aW9uIGZsdXNoIGxvZ2ljIG1vcmUgZ2VuZXJpYywgc28gaW1wbGVtZW50YXRpb25zCj4gPiB0 aGF0IG5lZWQgVlMtc3RhZ2UgVExCIHNhbml0aXphdGlvbiBvbiB2Q1BVIG1pZ3JhdGlvbiBjYW4g b3B0IGluIHRocm91Z2ggYQo+ID4gY29tbW9uIG1lY2hhbmlzbS4gQSB0aGlyZCBwb3NzaWJpbGl0 eSBtYXkgYmUgdG8gZGVmaW5lIGEgbGlnaHR3ZWlnaHQgU0JJCj4gPiBpbnRlcmZhY2UgZm9yIGd1 ZXN0IGxvY2FsIHNmZW5jZS52bWEsIHNvIExpbnV4IGNvdWxkIHVzZSBpdCBpbgo+ID4gX19mbHVz aF90bGJfcmFuZ2UoKSBmb3IgdGhlIGxvY2FsIGNhc2Ugd2hlbiBydW5uaW5nIHVuZGVyIEtWTSwg YW5kIEtWTSBjb3VsZAo+ID4gdGhlbiBkZWNpZGUgd2hldGhlciBhIGxvY2FsIHNmZW5jZS52bWEg aXMgc3VmZmljaWVudCBvciB3aGV0aGVyIGhvc3Qtc2lkZQo+ID4gaGZlbmNlLnZ2bWEgaXMgYWxz byBuZWVkZWQuCj4gCj4gRW5hYmxpbmcgSFNUQVRVUy5WVFZNIGhhcyBhIGJpZyBpbXBhY3Qgb24g cGVyZm9ybWFuY2Ugc28gY2VydGFpbmx5Cj4gTkFDSyBmcm9tIG15c2lkZS4KPiAKPiA+Cj4gPiBN eSBxdWVzdGlvbnMgYXJlOgo+ID4gMS4gSXMgdGhlIGJlaGF2aW9yIGFib3ZlIGV4cGVjdGVkIG9u IGN1cnJlbnQgUklTQy1WIEtWTT8KPiAKPiBZZXMsIGl0IHNob3VsZCB3b3JrIGZpbmUgdW5sZXNz IHRoZXJlIGlzIHNvbWUgSFcgYnVnLgo+IAo+ID4gMi4gSWYgbm90LCB3aGF0IHdvdWxkIGJlIHRo ZSBwcmVmZXJyZWQgZml4IGRpcmVjdGlvbj8KPiA+IDMuIFNob3VsZCB0aGlzIGJlIGhhbmRsZWQg YnkgdHJhcHBpbmcgZ3Vlc3Qgc2ZlbmNlLnZtYSB3aXRoIFZUVk0sIGJ5Cj4gPiAgICBnZW5lcmFs aXppbmcgdGhlIGV4aXN0aW5nIHZDUFUtbWlncmF0aW9uIFZTLXN0YWdlIFRMQiBmbHVzaCBsb2dp Yywgb3IgYnkKPiA+ICAgIGFkZGluZyBhIGxpZ2h0ZXIgU0JJLW1lZGlhdGVkIHBhdGggZm9yIGd1 ZXN0IGxvY2FsIHNmZW5jZS52bWE/Cj4gPiA0LiBPciBpcyB0aGVyZSBhbm90aGVyIGludGVuZGVk IG1lY2hhbmlzbSB0byBrZWVwIFZTLXN0YWdlIFRMQiBzdGF0ZSBjb2hlcmVudAo+ID4gICAgYWNy b3NzIHZDUFUgbWlncmF0aW9uPwo+ID4KPiA+IElmIG5lZWRlZCwgSSBjYW4gc2VuZCBhIHJlcHJv ZHVjZXIgYW5kIHRoZSBleGFjdCBoYXJkd2FyZS9rZXJuZWwgZGV0YWlscy4KPiA+Cj4gCj4gRXZl biBpZiB5b3Ugc2hhcmUgc29tZSByZXBvcmR1Y2luZyBjb2RlIHNlcXVlbmNlLCB3ZSBzdGlsbCBo YXZlIGRvbid0Cj4gaGF2ZSBhY2Nlc3MgdG8geW91ciBIVyBzbyBpdCB3b24ndCBoZWxwIG11Y2gu Cj4gCj4gUmVnYXJkcywKPiBBbnVwCj4gCj4gX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX18KPiBsaW51eC1yaXNjdiBtYWlsaW5nIGxpc3QKPiBsaW51eC1yaXNj dkBsaXN0cy5pbmZyYWRlYWQub3JnCj4gaHR0cDovL2xpc3RzLmluZnJhZGVhZC5vcmcvbWFpbG1h bi9saXN0aW5mby9saW51eC1yaXNjdgoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX18KbGludXgtcmlzY3YgbWFpbGluZyBsaXN0CmxpbnV4LXJpc2N2QGxpc3Rz LmluZnJhZGVhZC5vcmcKaHR0cDovL2xpc3RzLmluZnJhZGVhZC5vcmcvbWFpbG1hbi9saXN0aW5m by9saW51eC1yaXNjdgo=