From mboxrd@z Thu Jan  1 00:00:00 1970
From: George Dunlap <george.dunlap@eu.citrix.com>
Subject: Re: Race condition with scheduler runqueues
Date: Tue, 26 Feb 2013 12:08:14 +0000
Message-ID: <512CA5AE.4090002@eu.citrix.com>
References: <51226EBB.3030503@citrix.com>
	<512353E502000078000BF521@nat28.tlf.novell.com>
	<51236654.3050709@citrix.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="utf-8"; Format="flowed"
Content-Transfer-Encoding: base64
Return-path: <xen-devel-bounces@lists.xen.org>
In-Reply-To: <51236654.3050709@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>
Sender: xen-devel-bounces@lists.xen.org
Errors-To: xen-devel-bounces@lists.xen.org
To: Andrew Cooper <andrew.cooper3@citrix.com>
Cc: Juergen Gross <juergen.gross@ts.fujitsu.com>, "Keir (Xen.org)" <keir@xen.org>, Jan Beulich <JBeulich@suse.com>, Xen-devel List <xen-devel@lists.xen.org>
List-Id: xen-devel@lists.xenproject.org

T24gMDIvMTkvMjAxMyAxMTo0NyBBTSwgQW5kcmV3IENvb3BlciB3cm90ZToKPiBPbiAxOS8wMi8x
MyAwOToyOCwgSmFuIEJldWxpY2ggd3JvdGU6Cj4+Pj4+IE9uIDE4LjAyLjEzIGF0IDE5OjExLCBB
bmRyZXcgQ29vcGVyIDxhbmRyZXcuY29vcGVyM0BjaXRyaXguY29tPiB3cm90ZToKPj4+IEhlbGxv
LAo+Pj4KPj4+IE91ciB0ZXN0aW5nIGhhcyBkaXNjb3ZlcmVkIGEgY3Jhc2ggKHBhZ2VmYXVsdCBh
dCAweDAwMDAwMDAwMDAwMDAwMDgpCj4+PiB3aGljaCBJIGhhdmUgdHJhY2tlZCBkb3duIHRvIGJh
ZCBfX3J1bnFfcmVtb3ZlKCkgaW4gY3NjaGVkX3ZjcHVfc2xlZXAoKQo+Pj4gaW4gc2NoZWRfY3Jl
ZGl0LmMgKGJlY2F1c2UgYSBzdGF0aWMgZnVuY3Rpb24gb2YgdGhlIHNhbWUgbmFtZSBhbHNvCj4+
PiBleGlzdHMgaW4gc2NoZWRfY3JlZGl0Mi5jLCB3aGljaCBjb25mdXNlZCBtYXR0ZXJzIHRvIHN0
YXJ0IHdpdGgpCj4+Pgo+Pj4gVGhlIHRlc3QgY2FzZSB3YXMgYSBsb29wIG9mIGxvY2FsaG9zdCBt
aWdyYXRlIG9mIGEgMXZjcHUgSFZNIHdpbjgKPj4+IGRvbWFpbi4gIFRoZSB0ZXN0IGNhc2UgaXRz
ZWxmIGhhcyBwYXNzZWQgbWFueSB0aW1lcyBpbiB0aGUgcGFzdCBvbiB0aGUKPj4+IHNhbWUgWGVu
IGNvZGViYXNlIChYZW4tNC4xLjMpLCBpbmRpY2F0aW5nIHRoYXQgaXQgaXMgdmVyeSByYXJlLiAg
VGhlcmUKPj4+IGRvZXMgbm90IGFwcGVhciB0byBiZSBhbnkgcmVsZXZhbnQgY2hhbmdlcyBiZXR3
ZWVuIHRoZSB2ZXJzaW9uIG9mIFhlbiBpbgo+Pj4gdGhlIHRlc3QgYW5kIHhlbi00LjEtdGVzdGlu
Zy4KPj4+Cj4+PiBUaGUgZmFpbHVyZSBpdHNlbGYgaXMgYmVjYXVzZSBvZiBhIFhFTl9ET01DVExf
c2NoZWR1bGVyX29wICh0cmFjZSBiZWxvdykKPj4+IGZyb20gZG9tMCwgdGFyZ2V0aW5nIHRoZSBW
Q1BVIG9mIHRoZSBtaWdyYXRpbmcgZG9tYWluLgo+Pj4KPj4+IChYRU4pIFhlbiBjYWxsIHRyYWNl
Ogo+Pj4gKFhFTikgICAgICAgWzxmZmZmODJjNDgwMTE2YTE0Pl0gY3NjaGVkX3ZjcHVfc2xlZXAr
MHg0NC8weDcwCj4+PiAoWEVOKSAgICAgIDBbPGZmZmY4MmM0ODAxMjAxMTc+XSB2Y3B1X3NsZWVw
X25vc3luYysweGU3LzB4M2IwCj4+PiAoWEVOKSAgICAgMTJbPGZmZmY4MmM0ODAxMjAzZTk+XSB2
Y3B1X3NsZWVwX3N5bmMrMHg5LzB4NTAKPj4+IChYRU4pICAgICAxNFs8ZmZmZjgyYzQ4MDExZmQ0
Yz5dIHNjaGVkX2FkanVzdCsweGFjLzB4MjMwCj4+PiAoWEVOKSAgICAgMjRbPGZmZmY4MmM0ODAx
MDJiYzE+XSBkb19kb21jdGwrMHg3MzEvMHgxMTMwCj4+PiAoWEVOKSAgICAgNjRbPGZmZmY4MmM0
ODAyMDEzYzQ+XSBjb21wYXRfaHlwZXJjYWxsKzB4NzQvMHg4MAo+Pj4KPj4+IFRoZSByZWxldmFu
dCBwYXJ0IG9mIGNzY2hlZF92Y3B1X3NsZWVwKCkgaXMKPj4+Cj4+PiAgICAgIGVsc2UgaWYgKCBf
X3ZjcHVfb25fcnVucShzdmMpICkKPj4+ICAgICAgICAgIF9fcnVucV9yZW1vdmUoc3ZjKTsKPj4+
Cj4+PiB3aGljaCBkaXNhc3NlbWJsZXMgdG8KPj4+Cj4+PiBmZmZmODJjNDgwMTE2YTAxOiAgICAg
ICA0OSA4YiAxMCAgICAgICAgICAgICAgICBtb3YgICAgKCVyOCksJXJkeAo+Pj4gZmZmZjgyYzQ4
MDExNmEwNDogICAgICAgNGMgMzkgYzIgICAgICAgICAgICAgICAgY21wICAgICVyOCwlcmR4Cj4+
PiBmZmZmODJjNDgwMTE2YTA3OiAgICAgICA3NSAwNyAgICAgICAgICAgICAgICAgICBqbmUgICAg
ZmZmZjgyYzQ4MDExNmExMAo+Pj4gPGNzY2hlZF92Y3B1X3NsZWVwKzB4NDA+Cj4+PiBmZmZmODJj
NDgwMTE2YTA5OiAgICAgICBmMyBjMyAgICAgICAgICAgICAgICAgICByZXB6IHJldHEKPj4+IGZm
ZmY4MmM0ODAxMTZhMGI6ICAgICAgIDBmIDFmIDQ0IDAwIDAwICAgICAgICAgIG5vcGwgICAweDAo
JXJheCwlcmF4LDEpCj4+PiBmZmZmODJjNDgwMTE2YTEwOiAgICAgICA0OSA4YiA0MCAwOCAgICAg
ICAgICAgICBtb3YgICAgMHg4KCVyOCksJXJheAo+Pj4gZmZmZjgyYzQ4MDExNmExNDogICAgICAg
NDggODkgNDIgMDggICAgICAgICAgICAgbW92ICAgICVyYXgsMHg4KCVyZHgpICMKPj4+IDwtIFBh
Z2VmYXVsdCBoZXJlCj4+PiBmZmZmODJjNDgwMTE2YTE4OiAgICAgICA0OCA4OSAxMCAgICAgICAg
ICAgICAgICBtb3YgICAgJXJkeCwoJXJheCkKPj4+IGZmZmY4MmM0ODAxMTZhMWI6ICAgICAgIDRk
IDg5IDQwIDA4ICAgICAgICAgICAgIG1vdiAgICAlcjgsMHg4KCVyOCkKPj4+IGZmZmY4MmM0ODAx
MTZhMWY6ICAgICAgIDRkIDg5IDAwICAgICAgICAgICAgICAgIG1vdiAgICAlcjgsKCVyOCkKPj4+
Cj4+PiBUaGUgcmVsZXZhbnQgY3Jhc2ggcmVnaXN0ZXJzIGZyb20gdGhlIHBhZ2VmYXVsdCBhcmU6
Cj4+PiByYXg6IDAwMDAwMDAwMDAwMDAwMDAKPj4+IHJkeDogMDAwMDAwMDAwMDAwMDAwMAo+Pj4g
ICByODogZmZmZjgzMDgwYzg5ZWQ5MAo+Pj4KPj4+IElmIEkgYW0gcmVhZGluZyB0aGUgY29kZSBj
b3JyZWN0bHksIHRoaXMgbWVhbnMgdGhhdCBydW5xLT5uZXh0IGlzIE5VTEwsCj4+PiBzbyB3ZSBm
YWlsIGxpc3RfZW1wdHkoKSBhbmQgZXJyb25lb3VzbHkgcGFzcyBfX3ZjcHVfb25fcnVucSgpLiAg
V2UgdGhlbgo+Pj4gZmFpbCB3aXRoIGEgZmF1bHQgd2hlbiB0cnlpbmcgdG8gdXBkYXRlIHJ1bnEt
PnByZXYsIHdoaWNoIGlzIGFsc28gTlVMTC4KPj4+Cj4+PiBUaGUgb25seSBwbGFjZSBJIGNhbiBz
cG90IGluIHRoZSBjb2RlIHdoZXJlIHRoZSBydW5xLT57bmV4dCxwcmV2fSBjb3VsZAo+Pj4gY29u
Y2VpdmFibHkgYmUgTlVMTCBpcyBpbiBjc2NoZWRfYWxsb2NfdmRhdGEoKSBiZXR3ZWVuIHRoZSBt
ZW1zZXQoKSBhbmQKPj4+IElOSVRfTElTVF9IRUFEKCkuICBUaGlzIGlzIGxvZ2ljYWxseSBzZW5z
aWJsZSBpbiBjb21iaW5hdGlvbiB3aXRoIHRoZQo+Pj4gbG9jYWxob3N0IG1pZ3JhdGUgbG9vcCwg
YW5kIEkgY2FudCBpbW1lZGlhdGVseSBzZWUgYW55dGhpbmcgdG8gcHJldmVudAo+Pj4gdGhpcyBy
YWNlIGhhcHBlbmluZy4KPj4gQnV0IHRoYXQgZG9lc24ndCBtYWtlIHNlbnNlOiBjc2NoZWRfYWxs
b2NfdmRhdGEoKSBkb2Vzbid0IHN0b3JlCj4+IHN2YyBpbnRvIHZjLT5zY2hlZF9wcml2OyB0aGF0
J3MgYmVpbmcgZG9uZSBieSB0aGUgZ2VuZXJpYwo+PiBzY2hlZHVsZXIgY29kZSBvbmNlIHRoZSBh
Y3RvciByZXR1cm5zLgo+Cj4gRCdvaCB5ZXMgLSBJIG92ZXJsb29rZWQgdGhhdC4KPgo+Pgo+PiBT
byBJJ2QgcmF0aGVyIHN1c3BlY3QgYSBzdGFsZSBwb2ludGVyIGJlaW5nIHVzZWQsIHdoaWNoIGlz
IGVhc2lseQo+PiBwb3NzaWJsZSB3aGVuIHJhY2luZyB3aXRoIHNjaGVkX21vdmVfZG9tYWluKCkg
KGFzIG9wcG9zZWQgdG8KPj4gc2NoZWR1bGVfY3B1X3N3aXRjaCgpLCB3aGVyZSB0aGUgbmV3IHBv
aW50ZXIgZ2V0cyBzdG9yZWQKPj4gX2JlZm9yZV8gZGUtYWxsb2NhdGluZyB0aGUgb2xkIG9uZSku
Cj4KPj4KPj4gSG93ZXZlciwgc2NoZWRfbW92ZV9kb21haW4oKSAoYXMgd2VsbCBhcyBzY2hlZHVs
ZV9jcHVfc3dpdGNoKCkpCj4+IGdldCBjYWxsZWQgb25seSBmcm9tIENQVSBwb29scyBjb2RlLCBh
bmQgSSB3b3VsZCBndWVzcyBDUFUgcG9vbHMKPj4gYXJlbid0IGludm9sdmVkIGhlcmUsIGFuZCB5
b3UgZG9uJ3QgaW4gcGFyYWxsZWwgc29mdCBvZmZsaW5lL29ubGluZQo+PiBwQ1BVLXMgKGFzIEkn
bSBzdXJlIHlvdSBvdGhlcndpc2Ugd291bGQgaGF2ZSBtZW50aW9uZWQgaXQpLgo+Pgo+PiBCdXQg
d2FpdCAtIGxpYnhsX19kb21haW5fbWFrZSgpIF91bmNvbmRpdGlvbmFsbHlfIGNhbGxzCj4+IHhj
X2NwdXBvb2xfbW92ZWRvbWFpbigpLCBhcyBkb2VzIFhlbmREb21haW5JbmZvJ3MKPj4gX2NvbnN0
cnVjdERvbWFpbigpLiBUaGUgcmVhc29uIGZvciB0aGlzIGVzY2FwZXMgbWUgLSBKw7xyZ2VuPyBZ
ZXQKPj4gSSdkIGV4cGVjdCB0aGUgcG9vbCBJRCBtYXRjaGluZyBjaGVjayB0byBzaG9ydCBjdXQg
dGhlIHJlc3VsdGluZwo+PiBzeXNjdGwsIGkuZS4gc2NoZWRfbW92ZV9kb21haW4oKSBvdWdodCB0
byBub3QgYmUgcmVhY2hlZCBhbnl3YXkKPj4gKHdvcnRoIHZlcmlmeWluZyBvZiBjb3Vyc2UpLgo+
Pgo+PiBUaGUgcmFjZSB0aGVyZSBuZXZlcnRoZWxlc3Mgb3VnaHQgdG8gYmUgZml4ZWQuCj4+Cj4+
IEphbgo+Cj4gT3VyIHRvb2xzdGFjayBob29rcyBkaXJlY3RseSBpbnRvIGxpYnhjIGFuZCBpcyBj
b21wbGV0ZWx5IGlnbm9yYW50IG9mCj4gY3B1cG9vbHMuICBMb29raW5nIGF0IHRoZSBjcmFzaCBt
b3JlIGNsb3NlbHksIGl0IG1pZ2h0IGJlIGEgcmFjZSBlbHNld2hlcmUKPgo+IEFub3RoZXIgZG9t
MCB2Y3B1IGlzIGluIGFuIEhWTU9QX3RyYWNrX2RpcnR5X3ZyYW0gaHlwZXJjYWxsLCBhbmQgdGhl
Cj4gYXNzb2NpYXRlZCBYZW4gc3RhY2sgdHJhY2UgaXMKPgo+IFtmZmZmODJjNDgwMTc3N2IyXSB0
aW1lX2NhbGlicmF0aW9uX3N0ZF9yZW5kZXp2b3VzKzB4YjIvMHhjMAo+ICAgZmZmZjgyYzQ4MDE3
MmQxMiAgX19zbXBfY2FsbF9mdW5jdGlvbl9pbnRlcnJ1cHQrMHg2Mi8weGIwCj4gICBmZmZmODJj
NDgwMTczMzllICBzbXBfY2FsbF9mdW5jdGlvbl9pbnRlcnJ1cHQrMHg0ZS8weDkwCj4gICBmZmZm
ODJjNDgwMTRhNjVhICBjYWxsX2Z1bmN0aW9uX2ludGVycnVwdCsweDJhLzB4MzAKPiAgIGZmZmY4
MmM0ODAxMjIzYjIgIF9zcGluX2xvY2srMHgxMi8weDIwCj4gICBmZmZmODJjNDgwMTczNGFiICBm
bHVzaF9hcmVhX21hc2srMHhjYi8weDFjMAo+ICAgZmZmZjgyYzQ4MDFjODYyYSAgcGFnaW5nX2xv
Z19kaXJ0eV9yYW5nZSsweDNhLzB4NzgwCj4gICBmZmZmODJjNDgwMTIxZWE4ICBjcHVtYXNrX3Jh
aXNlX3NvZnRpcnErMHg3OC8weDgwCj4gICBmZmZmODJjNDgwMTE3ZWQzICBjc2NoZWRfdmNwdV93
YWtlKzB4MTkzLzB4NDIwCj4gICBmZmZmODJjNDgwMTRhNWZhICBldmVudF9jaGVja19pbnRlcnJ1
cHQrMHgyYS8weDMwCj4gICBmZmZmODJjNDgwMWYyMWM3ICBoYXBfdHJhY2tfZGlydHlfdnJhbSsw
eDEzNy8weDFjMAo+ICAgZmZmZjgyYzQ4MDFhZDNmZCAgZG9faHZtX29wKzB4MTZkZC8weDFmNTAK
PiAgIGZmZmY4MmM0ODAxMDYyNTEgIGV2dGNobl9zZW5kKzB4YTEvMHgxNjAKPiAgIGZmZmY4MmM0
ODAxMDZkMzYgIGRvX2V2ZW50X2NoYW5uZWxfb3ArMHg4NzYvMHhmZDAKPiAgIGZmZmY4MmM0ODAx
ZjkwMjcgIGNvbXBhdF91cGRhdGVfZGVzY3JpcHRvcisweDI3LzB4MzAKPiAgIGZmZmY4MmM0ODAx
MzU0ZjggIGNvbXBhdF9tdWx0aWNhbGwrMHgxOTgvMHgzODAKPiAgIGZmZmY4MmM0ODAxNGE1ZmEg
IGV2ZW50X2NoZWNrX2ludGVycnVwdCsweDJhLzB4MzAKPiAgIGZmZmY4MmM0ODAyMDEzYzQgIGNv
bXBhdF9oeXBlcmNhbGwrMHg3NC8weDgwCj4KPiB0aGUgaGFwX3RyYWNrX2RpcnR5X3ZyYW0oKSBh
bmQgcGFnaW5nX2xvZ19kaXJ0eV9yYW5nZSgpIGFyZSBwYXJ0IG9mIHRoZQo+IHNhbWUgbG9naWNh
bCBjYWxsIHRyYWNlLCBidXQgaXQgYXBwZWFycyB0aGF0IHdlIGhhdmUgdGFrZW4gYW4KPiBldmVu
dF9jaGVja19pbnRlcnJ1cHQoKSBpbiB0aGUgbWlkZGxlIGFuZCBjYWxsZWQgc2NoZWR1bGUoKSBv
ZmYgdGhlCj4gYm90dG9tIG9mIGl0LCBjYWxsaW5nIGNzY2hlZF92Y3B1X3dha2UoKS4KPgo+IEkg
YW0gY3VycmVudGx5IHRyeWluZyB0byByZWFzb24gYXMgdG8gd2hldGhlciBpdCBpcyBwb3NzaWJs
ZSBmb3IgYSByYWNlCj4gYmV0d2VlbiBjc2NoZWRfdmNwdV97c2xlZXAsd2FrZX0oKSBjb3VsZCBy
ZXN1bHQgaW4gdGhlIHNlZW4gY3Jhc2gsIGJ1dAo+IGl0IGNlcnRhaW5seSBsb29rcyBsaWtlIGEg
c21va2luZyBndW4uCgpBbnkgbW9yZSBwcm9ncmVzcyBvbiB0aGlzIG9uZT8KCkluIHRoZW9yeSBh
bGwgb2YgdGhvc2Ugc2hvdWxkIGJlIG1hZGUgbXV0dWFsbHkgZXhjbHVzaXZlIGJ5IGhvbGRpbmcg
dGhlIApsb2NrIG9mIHRoZSBydW5xdWV1ZSBvbiB3aGljaCB0aGUgVkNQVSBpcyBydW5uaW5nLgoK
QW55IGNoYW5jZSB0aGVyZSdzIGEgcmFjZSB3aXRoIHRoZSBhc3NpZ25tZW50IG9mIHRoZSB2Y3B1
IC0tIHRoYXQgaXMsIGEgCnJhY2UgaW4gdmNwdV9zY2hlZHVsZV9sb2NrKCkgc3VjaCB0aGF0IHNv
bWVvbmUgZW5kcyB1cCBncmFiYmluZyB0aGUgCndyb25nIGxvY2s/CgpJIHRoaW5rIHRoYXQgaW4g
dGhlb3J5IG9uY2UgeW91IGNhbGwgSU5JVF9MSVNUX0hFQUQsIG5vbmUgb2YgdGhvc2UgCnBvaW50
ZXJzIHNob3VsZCBldmVyIGJlIHNldCB0byB6ZXJvOyBpZiBvbmUgZXZlciB3ZXJlIGl0IG1pZ2h0
IGdldCAKcGFzc2VkIGFyb3VuZCBhIGJpdCBiZWZvcmUgYWN0dWFsbHkgYmVpbmcgZm9sbG93ZWQu
ICBBbnkgY2hhbmNlIHRoZXJlJ3MgCnNvbWV0aGluZyB1bmluaXRpYWxpemVkIHNvbWV3aGVyZT8K
CkFuZCBvZiBjb3Vyc2UsIGlmIGFsbCBlbHNlIGZhaWxzLCB0aGVyZSdzIGdvb2Qgb2xkLWZhc2hp
b25lZCBtZW1vcnkgCmNsb2JiZXJpbmcgYXMgYSBwb3NzaWJpbGl0eS4uLgoKICAtR2VvcmdlCgpf
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpYZW4tZGV2ZWwg
bWFpbGluZyBsaXN0Clhlbi1kZXZlbEBsaXN0cy54ZW4ub3JnCmh0dHA6Ly9saXN0cy54ZW4ub3Jn
L3hlbi1kZXZlbAo=