From mboxrd@z Thu Jan  1 00:00:00 1970
From: George Dunlap <george.dunlap@citrix.com>
Subject: Re: [PATCH 09/16] xen: sched: close potential races
 when switching scheduler to CPUs
Date: Thu, 24 Mar 2016 12:14:44 +0000
Message-ID: <56F3DA34.4040007@citrix.com>
References: <20160318185524.8117.74837.stgit@Solace.station>
 <20160318190505.8117.89778.stgit@Solace.station>
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.bemta14.messagelabs.com ([193.109.254.103])
 by lists.xenproject.org with esmtp (Exim 4.84_2)
 (envelope-from <prvs=884475cec=George.Dunlap@citrix.com>)
 id 1aj4AA-0003Dx-B8
 for xen-devel@lists.xenproject.org; Thu, 24 Mar 2016 12:14:54 +0000
In-Reply-To: <20160318190505.8117.89778.stgit@Solace.station>
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>, Meng Xu <mengxu@cis.upenn.edu>
List-Id: xen-devel@lists.xenproject.org

T24gMTgvMDMvMTYgMTk6MDUsIERhcmlvIEZhZ2dpb2xpIHdyb3RlOgo+IGJ5IHVzaW5nIHRoZSBz
Y2hlZF9zd2l0Y2ggaG9vayB0aGF0IHdlIGhhdmUgaW50cm9kdWNlZCBpbgo+IHRoZSB2YXJpb3Vz
IHNjaGVkdWxlcnMuCj4gCj4gVGhlIGtleSBpcyB0byBsZXQgdGhlIGFjdHVhbCBzd2l0Y2ggb2Yg
c2NoZWR1bGVyIGFuZCB0aGUKPiByZW1hcHBpbmcgb2YgdGhlIHNjaGVkdWxlciBsb2NrIGZvciB0
aGUgQ1BVIChpZiBuZWNlc3NhcnkpCj4gaGFwcGVuIHRvZ2V0aGVyIChpbiB0aGUgc2FtZSBjcml0
aWNhbCBzZWN0aW9uKSBwcm90ZWN0ZWQKPiAoYXQgbGVhc3QpIGJ5IHRoZSBvbGQgc2NoZWR1bGVy
IGxvY2sgZm9yIHRoZSBDUFUuCgpUaGFua3MgZm9yIHRyeWluZyB0byBzb3J0IHRoaXMgb3V0IC0t
IEkndmUgYmVlbiBsb29raW5nIHRoaXMgc2luY2UKeWVzdGVyZGF5IGFmdGVybm9vbiBhbmQgaXQg
Y2VydGFpbmx5IG1ha2VzIG15IGhlYWQgaHVydC4gOi0pCgpJdCBsb29rcyBsaWtlIHlvdSB3YW50
IHRvIGRvIHRoZSBsb2NraW5nIGluc2lkZSB0aGUgc2NoZWRfc3dpdGNoKCkKY2FsbGJhY2ssIHJh
dGhlciB0aGFuIG91dHNpZGUgb2YgaXQsIHNvIHRoYXQgeW91IGNhbiBnZXQgdGhlIGxvY2tpbmcK
b3JkZXIgcmlnaHQgKGdsb2JhbCBwcml2YXRlIGJlZm9yZSBwZXItY3B1IHNjaGVkdWxlciBsb2Nr
KS4gIE90aGVyd2lzZQp5b3UgY291bGQganVzdCBoYXZlIHNjaGVkdWxlX2NwdV9zd2l0Y2ggZ3Jh
YiBhbmQgcmVsZWFzZSB0aGUgbG9jaywgYW5kCmxldCB0aGUgc2NoZWRfc3dpdGNoKCkgY2FsbGJh
Y2sgc2V0IHRoZSBsb2NrIGFzIG5lZWRlZCAoa25vd2luZyB0aGF0IHRoZQpjb3JyZWN0IGxvY2sg
aXMgYWxyZWFkeSBoZWxkIGFuZCB3aWxsIGJlIHJlbGVhc2VkKS4KCkJ1dCB0aGUgb3JkZXJpbmcg
YmV0d2VlbiBwcnYtPmxvY2sgYW5kIHRoZSBzY2hlZHVsZXIgbG9jayBvbmx5IG5lZWRzIHRvCmJl
IGJldHdlZW4gdGhlIHBydiBsb2NrIGFuZCBzY2hlZHVsZXIgbG9jayAqb2YgYSBzcGVjaWZpYyBp
bnN0YW5jZSogb2YKdGhlIGNyZWRpdDIgc2NoZWR1bGVyIC0tIGkuZS4sIGJldHdlZW4gcHJ2LT5s
b2NrIGFuZCBwcnYtPnJxZFtdLmxvY2suCgpBbmQsIGNyaXRpY2FsbHksIGlmIHdlJ3JlIGNhbGxp
bmcgc2NoZWRfc3dpdGNoLCB0aGVuIHdlIGFscmVhZHkga25vdwp0aGF0IHRoZSBjdXJyZW50IHBj
cHUgbG9jayBpcyAqbm90KiBvbmUgb2YgdGhlIHBydi0+cnFkW10ubG9jaydzIGJlY2F1c2UKd2Ug
Y2hlY2sgdGhhdCBhdCB0aGUgdG9wIG9mIHNjaGVkdWxlX2NwdV9zd2l0Y2goKS4KClNvIEkgdGhp
bmsgdGhlcmUgc2hvdWxkIGJlIG5vIHByb2JsZW0gd2l0aDoKMS4gR3JhYmJpbmcgdGhlIHBjcHUg
c2NoZWR1bGUgbG9jayBpbiBzY2hlZHVsZV9jcHVfc3dpdGNoKCkKMi4gR3JhYmJpbmcgcHJ2LT5s
b2NrIGluIGNzY2hlZDJfc3dpdGNoX3NjaGVkKCkKMy4gU2V0dGluZyB0aGUgcGVyX2NwdSBzY2hl
ZHVsZSBsb2NrIGFzIHRoZSB2ZXJ5IGxhc3QgdGhpbmcgaW4KY3NjaGVkMl9zd2l0Y2hfc2NoZWQo
KQo0LiBSZWxlYXNpbmcgdGhlIChvbGQpIHBjcHUgc2NoZWR1bGUgbG9jayBpbiBzY2hlZHVsZV9j
cHVfc3dpdGNoKCkuCgpXaGF0IGRvIHlvdSB0aGluaz8KClRoYXQgd291bGQgYWxsb3cgdXMgdG8g
cmVhZCBwcHJpdl9vbGQgYW5kIHZwcml2X29sZCB3aXRoIHRoZQpzY2hlZHVsZV9sb2NrIGhlbGQu
CgpVbmZvcnR1bmF0ZWx5IEkgY2FuJ3Qgb2ZmIHRoZSB0b3Agb2YgbXkgaGVhZCB0aGluayBvZiBh
IGdvb2QgYXNzZXJ0aW9uCnRvIHB1dCBpbiBhdCAjMiB0byBhc3NlcnQgdGhhdCB0aGUgcGVyLXBj
cHUgbG9jayBpcyAqbm90KiBvbmUgb2YKcnVucXVldWUgbG9ja3MgaW4gcHJ2LCBiZWNhdXNlIHdl
IGRvbid0IHlldCBrbm93IHdoaWNoIHJ1bnF1ZXVlIHRoaXMgY3B1CndpbGwgYmUgYXNzaWduZWQg
dG8uICBCdXQgd2UgY291bGQgY2hlY2sgd2hlbiB3ZSBhY3R1YWxseSBkbyB0aGUgbG9jawphc3Np
Z25tZW50IHRvIG1ha2Ugc3VyZSB0aGF0IGl0J3Mgbm90IGFscmVhZHkgZXF1YWwuICBUaGF0IHdh
eSB3ZSdsbAplaXRoZXIgZGVhZGxvY2sgb3IgQVNTRVJUICh3aGljaCBpcyBub3QgYXMgZ29vZCBh
cyBhbHdheXMgQVNTRVJUaW5nLCBidXQKaXMgYmV0dGVyIHRoYW4gZWl0aGVyIGRlYWRsb2NraW5n
IG9yIHdvcmtpbmcgZmluZSkuCgpBcyBhbiBhc2lkZSAtLSBpdCBzZWVtcyB0byBtZSB0aGF0IGFz
IHNvb24gYXMgd2UgY2hhbmdlIHRoZSBzY2hlZHVsZXIKbG9jaywgdGhlcmUncyBhIHJpc2sgdGhh
dCBzb21ldGhpbmcgZWxzZSBtYXkgY29tZSBhbG9uZyBhbmQgdHJ5IHRvIGdyYWIKaXQgLyBhY2Nl
c3MgdGhlIGRhdGEuICBEb2VzIHRoYXQgbWVhbiB3ZSByZWFsbHkgb3VnaHQgdG8gdXNlIG1lbW9y
eQpiYXJyaWVycyB0byBtYWtlIHN1cmUgdGhhdCB0aGUgbG9jayBpcyB3cml0dGVuIG9ubHkgYWZ0
ZXIgYWxsIGNoYW5nZXMgdG8KdGhlIHNjaGVkdWxlciBkYXRhIGhhdmUgYmVlbiBhcHByb3ByaWF0
ZWx5IG1hZGU/Cgo+IFRoaXMgYWxzbyBtZWFucyB0aGF0LCBpbiBDcmVkaXQyIGFuZCBSVERTLCB3
ZSBjYW4gZ2V0IHJpZAo+IG9mIHRoZSBjb2RlIHRoYXQgd2FzIGRvaW5nIHRoZSBzY2hlZHVsZXIg
bG9jayByZW1hcHBpbmcKPiBpbiBjc2NoZWQyX2ZyZWVfcGRhdGEoKSBhbmQgcnRfZnJlZV9wZGF0
YSgpLCBhbmQgb2YgdGhlaXIKPiB0cmlnZ2VyaW5nIEFTU0VSVC1zLgoKUmlnaHQgLS0gc28gdG8g
cHV0IGl0IGEgZGlmZmVyZW50IHdheSwgKmFsbCogc2NoZWR1bGVycyBtdXN0IG5vdyBzZXQgdGhl
CmxvY2tpbmcgc2NoZW1lIHRoZXkgd2lzaCB0byB1c2UsIGV2ZW4gaWYgdGhleSB3YW50IHRvIHVz
ZSB0aGUgZGVmYXVsdApwZXItY3B1IGxvY2tzLiAgSSB0aGluayB0aGF0IG1lYW5zIHdlIGhhdmUg
dG8gZG8gdGhhdCBmb3IgYXJpbmM2NTMgdG9vLApyaWdodD8KCkF0IGZpcnN0IEkgdGhvdWdodCB3
ZSBjb3VsZCBsb29rIGF0IGhhdmluZyBzY2hlZHVsZV9jcHVfc3dpdGNoKCkgYWx3YXlzCnJlc2V0
IHRoZSBsb2NrIGJlZm9yZSBjYWxsaW5nIHRoZSBzd2l0Y2hfc2NoZWQoKSBjYWxsYmFjazsgYnV0
IGlmIG15CmNvbW1lbnQgYWJvdXQgbWVtb3J5IGJhcnJpZXJzIGlzIGFjY3VyYXRlLCB0aGVuIHRo
YXQgd29uJ3Qgd29yayBlaXRoZXIuCiBJbiBhbnkgY2FzZSwgdGhlcmUgYXJlIG9ubHkgNCBzY2hl
ZHVsZXJzLCBzbyBpdCdzIG5vdCB0aGF0IGhhcmQgdG8ganVzdApoYXZlIHRoZW0gYWxsIHNldCB0
aGUgbG9ja2luZyBzY2hlbWUgdGhleSB3YW50LgoKIC1HZW9yZ2UKCgpfX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpYZW4tZGV2ZWwgbWFpbGluZyBsaXN0Clhl
bi1kZXZlbEBsaXN0cy54ZW4ub3JnCmh0dHA6Ly9saXN0cy54ZW4ub3JnL3hlbi1kZXZlbAo=