Modeling the Behavior of Threads in the PREEMPT_RT Linux Kernel Using Automata

From the communication: “On behalf of the Program Committee for EWiLi 2018, I am pleased to inform you that the following submission has been accepted for publication in the workshop: Modeling the Behavior of Threads in the PREEMPT_RT Linux Kernel Using Automata” The best thing is that all the revisor’s comments are constructive. All three revisors gave an “accepted” on the paper (a paper can be: accepted, weakly accepted, borderline, weakly rejected, rejected)!

Read More

Setting real-time priorities to services using systemd

Systemd supports the setup of real-time priority to services launched during the boot process. This is done using the following Directives in the Service section: CPUSchedulingPolicy= Sets the CPU scheduling policy for executed processes. Takes one of other, batch, idle, fifo or rr. CPUSchedulingPriority= Sets the CPU scheduling priority for executed processes. The available priority range depends on the selected CPU scheduling policy. For real-time scheduling policies, an integer between 1 (lowest priority) and 99 (highest priority) can be used. Example This is the mcelog service unity: [Unit] Description=Machine Check Exception Logging Daemon [Service] ExecStart=/usr/sbin/mcelog –ignorenodev –daemon –foreground [Install] WantedBy=multi-user.target…

Read More

__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.

Close