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 14:52:25 +0200
Message-ID: <5788DC89.4090009@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>
 <5788BCA2.4020404@suse.com> <1468583562.13039.96.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.bemta5.messagelabs.com ([195.245.231.135])
 by lists.xenproject.org with esmtp (Exim 4.84_2)
 (envelope-from <jgross@suse.com>) id 1bO2bU-0005Mc-Vl
 for xen-devel@lists.xenproject.org; Fri, 15 Jul 2016 12:52:29 +0000
In-Reply-To: <1468583562.13039.96.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

T24gMTUvMDcvMTYgMTM6NTIsIERhcmlvIEZhZ2dpb2xpIHdyb3RlOgo+IE9uIEZyaSwgMjAxNi0w
Ny0xNSBhdCAxMjozNiArMDIwMCwgSnVlcmdlbiBHcm9zcyB3cm90ZToKPj4gT24gMTUvMDcvMTYg
MTI6MTQsIERhcmlvIEZhZ2dpb2xpIHdyb3RlOgo+Pj4gSW4gcGFydGljdWxhciwgSSdtIHByb2Jh
Ymx5IG5vdCBmdWxseSB1bmRlcnN0YW5kaW5nLCBmcm9tIHRoYXQKPj4+IGNvbW1pdAo+Pj4gY2hh
bmdlbG9nLCB3aGF0IGlzIHRoZSBzZXQgb2Ygb3BlcmF0aW9ucy9jb21tYW5kIHRoYXQgSSBzaG91
bGQgcnVuCj4+PiB0bwo+Pj4gY2hlY2sgd2hldGhlciBvciBub3QgSSByZWludHJvZHVjZWQgdGhl
IGlzc3VlIGJhY2suCj4+IFlvdSBuZWVkIHRvIGNyZWF0ZSBhIGRvbWFpbiBpbiBhIGNwdXBvb2wg
YW5kIGRlc3Ryb3kgaXQgYWdhaW4gd2hpbGUKPj4gc29tZSBkb20wIHByb2Nlc3Mgc3RpbGwgaXMg
aG9sZGluZyBhIHJlZmVyZW5jZSB0byBpdCAocmVzdWx0aW5nIGluIGEKPj4gem9tYmllIGRvbWFp
bikuIFRoZW4gdHJ5IHRvIGRlc3Ryb3kgdGhlIGNwdXBvb2wuCj4+Cj4gQWgsIEkgc2VlLiBJIHdh
c24ndCBnZXQgdGhlIGZhY3QgdGhhdCBpdCBuZWVkZWQgdG8gYmUgYSB6b21iaWUgZG9tYWluCj4g
ZnJvbSBhbnl3aGVyZS4KPiAKPj4+IFdoYXQgYW0gSSBtaXNzaW5nPwo+PiBUaGUgZG9tYWluIGJl
aW5nIGEgem9tYmllIGRvbWFpbiBtaWdodCBjaGFuZ2UgdGhlIHBpY3R1cmUuIE1vdmluZyBpdAo+
PiB0bwo+PiBjcHVwb29sMCB3YXMgZmFpbGluZyBiZWZvcmUgbXkgcGF0Y2ggYW5kIGl0IG1pZ2h0
IGRvIHNvIGFnYWluIHdpdGgKPj4geW91cgo+PiBwYXRjaCBhcHBsaWVkLgo+Pgo+IE1tbW0uLi4g
SSBkb24ndCBpbW1lZGlhdGVseSBzZWUgdGhlIHJlYXNvbiB3aHkgbW92aW5nIGEgem9tYmllIGRv
bWFpbgo+IGZhaWxzIGVpdGhlciwgYnV0IEkgZ3Vlc3MgSSdsbCBoYXZlIHRvIHRyeS4KClNlYXJj
aGluZyB0aHJvdWdoIHRoZSBoaXN0b3J5IEkgZm91bmQgY29tbWl0CjkzNGU3YmFhNmMxMmQxOWNm
YWYyNGU4ZjhlMjdkNmM2YThiOGM1ZTQgd2hpY2ggbWlnaHQgaGFzIHJlbW92ZWQgdGhlCnByb2Js
ZW1hdGljIGNvbmRpdGlvbiAoY3B1cG9vbC0+bl9kb20gYmVpbmcgbm9uLXplcm8gd2hpbGUgZC0+
Y3B1cG9vbAp3YXMgTlVMTCBhbHJlYWR5KS4KCj4gQnV0IHRoZW4sIGNvcnJlY3QgbWUgaWYgSSdt
IHdyb25nLCB0aGUgc2l0dWF0aW9uIGlzIGxpa2UgdGhpczoKPiAgLSByaWdodCBub3cgdGhlcmUn
cyBhIChwb3RlbnRpYWwpIHJhY2UgYmV0d2VlbiBkb21haW4ncyBzY2hlZHVsaW5nIAo+ICAgIGRh
dGEgZGVzdHJ1Y3Rpb24gYW5kIGRvbWFpbiByZW1vdmFsIGZyb20gYSBjcHVwb29sOwo+ICAtIHdp
dGggbXkgcGF0Y2gsIHRoZSByYWNlIGdvZXMgYXdheSwgYnV0IHdlIHJpc2sgbm90IGJlaW5nIGFi
bGUgdG8gCj4gICAgZGVzdHJveSBhIGNwdXBvb2wgd2l0aCBhIHpvbWJpZSBkb21haW4gaW4gaXQu
CgpUaGlzIG9uZSBoYXMgYmVlbiBvYnNlcnZlZC4KCkkgZG8gcmVtZW1iZXIgdGhlIGZvbGxvd2lu
ZyBjcml0aWNhbCBjYXNlczoKCi0gcmVtb3ZpbmcgYSBjcHVwb29sIHdpdGggYSB6b21iaWUgZG9t
YWluCi0gc2h1dHRpbmcgZG93biB0aGUgc3lzdGVtIHdpdGggYSBkb21haW4gaW4gYSBjcHVwb29s
Ci0gbm90IHN1cmUgYWJvdXQgdGhlIGNvbWJpbmF0aW9uIG9mIGJvdGggY2FzZXMgKHNodXR0aW5n
IGRvd24gd2l0aAogIHpvbWJpZSBkb21haW4gaW4gYSBjcHVwb29sKTogaXMgdGhpcyBldmVuIHBv
c3NpYmxlIHdpdGhvdXQgYW5vdGhlcgogIGJ1ZyBpbiB0aGUgaHlwZXJ2aXNvciBvciBkb20wPwoK
PiBUaGVyZWZvcmUsIEkgc3RpbGwgdGhpbmsgdGhpcyBwYXRjaCBpcyBjb3JyZWN0LCBidXQgSSdt
IHVwIGZvcgo+IGludmVzdGlnYXRpbmcgZnVydGhlciBhbmQgZmluZGluZyBhIHdheSB0byBzb2x2
ZSB0aGUgInpvbWJpZSBpbgo+IGNwdXBvb2wiIGlzc3VlIGFzIHdlbGwuCgpJJ20gbm90IHNheWlu
ZyB5b3VyIHBhdGNoIGlzIHdyb25nLiBJIGp1c3Qgd2FudGVkIHRvIGdpdmUgeW91IGEgaGludAph
Ym91dCB0aGUgaGlzdG9yeSBvZiB0aGUgc3R1ZmYgeW91IGFyZSBjaGFuZ2luZy4gOi0pCgpJZiBp
dCBpcyB3b3JraW5nIEknZCByZWFsbHkgcHJlZmVyIGl0IG92ZXIgdGhlIGN1cnJlbnQgc2l0dWF0
aW9uLgoKCkp1ZXJnZW4KCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fClhlbi1kZXZlbCBtYWlsaW5nIGxpc3QKWGVuLWRldmVsQGxpc3RzLnhlbi5vcmcKaHR0
cHM6Ly9saXN0cy54ZW4ub3JnL3hlbi1kZXZlbAo=