Operating Systems Courses and Certifications

USENIX

Fast Trapless Kernel Probes Everywhere - USENIX ATC '24

Efficient trapless kernel probing mechanism for Linux, improving performance 10x over standard Kprobe while covering 96% of kernel code. Enhances debugging, security, and monitoring capabilities.

• YouTube
• 13 minutes
• On-Demand
• Free Video

USENIX

Scalable and Effective Page-table and TLB Management on NUMA Systems

Innovative approach to page-table management in NUMA systems, enhancing performance through on-demand replication and reduced TLB shootdowns, benefiting highly threaded applications.

• YouTube
• 17 minutes
• On-Demand
• Free Video

USENIX

Nomad: Non-Exclusive Memory Tiering via Transactional Page Migration

Innovative memory management strategy for tiered systems, improving performance under pressure through non-exclusive page retention and transactional migration.

• YouTube
• 15 minutes
• On-Demand
• Free Video

USENIX

Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel

Explore HongMeng, a general-purpose microkernel addressing performance and compatibility challenges while maintaining security and reliability for smartphones and smart vehicles.

• YouTube
• 16 minutes
• On-Demand
• Free Video

USENIX

Using Dynamically Layered Definite Releases for Verifying the RefFS File System

Explore RefFS, a groundbreaking concurrent file system with proven liveness and safety. Learn about dynamically layered definite releases and the MoLi framework for verifying concurrent systems.

• YouTube
• 15 minutes
• On-Demand
• Free Video

DevConf

Customizing OS Images Using Container Technology

Explore customizing OS images using container technology, enabling modifications without creating a new distribution. Learn about Fedora variants and innovative projects leveraging this approach.

• YouTube
• 32 minutes
• On-Demand
• Free Video

media.ccc.de

Sculpt OS - A Novel Operating System for Truly Trustworthy Computing

Explore Sculpt OS, a showcase of the Genode Operating System Framework. Learn about microkernels, Genode features, and the SDK through a live system demonstration.

• YouTube
• 46 minutes
• On-Demand
• Free Video

Hussein Nasser

Comparing Kernel System Calls Across Runtimes - Performance Analysis

Explore system call usage across runtimes using strace. Compare file reading performance in Node.js, Bun, Python, and C. Analyze kernel mode switches and their impact.

• YouTube
• 19 minutes
• On-Demand
• Free Video

Hussein Nasser

Why Windows Kernel Connects Slower Than Linux - TCP/IP Stack Behavior Analysis

Explore TCP/IP stack behavior in Windows vs Linux kernels, focusing on connection speeds, RST handling, IPv6/IPv4 interactions, and the Happy Eyeballs protocol.

• YouTube
• 36 minutes
• On-Demand
• Free Video

USENIX

From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes

Explore wait-free code patching for multi-threaded processes, enabling gradual application of updates without disrupting service. Learn about WfPatch's implementation and its impact on system performance.

• YouTube
• 19 minutes
• On-Demand
• Free Video

ACM SIGPLAN

PinIt: Influencing OS Scheduling via Compiler-Induced Affinities in Embedded Media - LCTES 2023

Explore PinIt, a compiler-directed methodology optimizing OS scheduling for embedded media applications. Learn how it enhances performance by minimizing harmful thread migrations and maintaining data locality.

• YouTube
• 22 minutes
• On-Demand
• Free Video

Linux Plumbers Conference

The UAPI Kernel API Wishlist

Explore Lennart Poettering's vision for improving the Linux kernel's user-space API, addressing current limitations and proposing enhancements for better system integration.

• YouTube
• 1 hour
• On-Demand
• Free Video

Linux Plumbers Conference

Power, Thermal, and Performance Interfaces

Explore power, thermal, and performance interfaces in Linux systems with insights from Daniel Lezcano at the Linux Plumbers Conference.

• YouTube
• 22 minutes
• On-Demand
• Free Video

Linux Plumbers Conference

Reduce synchronize_rcu() Latency

Explore techniques to minimize synchronize_rcu() latency in Linux kernel, enhancing system performance and responsiveness.

• YouTube
• 28 minutes
• On-Demand
• Free Video

Linux Plumbers Conference

Using sched_ext to Improve Frame Rates on the SteamDeck

Optimize SteamDeck frame rates with sched_ext: Explore advanced scheduling techniques to enhance gaming performance on Linux-based handheld devices.

• YouTube
• 24 minutes
• On-Demand
• Free Video