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: Thu, 16 Feb 2017 08:29:31 +0000 Message-ID: <1487233771.3032.1.camel@citrix.com> References: <58A2E8B70200007800139946@prv-mh.provo.novell.com> <58A2E9F9020000780013995D@prv-mh.provo.novell.com> <1487154433.3588.1.camel@citrix.com> <58A463BA020000780013A37D@prv-mh.provo.novell.com> <1487170512.3588.9.camel@citrix.com> <58A47EB5020000780013A442@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 1ceHRW-0000x7-7I for xen-devel@lists.xenproject.org; Thu, 16 Feb 2017 08:29:34 +0000 In-Reply-To: <58A47EB5020000780013A442@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 T24gV2VkLCAyMDE3LTAyLTE1IGF0IDA4OjE1IC0wNzAwLCBKYW4gQmV1bGljaCB3cm90ZToNCj4g PiA+ID4gT24gMTUuMDIuMTcgYXQgMTU6NTUsIDxzZXJnZXkuZHlhc2xpQGNpdHJpeC5jb20+IHdy b3RlOg0KPiA+IA0KPiA+IE9uIFdlZCwgMjAxNy0wMi0xNSBhdCAwNjoyMCAtMDcwMCwgSmFuIEJl dWxpY2ggd3JvdGU6DQo+ID4gPiA+ID4gPiBPbiAxNS4wMi4xNyBhdCAxMToyNywgPHNlcmdleS5k eWFzbGlAY2l0cml4LmNvbT4gd3JvdGU6DQo+ID4gPiA+IA0KPiA+ID4gPiBUaGlzIGlzIHdoYXQg SSdtIGdldHRpbmcgZHVyaW5nIHRoZSBvcmlnaW5hbCB0ZXN0IGNhc2UgKDMyIFZNcyByZWJvb3Qp Og0KPiA+ID4gPiANCj4gPiA+ID4gKFhFTikgWyAxNDA3Ljc4OTMyOV0gV2F0Y2hkb2cgdGltZXIg ZGV0ZWN0cyB0aGF0IENQVTEyIGlzIHN0dWNrIQ0KPiA+ID4gPiAoWEVOKSBbIDE0MDcuNzk1NzI2 XSAtLS0tWyBYZW4tNC42LjEteHMtbG9jYWwgIHg4Nl82NCAgZGVidWc9biAgTm90IHRhaW50ZWQg XS0tLS0NCj4gPiA+IA0KPiA+ID4gSG1tLCB0aGlzIHdhcyB3aXRoIGEgbm9uLWRlYnVnIGJ1aWxk LCBzbyB0aGUgQVNTRVJUKCkgaW4NCj4gPiA+IHZteF92bWNzX3JlbG9hZCgpIHdhcyBhIG5vLW9w LCB5ZXQgaXQgd291bGQgaGF2ZSBiZWVuIHVzZWZ1bA0KPiA+ID4gdG8ga25vdyB3aGV0aGVyIGFj dGl2ZV9jcHUgd2FzIC0xIHdoZW4gZ2V0dGluZyBzdHVjayBoZXJlLg0KPiA+ID4gQnR3IC0gdGhl cmUgd2FzIG5vIG5lc3RlZCB2aXJ0IGluIHRoZSBwaWN0dXJlIGluIHlvdXIgdHJ5LCB3YXMNCj4g PiA+IHRoZXJlPw0KPiA+IA0KPiA+IE5vIG5lc3RlZCB2aXJ0IGlzIGludm9sdmVkIGluIHRoZSB0 ZXN0IGNhc2UuDQo+ID4gDQo+ID4gSXMgaXQgd29ydGggZ2l2aW5nIHlvdXIgcGF0Y2ggYW5vdGhl ciB0cnkgd2l0aCByZW1vdmluZyBjdHh0X3N3aXRjaF9zYW1lKCkNCj4gPiBzaW5jZSB3ZSBmaWd1 cmVkIG91dCB0aGF0IHZteF9kb19yZXN1bWUoKSB3aWxsIHJlbG9hZCB2bWNzIGVpdGhlciB3YXk/ DQo+IA0KPiBZZXMsIGJ1dCB0aGF0J3MgdGhlIGNvc21ldGljIHBhcnQsIHdoZXJlcmFzIC4uLg0K PiANCj4gPiBBbmQgSSB3aWxsIGFsc28gdXBkYXRlIHZteF92bWNzX3JlbG9hZCgpIGZyb20geW91 ciBsYXN0IGVtYWlsLg0KPiANCj4gLi4uIHRoaXMgbG9va3MgdG8gYmUgdGhlIGFjdHVhbCBidWcg Zml4LiBJZiB5b3UgYWdyZWUgd2l0aCBteQ0KPiByZWFzb25pbmcgb2YgcmVtb3ZpbmcgdGhlIGxv b3AgYWx0b2dldGhlciwgeW91IG1heSB3YW50IHRvIGdvDQo+IHdpdGggdGhhdCB2ZXJzaW9uIGlu c3RlYWQgb2YgYWRkaW5nIHRoZSBjb25kaXRpb25hbC4NCg0KQWZ0ZXIgZXh0ZW5zaXZlIG5pZ2h0 IHRlc3RpbmcsIGl0IGNhbiBiZSBzYWZlIHRvIGFzc3VtZSB0aGF0IGJlbG93DQpwYXRjaCBmaXhl cyB0aGUgUE1MIGlzc3VlLiBJIGFncmVlIGFib3V0IHJlbW92aW5nIHRoZSBzcGlubmluZyBzaW5j ZQ0Kdm14X3ZtY3NfZW50ZXIvZXhpdCBhcmUgc3luY2hyb25pemVkIHdpdGggdGhlIHNjaGVkdWxl ciBieSBzY2hlZHVsZV9sb2NrLg0KQnV0IGl0IGNvc3RzIG5vdGhpbmcgdG8gY2hlY2sgc28gSSBh ZGRlZCBhIGRlYnVnIG1lc3NhZ2UgdG8gdGhlIGxvb3AuDQpOZWVkbGVzcyB0byBzYXksIGl0IHdh cyBuZXZlciBwcmludGVkLg0KDQpNeSBwYXRjaCBmb3Igdm14X3ZtY3NfZXhpdCgpIGlzIG9idmlv dXNseSBhIGhhbGYgbWVhc3VyZSBiZWNhdXNlIGl0DQpkb2Vzbid0IHByb3RlY3QgYWdhaW5zdCBW TUNTIGNsZWFyaW5nIGJ5IGFuIGV4dGVybmFsIElQSSB3aGVuIGN1cnJlbnQNCmlzIGlkbGUuIEkn bSBub3Qgc3VyZSBzdWNoIHNpdHVhdGlvbiBpcyBwb3NzaWJsZSBidXQgdGhlcmUgaXMgbm90aGlu Zw0KdGhhdCBwcmV2ZW50cyBpdC4NCg0KVGhpcyBjbGVhcmx5IG1ha2VzIHlvdXIgYXBwcm9hY2gg c3VwZXJpb3IgYW5kIEkgdGhpbmsgeW91IG5lZWQgdG8NCnN1Ym1pdCB2MiBmb3IgcHJvcGVyIHJl dmlldy4NCg0KZGlmZiAtLWdpdCBhL3hlbi9hcmNoL3g4Ni9odm0vdm14L3ZtY3MuYyBiL3hlbi9h cmNoL3g4Ni9odm0vdm14L3ZtY3MuYw0KaW5kZXggODhkYjdlZS4uMDdlODUyNyAxMDA2NDQNCi0t LSBhL3hlbi9hcmNoL3g4Ni9odm0vdm14L3ZtY3MuYw0KKysrIGIveGVuL2FyY2gveDg2L2h2bS92 bXgvdm1jcy5jDQpAQCAtNTUxLDYgKzU1MSwzMyBAQCBzdGF0aWMgdm9pZCB2bXhfbG9hZF92bWNz KHN0cnVjdCB2Y3B1ICp2KQ0KwqDCoMKgwqDCoGxvY2FsX2lycV9yZXN0b3JlKGZsYWdzKTsNCsKg fQ0KwqANCit2b2lkIHZteF92bWNzX3JlbG9hZChzdHJ1Y3QgdmNwdSAqdikNCit7DQorwqDCoMKg wqAvKg0KK8KgwqDCoMKgwqAqIEFzIHdlJ3JlIHJ1bm5pbmcgd2l0aCBpbnRlcnJ1cHRzIGRpc2Fi bGVkLCB3ZSBjYW4ndCBhY3F1aXJlDQorwqDCoMKgwqDCoCogdi0+YXJjaC5odm1fdm14LnZtY3Nf bG9jayBoZXJlLiBIb3dldmVyLCB3aXRoIGludGVycnVwdHMgZGlzYWJsZWQNCivCoMKgwqDCoMKg KiB0aGUgVk1DUyBjYW4ndCBiZSB0YWtlbiBhd2F5IGZyb20gdXMgYW55bW9yZSBpZiB3ZSBzdGls bCBvd24gaXQuDQorwqDCoMKgwqDCoCovDQorwqDCoMKgwqBBU1NFUlQoIWxvY2FsX2lycV9pc19l bmFibGVkKCkpOw0KK8KgwqDCoMKgaWYgKCB2LT5hcmNoLmh2bV92bXgudm1jcyA9PSB0aGlzX2Nw dShjdXJyZW50X3ZtY3MpICkNCivCoMKgwqDCoMKgwqDCoMKgcmV0dXJuOw0KK8KgwqDCoMKgQVNT RVJUKCF0aGlzX2NwdShjdXJyZW50X3ZtY3MpKTsNCisNCivCoMKgwqDCoGlmICggdi0+YXJjaC5o dm1fdm14LmFjdGl2ZV9jcHUgIT0gc21wX3Byb2Nlc3Nvcl9pZCgpICkNCivCoMKgwqDCoHsNCivC oMKgwqDCoMKgwqDCoMKgLyoNCivCoMKgwqDCoMKgwqDCoMKgwqAqIFdhaXQgZm9yIHRoZSByZW1v dGUgc2lkZSB0byBiZSBkb25lIHdpdGggdGhlIFZNQ1MgYmVmb3JlIGxvYWRpbmcNCivCoMKgwqDC oMKgwqDCoMKgwqAqIGl0IGhlcmUuDQorwqDCoMKgwqDCoMKgwqDCoMKgKi8NCivCoMKgwqDCoMKg wqDCoMKgd2hpbGUgKCB2LT5hcmNoLmh2bV92bXguYWN0aXZlX2NwdSAhPSAtMSApIHsNCivCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqBwcmludGsoIkRTOiB2LT5hcmNoLmh2bV92bXguYWN0aXZlX2Nw dSA9PSAlZFxuIiwNCivCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgdi0+ YXJjaC5odm1fdm14LmFjdGl2ZV9jcHUpOw0KK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoGNwdV9y ZWxheCgpOw0KK8KgwqDCoMKgwqDCoMKgwqB9DQorwqDCoMKgwqB9DQorwqDCoMKgwqB2bXhfbG9h ZF92bWNzKHYpOw0KK30NCisNCsKgaW50IHZteF9jcHVfdXBfcHJlcGFyZSh1bnNpZ25lZCBpbnQg Y3B1KQ0KwqB7DQrCoMKgwqDCoMKgLyoNCmRpZmYgLS1naXQgYS94ZW4vYXJjaC94ODYvaHZtL3Zt eC92bXguYyBiL3hlbi9hcmNoL3g4Ni9odm0vdm14L3ZteC5jDQppbmRleCA4Y2FmZWMyLi5jY2Y0 MzNmIDEwMDY0NA0KLS0tIGEveGVuL2FyY2gveDg2L2h2bS92bXgvdm14LmMNCisrKyBiL3hlbi9h cmNoL3g4Ni9odm0vdm14L3ZteC5jDQpAQCAtNzM0LDYgKzczNCwxOCBAQCBzdGF0aWMgdm9pZCB2 bXhfY3R4dF9zd2l0Y2hfZnJvbShzdHJ1Y3QgdmNwdSAqdikNCsKgwqDCoMKgwqBpZiAoIHVubGlr ZWx5KCF0aGlzX2NwdSh2bXhvbikpICkNCsKgwqDCoMKgwqDCoMKgwqDCoHJldHVybjsNCsKgDQor wqDCoMKgwqBpZiAoICF2LT5pc19ydW5uaW5nICkNCivCoMKgwqDCoHsNCivCoMKgwqDCoMKgwqDC oMKgLyoNCivCoMKgwqDCoMKgwqDCoMKgwqAqIFdoZW4gdGhpcyB2Q1BVIGlzbid0IG1hcmtlZCBh cyBydW5uaW5nIGFueW1vcmUsIGEgcmVtb3RlIHBDUFUncw0KK8KgwqDCoMKgwqDCoMKgwqDCoCog YXR0ZW1wdCB0byBwYXVzZSB1cyAoZnJvbSB2bXhfdm1jc19lbnRlcigpKSB3b24ndCBoYXZlIGEg cmVhc29uDQorwqDCoMKgwqDCoMKgwqDCoMKgKiB0byBzcGluIGluIHZjcHVfc2xlZXBfc3luYygp LCBhbmQgaGVuY2UgdGhhdCBwQ1BVIG1pZ2h0IGhhdmUgdGFrZW4NCivCoMKgwqDCoMKgwqDCoMKg wqAqIGF3YXkgdGhlIFZNQ1MgZnJvbSB1cy4gQXMgd2UncmUgcnVubmluZyB3aXRoIGludGVycnVw dHMgZGlzYWJsZWQsDQorwqDCoMKgwqDCoMKgwqDCoMKgKiB3ZSBhbHNvIGNhbid0IGNhbGwgdm14 X3ZtY3NfZW50ZXIoKS4NCivCoMKgwqDCoMKgwqDCoMKgwqAqLw0KK8KgwqDCoMKgwqDCoMKgwqB2 bXhfdm1jc19yZWxvYWQodik7DQorwqDCoMKgwqB9DQorDQrCoMKgwqDCoMKgdm14X2ZwdV9sZWF2 ZSh2KTsNCsKgwqDCoMKgwqB2bXhfc2F2ZV9ndWVzdF9tc3JzKHYpOw0KwqDCoMKgwqDCoHZteF9y ZXN0b3JlX2hvc3RfbXNycygpOw0KZGlmZiAtLWdpdCBhL3hlbi9pbmNsdWRlL2FzbS14ODYvaHZt L3ZteC92bWNzLmggYi94ZW4vaW5jbHVkZS9hc20teDg2L2h2bS92bXgvdm1jcy5oDQppbmRleCA1 OTc0Y2NlLi4yYmY4ODI5IDEwMDY0NA0KLS0tIGEveGVuL2luY2x1ZGUvYXNtLXg4Ni9odm0vdm14 L3ZtY3MuaA0KKysrIGIveGVuL2luY2x1ZGUvYXNtLXg4Ni9odm0vdm14L3ZtY3MuaA0KQEAgLTE1 Nyw2ICsxNTcsNyBAQCB2b2lkIHZteF9kZXN0cm95X3ZtY3Moc3RydWN0IHZjcHUgKnYpOw0KwqB2 b2lkIHZteF92bWNzX2VudGVyKHN0cnVjdCB2Y3B1ICp2KTsNCsKgYm9vbF90IF9fbXVzdF9jaGVj ayB2bXhfdm1jc190cnlfZW50ZXIoc3RydWN0IHZjcHUgKnYpOw0KwqB2b2lkIHZteF92bWNzX2V4 aXQoc3RydWN0IHZjcHUgKnYpOw0KK3ZvaWQgdm14X3ZtY3NfcmVsb2FkKHN0cnVjdCB2Y3B1ICp2 KTsNCsKgDQrCoCNkZWZpbmUgQ1BVX0JBU0VEX1ZJUlRVQUxfSU5UUl9QRU5ESU5HwqDCoMKgwqDC oMKgwqDCoDB4MDAwMDAwMDQNCsKgI2RlZmluZSBDUFVfQkFTRURfVVNFX1RTQ19PRkZTRVRJTkfC oMKgwqDCoMKgwqDCoMKgwqDCoMKgMHgwMDAwMDAwOA0KDQotLSANClRoYW5rcywNClNlcmdleQpf X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpYZW4tZGV2ZWwg bWFpbGluZyBsaXN0Clhlbi1kZXZlbEBsaXN0cy54ZW4ub3JnCmh0dHBzOi8vbGlzdHMueGVuLm9y Zy94ZW4tZGV2ZWwK