ACM SIGOPS Operating Systems Review · 2008 · 42 citations · 6 references
External EventsEngineeringReal-time System DesignComputer ArchitectureSoftware EngineeringReal-time LinuxSoftware AnalysisFormal VerificationReal-time SystemSystems EngineeringReal-time ApplicationReal-time Operating SystemComputer EngineeringDeterministic GuaranteesComputer ScienceReal-time ComputingOperating SystemsProgram AnalysisFormal MethodsReal-time SystemsReal-time OperationSystem Software
Several real-time Linux extensions are available nowadays. Two of those extensions that have received special attention recently are Preempt-RT and Xenomai. This paper evaluates to what extent they provide deterministic guarantees when reacting to external events, an essential characteristic when it comes to real-time systems. For this, we define two simple experimental approaches. Our results indicate that Preempt-RT is more prone to temporal variations than Xenomai when the system is subject to overload scenarios.
6
lmbench: portable tools for performance analysis
Larry McVoy, Carl Staelin · 1996 · 834 citations
A measurement-based analysis of the real-time performance of linux
Luca Abeni, Ashvin Goel, Charles Krasic et al. · 2003 · 95 citations