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

T24gMTkvMDIvMTMgMDk6MjgsIEphbiBCZXVsaWNoIHdyb3RlOgo+Pj4+IE9uIDE4LjAyLjEzIGF0
IDE5OjExLCBBbmRyZXcgQ29vcGVyIDxhbmRyZXcuY29vcGVyM0BjaXRyaXguY29tPiB3cm90ZToK
Pj4gSGVsbG8sCj4+Cj4+IE91ciB0ZXN0aW5nIGhhcyBkaXNjb3ZlcmVkIGEgY3Jhc2ggKHBhZ2Vm
YXVsdCBhdCAweDAwMDAwMDAwMDAwMDAwMDgpCj4+IHdoaWNoIEkgaGF2ZSB0cmFja2VkIGRvd24g
dG8gYmFkIF9fcnVucV9yZW1vdmUoKSBpbiBjc2NoZWRfdmNwdV9zbGVlcCgpCj4+IGluIHNjaGVk
X2NyZWRpdC5jIChiZWNhdXNlIGEgc3RhdGljIGZ1bmN0aW9uIG9mIHRoZSBzYW1lIG5hbWUgYWxz
bwo+PiBleGlzdHMgaW4gc2NoZWRfY3JlZGl0Mi5jLCB3aGljaCBjb25mdXNlZCBtYXR0ZXJzIHRv
IHN0YXJ0IHdpdGgpCj4+Cj4+IFRoZSB0ZXN0IGNhc2Ugd2FzIGEgbG9vcCBvZiBsb2NhbGhvc3Qg
bWlncmF0ZSBvZiBhIDF2Y3B1IEhWTSB3aW44Cj4+IGRvbWFpbi4gIFRoZSB0ZXN0IGNhc2UgaXRz
ZWxmIGhhcyBwYXNzZWQgbWFueSB0aW1lcyBpbiB0aGUgcGFzdCBvbiB0aGUKPj4gc2FtZSBYZW4g
Y29kZWJhc2UgKFhlbi00LjEuMyksIGluZGljYXRpbmcgdGhhdCBpdCBpcyB2ZXJ5IHJhcmUuICBU
aGVyZQo+PiBkb2VzIG5vdCBhcHBlYXIgdG8gYmUgYW55IHJlbGV2YW50IGNoYW5nZXMgYmV0d2Vl
biB0aGUgdmVyc2lvbiBvZiBYZW4gaW4KPj4gdGhlIHRlc3QgYW5kIHhlbi00LjEtdGVzdGluZy4K
Pj4KPj4gVGhlIGZhaWx1cmUgaXRzZWxmIGlzIGJlY2F1c2Ugb2YgYSBYRU5fRE9NQ1RMX3NjaGVk
dWxlcl9vcCAodHJhY2UgYmVsb3cpCj4+IGZyb20gZG9tMCwgdGFyZ2V0aW5nIHRoZSBWQ1BVIG9m
IHRoZSBtaWdyYXRpbmcgZG9tYWluLgo+Pgo+PiAoWEVOKSBYZW4gY2FsbCB0cmFjZToKPj4gKFhF
TikgICAgICAgWzxmZmZmODJjNDgwMTE2YTE0Pl0gY3NjaGVkX3ZjcHVfc2xlZXArMHg0NC8weDcw
Cj4+IChYRU4pICAgICAgMFs8ZmZmZjgyYzQ4MDEyMDExNz5dIHZjcHVfc2xlZXBfbm9zeW5jKzB4
ZTcvMHgzYjAKPj4gKFhFTikgICAgIDEyWzxmZmZmODJjNDgwMTIwM2U5Pl0gdmNwdV9zbGVlcF9z
eW5jKzB4OS8weDUwCj4+IChYRU4pICAgICAxNFs8ZmZmZjgyYzQ4MDExZmQ0Yz5dIHNjaGVkX2Fk
anVzdCsweGFjLzB4MjMwCj4+IChYRU4pICAgICAyNFs8ZmZmZjgyYzQ4MDEwMmJjMT5dIGRvX2Rv
bWN0bCsweDczMS8weDExMzAKPj4gKFhFTikgICAgIDY0WzxmZmZmODJjNDgwMjAxM2M0Pl0gY29t
cGF0X2h5cGVyY2FsbCsweDc0LzB4ODAKPj4KPj4gVGhlIHJlbGV2YW50IHBhcnQgb2YgY3NjaGVk
X3ZjcHVfc2xlZXAoKSBpcwo+Pgo+PiAgICAgZWxzZSBpZiAoIF9fdmNwdV9vbl9ydW5xKHN2Yykg
KQo+PiAgICAgICAgIF9fcnVucV9yZW1vdmUoc3ZjKTsKPj4KPj4gd2hpY2ggZGlzYXNzZW1ibGVz
IHRvCj4+Cj4+IGZmZmY4MmM0ODAxMTZhMDE6ICAgICAgIDQ5IDhiIDEwICAgICAgICAgICAgICAg
IG1vdiAgICAoJXI4KSwlcmR4Cj4+IGZmZmY4MmM0ODAxMTZhMDQ6ICAgICAgIDRjIDM5IGMyICAg
ICAgICAgICAgICAgIGNtcCAgICAlcjgsJXJkeAo+PiBmZmZmODJjNDgwMTE2YTA3OiAgICAgICA3
NSAwNyAgICAgICAgICAgICAgICAgICBqbmUgICAgZmZmZjgyYzQ4MDExNmExMAo+PiA8Y3NjaGVk
X3ZjcHVfc2xlZXArMHg0MD4KPj4gZmZmZjgyYzQ4MDExNmEwOTogICAgICAgZjMgYzMgICAgICAg
ICAgICAgICAgICAgcmVweiByZXRxCj4+IGZmZmY4MmM0ODAxMTZhMGI6ICAgICAgIDBmIDFmIDQ0
IDAwIDAwICAgICAgICAgIG5vcGwgICAweDAoJXJheCwlcmF4LDEpCj4+IGZmZmY4MmM0ODAxMTZh
MTA6ICAgICAgIDQ5IDhiIDQwIDA4ICAgICAgICAgICAgIG1vdiAgICAweDgoJXI4KSwlcmF4Cj4+
IGZmZmY4MmM0ODAxMTZhMTQ6ICAgICAgIDQ4IDg5IDQyIDA4ICAgICAgICAgICAgIG1vdiAgICAl
cmF4LDB4OCglcmR4KSAjCj4+IDwtIFBhZ2VmYXVsdCBoZXJlCj4+IGZmZmY4MmM0ODAxMTZhMTg6
ICAgICAgIDQ4IDg5IDEwICAgICAgICAgICAgICAgIG1vdiAgICAlcmR4LCglcmF4KQo+PiBmZmZm
ODJjNDgwMTE2YTFiOiAgICAgICA0ZCA4OSA0MCAwOCAgICAgICAgICAgICBtb3YgICAgJXI4LDB4
OCglcjgpCj4+IGZmZmY4MmM0ODAxMTZhMWY6ICAgICAgIDRkIDg5IDAwICAgICAgICAgICAgICAg
IG1vdiAgICAlcjgsKCVyOCkKPj4KPj4gVGhlIHJlbGV2YW50IGNyYXNoIHJlZ2lzdGVycyBmcm9t
IHRoZSBwYWdlZmF1bHQgYXJlOgo+PiByYXg6IDAwMDAwMDAwMDAwMDAwMDAKPj4gcmR4OiAwMDAw
MDAwMDAwMDAwMDAwCj4+ICByODogZmZmZjgzMDgwYzg5ZWQ5MAo+Pgo+PiBJZiBJIGFtIHJlYWRp
bmcgdGhlIGNvZGUgY29ycmVjdGx5LCB0aGlzIG1lYW5zIHRoYXQgcnVucS0+bmV4dCBpcyBOVUxM
LAo+PiBzbyB3ZSBmYWlsIGxpc3RfZW1wdHkoKSBhbmQgZXJyb25lb3VzbHkgcGFzcyBfX3ZjcHVf
b25fcnVucSgpLiAgV2UgdGhlbgo+PiBmYWlsIHdpdGggYSBmYXVsdCB3aGVuIHRyeWluZyB0byB1
cGRhdGUgcnVucS0+cHJldiwgd2hpY2ggaXMgYWxzbyBOVUxMLgo+Pgo+PiBUaGUgb25seSBwbGFj
ZSBJIGNhbiBzcG90IGluIHRoZSBjb2RlIHdoZXJlIHRoZSBydW5xLT57bmV4dCxwcmV2fSBjb3Vs
ZAo+PiBjb25jZWl2YWJseSBiZSBOVUxMIGlzIGluIGNzY2hlZF9hbGxvY192ZGF0YSgpIGJldHdl
ZW4gdGhlIG1lbXNldCgpIGFuZAo+PiBJTklUX0xJU1RfSEVBRCgpLiAgVGhpcyBpcyBsb2dpY2Fs
bHkgc2Vuc2libGUgaW4gY29tYmluYXRpb24gd2l0aCB0aGUKPj4gbG9jYWxob3N0IG1pZ3JhdGUg
bG9vcCwgYW5kIEkgY2FudCBpbW1lZGlhdGVseSBzZWUgYW55dGhpbmcgdG8gcHJldmVudAo+PiB0
aGlzIHJhY2UgaGFwcGVuaW5nLgo+IEJ1dCB0aGF0IGRvZXNuJ3QgbWFrZSBzZW5zZTogY3NjaGVk
X2FsbG9jX3ZkYXRhKCkgZG9lc24ndCBzdG9yZQo+IHN2YyBpbnRvIHZjLT5zY2hlZF9wcml2OyB0
aGF0J3MgYmVpbmcgZG9uZSBieSB0aGUgZ2VuZXJpYwo+IHNjaGVkdWxlciBjb2RlIG9uY2UgdGhl
IGFjdG9yIHJldHVybnMuCgpEJ29oIHllcyAtIEkgb3Zlcmxvb2tlZCB0aGF0LgoKPgo+IFNvIEkn
ZCByYXRoZXIgc3VzcGVjdCBhIHN0YWxlIHBvaW50ZXIgYmVpbmcgdXNlZCwgd2hpY2ggaXMgZWFz
aWx5Cj4gcG9zc2libGUgd2hlbiByYWNpbmcgd2l0aCBzY2hlZF9tb3ZlX2RvbWFpbigpIChhcyBv
cHBvc2VkIHRvCj4gc2NoZWR1bGVfY3B1X3N3aXRjaCgpLCB3aGVyZSB0aGUgbmV3IHBvaW50ZXIg
Z2V0cyBzdG9yZWQKPiBfYmVmb3JlXyBkZS1hbGxvY2F0aW5nIHRoZSBvbGQgb25lKS4KCj4KPiBI
b3dldmVyLCBzY2hlZF9tb3ZlX2RvbWFpbigpIChhcyB3ZWxsIGFzIHNjaGVkdWxlX2NwdV9zd2l0
Y2goKSkKPiBnZXQgY2FsbGVkIG9ubHkgZnJvbSBDUFUgcG9vbHMgY29kZSwgYW5kIEkgd291bGQg
Z3Vlc3MgQ1BVIHBvb2xzCj4gYXJlbid0IGludm9sdmVkIGhlcmUsIGFuZCB5b3UgZG9uJ3QgaW4g
cGFyYWxsZWwgc29mdCBvZmZsaW5lL29ubGluZQo+IHBDUFUtcyAoYXMgSSdtIHN1cmUgeW91IG90
aGVyd2lzZSB3b3VsZCBoYXZlIG1lbnRpb25lZCBpdCkuCj4KPiBCdXQgd2FpdCAtIGxpYnhsX19k
b21haW5fbWFrZSgpIF91bmNvbmRpdGlvbmFsbHlfIGNhbGxzCj4geGNfY3B1cG9vbF9tb3ZlZG9t
YWluKCksIGFzIGRvZXMgWGVuZERvbWFpbkluZm8ncwo+IF9jb25zdHJ1Y3REb21haW4oKS4gVGhl
IHJlYXNvbiBmb3IgdGhpcyBlc2NhcGVzIG1lIC0gSsO8cmdlbj8gWWV0Cj4gSSdkIGV4cGVjdCB0
aGUgcG9vbCBJRCBtYXRjaGluZyBjaGVjayB0byBzaG9ydCBjdXQgdGhlIHJlc3VsdGluZwo+IHN5
c2N0bCwgaS5lLiBzY2hlZF9tb3ZlX2RvbWFpbigpIG91Z2h0IHRvIG5vdCBiZSByZWFjaGVkIGFu
eXdheQo+ICh3b3J0aCB2ZXJpZnlpbmcgb2YgY291cnNlKS4KPgo+IFRoZSByYWNlIHRoZXJlIG5l
dmVydGhlbGVzcyBvdWdodCB0byBiZSBmaXhlZC4KPgo+IEphbgoKT3VyIHRvb2xzdGFjayBob29r
cyBkaXJlY3RseSBpbnRvIGxpYnhjIGFuZCBpcyBjb21wbGV0ZWx5IGlnbm9yYW50IG9mCmNwdXBv
b2xzLiAgTG9va2luZyBhdCB0aGUgY3Jhc2ggbW9yZSBjbG9zZWx5LCBpdCBtaWdodCBiZSBhIHJh
Y2UgZWxzZXdoZXJlCgpBbm90aGVyIGRvbTAgdmNwdSBpcyBpbiBhbiBIVk1PUF90cmFja19kaXJ0
eV92cmFtIGh5cGVyY2FsbCwgYW5kIHRoZQphc3NvY2lhdGVkIFhlbiBzdGFjayB0cmFjZSBpcwoK
W2ZmZmY4MmM0ODAxNzc3YjJdIHRpbWVfY2FsaWJyYXRpb25fc3RkX3JlbmRlenZvdXMrMHhiMi8w
eGMwCiBmZmZmODJjNDgwMTcyZDEyICBfX3NtcF9jYWxsX2Z1bmN0aW9uX2ludGVycnVwdCsweDYy
LzB4YjAKIGZmZmY4MmM0ODAxNzMzOWUgIHNtcF9jYWxsX2Z1bmN0aW9uX2ludGVycnVwdCsweDRl
LzB4OTAKIGZmZmY4MmM0ODAxNGE2NWEgIGNhbGxfZnVuY3Rpb25faW50ZXJydXB0KzB4MmEvMHgz
MAogZmZmZjgyYzQ4MDEyMjNiMiAgX3NwaW5fbG9jaysweDEyLzB4MjAKIGZmZmY4MmM0ODAxNzM0
YWIgIGZsdXNoX2FyZWFfbWFzaysweGNiLzB4MWMwCiBmZmZmODJjNDgwMWM4NjJhICBwYWdpbmdf
bG9nX2RpcnR5X3JhbmdlKzB4M2EvMHg3ODAKIGZmZmY4MmM0ODAxMjFlYTggIGNwdW1hc2tfcmFp
c2Vfc29mdGlycSsweDc4LzB4ODAKIGZmZmY4MmM0ODAxMTdlZDMgIGNzY2hlZF92Y3B1X3dha2Ur
MHgxOTMvMHg0MjAKIGZmZmY4MmM0ODAxNGE1ZmEgIGV2ZW50X2NoZWNrX2ludGVycnVwdCsweDJh
LzB4MzAKIGZmZmY4MmM0ODAxZjIxYzcgIGhhcF90cmFja19kaXJ0eV92cmFtKzB4MTM3LzB4MWMw
CiBmZmZmODJjNDgwMWFkM2ZkICBkb19odm1fb3ArMHgxNmRkLzB4MWY1MAogZmZmZjgyYzQ4MDEw
NjI1MSAgZXZ0Y2huX3NlbmQrMHhhMS8weDE2MAogZmZmZjgyYzQ4MDEwNmQzNiAgZG9fZXZlbnRf
Y2hhbm5lbF9vcCsweDg3Ni8weGZkMAogZmZmZjgyYzQ4MDFmOTAyNyAgY29tcGF0X3VwZGF0ZV9k
ZXNjcmlwdG9yKzB4MjcvMHgzMAogZmZmZjgyYzQ4MDEzNTRmOCAgY29tcGF0X211bHRpY2FsbCsw
eDE5OC8weDM4MAogZmZmZjgyYzQ4MDE0YTVmYSAgZXZlbnRfY2hlY2tfaW50ZXJydXB0KzB4MmEv
MHgzMAogZmZmZjgyYzQ4MDIwMTNjNCAgY29tcGF0X2h5cGVyY2FsbCsweDc0LzB4ODAKCnRoZSBo
YXBfdHJhY2tfZGlydHlfdnJhbSgpIGFuZCBwYWdpbmdfbG9nX2RpcnR5X3JhbmdlKCkgYXJlIHBh
cnQgb2YgdGhlCnNhbWUgbG9naWNhbCBjYWxsIHRyYWNlLCBidXQgaXQgYXBwZWFycyB0aGF0IHdl
IGhhdmUgdGFrZW4gYW4KZXZlbnRfY2hlY2tfaW50ZXJydXB0KCkgaW4gdGhlIG1pZGRsZSBhbmQg
Y2FsbGVkIHNjaGVkdWxlKCkgb2ZmIHRoZQpib3R0b20gb2YgaXQsIGNhbGxpbmcgY3NjaGVkX3Zj
cHVfd2FrZSgpLgoKSSBhbSBjdXJyZW50bHkgdHJ5aW5nIHRvIHJlYXNvbiBhcyB0byB3aGV0aGVy
IGl0IGlzIHBvc3NpYmxlIGZvciBhIHJhY2UKYmV0d2VlbiBjc2NoZWRfdmNwdV97c2xlZXAsd2Fr
ZX0oKSBjb3VsZCByZXN1bHQgaW4gdGhlIHNlZW4gY3Jhc2gsIGJ1dAppdCBjZXJ0YWlubHkgbG9v
a3MgbGlrZSBhIHNtb2tpbmcgZ3VuLgoKfkFuZHJldwoKX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX18KWGVuLWRldmVsIG1haWxpbmcgbGlzdApYZW4tZGV2ZWxA
bGlzdHMueGVuLm9yZwpodHRwOi8vbGlzdHMueGVuLm9yZy94ZW4tZGV2ZWwK