From mboxrd@z Thu Jan  1 00:00:00 1970
From: Juergen Gross <jgross@suse.com>
Subject: Re: [PATCH v2 1/2] xen: fix a (latent) cpupool-related
 race during domain destroy
Date: Fri, 15 Jul 2016 12:36:18 +0200
Message-ID: <5788BCA2.4020404@suse.com>
References: <146851288308.22413.4619190133086534604.stgit@Solace.fritz.box>
 <146851308019.22413.8905002507733716302.stgit@Solace.fritz.box>
 <5788AF33.2030603@suse.com> <1468577660.13039.78.camel@citrix.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
Return-path: <xen-devel-bounces@lists.xen.org>
Received: from mail6.bemta3.messagelabs.com ([195.245.230.39])
 by lists.xenproject.org with esmtp (Exim 4.84_2)
 (envelope-from <jgross@suse.com>) id 1bO0Tm-00028h-N3
 for xen-devel@lists.xenproject.org; Fri, 15 Jul 2016 10:36:22 +0000
In-Reply-To: <1468577660.13039.78.camel@citrix.com>
List-Unsubscribe: <https://lists.xen.org/cgi-bin/mailman/options/xen-devel>,
 <mailto:xen-devel-request@lists.xen.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xen.org>
List-Help: <mailto:xen-devel-request@lists.xen.org?subject=help>
List-Subscribe: <https://lists.xen.org/cgi-bin/mailman/listinfo/xen-devel>,
 <mailto:xen-devel-request@lists.xen.org?subject=subscribe>
Errors-To: xen-devel-bounces@lists.xen.org
Sender: "Xen-devel" <xen-devel-bounces@lists.xen.org>
To: Dario Faggioli <dario.faggioli@citrix.com>, xen-devel@lists.xenproject.org
Cc: George Dunlap <George.Dunlap@eu.citrix.com>, Andrew Cooper <andrew.cooper3@citrix.com>, Jan Beulich <jbeulich@suse.com>
List-Id: xen-devel@lists.xenproject.org

T24gMTUvMDcvMTYgMTI6MTQsIERhcmlvIEZhZ2dpb2xpIHdyb3RlOgo+IE9uIEZyaSwgMjAxNi0w
Ny0xNSBhdCAxMTozOCArMDIwMCwgSnVlcmdlbiBHcm9zcyB3cm90ZToKPj4gSG1tLCBhcmUgeW91
IGF3YXJlIG9mIGNvbW1pdCBiYWM2MzM0YjUxZDliY2ZlNTdlY2Y0YTRjYjUyODgzNDhmY2YwNDRh
Cj4+IHdoaWNoIGV4cGxpY2l0bHkgbW92ZWQgY3B1cG9vbF9ybV9kb21haW4oKSBhdCB0aGUgcGxh
Y2Ugd2hlcmUgeW91IGFyZQo+PiByZW1vdmluZyBpdCBhZ2Fpbj8gUGxlYXNlIHZlcmlmeSB0aGF0
IHRoZSBzY2VuYXJpbyBtZW50aW9uZWQgaW4gdGhlCj4+IGRlc2NyaXB0aW9uIG9mIHRoYXQgY29t
bWl0IGlzIHN0aWxsIHdvcmtpbmcgd2l0aCB5b3VyIHBhdGNoLgo+Pgo+IFNvcnJ5LCBidXQgSSBv
bmx5IHBhcnRseSBzZWUgdGhlIHByb2JsZW0uCj4gCj4gSW4gcGFydGljdWxhciwgSSdtIHByb2Jh
Ymx5IG5vdCBmdWxseSB1bmRlcnN0YW5kaW5nLCBmcm9tIHRoYXQgY29tbWl0Cj4gY2hhbmdlbG9n
LCB3aGF0IGlzIHRoZSBzZXQgb2Ygb3BlcmF0aW9ucy9jb21tYW5kIHRoYXQgSSBzaG91bGQgcnVu
IHRvCj4gY2hlY2sgd2hldGhlciBvciBub3QgSSByZWludHJvZHVjZWQgdGhlIGlzc3VlIGJhY2su
CgpZb3UgbmVlZCB0byBjcmVhdGUgYSBkb21haW4gaW4gYSBjcHVwb29sIGFuZCBkZXN0cm95IGl0
IGFnYWluIHdoaWxlCnNvbWUgZG9tMCBwcm9jZXNzIHN0aWxsIGlzIGhvbGRpbmcgYSByZWZlcmVu
Y2UgdG8gaXQgKHJlc3VsdGluZyBpbiBhCnpvbWJpZSBkb21haW4pLiBUaGVuIHRyeSB0byBkZXN0
cm95IHRoZSBjcHVwb29sLgoKPiAKPiBXaGF0IEkgZGlkIHNvIGZhciBpcyBhcyBmb2xsb3dzOgo+
IAo+IHJvb3RAWmhhbWFuOn4jIHhsIGNwdXBvb2wtbGlzdCAKPiBOYW1lICAgICAgICAgICAgICAg
Q1BVcyAgIFNjaGVkICAgICBBY3RpdmUgICBEb21haW4gY291bnQKPiBQb29sLTAgICAgICAgICAg
ICAgIDEyICAgIGNyZWRpdCAgICAgICB5ICAgICAgICAgIDEKPiBQb29sLWNyZWRpdCAgICAgICAg
ICA0ICAgIGNyZWRpdCAgICAgICB5ICAgICAgICAgIDEKPiByb290QFpoYW1hbjp+IyB4bCBsaXN0
IC1jCj4gTmFtZSAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBJRCAgIE1l
bSBWQ1BVcwlTdGF0ZQlUaW1lKHMpICAgICAgICAgQ3B1cG9vbAo+IERvbWFpbi0wICAgICAgICAg
ICAgICAgICAgICAgICAgICAgICAgICAgICAgIDAgIDEwMTkgICAgMTYgICAgIHItLS0tLSAgICAg
IDM0LjUgICAgICAgICAgUG9vbC0wCj4gdm0xICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg
ICAgICAgICAgICAgMSAgNDA5NiAgICAgNCAgICAgLWItLS0tICAgICAgIDkuNyAgICAgUG9vbC1j
cmVkaXQKPiByb290QFpoYW1hbjp+IyB4bCBjcHVwb29sLWNwdS1yZW1vdmUgUG9vbC1jcmVkaXQg
YWxsCj4gbGlieGw6IGVycm9yOiBsaWJ4bC5jOjY5OTg6bGlieGxfY3B1cG9vbF9jcHVyZW1vdmU6
IEVycm9yIHJlbW92aW5nIGNwdSA5IGZyb20gY3B1cG9vbDogRGV2aWNlIG9yIHJlc291cmNlIGJ1
c3kKPiBTb21lIGNwdXMgbWF5IGhhdmUgbm90IG9yIG9ubHkgcGFydGlhbGx5IGJlZW4gcmVtb3Zl
ZCBmcm9tICdQb29sLWNyZWRpdCcuCj4gSWYgYSBjcHUgY2FuJ3QgYmUgYWRkZWQgdG8gYW5vdGhl
ciBjcHVwb29sLCBhZGQgaXQgdG8gJ1Bvb2wtY3JlZGl0JyBhZ2FpbiBhbmQgcmV0cnkuCj4gcm9v
dEBaaGFtYW46fiMgeGwgY3B1cG9vbC1saXN0IC1jCj4gTmFtZSAgICAgICAgICAgICAgIENQVSBs
aXN0Cj4gUG9vbC0wICAgICAgICAgICAgIDAsMSwyLDMsNCw1LDEwLDExLDEyLDEzLDE0LDE1Cj4g
UG9vbC1jcmVkaXQgICAgICAgIDkKPiByb290QFpoYW1hbjp+IyB4bCBzaHV0ZG93biB2bTEKPiBT
aHV0dGluZyBkb3duIGRvbWFpbiAxCj4gcm9vdEBaaGFtYW46fiMgeGwgY3B1cG9vbC1jcHUtcmVt
b3ZlIFBvb2wtY3JlZGl0IGFsbAo+IHJvb3RAWmhhbWFuOn4jIHhsIGNwdXBvb2wtbGlzdCAtYwo+
IE5hbWUgICAgICAgICAgICAgICBDUFUgbGlzdAo+IFBvb2wtMCAgICAgICAgICAgICAwLDEsMiwz
LDQsNSwxMCwxMSwxMiwxMywxNCwxNQo+IFBvb2wtY3JlZGl0Cj4gCj4gSWYgKHdpdGggdm0xIHN0
aWxsIGluIFBvb2wtY3JlZGl0KSwgSSBkbyB0aGlzLCBpdCBpbmRlZWQgZmFpbHM6Cj4gCj4gcm9v
dEBaaGFtYW46fiMgeGwgc2h1dGRvd24gdm0xICYgeGwgY3B1cG9vbC1jcHUtcmVtb3ZlIFBvb2wt
Y3JlZGl0IGFsbAo+IFsxXSAzMjc1Cj4gU2h1dHRpbmcgZG93biBkb21haW4gMgo+IGxpYnhsOiBl
cnJvcjogbGlieGwuYzo2OTk4OmxpYnhsX2NwdXBvb2xfY3B1cmVtb3ZlOiBFcnJvciByZW1vdmlu
ZyBjcHUgOSBmcm9tIGNwdXBvb2w6IERldmljZSBvciByZXNvdXJjZSBidXN5Cj4gU29tZSBjcHVz
IG1heSBoYXZlIG5vdCBvciBvbmx5IHBhcnRpYWxseSBiZWVuIHJlbW92ZWQgZnJvbSAnUG9vbC1j
cmVkaXQnLgo+IElmIGEgY3B1IGNhbid0IGJlIGFkZGVkIHRvIGFub3RoZXIgY3B1cG9vbCwgYWRk
IGl0IHRvICdQb29sLWNyZWRpdCcgYWdhaW4gYW5kIHJldHJ5Lgo+IFsxXSsgIERvbmUgICAgICAg
ICAgICAgICAgICAgIHhsIHNodXRkb3duIHZtMQo+IHJvb3RAWmhhbWFuOn4jIHhsIGNwdXBvb2wt
bGlzdCAtYwo+IE5hbWUgICAgICAgICAgICAgICBDUFUgbGlzdAo+IFBvb2wtMCAgICAgICAgICAg
ICAwLDEsMiwzLDQsNSwxMCwxMSwxMiwxMywxNCwxNQo+IFBvb2wtY3JlZGl0ICAgICAgICA5Cj4g
Cj4gQnV0IHRoYXQgZG9lcyBub3QgbG9vayB0b28gc3RyYW5nZSB0byBtZSwgYXMgaXQncyBlbnRp
cmVseSBwb3NzaWJsZQo+IHRoYXQgdGhlIGRvbWFpbiBoYXMgbm90IGJlZW4gbW92ZWQgeWV0LCB3
aGVuIHdlIHRyeSB0byByZW1vdmUgdGhlIGxhc3QKPiBjcHUuIEFuZCBpbiBmYWN0LCBhZnRlciB0
aGUgZG9tYWluIGhhcyBwcm9wZXJseSBzaHV0ZG93bjoKPiAKPiByb290QFpoYW1hbjp+IyB4bCBj
cHVwb29sLWNwdS1yZW1vdmUgUG9vbC1jcmVkaXQgYWxsCj4gcm9vdEBaaGFtYW46fiMgeGwgY3B1
cG9vbC1saXN0IAo+IE5hbWUgICAgICAgICAgICAgICBDUFVzICAgU2NoZWQgICAgIEFjdGl2ZSAg
IERvbWFpbiBjb3VudAo+IFBvb2wtMCAgICAgICAgICAgICAgMTIgICAgY3JlZGl0ICAgICAgIHkg
ICAgICAgICAgMQo+IFBvb2wtY3JlZGl0ICAgICAgICAgIDAgICAgY3JlZGl0ICAgICAgIHkgICAg
ICAgICAgMAo+IAo+IEFuZCBpbiBmYWN0LCBsb29raW5nIGF0IHRoZSBjb2RlIGludHJvZHVjZWQg
YnkgdGhhdCBjb21taXQsIHRoZQo+IGltcG9ydGFudCBwYXJ0LCB0byBtZSwgc2VlbXMgdG8gYmUg
dGhlIG1vdmluZyBvZiB0aGUgZG9tYWluIHRvCj4gY3B1cG9vbDAsIHdoaWNoIGlzIGluZGVlZCB0
aGUgcmlnaHQgdGhpbmcgdG8gZG8uIE9UT0gsIHdoYXQgSSBhbSBzZWVpbmcKPiBhbmQgZml4aW5n
LCBoYXBwZW5zICh3ZWxsLCBjb3VsZCBoYXBwZW4pIGFsbCB0aGUgdGltZXMsIGV2ZW4gd2hlbiB0
aGUKPiBkb21haW4gYmVpbmcgc2h1dGRvd24gaXMgYWxyZWFkeSBpbiBjcHVwb29sMCwgYW5kIChh
cyB5b3Ugc2F5IHlvdXJzZWxmCj4gaW4geW91ciBjaGFuZ2Vsb2cpIHRoZXJlIG5vdCBzdWNoIGlz
c3VlIGFzIHJlbW92aW5nIHRoZSBsYXN0IGNwdSBvZgo+IGNwdXBvb2wwLgo+IAo+IFdoYXQgYW0g
SSBtaXNzaW5nPwoKVGhlIGRvbWFpbiBiZWluZyBhIHpvbWJpZSBkb21haW4gbWlnaHQgY2hhbmdl
IHRoZSBwaWN0dXJlLiBNb3ZpbmcgaXQgdG8KY3B1cG9vbDAgd2FzIGZhaWxpbmcgYmVmb3JlIG15
IHBhdGNoIGFuZCBpdCBtaWdodCBkbyBzbyBhZ2FpbiB3aXRoIHlvdXIKcGF0Y2ggYXBwbGllZC4K
CgpKdWVyZ2VuCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
XwpYZW4tZGV2ZWwgbWFpbGluZyBsaXN0Clhlbi1kZXZlbEBsaXN0cy54ZW4ub3JnCmh0dHBzOi8v
bGlzdHMueGVuLm9yZy94ZW4tZGV2ZWwK