Re: RCU stall when using function_graph

[Daniel Lezcano]

On 09/08/2017 16:40, Paul E. McKenney wrote:
> On Wed, Aug 09, 2017 at 03:28:05PM +0200, Daniel Lezcano wrote:
>> On 09/08/2017 14:58, Paul E. McKenney wrote:
>>> On Wed, Aug 09, 2017 at 02:43:49PM +0530, Pratyush Anand wrote:
>>>>
>>>>
>>>> On Sunday 06 August 2017 10:32 PM, Paul E. McKenney wrote:
>>>>> On Sat, Aug 05, 2017 at 02:24:21PM +0900, êëí wrote:
>>>>>> Dear All
>>>>>>
>>>>>> As for me, after configuring function_graph as below, crash disappears.
>>>>>> "echo 0 > d/tracing/tracing_on"
>>>>>> "sleep 1"
>>>>>>
>>>>>> "echo function_graph > d/tracing/current_tracer"
>>>>>> "sleep 1"
>>>>>>
>>>>>> "echo smp_call_function_single > d/tracing/set_ftrace_filter"
>>>>
>>>> It will limit trace output to only for the filtered function
>>>> (smp_call_function_single).
>>>>
>>>>>> adb shell "sleep 1"
>>>>>>
>>>>>> "echo 1 > d/tracing/tracing_on"
>>>>>> adb shell "sleep 1"
>>>>>>
>>>>>> Right after function_graph is enabled, too many logs are traced upon IRQ
>>>>>> transaction which many times eventually causes stall.
>>>>>
>>>>> That would do it!
>>>>>
>>>>> Hmmm...
>>>>>
>>>>> Steven, would it be helpful if RCU were to inform tracing (say) halfway
>>>>> through the RCU CPU stall interval, allowing the tracer to do something
>>>>> like cond_resched_rcu_qs()?  I can imagine all sorts of reasons why this
>>>>> wouldn't work, for example, if all the tracing was with irqs disabled
>>>>> or some such, but figured I should ask.
>>>>>
>>>>> Does Guillermo's approach work for others?
>>>>
>>>> Limited output with a couple of filtered function will definitely
>>>> not cause RCU schedule stall. But the question is whether we should
>>>> expect a full function graph trace working on every platform or not
>>>> (specially the one which generates high interrupts)?
>>>
>>> It might well be that the user must disable RCU CPU stall warnings via
>>> the rcu_cpu_stall_suppress sysfs entry (or increase their timeout via th
>>> rcu_cpu_stall_timeout sysfs entry) before doing something that greatly
>>> increases overhead.  Like enabling large quantities of tracing.  ;-)
>>>
>>> It -might- be possible to do this automatically, but reliable
>>> automation would require that tracing understand how often each
>>> function was called, which sounds to me to be a bit of a stretch.
>>>
>>> Thoughts?
>>
>> A random thought:
>>
>> Is it possible to have a mid-timeout happening and store some
>> information like the instruction pointer, so when the timeout happen we
>> can compare if there was some progress, if yes, very likely, system
>> performance collapsed and we are not fast enough.
> 
> RCU already does take various actions for an impending stall, so something
> could be done.  But in most slowdowns, the instruction pointer will be
> changing rapidly, just not as rapidly as it would normally.  So exactly
> how would the forward-progress comparison be carried out?
> 
> It would be easy to set up a notifier, so that if any notifier in the
> chain returned an error, stall warnings would be suppressed.  It would
> be harder to figure out when to re-enable them, though I suppose that
> they could be suppressed only for the duration of the current grace
> period or some such.
> 
> But what exactly would you use such a notifier for?
> 
> Or am I misunderstanding your suggestion?

Well, may be the instruction pointer thing is not a good idea.

I learnt from this experience, an overloaded kernel with a lot of
interrupts can hang the console and issue RCU stall.

However, someone else can face the same situation. Even if he reads the
RCU/stallwarn.txt documentation, it will be hard to figure out the issue.

A message telling the grace period can't be reached because we are too
busy processing interrupts would have helped but I understand it is not
easy to implement.

Perhaps, adding a new bullet in the documentation can help:

"If the interrupt processing time is longer than the interval between
each interrupt, the CPU will keep processing the interrupts without
allowing the RCU's grace period kthread. This situation can happen if
there is a highly rated number of interrupts and the function_graph
tracer is enabled".




-- 
 <http://www.linaro.org/> Linaro.org â Open source software for ARM SoCs

Follow Linaro:  <http://www.facebook.com/pages/Linaro> Facebook |
<http://twitter.com/#!/linaroorg> Twitter |
<http://www.linaro.org/linaro-blog/> Blog