Message ID | 20170320060152.1016-8-npiggin@gmail.com (mailing list archive) |
---|---|
State | Superseded |
Headers | show |
Hi Nick, On Mon, Mar 20, 2017 at 04:01:52PM +1000, Nicholas Piggin wrote: > If not all threads were in winkle, full state loss recovery is not > necessary and can be avoided. A previous patch removed this optimisation > due to some complexity with the implementation. Re-implement it by > counting the number of threads in winkle with the per-core idle state. > Only restore full state loss if all threads were in winkle. > > This has a small window of false positives right before threads execute > winkle and just after they wake up, when the winkle count does not > reflect the true number of threads in winkle. This is not a significant > problem in comparison with even the minimum winkle duration. For > correctness, a false positive is not a problem (only false negatives > would be). The patch looks good. Just a minor comment. > BEGIN_FTR_SECTION > + /* > + * Were we in winkle? > + * If yes, check if all threads were in winkle, decrement our > + * winkle count, set all thread winkle bits if all were in winkle. > + * Check if our thread has a winkle bit set, and set cr4 accordingly > + * (to match ISA300, above). Pseudo-code for core idle state > + * transitions for ISA207 is as follows (everything happens atomically > + * due to store conditional and/or lock bit): > + * > + * nap_idle() { } > + * nap_wake() { } > + * > + * sleep_idle() > + * { > + * core_idle_state &= ~thread_in_core > + * } > + * > + * sleep_wake() > + * { > + * bool first_in_core, first_in_subcore; > + * > + * first_in_core = (core_idle_state & IDLE_THREAD_BITS) == 0; > + * first_in_subcore = (core_idle_state & SUBCORE_SIBLING_MASK) == 0; > + * > + * core_idle_state |= thread_in_core; > + * } > + * > + * winkle_idle() > + * { > + * core_idle_state &= ~thread_in_core; > + * core_idle_state += 1 << WINKLE_COUNT_SHIFT; > + * } > + * > + * winkle_wake() > + * { > + * bool first_in_core, first_in_subcore, winkle_state_lost; > + * > + * first_in_core = (core_idle_state & IDLE_THREAD_BITS) == 0; > + * first_in_subcore = (core_idle_state & SUBCORE_SIBLING_MASK) == 0; > + * > + * core_idle_state |= thread_in_core; > + * > + * if ((core_idle_state & WINKLE_MASK) == (8 << WINKLE_COUNT_SIHFT)) > + * core_idle_state |= THREAD_WINKLE_BITS; We also do the following decrement. I forgot this in the pseudo-code in my earlier reply. core_idle_state -= 1 << WINKLE_COUNT_SHIFT; > + * winkle_state_lost = core_idle_state & > + * (thread_in_core << WINKLE_THREAD_SHIFT); > + * core_idle_state &= ~(thread_in_core << WINKLE_THREAD_SHIFT); > + * } > + * > + */ > + cmpwi r18,PNV_THREAD_WINKLE > + bne 2f > + andis. r9,r15,PNV_CORE_IDLE_WINKLE_COUNT_ALL_BIT@h > + subis r15,r15,PNV_CORE_IDLE_WINKLE_COUNT@h > + beq 2f > + ori r15,r15,PNV_CORE_IDLE_THREAD_WINKLE_BITS /* all were winkle */ > +2: > + /* Shift thread bit to winkle mask, then test if this thread is set, > + * and remove it from the winkle bits */ > + slwi r8,r7,8 > + and r8,r8,r15 > + andc r15,r15,r8 > + cmpwi cr4,r8,1 /* cr4 will be gt if our bit is set, lt if not */ > + Looks good other wise. Reviewed-by: Gautham R. Shenoy <ego@linux.vnet.ibm.com> > lbz r4,PACA_SUBCORE_SIBLING_MASK(r13) > and r4,r4,r15 > cmpwi r4,0 /* Check if first in subcore */ > -- > 2.11.0 >
On Mon, 20 Mar 2017 15:41:39 +0530 Gautham R Shenoy <ego@linux.vnet.ibm.com> wrote: > Hi Nick, > > On Mon, Mar 20, 2017 at 04:01:52PM +1000, Nicholas Piggin wrote: > > If not all threads were in winkle, full state loss recovery is not > > necessary and can be avoided. A previous patch removed this optimisation > > due to some complexity with the implementation. Re-implement it by > > counting the number of threads in winkle with the per-core idle state. > > Only restore full state loss if all threads were in winkle. > > > > This has a small window of false positives right before threads execute > > winkle and just after they wake up, when the winkle count does not > > reflect the true number of threads in winkle. This is not a significant > > problem in comparison with even the minimum winkle duration. For > > correctness, a false positive is not a problem (only false negatives > > would be). > > The patch looks good. Just a minor comment. > > > > BEGIN_FTR_SECTION > > + /* > > + * Were we in winkle? > > + * If yes, check if all threads were in winkle, decrement our > > + * winkle count, set all thread winkle bits if all were in winkle. > > + * Check if our thread has a winkle bit set, and set cr4 accordingly > > + * (to match ISA300, above). Pseudo-code for core idle state > > + * transitions for ISA207 is as follows (everything happens atomically > > + * due to store conditional and/or lock bit): > > + * > > + * nap_idle() { } > > + * nap_wake() { } > > + * > > + * sleep_idle() > > + * { > > + * core_idle_state &= ~thread_in_core > > + * } > > + * > > + * sleep_wake() > > + * { > > + * bool first_in_core, first_in_subcore; > > + * > > + * first_in_core = (core_idle_state & IDLE_THREAD_BITS) == 0; > > + * first_in_subcore = (core_idle_state & SUBCORE_SIBLING_MASK) == 0; > > + * > > + * core_idle_state |= thread_in_core; > > + * } > > + * > > + * winkle_idle() > > + * { > > + * core_idle_state &= ~thread_in_core; > > + * core_idle_state += 1 << WINKLE_COUNT_SHIFT; > > + * } > > + * > > + * winkle_wake() > > + * { > > + * bool first_in_core, first_in_subcore, winkle_state_lost; > > + * > > + * first_in_core = (core_idle_state & IDLE_THREAD_BITS) == 0; > > + * first_in_subcore = (core_idle_state & SUBCORE_SIBLING_MASK) == 0; > > + * > > + * core_idle_state |= thread_in_core; > > + * > > + * if ((core_idle_state & WINKLE_MASK) == (8 << WINKLE_COUNT_SIHFT)) > > + * core_idle_state |= THREAD_WINKLE_BITS; > > We also do the following decrement. I forgot this in the pseudo-code in my > earlier reply. > > core_idle_state -= 1 << WINKLE_COUNT_SHIFT; Lucky somebody is paying attention. Yes, this is needed. I won't resend a patch if mpe can make the change. > Looks good other wise. > > Reviewed-by: Gautham R. Shenoy <ego@linux.vnet.ibm.com> Thank you. What do you want to do about your DD1 fix? I think there are some minor clashes between them. I'm happy to rebase on top of yours if you prefer it to go in first. Thanks, Nick
Hi Nick, On Mon, Mar 20, 2017 at 08:26:05PM +1000, Nicholas Piggin wrote: > On Mon, 20 Mar 2017 15:41:39 +0530 > Gautham R Shenoy <ego@linux.vnet.ibm.com> wrote: > > > Hi Nick, > > > > On Mon, Mar 20, 2017 at 04:01:52PM +1000, Nicholas Piggin wrote: > > > If not all threads were in winkle, full state loss recovery is not > > > necessary and can be avoided. A previous patch removed this optimisation > > > due to some complexity with the implementation. Re-implement it by > > > counting the number of threads in winkle with the per-core idle state. > > > Only restore full state loss if all threads were in winkle. > > > > > > This has a small window of false positives right before threads execute > > > winkle and just after they wake up, when the winkle count does not > > > reflect the true number of threads in winkle. This is not a significant > > > problem in comparison with even the minimum winkle duration. For > > > correctness, a false positive is not a problem (only false negatives > > > would be). > > > > The patch looks good. Just a minor comment. > > > > > > > BEGIN_FTR_SECTION > > > + /* > > > + * Were we in winkle? > > > + * If yes, check if all threads were in winkle, decrement our > > > + * winkle count, set all thread winkle bits if all were in winkle. > > > + * Check if our thread has a winkle bit set, and set cr4 accordingly > > > + * (to match ISA300, above). Pseudo-code for core idle state > > > + * transitions for ISA207 is as follows (everything happens atomically > > > + * due to store conditional and/or lock bit): > > > + * > > > + * nap_idle() { } > > > + * nap_wake() { } > > > + * > > > + * sleep_idle() > > > + * { > > > + * core_idle_state &= ~thread_in_core > > > + * } > > > + * > > > + * sleep_wake() > > > + * { > > > + * bool first_in_core, first_in_subcore; > > > + * > > > + * first_in_core = (core_idle_state & IDLE_THREAD_BITS) == 0; > > > + * first_in_subcore = (core_idle_state & SUBCORE_SIBLING_MASK) == 0; > > > + * > > > + * core_idle_state |= thread_in_core; > > > + * } > > > + * > > > + * winkle_idle() > > > + * { > > > + * core_idle_state &= ~thread_in_core; > > > + * core_idle_state += 1 << WINKLE_COUNT_SHIFT; > > > + * } > > > + * > > > + * winkle_wake() > > > + * { > > > + * bool first_in_core, first_in_subcore, winkle_state_lost; > > > + * > > > + * first_in_core = (core_idle_state & IDLE_THREAD_BITS) == 0; > > > + * first_in_subcore = (core_idle_state & SUBCORE_SIBLING_MASK) == 0; > > > + * > > > + * core_idle_state |= thread_in_core; > > > + * > > > + * if ((core_idle_state & WINKLE_MASK) == (8 << WINKLE_COUNT_SIHFT)) > > > + * core_idle_state |= THREAD_WINKLE_BITS; > > > > We also do the following decrement. I forgot this in the pseudo-code in my > > earlier reply. > > > > core_idle_state -= 1 << WINKLE_COUNT_SHIFT; > > Lucky somebody is paying attention. Yes, this is needed. I won't resend > a patch if mpe can make the change. > > > > Looks good other wise. > > > > Reviewed-by: Gautham R. Shenoy <ego@linux.vnet.ibm.com> > > Thank you. > > What do you want to do about your DD1 fix? I think there are some minor > clashes between them. I'm happy to rebase on top of yours if you prefer > it to go in first. I have sent an updated version of the DD1 fix today rebasing on v4.11-rc3. I applied your series on top of that and noticed some minor conflict with patches 1,2,3 and 7. If you are ok with it, I would like the DD1 Hotplug fixes to go in first. > > Thanks, > Nick >
diff --git a/arch/powerpc/include/asm/cpuidle.h b/arch/powerpc/include/asm/cpuidle.h index b9d9f960dffd..b68a5cd75ae8 100644 --- a/arch/powerpc/include/asm/cpuidle.h +++ b/arch/powerpc/include/asm/cpuidle.h @@ -2,13 +2,39 @@ #define _ASM_POWERPC_CPUIDLE_H #ifdef CONFIG_PPC_POWERNV -/* Used in powernv idle state management */ +/* Thread state used in powernv idle state management */ #define PNV_THREAD_RUNNING 0 #define PNV_THREAD_NAP 1 #define PNV_THREAD_SLEEP 2 #define PNV_THREAD_WINKLE 3 -#define PNV_CORE_IDLE_LOCK_BIT 0x10000000 -#define PNV_CORE_IDLE_THREAD_BITS 0x000000FF + +/* + * Core state used in powernv idle for POWER8. + * + * The lock bit synchronizes updates to the state, as well as parts of the + * sleep/wake code (see kernel/idle_book3s.S). + * + * Bottom 8 bits track the idle state of each thread. Bit is cleared before + * the thread executes an idle instruction (nap/sleep/winkle). + * + * Then there is winkle tracking. A core does not lose complete state + * until every thread is in winkle. So the winkle count field counts the + * number of threads in winkle (small window of false positives is okay + * around the sleep/wake, so long as there are no false negatives). + * + * When the winkle count reaches 8 (the COUNT_ALL_BIT becomes set), then + * the THREAD_WINKLE_BITS are set, which indicate which threads have not + * yet woken from the winkle state. + */ +#define PNV_CORE_IDLE_LOCK_BIT 0x10000000 + +#define PNV_CORE_IDLE_WINKLE_COUNT 0x00010000 +#define PNV_CORE_IDLE_WINKLE_COUNT_ALL_BIT 0x00080000 +#define PNV_CORE_IDLE_WINKLE_COUNT_BITS 0x000F0000 +#define PNV_CORE_IDLE_THREAD_WINKLE_BITS_SHIFT 8 +#define PNV_CORE_IDLE_THREAD_WINKLE_BITS 0x0000FF00 + +#define PNV_CORE_IDLE_THREAD_BITS 0x000000FF /* * ============================ NOTE ================================= diff --git a/arch/powerpc/kernel/idle_book3s.S b/arch/powerpc/kernel/idle_book3s.S index b085510d697f..53fb71df3393 100644 --- a/arch/powerpc/kernel/idle_book3s.S +++ b/arch/powerpc/kernel/idle_book3s.S @@ -210,15 +210,20 @@ pnv_enter_arch207_idle_mode: /* Sleep or winkle */ lbz r7,PACA_THREAD_MASK(r13) ld r14,PACA_CORE_IDLE_STATE_PTR(r13) + li r5,0 + beq cr3,3f + lis r5,PNV_CORE_IDLE_WINKLE_COUNT@h +3: lwarx_loop1: lwarx r15,0,r14 andis. r9,r15,PNV_CORE_IDLE_LOCK_BIT@h bnel- core_idle_lock_held + add r15,r15,r5 /* Add if winkle */ andc r15,r15,r7 /* Clear thread bit */ - andi. r15,r15,PNV_CORE_IDLE_THREAD_BITS + andi. r9,r15,PNV_CORE_IDLE_THREAD_BITS /* * If cr0 = 0, then current thread is the last thread of the core entering @@ -440,14 +445,13 @@ pnv_restore_hyp_resource_arch300: pnv_restore_hyp_resource_arch207: /* * POWER ISA 2.07 or less. - * Check if we slept with winkle. + * Check if we slept with sleep or winkle. */ ld r2,PACATOC(r13); - lbz r0,PACA_THREAD_IDLE_STATE(r13) - cmpwi cr2,r0,PNV_THREAD_NAP - cmpwi cr4,r0,PNV_THREAD_WINKLE - bgt cr2,pnv_wakeup_tb_loss /* Either sleep or Winkle */ + lbz r4,PACA_THREAD_IDLE_STATE(r13) + cmpwi cr2,r4,PNV_THREAD_NAP + bgt cr2,pnv_wakeup_tb_loss /* Either sleep or Winkle */ /* * We fall through here if PACA_THREAD_IDLE_STATE shows we are waking @@ -466,7 +470,12 @@ pnv_restore_hyp_resource_arch207: * * r13 - PACA * cr3 - gt if waking up with partial/complete hypervisor state loss + * + * If ISA300: * cr4 - gt or eq if waking up from complete hypervisor state loss. + * + * If ISA207: + * r4 - PACA_THREAD_IDLE_STATE */ pnv_wakeup_tb_loss: ld r1,PACAR1(r13) @@ -494,6 +503,7 @@ pnv_wakeup_tb_loss: * required to return back to caller after hypervisor state restore is * complete. */ + mr r18,r4 mflr r17 mfspr r16,SPRN_SRR1 BEGIN_FTR_SECTION @@ -529,10 +539,75 @@ END_FTR_SECTION_IFSET(CPU_FTR_HVMODE) * At this stage * cr2 - eq if first thread to wakeup in core * cr3- gt if waking up with partial/complete hypervisor state loss + * ISA300: * cr4 - gt or eq if waking up from complete hypervisor state loss. */ BEGIN_FTR_SECTION + /* + * Were we in winkle? + * If yes, check if all threads were in winkle, decrement our + * winkle count, set all thread winkle bits if all were in winkle. + * Check if our thread has a winkle bit set, and set cr4 accordingly + * (to match ISA300, above). Pseudo-code for core idle state + * transitions for ISA207 is as follows (everything happens atomically + * due to store conditional and/or lock bit): + * + * nap_idle() { } + * nap_wake() { } + * + * sleep_idle() + * { + * core_idle_state &= ~thread_in_core + * } + * + * sleep_wake() + * { + * bool first_in_core, first_in_subcore; + * + * first_in_core = (core_idle_state & IDLE_THREAD_BITS) == 0; + * first_in_subcore = (core_idle_state & SUBCORE_SIBLING_MASK) == 0; + * + * core_idle_state |= thread_in_core; + * } + * + * winkle_idle() + * { + * core_idle_state &= ~thread_in_core; + * core_idle_state += 1 << WINKLE_COUNT_SHIFT; + * } + * + * winkle_wake() + * { + * bool first_in_core, first_in_subcore, winkle_state_lost; + * + * first_in_core = (core_idle_state & IDLE_THREAD_BITS) == 0; + * first_in_subcore = (core_idle_state & SUBCORE_SIBLING_MASK) == 0; + * + * core_idle_state |= thread_in_core; + * + * if ((core_idle_state & WINKLE_MASK) == (8 << WINKLE_COUNT_SIHFT)) + * core_idle_state |= THREAD_WINKLE_BITS; + * winkle_state_lost = core_idle_state & + * (thread_in_core << WINKLE_THREAD_SHIFT); + * core_idle_state &= ~(thread_in_core << WINKLE_THREAD_SHIFT); + * } + * + */ + cmpwi r18,PNV_THREAD_WINKLE + bne 2f + andis. r9,r15,PNV_CORE_IDLE_WINKLE_COUNT_ALL_BIT@h + subis r15,r15,PNV_CORE_IDLE_WINKLE_COUNT@h + beq 2f + ori r15,r15,PNV_CORE_IDLE_THREAD_WINKLE_BITS /* all were winkle */ +2: + /* Shift thread bit to winkle mask, then test if this thread is set, + * and remove it from the winkle bits */ + slwi r8,r7,8 + and r8,r8,r15 + andc r15,r15,r8 + cmpwi cr4,r8,1 /* cr4 will be gt if our bit is set, lt if not */ + lbz r4,PACA_SUBCORE_SIBLING_MASK(r13) and r4,r4,r15 cmpwi r4,0 /* Check if first in subcore */