From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andrew Cooper Subject: Re: [PATCH v2 1/2] xen: fix a (latent) cpupool-related race during domain destroy Date: Thu, 14 Jul 2016 18:08:00 +0100 Message-ID: <7e4f5402-c92e-3567-d23c-206c7b90cc30@citrix.com> References: <146851288308.22413.4619190133086534604.stgit@Solace.fritz.box> <146851308019.22413.8905002507733716302.stgit@Solace.fritz.box> 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 1bNk7J-0000Wa-0u for xen-devel@lists.xenproject.org; Thu, 14 Jul 2016 17:08:05 +0000 In-Reply-To: <146851308019.22413.8905002507733716302.stgit@Solace.fritz.box> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xen.org Sender: "Xen-devel" To: Dario Faggioli , xen-devel@lists.xenproject.org Cc: Juergen Gross , George Dunlap , Jan Beulich List-Id: xen-devel@lists.xenproject.org T24gMTQvMDcvMTYgMTc6MTgsIERhcmlvIEZhZ2dpb2xpIHdyb3RlOgo+IFNvLCBkdXJpbmcgZG9t YWluIGRlc3RydWN0aW9uLCB3ZSBkbzoKPiAgY3B1cG9vbF9ybV9kb21haW4oKSAgICBbIGluIGRv bWFpbl9kZXN0cm95KCkgXQo+ICBzY2hlZF9kZXN0cm95X2RvbWFpbigpIFsgaW4gY29tcGxldGVf ZG9tYWluX2Rlc3Ryb3koKSBdCj4KPiBUaGVyZWZvcmUsIHRoZXJlJ3MgYSB3aW5kb3cgZHVyaW5n IHdoaWNoLCBmcm9tIHRoZQo+IHNjaGVkdWxlcidzIHBvaW50IG9mIHZpZXcsIGEgZG9tYWluIHN0 aWxzdHMgb3V0c2lkZQo+IG9mIGFueSBjcHVwb29sLgo+Cj4gSW4gZmFjdCwgY3B1cG9vbF9ybV9k b21haW4oKSBkb2VzIGQtPmNwdXBvb2w9TlVMTCwKPiBhbmQgd2UgZG9uJ3QgYWxsb3cgdGhhdCB0 byBob2xkIHRydWUsIGZvciBhbnl0aGluZwo+IGJ1dCB0aGUgaWRsZSBkb21haW4gKGFuZCB0aGVy ZSBhcmUsIGluIGZhY3QsIEFTU0VSVCgpcwo+IGFuZCBCVUdfT04oKXMgdG8gdGhhdCBlZmZlY3Qp Lgo+Cj4gQ3VycmVudGx5LCB3ZSBuZXZlciByZWFsbHkgY2hlY2sgZC0+Y3B1cG9vbCBkdXJpbmcg dGhlCj4gd2luZG93LCBidXQgdGhhdCBkb2VzIG5vdCBtZWFuIHRoZSByYWNlIGlzIG5vdCB0aGVy ZS4KPiBGb3IgaW5zdGFuY2UsIENyZWRpdDIgYXQgc29tZSBwb2ludCAoZHVyaW5nIGxvYWQgYmFs YW5jaW5nKQo+IGl0ZXJhdGVzIG9uIHRoZSBsaXN0IG9mIGRvbWFpbnMsIGFuZCBpZiB3ZSBhZGQg bG9naWMgdGhhdAo+IG5lZWRzIGNoZWNraW5nIGQtPmNwdXBvb2wsIGFuZCBhbnkgb25lIG9mIHRo ZW0gaGFkCj4gY3B1cG9vbF9ybV9kb21haW4oKSBjYWxsZWQgb24gaXRzZWxmIGFscmVhZHkuLi4g Qm9vbSEKPgo+IChJbiBmYWN0LCBjYWxsaW5nIF9fdmNwdV9oYXNfc29mdF9hZmZpbml0eSgpIGZy b20gaW5zaWRlCj4gYmFsYW5jZV9sb2FkKCkgbWFrZXMgYHhsIHNodXRkb3duIDxkb21pZD4nIHJl bGlhYmx5Cj4gY3Jhc2gsIGFuZCB0aGlzIGlzIGhvdyBJIGRpc2NvdmVyZWQgdGhpcy4pCj4KPiBP biB0aGUgb3RoZXIgaGFuZCwgY3B1cG9vbF9ybV9kb21haW4oKSAib25seSIgZG9lcwo+IGNwdXBv b2wgcmVsYXRlZCBib29ra2VlcGluZywgYW5kIHRoZXJlJ3Mgbm8gaGFybQo+IHBvc3Rwb25pbmcg aXQgYSBsaXR0bGUgYml0Lgo+Cj4gQWxzbywgY29uc2lkZXJpbmcgdGhhdCwgZHVyaW5nIGRvbWFp biBpbml0aWFsaXphdGlvbiwKPiB3ZSBkbzoKPiAgY3B1cG9vbF9hZGRfZG9tYWluKCkKPiAgc2No ZWRfaW5pdF9kb21haW4oKQo+Cj4gSXQgbWFrZXMgc2Vuc2UgZm9yIHRoZSBkZXN0cnVjdGlvbiBw YXRoIHRvIGxvb2sgbGlrZQo+IHRoZSBvcHBvc2l0ZSBvZiBpdCwgaS5lLjoKPiAgc2NoZWRfZGVz dHJveV9kb21haW4oKQo+ICBjcHVwb29sX3JtX2RvbWFpbigpCj4KPiBBbmQgaGVuY2UgdGhhdCdz IHdoYXQgdGhpcyBwYXRjaCBkb2VzLgo+Cj4gQWN0dWFsbHksIGZvciBiZXR0ZXIgcm9idXN0bmVz cywgd2hhdCB3ZSByZWFsbHkgZG8gaXMKPiBtb3ZpbmcgYm90aCBjcHVwb29sX2FkZF9kb21haW4o KSBhbmQgY3B1cG9vbF9ybV9kb21haW4oKQo+IGluc2lkZSBzY2hlZF9pbml0X2RvbWFpbigpIGFu ZCBzY2hlZF9kZXN0cm95X2RvbWFpbigpLAo+IHJlc3BlY3RpdmVseSAoYW5kIGFsc28gYWRkIGEg Y291cGxlIG9mIEFTU0VSVCgpLXMpLgo+Cj4gU2lnbmVkLW9mZi1ieTogRGFyaW8gRmFnZ2lvbGkg PGRhcmlvLmZhZ2dpb2xpQGNpdHJpeC5jb20+Cj4gLS0tCj4gQ2M6IEp1ZXJnZW4gR3Jvc3MgPGpn cm9zc0BzdXNlLmNvbT4KPiBDYzogQW5kcmV3IENvb3BlciA8YW5kcmV3LmNvb3BlcjNAY2l0cml4 LmNvbT4KPiBDYzogR2VvcmdlIER1bmxhcCA8R2VvcmdlLkR1bmxhcEBldS5jaXRyaXguY29tPgo+ IENjOiBKYW4gQmV1bGljaCA8amJldWxpY2hAc3VzZS5jb20+CgpBY2tlZC1ieTogQW5kcmV3IENv b3BlciA8YW5kcmV3LmNvb3BlcjNAY2l0cml4LmNvbT4KClRoaXMgZGVmaW5pdGVseSBsb29rcyBi ZXR0ZXIsIGFsdGhvdWdoIEkgd2lsbCBsZWF2ZSB0aGUgaW4tZGVwdGggcmV2aWV3CnRvIHBlb3Bs ZSBtb3JlIGZhbWlsaWFyIHdpdGggdGhlIHNjaGVkdWxlciBpbnRlcm5hbHMuCgpfX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpYZW4tZGV2ZWwgbWFpbGluZyBs aXN0Clhlbi1kZXZlbEBsaXN0cy54ZW4ub3JnCmh0dHBzOi8vbGlzdHMueGVuLm9yZy94ZW4tZGV2 ZWwK