__schedule() being called twice, the second in vain

Here is one example of the trace of the problem I reported in this e-mail to the LKML Note Patch accepted! This patch is the first change that was proposed by the analysis of the task model I am developing in my Ph.D. Thesis. Trace setup The trace setup I am using is the following: # cd /sys/kernel/debug/tracing/ # echo preempt_schedule_irq schedule schedule_preempt_disabled schedule_idle schedule_user >> set_graph_function ; done # echo function_graph > current_tracer # echo sched:sched_switch sched:sched_wakeup > set_event # echo irq_vectors >> set_event # echo $(( 1408 * 100 )) > buffer_size_kb # echo > trace In addition,…

Read More

Automata-Based Modeling of Interrupts in the Linux PREEMPT RT Kernel

This is the first paper of my main thesis topic, which is modeling the behavior of real-time tasks on Linux. The reference for the paper is: D. B. de Oliveira, R. S. de Oliveira, T. Cucinotta and L. Abeni, “Automata-based modeling of interrupts in the Linux PREEMPT RT kernel,” 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Limassol, 2017, pp. 1-8. and you can find the paper at IEEExpore, or here.

Read More

By continuing to use the site, you agree to the use of cookies. more information

The cookie settings on this website are set to "allow cookies" to give you the best browsing experience possible. If you continue to use this website without changing your cookie settings or you click "Accept" below then you are consenting to this. This site uses Google Analytics.