From mboxrd@z Thu Jan 1 00:00:00 1970 From: Sergey Dyasli Subject: Re: [PATCH 1/2] VMX: fix VMCS race on context-switch paths Date: Wed, 15 Feb 2017 11:13:52 +0000 Message-ID: <1487157231.3588.3.camel@citrix.com> References: <58A2E8B70200007800139946@prv-mh.provo.novell.com> <58A2E9F9020000780013995D@prv-mh.provo.novell.com> <1487154433.3588.1.camel@citrix.com> <58A442D2020000780013A17B@prv-mh.provo.novell.com> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Return-path: Received: from mail6.bemta3.messagelabs.com ([195.245.230.39]) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cdxX0-0002mj-Re for xen-devel@lists.xenproject.org; Wed, 15 Feb 2017 11:13:54 +0000 In-Reply-To: <58A442D2020000780013A17B@prv-mh.provo.novell.com> Content-Language: en-US Content-ID: List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xen.org Sender: "Xen-devel" To: "JBeulich@suse.com" Cc: Sergey Dyasli , Kevin Tian , "Kevin.Mayer@gdata.de" , Andrew Cooper , Anshul Makkar , "jun.nakajima@intel.com" , "xen-devel@lists.xenproject.org" List-Id: xen-devel@lists.xenproject.org T24gV2VkLCAyMDE3LTAyLTE1IGF0IDA0OjAwIC0wNzAwLCBKYW4gQmV1bGljaCB3cm90ZToNCj4g PiA+ID4gT24gMTUuMDIuMTcgYXQgMTE6MjcsIDxzZXJnZXkuZHlhc2xpQGNpdHJpeC5jb20+IHdy b3RlOg0KPiA+IA0KPiA+IFRoaXMgaXMgd2hhdCBJJ20gZ2V0dGluZyBkdXJpbmcgdGhlIG9yaWdp bmFsIHRlc3QgY2FzZSAoMzIgVk1zIHJlYm9vdCk6DQo+ID4gDQo+ID4gKFhFTikgWyAxNDA3Ljc4 OTMyOV0gV2F0Y2hkb2cgdGltZXIgZGV0ZWN0cyB0aGF0IENQVTEyIGlzIHN0dWNrIQ0KPiA+IChY RU4pIFsgMTQwNy43OTU3MjZdIC0tLS1bIFhlbi00LjYuMS14cy1sb2NhbCAgeDg2XzY0ICBkZWJ1 Zz1uICBOb3QgdGFpbnRlZCBdLS0tLQ0KPiA+IChYRU4pIFsgMTQwNy44MDM3NzRdIENQVTogICAg MTINCj4gPiAoWEVOKSBbIDE0MDcuODA2OTc1XSBSSVA6ICAgIGUwMDg6WzxmZmZmODJkMDgwMWVh MmEyPl0gDQo+ID4gdm14X3ZtY3NfcmVsb2FkKzB4MzIvMHg1MA0KPiA+IChYRU4pIFsgMTQwNy44 MTQ5MjZdIFJGTEFHUzogMDAwMDAwMDAwMDAwMDAxMyAgIENPTlRFWFQ6IGh5cGVydmlzb3IgKGQy MzB2MCkNCj4gPiAoWEVOKSBbIDE0MDcuODIyNDg2XSByYXg6IDAwMDAwMDAwMDAwMDAwMDAgICBy Yng6IGZmZmY4MzAwNzllZTcwMDAgICByY3g6IDAwMDAwMDAwMDAwMDAwMDANCj4gPiAoWEVOKSBb IDE0MDcuODMxNDA3XSByZHg6IDAwMDAwMDZmOGY3MmNlMDAgICByc2k6IGZmZmY4MzI5YjNlZmJm ZTggICByZGk6IGZmZmY4MzAwNzllZTcwMDANCj4gPiAoWEVOKSBbIDE0MDcuODQwMzI2XSByYnA6 IGZmZmY4MzAwN2JhYjcwMDAgICByc3A6IGZmZmY4MzQwMGZhYjdkYzggICByODogMDAwMDAxNDY4 ZTllM2NjYw0KPiA+IChYRU4pIFsgMTQwNy44NDkyNDZdIHI5OiAgZmZmZjgzNDAzZmZlNzAwMCAg IHIxMDogMDAwMDAxNDZjOTFjMTczNyAgIHIxMTogZmZmZjgzM2E5NTU4YzMxMA0KPiA+IChYRU4p IFsgMTQwNy44NTgxNjZdIHIxMjogZmZmZjgzM2E5NTU4YzAwMCAgIHIxMzogMDAwMDAwMDAwMDAw MDAwYyAgIHIxNDogZmZmZjgzNDAzZmZlNzAwMA0KPiA+IChYRU4pIFsgMTQwNy44NjcwODVdIHIx NTogZmZmZjgyZDA4MDM2NDY0MCAgIGNyMDogMDAwMDAwMDA4MDA1MDAzMyAgIGNyNDogMDAwMDAw MDAwMDM1MjZlMA0KPiA+IChYRU4pIFsgMTQwNy44NzYwMDVdIGNyMzogMDAwMDAwMjk0YjA3NDAw MCAgIGNyMjogMDAwMDA3ZmVmZDdjZTE1MA0KPiA+IChYRU4pIFsgMTQwNy44ODI1OTldIGRzOiAw MDAwICAgZXM6IDAwMDAgICBmczogMDAwMCAgIGdzOiAwMDAwICAgc3M6IDAwMDAgICBjczogZTAw OA0KPiA+IChYRU4pIFsgMTQwNy44OTA5MzhdIFhlbiBjb2RlIGFyb3VuZCA8ZmZmZjgyZDA4MDFl YTJhMj4gKHZteF92bWNzX3JlbG9hZCsweDMyLzB4NTApOg0KPiA+IChYRU4pIFsgMTQwNy44OTky NzddICA4NCAwMCAwMCAwMCAwMCAwMCBmMyA5MCA8ODM+IGJmIGU4IDA1IDAwIDAwIGZmIDc1IGY1 IGU5IGEwIGZhIGZmIGZmIGYzIGMzDQo+ID4gKFhFTikgWyAxNDA3LjkwODY3OV0gWGVuIHN0YWNr IHRyYWNlIGZyb20gcnNwPWZmZmY4MzQwMGZhYjdkYzg6DQo+ID4gKFhFTikgWyAxNDA3LjkxNDk4 Ml0gICAgZmZmZjgyZDA4MDE2YzU4ZCAwMDAwMDAwMDAwMDAxMDAwIDAwMDAwMDAwMDAwMDAwMDAg MDAwMDAwMDAwMDAwMDAwMA0KPiA+IChYRU4pIFsgMTQwNy45MjM5OThdICAgIDAwMDAwMDAwMDAw MDAyMDYgMDAwMDAwMDAwMDAwMDA4NiAwMDAwMDAwMDAwMDAwMjg2IDAwMDAwMDAwMDAwMDAwMGMN Cj4gPiAoWEVOKSBbIDE0MDcuOTMzMDE3XSAgICBmZmZmODMwMDdiYWI3MDU4IGZmZmY4MmQwODAz NjQ2NDAgZmZmZjgzMDA3YmFiNzAwMCAwMDAwMDE0NmE3ZjI2NDk1DQo+ID4gKFhFTikgWyAxNDA3 Ljk0MjAzMl0gICAgZmZmZjgzMDA3OWVlNzAwMCBmZmZmODMzYTk1NThjZjg0IGZmZmY4MzNhOTU1 OGMwMDAgZmZmZjgyZDA4MDM2NDY0MA0KPiA+IChYRU4pIFsgMTQwNy45NTEwNDhdICAgIGZmZmY4 MmQwODAxMmZiOGUgZmZmZjgzNDAwZmFiZGE5OCBmZmZmODM0MDBmYWJhMTQ4IGZmZmY4MzQwM2Zm ZTcwMDANCj4gPiAoWEVOKSBbIDE0MDcuOTYwMDY3XSAgICBmZmZmODM0MDBmYWJhMTYwIGZmZmY4 MzQwMGZhYmRhNDAgZmZmZjgyZDA4MDE2NDMwNSAwMDAwMDAwMDAwMDAwMDBjDQo+ID4gKFhFTikg WyAxNDA3Ljk2OTA4M10gICAgZmZmZjgzMDA3OWVlNzAwMCAwMDAwMDAwMDAxYzljMzgwIGZmZmY4 MmQwODAxMzY0MDAgMDAwMDAwNDQwMDAwMDExZA0KPiA+IChYRU4pIFsgMTQwNy45NzgxMDFdICAg IDAwMDAwMDAwZmZmZmZmZmYgZmZmZmZmZmZmZmZmZmZmZiBmZmZmODM0MDBmYWIwMDAwIGZmZmY4 MmQwODAzNDhkMDANCj4gPiAoWEVOKSBbIDE0MDcuOTg3MTE2XSAgICBmZmZmODMzYTk1NThjMDAw IGZmZmY4MmQwODAzNjQ2NDAgZmZmZjgyZDA4MDEzMzExYyBmZmZmODMwMDc5ZWU3MDAwDQo+ID4g KFhFTikgWyAxNDA3Ljk5NjEzNF0gICAgZmZmZjgzNDAwZmFiMDAwMCBmZmZmODMwMDc5ZWU3MDAw IGZmZmY4MzQwM2ZmZTcwMDAgMDAwMDAwMDBmZmZmZmZmZg0KPiA+IChYRU4pIFsgMTQwOC4wMDUx NTFdICAgIGZmZmY4MmQwODAxNjdkMzUgZmZmZjgzMDA3YmFiNzAwMCAwMDAwMDAwMDAwMDAwMDAx IGZmZmZmYTgwMDc3Zjk3MDANCj4gPiAoWEVOKSBbIDE0MDguMDE0MTY3XSAgICBmZmZmZmE4MDA3 NWJmOTAwIGZmZmZmYTgwMDc3Zjk4MjAgMDAwMDAwMDAwMDAwMDAwMCAwMDAwMDAwMDAwMDAwMDAw DQo+ID4gKFhFTikgWyAxNDA4LjAyMzE4NF0gICAgZmZmZmZhODAwODg4OWMwMCAwMDAwMDAwMDAy ZmExZTc4IDAwMDAwMDNiNmVkMThkNzggMDAwMDAwMDAwMDAwMDAwMA0KPiA+IChYRU4pIFsgMTQw OC4wMzIyMDJdICAgIDAwMDAwMDAwMDY4ZTc3ODAgZmZmZmZhODAwNzViYTc5MCBmZmZmZmE4MDA3 N2Y5ODQ4IGZmZmZmODAwMDI3ZjllODANCj4gPiAoWEVOKSBbIDE0MDguMDQxMjIwXSAgICAwMDAw MDAwMDAwMDAwMDAxIDAwMDAwMGZjMDAwMDAwMDAgZmZmZmY4ODAwNDI0OTljMiAwMDAwMDAwMDAw MDAwMDAwDQo+ID4gKFhFTikgWyAxNDA4LjA1MDIzNV0gICAgMDAwMDAwMDAwMDAwMDI0NiBmZmZm ZjgwMDAwYjljYjU4IDAwMDAwMDAwMDAwMDAwMDAgODAyNDhlMDBlMDA4ZTFmMA0KPiA+IChYRU4p IFsgMTQwOC4wNTkyNTNdICAgIDAwMDAwMDAwZmZmZjgyZDAgODAyNDhlMDBlMDA4ZTIwMCAwMDAw MDAwMGZmZmY4MmQwIDgwMjQ4ZTAwMDAwMDAwMGMNCj4gPiAoWEVOKSBbIDE0MDguMDY4MjY4XSAg ICBmZmZmODMwMDc5ZWU3MDAwIDAwMDAwMDZmOGY3MmNlMDAgMDAwMDAwMDBmZmZmODJkMA0KPiA+ IChYRU4pIFsgMTQwOC4wNzU2MzhdIFhlbiBjYWxsIHRyYWNlOg0KPiA+IChYRU4pIFsgMTQwOC4w NzkzMjJdICAgIFs8ZmZmZjgyZDA4MDFlYTJhMj5dIHZteF92bWNzX3JlbG9hZCsweDMyLzB4NTAN Cj4gPiAoWEVOKSBbIDE0MDguMDg2MzAzXSAgICBbPGZmZmY4MmQwODAxNmM1OGQ+XSBjb250ZXh0 X3N3aXRjaCsweDg1ZC8weGViMA0KPiA+IChYRU4pIFsgMTQwOC4wOTMzODBdICAgIFs8ZmZmZjgy ZDA4MDEyZmI4ZT5dIHNjaGVkdWxlLmMjc2NoZWR1bGUrMHg0NmUvMHg3ZDANCj4gPiAoWEVOKSBb IDE0MDguMTAwOTQyXSAgICBbPGZmZmY4MmQwODAxNjQzMDU+XSByZXByb2dyYW1fdGltZXIrMHg3 NS8weGUwDQo+ID4gKFhFTikgWyAxNDA4LjEwNzkyNV0gICAgWzxmZmZmODJkMDgwMTM2NDAwPl0g dGltZXIuYyN0aW1lcl9zb2Z0aXJxX2FjdGlvbisweDkwLzB4MjEwDQo+ID4gKFhFTikgWyAxNDA4 LjExNjI2M10gICAgWzxmZmZmODJkMDgwMTMzMTFjPl0gc29mdGlycS5jI19fZG9fc29mdGlycSsw eDVjLzB4OTANCj4gPiAoWEVOKSBbIDE0MDguMTIzOTIxXSAgICBbPGZmZmY4MmQwODAxNjdkMzU+ XSBkb21haW4uYyNpZGxlX2xvb3ArMHgyNS8weDYwDQo+ID4gDQo+ID4gQ3VycmVudGx5IEknbSB0 ZXN0aW5nIHRoZSBmb2xsb3dpbmcgcGF0Y2ggdGhhdCBmaXhlcyBhdCBsZWFzdCBvbmUgcG9zc2li bGUgDQo+ID4gc2NlbmFyaW86DQo+ID4gDQo+ID4gY29tbWl0IGY3NmRjODMyYzJkZTQ5NTA4NzJm YzI3OTYyYzU2YzYwOWNmZjExNjANCj4gPiBBdXRob3I6IFNlcmdleSBEeWFzbGkgPHNlcmdleS5k eWFzbGlAY2l0cml4LmNvbT4NCj4gPiBEYXRlOiAgIFR1ZSBGZWIgMTQgMTU6MjM6NTQgMjAxNyAr MDAwMA0KPiA+IA0KPiA+ICAgICB4ODYvdm14OiB1c2UgY3Vycl92Y3B1IGluIHZteF92bWNzX2V4 aXQoKQ0KPiA+ICAgICANCj4gPiAgICAgRHVyaW5nIGNvbnRleHRfc3dpdGNoKCkgZnJvbSBhIEhW TSB2Q1BVIHRvIHRoZSBpZGxlIHZDUFUsIGN1cnJlbnQgaXMNCj4gPiAgICAgdXBkYXRlZCBidXQg Y3Vycl92Y3B1IHJldGFpbnMgdGhlIEhNViB2Q1BVJ3MgdmFsdWUuICBJZiBhZnRlciB0aGF0LA0K PiA+ICAgICBmb3Igc29tZSByZWFzb24sIHZteF92bWNzX2VudGVyKCkgKyB2bXhfdm1jc19leGl0 KCkgcGFpciB3aWxsIGJlDQo+ID4gICAgIGV4ZWN1dGVkLCB0aGUgdGVzdCBmb3IgaGFzX2h2bV9j b250YWluZXJfdmNwdShjdXJyZW50KSB3aWxsIGZhaWwgYW5kDQo+ID4gICAgIHZtY3MgZm9yIGN1 cnJfdmNwdSB3aWxsIG5vdCBiZSBsb2FkZWQuDQo+IA0KPiBJJ20gbm90IHNlZWluZyB0aGUgY29u bmVjdGlvbiB0byB0aGUgd2F0Y2hkb2cgaW52b2NhdGlvbiBhYm92ZToNCj4gSSB0YWtlIGl0IHRo YXQgdm14X3ZtY3NfcmVsb2FkKCkgd2FzIGNhdWdodCB3aGlsZSB3YWl0aW5nIGZvcg0KPiBhY3Rp dmVfY3B1IHRvIGJlY29tZSAtMS4gWWV0IHRoYXQncyB3aGF0IHZteF9jbGVhcl92bWNzKCkNCj4g YWNoaWV2ZXMsIG5vdCB2bXhfbG9hZF92bWNzKCkuDQoNClNvcnJ5IGZvciBtaXN1bmRlcnN0YW5k aW5nIGJ1dCB0aGVzZSAyIHBhdGNoZXMgYXJlIGJlaW5nIHRlc3RlZA0Kc2VwYXJhdGVseSwgbm90 IHRvZ2V0aGVyLiBNeSBwYXRjaCBpcyBhbiBhbHRlcm5hdGl2ZSBhcHByb2FjaCBmb3INCnRoZSBp c3N1ZS4gSXQgZml4ZXMgYXQgbGVhc3Qgb25lIG9ic2VydmVkIEJVRygpIHNjZW5hcmlvIHdpdGgg UE1MIGFuZA0KSSdtIGN1cnJlbnRseSBsb29raW5nIGZvciBvdGhlcnMuDQoNCj4gU2ltaWxhcmx5 LCB3aGVuIF9fY29udGV4dF9zd2l0Y2goKSBpcyBiZWluZyBieXBhc3NlZCBhbHNvIG9uIHRoZSBz ZWNvbmQNCj4gKHN3aXRjaC1pbikgcGF0aCwgVk1DUyBvd25lcnNoaXAgbWF5IGhhdmUgYmVlbiBs b3N0IGFuZCBoZW5jZSBuZWVkcw0KPiByZS1lc3RhYmxpc2hpbmcuIFNpbmNlIHRoZXJlJ3Mgbm8g ZXhpc3RpbmcgaG9vayB0byBwdXQgdGhpcyBpbiwgYWRkIGENCj4gbmV3IG9uZS4NCg0KQlRXLCBh bmQgd2hhdCBhYm91dCB2bXhfZG9fcmVzdW1lKCk/IEl0IGRvZXMgdm14X2xvYWRfdm1jcygpIGlu IGNhc2VzDQp3aGVuIFZNQ1Mgd2FzIGNsZWFyZWQgYnkgc29tZW9uZS4NCg0KPiANCj4gPiAgICAg VGhpcyB3aWxsIGxlYWQgdG8gQlVHKCkgZHVyaW5nIHRoZSBuZXh0IF9fY29udGV4dF9zd2l0Y2go KSB3aGVuDQo+ID4gICAgIHZteF9jdHh0X3N3aXRjaF9mcm9tKCkgd2lsbCBiZSBleGVjdXRlZCBh bmQgX192bXdyaXRlKCkgd2lsbCBmYWlsLg0KPiANCj4gQnV0IHRoYXQgY2FzZSBpcyBzcGVjaWZp Y2FsbHkgKHN1cHBvc2VkIHRvIGJlKSB0YWtlbiBjYXJlIG9mIGJ5DQo+IGNhbGxpbmcgdm14X3Zt Y3NfcmVsb2FkKCkgZnJvbSB2bXhfY3R4dF9zd2l0Y2hfZnJvbSgpLg0KPiANCj4gPiAgICAgRml4 IHRoaXMgYnkgdGVzdGluZyBoYXNfaHZtX2NvbnRhaW5lcl92Y3B1KCkgYWdhaW5zdCBjdXJyX3Zj cHUuDQo+IA0KPiBJZiBhdCBhbGwgcG9zc2libGUsIEkgbGlrZSB0byBhdm9pZCBoYXZpbmcgdG8g dXNlIGN1cnJfdmNwdSBpbiB0aGUgZml4aW5nDQo+IG9mIHRoaXMgKHdob2xlKSBpc3N1ZS4NCj4g DQo+ID4gLS0tIGEveGVuL2FyY2gveDg2L2h2bS92bXgvdm1jcy5jDQo+ID4gKysrIGIveGVuL2Fy Y2gveDg2L2h2bS92bXgvdm1jcy5jDQo+ID4gQEAgLTc0Miw2ICs3NDIsOCBAQCB2b2lkIHZteF92 bWNzX2VudGVyKHN0cnVjdCB2Y3B1ICp2KQ0KPiA+ICB2b2lkIHZteF92bWNzX2V4aXQoc3RydWN0 IHZjcHUgKnYpDQo+ID4gIHsNCj4gPiAgICAgIHN0cnVjdCBmb3JlaWduX3ZtY3MgKmZ2Ow0KPiA+ ICsgICAgdW5zaWduZWQgaW50IGNwdSA9IHNtcF9wcm9jZXNzb3JfaWQoKTsNCj4gPiArICAgIHN0 cnVjdCB2Y3B1ICpwID0gcGVyX2NwdShjdXJyX3ZjcHUsIGNwdSk7DQo+ID4gIA0KPiA+ICAgICAg aWYgKCBsaWtlbHkodiA9PSBjdXJyZW50KSApDQo+ID4gICAgICAgICAgcmV0dXJuOw0KPiA+IEBA IC03NTQsOCArNzU2LDggQEAgdm9pZCB2bXhfdm1jc19leGl0KHN0cnVjdCB2Y3B1ICp2KQ0KPiA+ ICAgICAgew0KPiA+ICAgICAgICAgIC8qIERvbid0IGNvbmZ1c2Ugdm14X2RvX3Jlc3VtZSAoZm9y IEB2IG9yIEBjdXJyZW50ISkgKi8NCj4gPiAgICAgICAgICB2bXhfY2xlYXJfdm1jcyh2KTsNCj4g PiAtICAgICAgICBpZiAoIGhhc19odm1fY29udGFpbmVyX3ZjcHUoY3VycmVudCkgKQ0KPiA+IC0g ICAgICAgICAgICB2bXhfbG9hZF92bWNzKGN1cnJlbnQpOw0KPiA+ICsgICAgICAgIGlmICggaGFz X2h2bV9jb250YWluZXJfdmNwdShwKSApDQo+ID4gKyAgICAgICAgICAgIHZteF9sb2FkX3ZtY3Mo cCk7DQo+IA0KPiBJZiB0aGlzIGNoYW5nZSAob3Igc29tZXRoaW5nIHNpbWlsYXIpIHJlYWxseSB0 dXJuZWQgb3V0IHRvIGJlDQo+IG5lY2Vzc2FyeSwgdGhlIHZhcmlhYmxlIGRlY2xhcmF0aW9ucyBz aG91bGQgYmUgbW92ZWQgaW50byB0aGlzDQo+IG1vcmUgbmFycm93IHNjb3BlIChhbmQgSSdkIHBy ZWZlciB0aGUgImNwdSIgb25lIHRvIGJlIGRyb3BwZWQNCj4gYWx0b2dldGhlcikuDQo+IA0KPiBK YW4NCi0tIA0KVGhhbmtzLA0KU2VyZ2V5Cl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fClhlbi1kZXZlbCBtYWlsaW5nIGxpc3QKWGVuLWRldmVsQGxpc3RzLnhl bi5vcmcKaHR0cHM6Ly9saXN0cy54ZW4ub3JnL3hlbi1kZXZlbAo=