Timing analysis of the PREEMPT RT Linux kernel

@article{Oliveira2016TimingAO,
  title={Timing analysis of the PREEMPT RT Linux kernel},
  author={Daniel Bristot de Oliveira and R{\^o}mulo Silva de Oliveira},
  journal={Softw., Pract. Exper.},
  year={2016},
  volume={46},
  pages={789-819}
}
In the theory of real-time scheduling, tasks are described by mathematical variables, which are used in analytical models in order to prove schedulability of the system. On real-time Linux, tasks are computer programs, and Linux developers try to lower the latencies caused by the Linux kernel, trying to achieve faster response for the highest-priority task. Although both seek temporal correctness, they use different abstractions, which end up separating these efforts in two different worlds… CONTINUE READING

From This Paper

Topics from this paper.
5 Citations
27 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 27 references

The x86 NMI iret problem

  • Rostedt Steven
  • Linux Weekly News, March 2012. Available at: http…
  • 2014
Highly Influential
20 Excerpts

Linux Kernel Development (3rd edn)

  • R. Love
  • Addison-Wesley: Crawfordsville, Indiana,
  • 2010
Highly Influential
7 Excerpts

What is RCU? Part 2: Usage

  • P. McKenney
  • Linux Weekly News December
  • 2007
Highly Influential
12 Excerpts

project: realtime Linux

  • OSADL. OSAD
  • Available at: https://www.osadl.org/Realtime…
  • 2016
1 Excerpt

The RCU API, 2014 Edition Linux Weekly News September 2014

  • P. McKenney
  • [last accessed
  • 2015
1 Excerpt

Debugging the kernel using Ftrace—part 1

  • Rostedt Steven
  • Linux Weekly News, December 2009. Available at…
  • 2014
2 Excerpts

Similar Papers

Loading similar papers…