Re: [RFC] RISC-V KVM: guest local sfence.vma may miss stale VS-stage TLB after vCPU migration
guoyaxing <[email protected]> Tue, 4 Aug 2026 10:32:51 +0800
| Newsgroups | org.infradead.lists.linux-riscv,org.infradead.lists.kvm-riscv,org.kernel.vger.kvm,org.kernel.vger.linux-kernel |
|---|---|
| Message-ID | <[email protected]> |
CgrlnKggMjAyNi84LzMgMjI6MjIsIEFudXAgUGF0ZWwg5YaZ6YGTOgo+IE9uIFN1biwgQXVnIDIs IDIwMjYgYXQgMTA6MzDigK9BTSBZYXhpbmcgR3VvIDxndW95YXhpbmdAYm9zYy5hYy5jbj4gd3Jv dGU6Cj4+Cj4+IEhpIGFsbCwKPj4KPj4gSSB3b3VsZCBsaWtlIHRvIGFzayB3aGV0aGVyIFJJU0Mt ViBLVk0gaGFzIGEgZ2FwIGFyb3VuZCBndWVzdCBzZmVuY2Uudm1hCj4+IGFuZCBWUy1zdGFnZSBU TEIgaW52YWxpZGF0aW9uIHdoZW4gYSB2Q1BVIG1pZ3JhdGVzIGFjcm9zcyBob3N0IENQVXMuCj4+ Cj4+IE9uIGJhcmUgbWV0YWwsIExpbnV4IHVzZXMgbW1fY3B1bWFzayBpbiBfX2ZsdXNoX3RsYl9y YW5nZSgpIHRvIGRlY2lkZQo+PiB3aGV0aGVyIHRvIHNlbmQgYSBsb2NhbCBvciByZW1vdGUgc2Zl bmNlLnZtYS4gVGhhdCB3b3JrcyBiZWNhdXNlIHRoZSBjcHVtYXNrCj4+IHJlZmxlY3RzIHBoeXNp Y2FsIENQVXMuIEluIGEgZ3Vlc3QsIGhvd2V2ZXIsIHRoZSBrZXJuZWwgb25seSBzZWVzIHZDUFVz LCBzbwo+PiBmcm9tIHRoZSBndWVzdCBwb2ludCBvZiB2aWV3IGEgdGFzayBtYXkgbmV2ZXIgIm1p Z3JhdGUiIGV2ZW4gdGhvdWdoIHRoZQo+PiB1bmRlcmx5aW5nIHZDUFUgbW92ZWQgdG8gYSBkaWZm ZXJlbnQgaG9zdCBDUFUuIEluIG90aGVyIHdvcmRzLCBndWVzdAo+PiBtbV9jcHVtYXNrIGlzIGVm ZmVjdGl2ZWx5IGEgdkNQVSBtYXNrLCBub3QgYSBob3N0IENQVSBtYXNrLgo+Pgo+PiBUaGVyZSBp cyBhbHNvIGEgcmVsYXRlZCBzd2l0Y2hfbW0oKS9zZXRfbW1fYXNpZCgpIGFzcGVjdC4gV2l0aCB0 aGUgQVNJRAo+PiBhbGxvY2F0b3IgZW5hYmxlZCwgUklTQy1WIExpbnV4IGRvZXMgbm90IGZsdXNo IG9uIGV2ZXJ5IGNvbnRleHQgc3dpdGNoLiBBCj4+IGxvY2FsX2ZsdXNoX3RsYl9hbGwoKSBpcyBv bmx5IGRvbmUgd2hlbiBhIGRlZmVycmVkIEFTSUQgcm9sbG92ZXIgZmx1c2ggaXMKPj4gcGVuZGlu ZyBmb3IgdGhlIGN1cnJlbnQgQ1BVLiBUaGF0IGlzIGZpbmUgb24gYmFyZSBtZXRhbCwgYmVjYXVz ZSBwcmV2aW91cwo+PiBzaG9vdGRvd25zIGFyZSBhbHNvIGJhc2VkIG9uIHBoeXNpY2FsIENQVXMu IEluIGEgZ3Vlc3QsIGhvd2V2ZXIsIHRoZSBlYXJsaWVyCj4+IHNob290ZG93biBtYXkgaGF2ZSBi ZWVuIG9ubHkgYSBndWVzdC1sb2NhbCBzZmVuY2Uudm1hIGFuZCBtYXkgaGF2ZSBtaXNzZWQgYW4K Pj4gb2xkIGhvc3QgQ1BVIHdoZXJlIHRoZSBzYW1lIHZDUFUgcmFuIHByZXZpb3VzbHkuCj4+Cj4+ IEEgc2ltcGxpZmllZCBzZXF1ZW5jZSBpczoKPj4KPj4gMS4gQSBndWVzdCB0YXNrIHdpdGggbW0g QSBydW5zIG9uIHZjcHUwIHdoaWxlIHZjcHUwIGlzIHNjaGVkdWxlZCBvbiBob3N0Cj4+ICAgICBD UFUxLiBDUFUxIGZpbGxzIGEgVlMtc3RhZ2UgVExCIGVudHJ5IGZvciB0aGF0IG1tL0FTSUQuCj4+ IDIuIHZjcHUwIG1pZ3JhdGVzIHRvIGhvc3QgQ1BVMC4gS1ZNJ3MgdkNQVSBtaWdyYXRpb24gc2Fu aXRpemF0aW9uIGlzIGxvY2FsCj4+ICAgICB0byB0aGUgY3VycmVudCBob3N0IENQVSwgc28gaXQg ZG9lcyBub3QgaW52YWxpZGF0ZSB0aGUgVlMtc3RhZ2UgVExCIGVudHJ5Cj4+ICAgICB0aGF0IHdh cyBsZWZ0IG9uIGhvc3QgQ1BVMS4KPiAKPiBXaGVuIHZjcHUwIG1pZ3JhdGVzIHRvIGhvc3QgQ1BV MCwgdGhlIGhvc3QgQ1BVMCBtYXkgb3IgbWF5IG5vdCBoYXZlCj4gVlMtc3RhZ2UgVExCIGVudHJ5 IHNvIFZDUFUgbWlncmF0aW9uIHNhbml0aXphdGlvbiBkb2VzIHRoZSByaWdodCB0aGluZy4KPiAK PiBJbiB0aGUgZnV0dXJlLCB2Y3B1MCBtYXkgYWdhaW4gbW92ZSBiYWNrIHRvIGhvc3QgQ1BVMSBj b250YWluaW5nIHN0YWxlCj4gVlMtc3RhZ2UgVExCIGVudHJpZXMgbGVmdCBpbiBzdGVwMSBhYm92 ZSBzbyB0aGUgVkNQVSBtaWdyYXRpb24gc2FuaXRpemF0aW9uCj4gd2lsbCBjbGVhbnVwIHRoZXNl IHN0YWxlIFRMQiBlbnRlcmllcy4KPiAKClNvcnJ5LCBwZXJoYXBzIEkgZGlkbid0IGRlc2NyaWJl IGl0IGNsZWFybHkgZW5vdWdoLiBJbiBzaG9ydCwgdGhlIGlzc3VlIAppczogYmVjYXVzZSB2Y3B1 MCBtaWdyYXRlZCBhd2F5LCBjcHUxIHN0aWxsIGhhcyBzdGFsZSBUTEIgZW50cmllcyB3aGlsZSAK Y3B1MCBoYXMgdGhlIG5ldyBtYXBwaW5nLiBBZnRlciB0aGF0LCBuZWl0aGVyIHZjcHUgbWlncmF0 ZWQgYWdhaW4sIGJ1dCAKdGhlIHByb2Nlc3Mgd2FzIHNjaGVkdWxlZCBmcm9tIHZjcHUwIHRvIHZj cHUxICh3aGljaCBpcyBvbiBjcHUxKSwgCmNhdXNpbmcgaXQgdG8gaGl0IHRoZSBzdGFsZSBUTEIu IENvbnNpZGVyIHRoZSBmb2xsb3dpbmcgc2NlbmFyaW86CgogICAxLiB2Y3B1MCBhbmQgdmNwdTEg YXJlIGJvdGggcnVubmluZyBvbiBjcHUxLiBBdCB0aGlzIHBvaW50LCB2Y3B1MCBpcyAKb24gY3B1 MSwgYW5kIGEgcHJvY2VzcyBvbiBpdCByZWFkcyBhIHBhZ2UsIHdoaWNoIGdldHMgY2FjaGVkIGlu IHRoZSBUTEIgCihsZXQncyBjYWxsIHRoaXMgdGhlICJzdGFsZSBUTEIgZW50cnkiKS4KICAgMi4g dmNwdTAgbWlncmF0ZXMgdG8gY3B1MCwgYW5kIHRoZW4gdGhlIHByb2Nlc3MgKG9uIHZjcHUwLCBu b3cgb24gCmNwdTApIGRvZXMgYSBDb1cgKGNvcHktb24td3JpdGUpIGFuZCBlc3RhYmxpc2hlcyBh IG5ldyBtYXBwaW5nLgogICAzLiBOZWl0aGVyIHZjcHUwIG5vciB2Y3B1MSBtaWdyYXRlcyBhZ2Fp bi4gQXQgdGhpcyBwb2ludCwgdGhlIHByb2Nlc3MgCmdldHMgc2NoZWR1bGVkIGluc2lkZSB0aGUg Vk0gb250byB2Y3B1MSAod2hpY2ggaXMgb24gY3B1MSksIHJlYWRzIHRoZSAKc2FtZSBwYWdlLCBh bmQgaGl0cyB0aGUgc3RhbGUgVExCIGVudHJ5LgoKPj4gMy4gVGhlIGd1ZXN0IGxhdGVyIHVwZGF0 ZXMgbW0gQSdzIHBhZ2UgdGFibGUgZnJvbSB2Y3B1MCwgZm9yIGV4YW1wbGUgZHVlIHRvCj4+ICAg ICBDT1cuIFNpbmNlIHRoZSBndWVzdCBzdGlsbCBzZWVzIG1tIEEgYXMgaGF2aW5nIHJ1biBvbmx5 IG9uIGd1ZXN0IENQVTAsCj4+ICAgICBfX2ZsdXNoX3RsYl9yYW5nZSgpIGNhbiBjaG9vc2UgYSBs b2NhbCBzZmVuY2Uudm1hLiBUaGF0IGxvY2FsIHNmZW5jZS52bWEKPj4gICAgIG9ubHkgYWZmZWN0 cyBob3N0IENQVTAsIHdoZXJlIHZjcHUwIGlzIGN1cnJlbnRseSBydW5uaW5nLCBzbyB0aGUgc3Rh bGUKPj4gICAgIFZTLXN0YWdlIGVudHJ5IG9uIGhvc3QgQ1BVMSByZW1haW5zLgo+IAo+IE5vIG5l ZWQgdG8gd29ycnkgYWJvdXQgc3RhbGUgVlMtc3RhZ2UgZW50cnkgb24gaG9zdCBDUFUxIGJlY2F1 c2UgdGhlc2UKPiB3aWxsIGFnZS1vdXQgb3Igc2FtZSBndWVzdCBtYXkgYWdhaW4gbW92ZSB0byBo b3N0IENQVTEgcmVzdWx0aW5nIGluCj4gVkNQVSBtaWdyYXRpb24gc2FuaXRpemF0aW9uLgo+IAo+ PiA0LiBMYXRlciwgdGhlIHRhc2sgaXMgc2NoZWR1bGVkIGFnYWluIHdoaWxlIHZjcHUwIGlzIHJ1 bm5pbmcgb24gaG9zdCBDUFUxLgoKU29ycnksIHRoYXQgd2FzIGEgdHlwbyBvbiBteSBwYXJ0LiAn TGF0ZXIsIHRoZSB0YXNrIGlzIHNjaGVkdWxlZCBhZ2FpbiAKd2hpbGUgdmNwdTAgaXMgcnVubmlu ZyBvbiBob3N0IENQVTEnIHNob3VsZCBzYXkgdmNwdTEgaW5zdGVhZCBvZiB2Y3B1MC4KCj4+ICAg ICBJZiB0aGUgQVNJRCBpcyBzdGlsbCB2YWxpZCBhbmQgbm8gZGVmZXJyZWQgQVNJRCByb2xsb3Zl ciBmbHVzaCBpcyBwZW5kaW5nLAo+PiAgICAgc2V0X21tX2FzaWQoKSBtYXkgbm90IGlzc3VlIGFu eSBmbHVzaC4gVGhlIGFjY2VzcyBvbiBob3N0IENQVTEgY2FuIHRoZW4KPj4gICAgIGhpdCB0aGUg b2xkIFZTLXN0YWdlIFRMQiBlbnRyeS4KPiAKPiBTZWUgYWJvdmUgY29tbWVudHMuCj4gCj4+Cj4+ IFdlIGhpdCB0aGlzIG9uIGEgWGlhbmdTaGFuIFJJU0MtViBzeXN0ZW0uIEEgYmFzaCB0YXNrIGlu IHRoZSBndWVzdCB3YXMKPj4gc2NoZWR1bGVkIG9uIHZjcHUwIHdoaWxlIHRoYXQgdkNQVSB3YXMg cnVubmluZyBvbiBob3N0IENQVTEuIEEgcmVhZC1vbmx5Cj4+IHBhZ2Ugd2FzIHByZWZldGNoZWQg YW5kIGNhY2hlZCBpbiBDUFUxJ3MgVlMtc3RhZ2UgVExCLiBMYXRlciB0aGUgc2FtZSB2Q1BVCj4+ IG1pZ3JhdGVkIHRvIGhvc3QgQ1BVMCwgdGhlIGd1ZXN0IHRyaWdnZXJlZCBDT1cgYW5kIHVwZGF0 ZWQgdGhlIG1hcHBpbmcsIGFuZAo+PiB0aGUgZ3Vlc3Qgc3RpbGwgaXNzdWVkIG9ubHkgYSBsb2Nh bCBzZmVuY2Uudm1hLiBUaGUgc3RhbGUgVlMtc3RhZ2UgZW50cnkgb24KPj4gQ1BVMSB3YXMgbm90 IGludmFsaWRhdGVkLiBBZnRlciBydW5uaW5nIGZvciBzb21lIHRpbWUsIHRoZSB0YXNrIGxhdGVy Cj4+IGFjY2Vzc2VkIHRoYXQgbWFwcGluZyB3aGlsZSBydW5uaW5nIG9uIGhvc3QgQ1BVMSBhZ2Fp biBhbmQgaGl0IHRoZSBzdGFsZQo+PiB0cmFuc2xhdGlvbi4gVGhlIGRhdGEgaW4gdGhhdCBwYWdl IHdhcyBhIHBvaW50ZXIgZnJvbSB0aGUgR09ULCBzbyBpdAo+PiBkZXJlZmVyZW5jZWQgdG8gTlVM TCBhbmQgZXZlbnR1YWxseSBjYXVzZWQgYSBzZWdtZW50YXRpb24gZmF1bHQuCj4gCj4gVGhlIGFi b3ZlIGV4YW1wbGUgaXMgYWxyZWFkeSB0YWtlbiBjYXJlIGJ5IFRMQiBmbHVzaGVzIGluIEtWTSBS SVNDLVYuCj4gVGhpcyBzbWVsbHMgbGlrZSBzb21lIEhXIGVycmF0YSB0byBtZS4KPiAKPj4KPj4g SSBjaGVja2VkIGN1cnJlbnQgdXBzdHJlYW0gUklTQy1WIEtWTSAodjcuMC4yKSBhbmQgSSBkbyBu b3Qgc2VlIEhTVEFUVVMuVlRWTQo+PiBiZWluZyBlbmFibGVkLCBzbyBndWVzdCBzZmVuY2Uudm1h IGlzIG5vdCB0cmFwcGVkLiBJIGZvdW5kCj4+IGt2bV9yaXNjdl9sb2NhbF90bGJfc2FuaXRpemUo KSBvbiBob3N0IENQVSBtaWdyYXRpb24sIHdoaWNoIGhhbmRsZXMgRy1zdGFnZQo+PiBWTUlEIGVu dHJpZXMgb24gdGhlIGN1cnJlbnQgaG9zdCBDUFUsIGJ1dCBJIGRvIG5vdCB0aGluayBpdCBnZW5l cmFsbHkgc29sdmVzCj4+IHRoZSBzdGFsZSBWUy1zdGFnZSBUTEIgY2FzZSBkZXNjcmliZWQgYWJv dmUuCj4+Cj4+IEkgYWxzbyBub3RpY2VkIHRoZSB2ZW5kb3Itc3BlY2lmaWMga3ZtX3Jpc2N2X3Zz c3RhZ2VfdGxiX25vX2dwYSBwYXRoIGluCj4+IGN1cnJlbnQgdXBzdHJlYW0uIEl0IGxvb2tzIGxp a2UgYSB3b3JrYXJvdW5kIGZvciBhIHBhcnRpY3VsYXIgaW1wbGVtZW50YXRpb24KPj4gaXNzdWUg b24gQW5kZXMgQVg2Niwgd2hlcmUgdGhlIFZTLXN0YWdlIFRMQiBkb2VzIG5vdCBjYWNoZSBndWVz dCBwaHlzaWNhbAo+PiBhZGRyZXNzIGFuZCBWTUlELCBzbyB0aGUgbm9ybWFsIFZNSUQvR1BBLWJh c2VkIGludmFsaWRhdGlvbiBtb2RlbCBpcwo+PiBpbnN1ZmZpY2llbnQuIEluIHRoYXQgc2Vuc2Us IGl0IGRvZXMgbm90IHNlZW0gdG8gYmUgYSBnZW5lcmljIHNvbHV0aW9uIGZvcgo+PiBndWVzdCBz ZmVuY2Uudm1hIGNvaGVyZW5jZSBhY3Jvc3MgdkNQVSBtaWdyYXRpb24uCj4+Cj4+IEkgYW0gd29u ZGVyaW5nIHdoYXQgdGhlIHJpZ2h0IGRpcmVjdGlvbiBzaG91bGQgYmUuIEVuYWJsaW5nIEhTVEFU VVMuVlRWTSBhbmQKPj4gdHJhcHBpbmcgZ3Vlc3Qgc2ZlbmNlLnZtYSB3b3VsZCBhbGxvdyBLVk0g dG8gdHJhbnNsYXRlIGd1ZXN0IGxvY2FsIHNmZW5jZS52bWEKPj4gaW50byB0aGUgcmVxdWlyZWQg aG9zdC1zaWRlIGhmZW5jZS52dm1hLCBidXQgdGhhdCBtYXkgYmUgdG9vIGhlYXZ5IGZvciB0aGUK Pj4gY29tbW9uIGNhc2UuIEFub3RoZXIgcG9zc2libGUgZGlyZWN0aW9uIG1heSBiZSB0byBtYWtl IHRoZSBjdXJyZW50Cj4+IEFuZGVzLXNwZWNpZmljIHZDUFUgbWlncmF0aW9uIGZsdXNoIGxvZ2lj IG1vcmUgZ2VuZXJpYywgc28gaW1wbGVtZW50YXRpb25zCj4+IHRoYXQgbmVlZCBWUy1zdGFnZSBU TEIgc2FuaXRpemF0aW9uIG9uIHZDUFUgbWlncmF0aW9uIGNhbiBvcHQgaW4gdGhyb3VnaCBhCj4+ IGNvbW1vbiBtZWNoYW5pc20uIEEgdGhpcmQgcG9zc2liaWxpdHkgbWF5IGJlIHRvIGRlZmluZSBh IGxpZ2h0d2VpZ2h0IFNCSQo+PiBpbnRlcmZhY2UgZm9yIGd1ZXN0IGxvY2FsIHNmZW5jZS52bWEs IHNvIExpbnV4IGNvdWxkIHVzZSBpdCBpbgo+PiBfX2ZsdXNoX3RsYl9yYW5nZSgpIGZvciB0aGUg bG9jYWwgY2FzZSB3aGVuIHJ1bm5pbmcgdW5kZXIgS1ZNLCBhbmQgS1ZNIGNvdWxkCj4+IHRoZW4g ZGVjaWRlIHdoZXRoZXIgYSBsb2NhbCBzZmVuY2Uudm1hIGlzIHN1ZmZpY2llbnQgb3Igd2hldGhl ciBob3N0LXNpZGUKPj4gaGZlbmNlLnZ2bWEgaXMgYWxzbyBuZWVkZWQuCj4gCj4gRW5hYmxpbmcg SFNUQVRVUy5WVFZNIGhhcyBhIGJpZyBpbXBhY3Qgb24gcGVyZm9ybWFuY2Ugc28gY2VydGFpbmx5 Cj4gTkFDSyBmcm9tIG15c2lkZS4KPiAKPj4KPj4gTXkgcXVlc3Rpb25zIGFyZToKPj4gMS4gSXMg dGhlIGJlaGF2aW9yIGFib3ZlIGV4cGVjdGVkIG9uIGN1cnJlbnQgUklTQy1WIEtWTT8KPiAKPiBZ ZXMsIGl0IHNob3VsZCB3b3JrIGZpbmUgdW5sZXNzIHRoZXJlIGlzIHNvbWUgSFcgYnVnLgo+IAo+ PiAyLiBJZiBub3QsIHdoYXQgd291bGQgYmUgdGhlIHByZWZlcnJlZCBmaXggZGlyZWN0aW9uPwo+ PiAzLiBTaG91bGQgdGhpcyBiZSBoYW5kbGVkIGJ5IHRyYXBwaW5nIGd1ZXN0IHNmZW5jZS52bWEg d2l0aCBWVFZNLCBieQo+PiAgICAgZ2VuZXJhbGl6aW5nIHRoZSBleGlzdGluZyB2Q1BVLW1pZ3Jh dGlvbiBWUy1zdGFnZSBUTEIgZmx1c2ggbG9naWMsIG9yIGJ5Cj4+ICAgICBhZGRpbmcgYSBsaWdo dGVyIFNCSS1tZWRpYXRlZCBwYXRoIGZvciBndWVzdCBsb2NhbCBzZmVuY2Uudm1hPwo+PiA0LiBP ciBpcyB0aGVyZSBhbm90aGVyIGludGVuZGVkIG1lY2hhbmlzbSB0byBrZWVwIFZTLXN0YWdlIFRM QiBzdGF0ZSBjb2hlcmVudAo+PiAgICAgYWNyb3NzIHZDUFUgbWlncmF0aW9uPwo+Pgo+PiBJZiBu ZWVkZWQsIEkgY2FuIHNlbmQgYSByZXByb2R1Y2VyIGFuZCB0aGUgZXhhY3QgaGFyZHdhcmUva2Vy bmVsIGRldGFpbHMuCj4+Cj4gCj4gRXZlbiBpZiB5b3Ugc2hhcmUgc29tZSByZXBvcmR1Y2luZyBj b2RlIHNlcXVlbmNlLCB3ZSBzdGlsbCBoYXZlIGRvbid0Cj4gaGF2ZSBhY2Nlc3MgdG8geW91ciBI VyBzbyBpdCB3b24ndCBoZWxwIG11Y2guCj4gCj4gUmVnYXJkcywKPiBBbnVwCgoKX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KbGludXgtcmlzY3YgbWFpbGlu ZyBsaXN0CmxpbnV4LXJpc2N2QGxpc3RzLmluZnJhZGVhZC5vcmcKaHR0cDovL2xpc3RzLmluZnJh ZGVhZC5vcmcvbWFpbG1hbi9saXN0aW5mby9saW51eC1yaXNjdgo=