Linux kernel, systems programming, and technical deep-dives.
- CList: Iterating C Linked Lists from Rust in the Kernel (2026-02-08)
- SVM and vectors for the curious (2023-06-25)
- SELinux Debugging on ChromeOS (2023-06-10)
- Understanding Hazard Pointers (2023-04-28)
- PowerPC stack guard false positives in Linux kernel (2023-04-25)
- Getting YouCompleteMe working for kernel development (2023-02-24)
- Figuring out herd7 memory models (2023-01-29)
- Modeling Condition Variables using Formal Methods (2022-12-15)
- On workings of hrtimer's slack time functionality (2022-11-13)
- C++ rvalue references (2020-10-25)
- GUS (Global Unbounded Sequences) (2020-04-24)
- SRCU state double scan (2020-03-06)
- Modeling (lack of) store ordering using PlusCal - and a wishlist (2019-10-18)
- Making sense of scheduler deadlocks in RCU (2019-09-02)
- Dumping User and Kernel stacks on Kernel events (2018-12-22)
- RCU and dynticks-idle mode (2018-06-15)
- Single-stepping the kernel's C code (2018-06-10)
- RCU-preempt: What happens on a context switch (2018-05-10)
- USDT for reliable Userspace event tracing (2018-02-11)
- BPFd- Running BCC tools remotely across systems (2018-01-08)
- ARMv8: flamegraph and NMI support (2017-01-01)
- Ftrace events mechanism (2016-06-19)
- TIF_NEED_RESCHED: why is it needed (2016-03-20)
- Tying 2 voltage sources/signals together (2015-12-25)
- MicroSD card remote switch (2014-06-04)
- Linux Spinlock Internals (2014-05-07)
- Studying cache-line sharing effects on SMP systems (2014-04-24)
- Design of fork followed by exec in Linux (2014-04-23)