From mboxrd@z Thu Jan  1 00:00:00 1970
From: George Dunlap <george.dunlap@citrix.com>
Subject: Re: [PATCH v3 04/11] xen: sched: close potential races
 when switching scheduler to CPUs
Date: Fri, 8 Apr 2016 14:00:05 +0100
Message-ID: <5707AB55.1070005@citrix.com>
References: <20160408011204.10762.14241.stgit@Solace.fritz.box>
 <20160408012345.10762.40393.stgit@Solace.fritz.box>
 <5707A9A0.7090608@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 <prvs=899ca5a6f=George.Dunlap@citrix.com>)
 id 1aoW1t-0000Rg-6i
 for xen-devel@lists.xenproject.org; Fri, 08 Apr 2016 13:00:53 +0000
In-Reply-To: <5707A9A0.7090608@citrix.com>
List-Unsubscribe: <http://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: <http://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>, Tianyang Chen <tiche@seas.upenn.edu>, Ian Jackson <Ian.Jackson@eu.citrix.com>, Robert VanVossen <robert.vanvossen@dornerworks.com>, Josh Whitehead <josh.whitehead@dornerworks.com>, Meng Xu <mengxu@cis.upenn.edu>, Jan Beulich <JBeulich@suse.com>
List-Id: xen-devel@lists.xenproject.org

T24gMDgvMDQvMTYgMTM6NTIsIEdlb3JnZSBEdW5sYXAgd3JvdGU6Cj4gT24gMDgvMDQvMTYgMDI6
MjMsIERhcmlvIEZhZ2dpb2xpIHdyb3RlOgo+PiBJbiBzaG9ydCwgdGhlIHBvaW50IGlzIG1ha2lu
ZyBzdXJlIHRoYXQgdGhlIGFjdHVhbCBzd2l0Y2gKPj4gb2Ygc2NoZWR1bGVyIGFuZCB0aGUgcmVt
YXBwaW5nIG9mIHRoZSBzY2hlZHVsZXIncyBydW5xdWV1ZQo+PiBsb2NrIG9jY3VyIGluIHRoZSBz
YW1lIGNyaXRpY2FsIHNlY3Rpb24sIHByb3RlY3RlZCBieSB0aGUKPj4gIm9sZCIgc2NoZWR1bGVy
J3MgbG9jayAoYW5kIG5vdCwgZS5nLiwgaW4gdGhlIGZyZWVfcGRhdGEKPj4gaG9vaywgYXMgaXQg
aXMgbm93IGZvciBDcmVkaXQyIGFuZCBSVERTKS4KPj4KPj4gTm90IGRvaW5nICBzbywgaXMgKGF0
IGxlYXN0KSByYWN5LiBJbiBmYWN0LCBmb3IgaW5zdGFuY2UsCj4+IGlmIHdlIHN3aXRjaCBjcHUg
WCBmcm9tLCBDcmVkaXQyIHRvIENyZWRpdCwgd2UgZG86Cj4+Cj4+ICBzY2hlZHVsZV9jcHVfc3dp
dGNoKHgsIGNzY2hlZDIgLS0+IGNzY2hlZCk6Cj4+ICAgIC8vc2NoZWR1bGVyW3hdIGlzIGNzY2hl
ZDIKPj4gICAgLy9zY2hlZHVsZV9sb2NrW3hdIGlzIGNzY2hlZDJfbG9jawo+PiAgICBjc2NoZWRf
YWxsb2NfcGRhdGEoeCkKPj4gICAgY3NjaGVkX2luaXRfcGRhdGEoeCkKPj4gICAgcGNwdV9zY2hl
ZHVsZV9sb2NrKHgpIC0tLS0+IHRha2VzIGNzY2hlZDJfbG9jawo+PiAgICBzY2hlZHVsZXJbWF0g
PSBjc2NoZWQKPj4gICAgcGNwdV9zY2hlZHVsZV91bmxvY2soeCkgLS0+IHVubG9ja3MgY3NjaGVk
Ml9sb2NrCj4+ICAgIFsxXQo+PiAgICBjc2NoZWQyX2ZyZWVfcGRhdGEoeCkKPj4gICAgICBwY3B1
X3NjaGVkdWxlX2xvY2soeCkgLS0+IHRha2VzIGNzY2hlZDJfbG9jawo+PiAgICAgIHNjaGVkdWxl
X2xvY2tbeF0gPSBjc2NoZWRfbG9jawo+PiAgICAgIHNwaW5fdW5sb2NrKGNzY2hlZDJfbG9jaykK
Pj4KPj4gV2hpbGUsIGlmIHdlIHN3aXRjaCBjcHUgWCBmcm9tLCBDcmVkaXQgdG8gQ3JlZGl0Miwg
d2UgZG86Cj4+Cj4+ICBzY2hlZHVsZV9jcHVfc3dpdGNoKFgsIGNzY2hlZCAtLT4gY3NjaGVkMik6
Cj4+ICAgIC8vc2NoZWR1bGVyW3hdIGlzIGNzY2hlZAo+PiAgICAvL3NjaGVkdWxlX2xvY2tbeF0g
aXMgY3NjaGVkX2xvY2sKPj4gICAgY3NjaGVkMl9hbGxvY19wZGF0YSh4KQo+PiAgICBjc2NoZWQy
X2luaXRfcGRhdGEoeCkKPj4gICAgICBwY3B1X3NjaGVkdWxlX2xvY2soeCkgLS0+IHRha2VzIGNz
Y2hlZF9sb2NrCj4+ICAgICAgc2NoZWR1bGVfbG9ja1t4XSA9IGNzY2hlZDJfbG9jawo+PiAgICAg
IHNwaW5fdW5sb2NrKGNzY2hlZF9sb2NrKQo+PiAgICBbMl0KPj4gICAgcGNwdV9zY2hlZHVsZV9s
b2NrKHgpIC0tLS0+IHRha2VzIGNzY2hlZDJfbG9jawo+PiAgICBzY2hlZHVsZXJbWF0gPSBjc2No
ZWQyCj4+ICAgIHBjcHVfc2NoZWR1bGVfdW5sb2NrKHgpIC0tPiB1bmxvY2tzIGNzY2hlZDJfbG9j
awo+PiAgICBjc2NoZWRfZnJlZV9wZGF0YSh4KQo+Pgo+PiBBbmQgaWYgd2Ugc3dpdGNoIGNwdSBY
IGZyb20gUlREUyB0byBDcmVkaXQyLCB3ZSBkbzoKPj4KPj4gIHNjaGVkdWxlX2NwdV9zd2l0Y2go
WCwgUlREUyAtLT4gY3NjaGVkMik6Cj4+ICAgIC8vc2NoZWR1bGVyW3hdIGlzIHJ0ZHMKPj4gICAg
Ly9zY2hlZHVsZV9sb2NrW3hdIGlzIHJ0ZHNfbG9jawo+PiAgICBjc2NoZWQyX2FsbG9jX3BkYXRh
KHgpCj4+ICAgIGNzY2hlZDJfaW5pdF9wZGF0YSh4KQo+PiAgICAgIHBjcHVfc2NoZWR1bGVfbG9j
ayh4KSAtLT4gdGFrZXMgcnRkc19sb2NrCj4+ICAgICAgc2NoZWR1bGVfbG9ja1t4XSA9IGNzY2hl
ZDJfbG9jawo+PiAgICAgIHNwaW5fdW5sb2NrKHJ0ZHNfbG9jaykKPj4gICAgcGNwdV9zY2hlZHVs
ZV9sb2NrKHgpIC0tLS0+IHRha2VzIGNzY2hlZDJfbG9jawo+PiAgICBzY2hlZHVsZXJbeF0gPSBj
c2NoZWQyCj4+ICAgIHBjcHVfc2NoZWR1bGVfdW5sb2NrKHgpIC0tPiB1bmxvY2tzIGNzY2hlZDJf
bG9jawo+PiAgICBydGRzX2ZyZWVfcGRhdGEoeCkKPj4gICAgICBzcGluX2xvY2socnRkc19sb2Nr
KQo+PiAgICAgIEFTU0VSVChzY2hlZHVsZV9sb2NrW3hdID09IHJ0ZHNfbG9jaykgWzNdCj4+ICAg
ICAgc2NoZWR1bGVfbG9ja1t4XSA9IERFRkFVTFRfU0NIRURVTEVfTE9DSyBbNF0KPj4gICAgICBz
cGluX3VubG9jayhydGRzX2xvY2spCj4+Cj4+IFNvLCB0aGUgZmlyc3QgcHJvYmxlbSBpcyB0aGF0
LCBpZiBhbnl0aGluZyByZWxhdGVkIHRvCj4+IHNjaGVkdWxpbmcsIGFuZCBpbnZvbHZpbmcgQ1BV
LCBoYXBwZW5zIGF0IFsxXSBvciBbMl0sIHdlOgo+PiAgLSB0YWtlIGNzY2hlZDJfbG9jaywKPj4g
IC0gb3BlcmF0ZSBvbiBDcmVkaXQxIGZ1bmN0aW9ucyBhbmQgZGF0YSBzdHJ1Y3R1cmVzLAo+PiB3
aGljaCBpcyBubyBnb29kIQo+Pgo+PiBUaGUgc2Vjb25kIHByb2JsZW0gaXMgdGhhdCB0aGUgQVNT
RVJUIGF0IFszXSB0cmlnZ2VycywgYW5kCj4+IHRoZSB0aGlyZCB0aGF0IGF0IFs0XSwgd2Ugc2Ny
ZXcgdXAgdGhlIGxvY2sgcmVtYXBwaW5nIHdlJ3ZlCj4+IGRvbmUgZm9yIG91cnNlbGYgaW4gY3Nj
aGVkMl9pbml0X3BkYXRhKCkhCj4+Cj4+IFRoZSBmaXJzdCBwcm9ibGVtIGFyaXNlcyBiZWNhdXNl
IHRoZXJlIGlzIGEgd2luZG93IGR1cmluZwo+PiB3aGljaCB0aGUgbG9jayBpcyBhbHJlYWR5IHRo
ZSBuZXcgb25lLCBidXQgdGhlIHNjaGVkdWxlciBpcwo+PiBzdGlsbCB0aGUgb2xkIG9uZS4gVGhl
IG90aGVyIHR3bywgYmVjYXNlIHdlIGxldCBzY2hlZHVsZXJzCj4+IG1lc3Mgd2l0aCB0aGUgbG9j
ayAocmUpbWFwcGluZyBkb25lIGJ5IG90aGVycy4KPj4KPj4gVGhpcyBwYXRjaCwgdGhlcmVmb3Jl
LCBpbnRyb2R1Y2VzIGEgbmV3IGhvb2sgaW4gdGhlIHNjaGVkdWxlcgo+PiBpbnRlcmZhY2UsIGNh
bGxlZCBzd2l0Y2hfc2NoZWQsIG1lYW50IGF0IGJlaW5nIHVzZWQgd2hlbgo+PiBzd2l0Y2hpbmcg
c2NoZWR1bGVyIG9uIGEgQ1BVLCBhbmQgaW1wbGVtZW50cyBpdCBmb3IgdGhlCj4+IHZhcmlvdXMg
c2NoZWR1bGVycywgc28gdGhhdCB0aGluZ3MgYXJlIGRvbmUgaW4gdGhlIHByb3Blcgo+PiBvcmRl
ciBhbmQgdW5kZXIgdGhlIHByb3RlY3Rpb24gb2YgdGhlIGJlc3Qgc3VpdGVkIChzZXQgb2YpCj4+
IGxvY2socykuIEl0IGlzIG5lY2Vzc2FyeSB0byBhZGQgdGhlIGhvb2sgKGFzIGNvbXBhcmVkIHRv
Cj4+IGtlZXAgZG9pbmcgdGhpbmdzIGluIGdlbmVyaWMgY29kZSksIGJlY2F1c2UgZGlmZmVyZW50
Cj4+IHNjaGVkdWxlcnMgbWF5IGhhdmUgZGlmZmVyZW50IGxvY2tpbmcgc2NoZW1lcy4KPj4KPj4g
U2lnbmVkLW9mZi1ieTogRGFyaW8gRmFnZ2lvbGkgPGRhcmlvLmZhZ2dpb2xpQGNpdHJpeC5jb20+
Cj4gCj4gVGhhbmtzIQo+IAo+IFJldmlld2VkLWJ5OiBHZW9yZ2UgRHVubGFwIDxnZW9yZ2UuZHVu
bGFwQGNpdHJpeC5jb20+CgpDb21taXR0ZXJzOgoKSG9wZWZ1bGx5IHRoZSBhcmluYzY1MyBtYWlu
dGFpbmVycyB3aWxsIGdldCBhbiBvcHBvcnR1bml0eSB0byB0YWtlIGEKbG9vayBhdCB0aGlzIGJl
Zm9yZSB0aGUgaGFyZCBmcmVlemUgdG9kYXkuICBCdXQgaWYgbm90LCBnaXZlbiB0aGUKdGltaW5n
LCBhbmQgdGhlIGZhY3QgdGhhdCB0aGUgcGF0Y2ggaXMgcmVhbGx5IG1vcmUgdG8gZG8gd2l0aCB0
aGUKaW50ZXJmYWNlIHRvIHRoZSBzY2hlZHVsaW5nIHN5c3RlbSBhcyBhIHdob2xlIHJhdGhlciB0
aGFuIGludGVybmFsCmFsZ29yaXRobXMgb2YgdGhlIGFyaW5jIHNjaGVkdWxlciwgSSB0aGluayBp
dCdzIHByb2JhYmx5IE9LIHRvIHRha2UgdGhlCmxpYmVydHkgb2YgY2hlY2tpbmcgaXQgaW4gZXZl
biB3aXRob3V0IGFuIEFjayAoYXMgbG9uZyBhcyB0aGVyZSdzIG5vCk5hY2spLiAgV2UgY2FuIGFs
d2F5cyByZXZlcnQgLyBhbWVuZCBpdCBsYXRlciBpZiB0aGVyZSBhcmUgb2JqZWN0aW9ucy4KCiAt
R2VvcmdlCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpY
ZW4tZGV2ZWwgbWFpbGluZyBsaXN0Clhlbi1kZXZlbEBsaXN0cy54ZW4ub3JnCmh0dHA6Ly9saXN0
cy54ZW4ub3JnL3hlbi1kZXZlbAo=