aboutsummaryrefslogtreecommitdiffstats
path: root/arch
diff options
context:
space:
mode:
authorAnton Blanchard <anton@samba.org>2004-08-08 23:56:59 -0700
committerLinus Torvalds <torvalds@ppc970.osdl.org>2004-08-08 23:56:59 -0700
commit4b3aac8de06284ab58072b364290784185e277fe (patch)
tree2ab149012e5b4e8ac80bd3615fb24dee5760c57e /arch
parent4a6d387e1576d261dc55ddf78f8a5d44b22a7965 (diff)
downloadhistory-4b3aac8de06284ab58072b364290784185e277fe.tar.gz
[PATCH] [ppc64] Fix SLB castout issue
The SLB rewrite removed a fix for a hard to hit bug, but the SFS guys managed to hit it straight away. We need to check both r1 and PACAKSAVE or else we could cast our kernel segment out when on the irq or softirq stack. Signed-off-by: Linus Torvalds <torvalds@osdl.org>
Diffstat (limited to 'arch')
-rw-r--r--arch/ppc64/mm/slb_low.S33
1 files changed, 22 insertions, 11 deletions
diff --git a/arch/ppc64/mm/slb_low.S b/arch/ppc64/mm/slb_low.S
index 367cb7dec8580b..4b3dfe091c1ff3 100644
--- a/arch/ppc64/mm/slb_low.S
+++ b/arch/ppc64/mm/slb_low.S
@@ -37,9 +37,6 @@ _GLOBAL(slb_allocate)
* a free slot first but that took too long. Unfortunately we
* dont have any LRU information to help us choose a slot.
*/
- srdi r9,r1,27
- ori r9,r9,1 /* mangle SP for later compare */
-
ld r10,PACASTABRR(r13)
3:
addi r10,r10,1
@@ -48,18 +45,32 @@ _GLOBAL(slb_allocate)
blt+ 4f
li r10,SLB_NUM_BOLTED
-4:
- slbmfee r11,r10
- /* Don't throw out the segment for our kernel stack. Since we
+
+ /*
+ * Never cast out the segment for our kernel stack. Since we
* dont invalidate the ERAT we could have a valid translation
- * for the kernel stack during the first part of exception
- * exit which gets invalidated due to a tlbie from another cpu
- * at a non recoverable point (after setting srr0/1) - Anton
- *
+ * for the kernel stack during the first part of exception exit
+ * which gets invalidated due to a tlbie from another cpu at a
+ * non recoverable point (after setting srr0/1) - Anton
+ */
+4: slbmfee r11,r10
+ srdi r11,r11,27
+ /*
+ * Use paca->ksave as the value of the kernel stack pointer,
+ * because this is valid at all times.
* The >> 27 (rather than >> 28) is so that the LSB is the
* valid bit - this way we check valid and ESID in one compare.
+ * In order to completely close the tiny race in the context
+ * switch (between updating r1 and updating paca->ksave),
+ * we check against both r1 and paca->ksave.
*/
- srdi r11,r11,27
+ srdi r9,r1,27
+ ori r9,r9,1 /* mangle SP for later compare */
+ cmpd r11,r9
+ beq- 3b
+ ld r9,PACAKSAVE(r13)
+ srdi r9,r9,27
+ ori r9,r9,1
cmpd r11,r9
beq- 3b