Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Runtime Verification Monitors for Real-Time Systems

Linux Plumbers Conference via YouTube

Overview

Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore runtime verification monitors for real-time systems in this 19-minute conference talk from the Linux Plumbers Conference. Learn how PREEMPT_RT's mainline integration enables real-time guarantees in the Linux kernel, while discovering the critical importance of proper userspace application design for achieving true real-time behavior. Understand common latency-inducing mistakes such as failing to call mlockall() and using mutexes without priority inheritance that lead to priority inversion. Examine current runtime verification monitors that detect problematic patterns including real-time task page faults, priority violations, and unsafe API usage. Participate in discussions about potential enhancements to RV monitors, including warnings for blocking operations on various file descriptors, epoll/poll/ioctl calls, non-priority-inheritance futexes, and other userspace patterns. Contribute to establishing comprehensive guidelines for RT-safe interfaces, subsystems, and drivers to improve real-time application development practices.

Syllabus

Runtime verification monitors for real-time - Nam Cao (Linutronix)

Taught by

Linux Plumbers Conference

Reviews

Start your review of Runtime Verification Monitors for Real-Time Systems

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.