From mboxrd@z Thu Jan 1 00:00:00 1970 From: Razvan Cojocaru Subject: Re: [PATCH RFC] x86/emulate: implement hvmemul_cmpxchg() with an actual CMPXCHG Date: Mon, 3 Apr 2017 21:20:28 +0300 Message-ID: References: <1490361899-18303-1-git-send-email-rcojocaru@bitdefender.com> <58DBD8FF020000780014A113@prv-mh.provo.novell.com> <185bbccb-0156-07fe-d060-6135cae07caf@bitdefender.com> <3e753894-4727-5d4f-1ced-9be09c035e2f@bitdefender.com> <58DD10BD020000780014AA0E@prv-mh.provo.novell.com> <11554a95-1be5-3ee3-fd76-a3bde650ebe0@bitdefender.com> <58DD3081020000780014AB39@prv-mh.provo.novell.com> <58DD44AE020000780014ACF2@prv-mh.provo.novell.com> <36d0e322-407c-16dd-8831-ebc2f7f33021@bitdefender.com> <58DE22BF020000780014B070@prv-mh.provo.novell.com> <2e799e78-9a6b-cf92-a98d-009920258f77@bitdefender.com> <58DE87FF020000780014B66E@prv-mh.provo.novell.com> <70fa19a1-e11e-d729-9dbd-ead8d06a00fa@bitdefender.com> <58DE8C2A020000780014B6BF@prv-mh.provo.novell.com> <15d76365-71a4-5f83-9ab3-a5bcc2564910@bitdefender.com> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Return-path: In-Reply-To: <15d76365-71a4-5f83-9ab3-a5bcc2564910@bitdefender.com> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xen.org Sender: "Xen-devel" To: Jan Beulich Cc: andrew.cooper3@citrix.com, paul.durrant@citrix.com, Tim Deegan , xen-devel@lists.xen.org List-Id: xen-devel@lists.xenproject.org T24gMDQvMDEvMjAxNyAwNzo1NiBQTSwgUmF6dmFuIENvam9jYXJ1IHdyb3RlOgo+IE9uIDAzLzMx LzIwMTcgMDY6MDQgUE0sIEphbiBCZXVsaWNoIHdyb3RlOgo+Pj4+PiBPbiAzMS4wMy4xNyBhdCAx NzowMSwgPHJjb2pvY2FydUBiaXRkZWZlbmRlci5jb20+IHdyb3RlOgo+Pj4gT24gMDMvMzEvMjAx NyAwNTo0NiBQTSwgSmFuIEJldWxpY2ggd3JvdGU6Cj4+Pj4+Pj4gT24gMzEuMDMuMTcgYXQgMTE6 NTYsIDxyY29qb2NhcnVAYml0ZGVmZW5kZXIuY29tPiB3cm90ZToKPj4+Pj4gT24gMDMvMzEvMjAx NyAxMDozNCBBTSwgSmFuIEJldWxpY2ggd3JvdGU6Cj4+Pj4+Pj4+PiBPbiAzMS4wMy4xNyBhdCAw ODoxNywgPHJjb2pvY2FydUBiaXRkZWZlbmRlci5jb20+IHdyb3RlOgo+Pj4+Pj4+IE9uIDAzLzMw LzIwMTcgMDY6NDcgUE0sIEphbiBCZXVsaWNoIHdyb3RlOgo+Pj4+Pj4+Pj4gU3BlYWtpbmcgb2Yg ZW11bGF0ZWQgTU1JTywgSSd2ZSBnb3QgdGhpcyB3aGVuIHRoZSBndWVzdCB3YXMgY3Jhc2hpbmcK Pj4+Pj4+Pj4+IGltbWVkaWF0ZWx5IChwcmUgUkVUUlkgbG9vcCk6Cj4+Pj4+Pj4+Pgo+Pj4+Pj4+ Pj4gIE1NSU8gZW11bGF0aW9uIGZhaWxlZDogZDN2OCAzMmJpdCBAIDAwMDg6ODI2NzlmM2MgLT4g ZjAgMGYgYmEgMzAgMDAgNzIKPj4+Pj4+Pj4+IDA3IDhiIGNiIGU4IGRhIDRiIGZmIGZmIDhiIDQ1 Cj4+Pj4+Pj4+Cj4+Pj4+Pj4+IFRoYXQncyBhIEJUUiwgd2hpY2ggd2Ugc2hvdWxkIGJlIGVtdWxh dGluZyBmaW5lLiBNb3JlIGluZm9ybWF0aW9uCj4+Pj4+Pj4+IHdvdWxkIG5lZWQgdG8gYmUgY29s bGVjdGVkIHRvIGhhdmUgYSBjaGFuY2UgdG8gdW5kZXJzdGFuZCB3aGF0Cj4+Pj4+Pj4+IG1pZ2h0 IGJlIGdvaW5nIG9uZSAoZmlyc3Qgb2YgYWxsIHRoZSB2aXJ0dWFsIGFuZCBwaHlzaWNhbCBtZW1v cnkKPj4+Pj4+Pj4gYWRkcmVzcyB0aGlzIHdhcyB0cnlpbmcgdG8gYWN0IG9uKS4KPj4+Pj4+Pgo+ Pj4+Pj4+IFJpZ2h0LCB0aGUgQlRSIHBhcnQgc2hvdWxkIGJlIGZpbmUsIGJ1dCBJIHRoaW5rIHRo ZSBMT0NLIHBhcnQgaXMgd2hhdCdzCj4+Pj4+Pj4gY2F1c2luZyB0aGUgaXNzdWUuIEkndmUgZG9u ZSBhIGZldyBtb3JlIHRlc3QgcnVucyB0byBzZWUgd2hhdCByZXR1cm4KPj4+Pj4+PiBSRVRSWSAo ZHVtcGluZyB0aGUgaW5zdHJ1Y3Rpb24gd2l0aCBhbiAiKHIpIiBwcmVmaXggdG8gZGlzdGluZ3Vp c2ggZnJvbQo+Pj4+Pj4+IHRoZSBVTkhBTkRMRUFCTEUgZHVtcCksIGFuZCBhIGNvdXBsZSBvZiBp bnN0cnVjdGlvbnMgcmV0dXJuIFJFVFJZIChCVFIKPj4+Pj4+PiBhbmQgWEFERCwgYm90aCBMT0NL LXByZWZpeGVkLCB3aGljaCBtZWFucyB0aGV5IG5vdyBpbnZvbHZlIENNUFhDSEcKPj4+Pj4+PiBo YW5kbGVyLCB3aGljaCBwcmVzdW1hYmx5IG5vdyBmYWlscyAtIHBvc3NpYmx5IHNpbXBseSBiZWNh dXNlIGl0J3MKPj4+Pj4+PiBhbHdheXMgTE9DS2VkIGluIG15IHBhdGNoKToKPj4+Pj4+Cj4+Pj4+ PiBXZWxsLCBhbGwgb2YgdGhhdCBsb29rcyB0byBiZSBleHBlY3RlZCBiZWhhdmlvci4gSSdtIGFm cmFpZCBJIGRvbid0IHNlZQo+Pj4+Pj4gaG93IHRoaXMgaW5mb3JtYXRpb24gaGVscHMgdW5kZXJz dGFuZGluZyB0aGUgTU1JTyBlbXVsYXRpb24gZmFpbHVyZQo+Pj4+Pj4gYWJvdmUuCj4+Pj4+Cj4+ Pj4+IEkndmUgbWFuYWdlZCB0byBvYnRhaW4gdGhpcyBsb2cgb2YgZW11bGF0aW9uIGVycm9yczoK Pj4+Pj4gaHR0cHM6Ly9wYXN0ZWJpbi5jb20vRXN5MVNrSHggCj4+Pj4+Cj4+Pj4+IFRoZSAidmly dHVhbCBhZGRyZXNzIiBsaW5lcyB0aGF0IGFyZSBub3QgZm9sbG93ZWQgYnkgYW55ICJNZW0gZXZl bnQiCj4+Pj4+IGxpbmUgY29ycmVzcG9uZCB0byBDTVhDSEdfRkFJTEVEIHJldHVybiBjb2Rlcy4K Pj4+Pj4KPj4+Pj4gVGhlIHZlcnkgbGFzdCBsaW5lIGlzIGEgTU1JTyBlbXVsYXRpb24gZmFpbGVk Lgo+Pj4+Pgo+Pj4+PiBJdCdzIHByb2JhYmx5IGltcG9ydGFudCB0aGF0IHRoaXMgaGFwcGVucyB3 aXRoIHRoZSBtb2RlbCB3aGVyZQo+Pj4+PiBodm1fZW11bGF0ZV9vbmVfdm1fZXZlbnQoKSBkb2Vz IF9ub3RfIHJlLXRyeSB0aGUgZW11bGF0aW9uIHVudGlsIGl0Cj4+Pj4+IHN1Y2NlZWRzLiBUaGUg b3RoZXIgbW9kZWwgYWxsb3dzIG1lIHRvIGdvIGZ1cnRoZXIgd2l0aCB0aGUgZ3Vlc3QsIGJ1dAo+ Pj4+PiBldmVudHVhbGx5IEkgZ2V0IHRpbWVvdXQtcmVsYXRlZCBCU09EcyBvciB0aGUgZ3Vlc3Qg YmVjb21lcyB1bnJlc3BvbnNpdmUuCj4+Pj4KPj4+PiBJbnRlcmVzdGluZy4gWW91IGRpZG4ndCBj bGFyaWZ5IHdoYXQgdGhlIHByaW50ZWQgIm9mZnNldCIgdmFsdWVzIGFyZSwKPj4+PiBhbmQgaXQg ZG9lc24ndCBsb29rIGxpa2UgdGhlc2UgaGF2ZSBhbnkgY29ycmVsYXRpb24gd2l0aCB0aGUgdW5k ZXJseWluZwo+Pj4+IChndWVzdCkgcGh5c2ljYWwgYWRkcmVzcywgd2hpY2ggd2Ugd291bGQgYWxz byB3YW50IHRvIHNlZS4gQW5kIHRoZW4KPj4+PiBpdCBzdHJpa2VzIG1lIGFzIG9kZCB0aGF0IGlu IHRoZXNlIGxhc3QgbGluZXMKPj4+Pgo+Pj4+IChYRU4pIE1lbSBldmVudCAoUkVUUlkpIGVtdWxh dGlvbiBmYWlsZWQ6IGQ1djggMzJiaXQgQCAwMDA4OjgyNmJiODYxIC0+IGYwIDBmIAo+Pj4gYmEg MzAgMDAgNzIgMDcgOGIgY2IgZTggZGEgNGIgZmYgZmYgOGIgNDUKPj4+PiAoWEVOKSB2aXJ0dWFs IGFkZHJlc3M6IDB4ZmZkMDgwZjAsIG9mZnNldDogNDI5MTg1NDU3Ngo+Pj4+IChYRU4pIE1NSU8g ZW11bGF0aW9uIGZhaWxlZDogZDV2OCAzMmJpdCBAIDAwMDg6ODI2NTVmM2MgLT4gZjAgMGYgYmEg MzAgMDAgNzIgCj4+PiAwNyA4YiBjYiBlOCBkYSA0YiBmZiBmZiA4YiA0NQo+Pj4+Cj4+Pj4gdGhl IGluc3RydWN0aW9uIHBvaW50ZXJzIGFuZCB2aXJ0dWFsIGFkZHJlc3NlcyBhcmUgZGlmZmVyZW50 LCBidXQgdGhlCj4+Pj4gY29kZSBieXRlcyBhcmUgZXhhY3RseSB0aGUgc2FtZS4gVGhpcyBkb2Vz bid0IHNlZW0gdmVyeSBsaWtlbHksIHNvIEkKPj4+PiB3b25kZXIgd2hldGhlciB0aGVyZSdzIGFu IGlzc3VlIHdpdGggdXMgd3JvbmdseSByZS11c2luZyBwcmV2aW91c2x5Cj4+Pj4gZmV0Y2hlZCBp bnNuIGJ5dGVzLiAoT2YgY291cnNlIEknZCBiZSBoYXBweSB0byBiZSBwcm92ZW4gd3Jvbmcgd2l0 aAo+Pj4+IHRoaXMgZ3Vlc3NpbmcsIGJ5IHlvdSBjaGVja2luZyB0aGUgaW52b2x2ZWQgYmluYXJ5 L2llcy4pCj4+Pgo+Pj4gT2Zmc2V0IGlzIHRoZSBhY3R1YWwgdmFsdWUgb2YgdGhlICJvZmZzZXQi IHBhcmFtZXRlciBvZgo+Pj4gaHZtZW11bF9jbXB4Y2hnKCkuCj4+Cj4+IFRoYXQncyBub3QgdmVy eSB1c2VmdWwgdGhlbiwgYXMgZm9yIGZsYXQgc2VnbWVudHMgIm9mZnNldCIgPT0KPj4gInZpcnR1 YWwgYWRkcmVzcyIgKGkuZS4geW91IG1lcmVseSByZS1wcmludCBpbiBkZWNpbWFsIHdoYXQgeW91 J3ZlCj4+IGFscmVhZHkgcHJpbnRlZCBpbiBoZXgpLgo+IAo+IFRoZSBhdHRhY2hlZCBwYXRjaCAo YSBjb21iaW5hdGlvbiBvZiB5b3VyIHBhdGNoIGFuZCBtaW5lKSBwcm9kdWNlcyB0aGUKPiBmb2xs b3dpbmcgb3V0cHV0IHdoZW4gYm9vdGluZyBhIFdpbmRvd3MgNyAzMi1iaXQgZ3Vlc3Qgd2l0aCBt b25pdG9yaW5nOgo+IGh0dHBzOi8vcGFzdGViaW4uY29tL2F5aUZtajFOCj4gCj4gVGhlIGZhaWxl ZCBNTUlPIGVtdWxhdGlvbiBpcyBjYXVzZWQgYnkgYSBtYXBwaW5nIGZhaWx1cmUgZHVlIHRvIHRo ZQo+ICIhbmVzdGVkaHZtX3ZjcHVfaW5fZ3Vlc3Rtb2RlKGN1cnIpICYmIGh2bV9tbWlvX2ludGVy bmFsKGdwYSkiIGNvbmRpdGlvbgo+IGJlaW5nIHRydWUgaW4gaHZtZW11bF92YWRkcl90b19tZm4o KS4gSSd2ZSByaXBwZWQgdGhhdCBvZmYgZnJvbQo+IF9faHZtX2NvcHkoKSBidXQgaXQgbG9va3Mg bGlrZSB0aGF0IG1pZ2h0IG5vdCBiZSB0aGUgcmlnaHQgd2F5IHRvIHVzZSBpdC4KClNvcnJ5IHRv IHJlcGx5IHRvIHRoaXMgZW1haWwgaW5zdGVhZCBvZiB5b3VyIG9yaWdpbmFsIHJlcGx5IGJ1dCBJ J3ZlCiJsZWZ0IGl0IiBpbiBteSBjb21wdXRlciBhdCB3b3JrLiBIZXJlJ3MgdGhlIGxhc3QgcGFy dCBvZiB0aGUgbG9nLCB3aXRoCnRoZSBWQ1BVIG51bWJlciBsb2dnZWQgZm9yIHRoZSBHRk4gYXMg d2VsbDoKCihYRU4pIFs4XSBnZm46IDB4Mjc4MQooWEVOKSBbOF0gdmlydHVhbCBhZGRyZXNzOiAw eDgyNzgxMGE4LCByYzogMAooWEVOKSBbOF0gZ2ZuOiAweDI3ODEKKFhFTikgWzhdIHZpcnR1YWwg YWRkcmVzczogMHg4Mjc4MTBhOCwgcmM6IDAKKFhFTikgWzhdIGdmbjogMHgyNzgxCihYRU4pIFs4 XSB2aXJ0dWFsIGFkZHJlc3M6IDB4ODI3ODEwY2MsIHJjOiAwCihYRU4pIFs4XSBnZm46IDB4Mjc4 MQooWEVOKSBbOF0gdmlydHVhbCBhZGRyZXNzOiAweDgyNzgxMDljLCByYzogMAooWEVOKSBbOF0g Z2ZuOiAweDI3ODEKKFhFTikgWzhdIHZpcnR1YWwgYWRkcmVzczogMHg4Mjc4MTBkMCwgcmM6IDAK KFhFTikgWzExXSBnZm46IDB4Mjc4MQooWEVOKSBbOF0gZ2ZuOiAweDI3ODEKKFhFTikgWzExXSB2 aXJ0dWFsIGFkZHJlc3M6IDB4ODI3ODEwOWMsIHJjOiAwCihYRU4pIFs4XSB2aXJ0dWFsIGFkZHJl c3M6IDB4ODI3ODEwOWMsIHJjOiA0CihYRU4pIER1bXAgZm9sbG93cyBmb3IgVkNQVSA4CihYRU4p IE1lbSBldmVudCAoUkVUUlkpIGVtdWxhdGlvbiBmYWlsZWQ6IGQzdjggMzJiaXQgQCAwMDA4Ojgy NmI1YzdjIC0+CmYwIDBmIGMxIDA4IDg1IGM5IDc0IDFmIGY2IGMxIDAyIDc1IDFhIDQxIDhkIDQx CihYRU4pIFsxMV0gZ2ZuOiAweDI3ODEKKFhFTikgWzExXSB2aXJ0dWFsIGFkZHJlc3M6IDB4ODI3 ODEwYTgsIHJjOiAwCihYRU4pIFsxMV0gZ2ZuOiAweDI3ODEKKFhFTikgWzExXSB2aXJ0dWFsIGFk ZHJlc3M6IDB4ODI3ODEwYTgsIHJjOiAwCihYRU4pIFs4XSBnZm46IDB4ZmVkMDAKKFhFTikgIXBh Z2UKKFhFTikgaHZtZW11bF92YWRkcl90b19tZm4oKSBmYWlsCihYRU4pIFs4XSB2aXJ0dWFsIGFk ZHJlc3M6IDB4ZmZkMDgwZjAsIHJjOiAxCihYRU4pIE1NSU8gZW11bGF0aW9uIGZhaWxlZDogZDN2 OCAzMmJpdCBAIDAwMDg6ODI2NGZmM2MgLT4gZjAgMGYgYzEgMDgKODUgYzkgNzQgMWYgZjYgYzEg MDIgNzUgMWEgNDEgOGQgNDEKClRoZSBjb2RlIGRvZXMgbG9vayB0aGUgc2FtZSBmb3IgdGhlIGxh c3QgdHdvIGZhaWx1cmVzIG9uIFZDUFUgOCwgZm9yCmNsZWFybHkgZGlmZmVyZW50IEdGTnMgYW5k IHZpcnR1YWwgYWRkcmVzc2VzLiBUaGUgZmlyc3QgdGltZSBpdCBoaXRzIGEKcHJvdGVjdGVkIHBh Z2UsIHdlIHRyeSB0byBlbXVsYXRlIHRoZSBpbnN0cnVjdGlvbiBhbmQgaXQgZmFpbHMgd2l0aApY ODZFTVVMX0NNUFhDSEdfRkFJTEVEIChyYzogNCkuIFRoZW4gaXQgc29tZWhvdyBwb3BzIHVwIGFn YWluIGFuZCB0aGlzCnRpbWUgaXQncyBNTUlPLWVtdWxhdGVkLCBhbmQgdGhhdCBmYWlscyBhcyB3 ZWxsICh3aXRoIFVOSEFORExFQUJMRSwKc2luY2Ugd2UgY2FuJ3Qgc2VlbSB0byBiZSBhYmxlIHRv IG1hcCB0aGUgbWVtb3J5KS4KCgpUaGFua3MsClJhenZhbgoKX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX18KWGVuLWRldmVsIG1haWxpbmcgbGlzdApYZW4tZGV2 ZWxAbGlzdHMueGVuLm9yZwpodHRwczovL2xpc3RzLnhlbi5vcmcveGVuLWRldmVsCg==