Armv8
- ARMv8: flamegraph and NMI support (2017-01-01)
C++
- C++ rvalue references (2020-10-25)
Debugging
- SELinux Debugging on ChromeOS (2023-06-10)
- Single-stepping the kernel's C code (2018-06-10)
Electronics
- Tying 2 voltage sources/signals together (2015-12-25)
- MicroSD card remote switch (2014-06-04)
Embedded
- Tying 2 voltage sources/signals together (2015-12-25)
- MicroSD card remote switch (2014-06-04)
Formal-methods,
- Modeling Condition Variables using Formal Methods (2022-12-15)
Formalmethods
- Figuring out herd7 memory models (2023-01-29)
- Modeling (lack of) store ordering using PlusCal - and a wishlist (2019-10-18)
Herd7
- Figuring out herd7 memory models (2023-01-29)
Kernel
- PowerPC stack guard false positives in Linux kernel (2023-04-25)
- On workings of hrtimer's slack time functionality (2022-11-13)
- 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)
- Linux Spinlock Internals (2014-05-07)
- Design of fork followed by exec in Linux (2014-04-23)
Linux
- On workings of hrtimer's slack time functionality (2022-11-13)
- 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)
- Design of fork followed by exec in Linux (2014-04-23)
Linuxinternals
- Dumping User and Kernel stacks on Kernel events (2018-12-22)
Lkmm
- Figuring out herd7 memory models (2023-01-29)
Locking
- Making sense of scheduler deadlocks in RCU (2019-09-02)
- Linux Spinlock Internals (2014-05-07)
Machinelearning
- SVM and vectors for the curious (2023-06-25)
Pluscal
Productivity
- Getting YouCompleteMe working for kernel development (2023-02-24)
Rcu
- Understanding Hazard Pointers (2023-04-28)
- SRCU state double scan (2020-03-06)
- Making sense of scheduler deadlocks in RCU (2019-09-02)
- RCU and dynticks-idle mode (2018-06-15)
- RCU-preempt: What happens on a context switch (2018-05-10)
Rcu,
- GUS (Global Unbounded Sequences) (2020-04-24)
Scheduler
- Making sense of scheduler deadlocks in RCU (2019-09-02)
- RCU-preempt: What happens on a context switch (2018-05-10)
- TIF_NEED_RESCHED: why is it needed (2016-03-20)
Selinux
- SELinux Debugging on ChromeOS (2023-06-10)
Srcu
- SRCU state double scan (2020-03-06)
Stack
- PowerPC stack guard false positives in Linux kernel (2023-04-25)
Svm
- SVM and vectors for the curious (2023-06-25)
Synchronization
- Understanding Hazard Pointers (2023-04-28)
- Modeling Condition Variables using Formal Methods (2022-12-15)
- GUS (Global Unbounded Sequences) (2020-04-24)
- SRCU state double scan (2020-03-06)
- Studying cache-line sharing effects on SMP systems (2014-04-24)
Timers
- On workings of hrtimer's slack time functionality (2022-11-13)
Tla+
Tracing
- 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)
Vectors
- SVM and vectors for the curious (2023-06-25)
Vim
- Getting YouCompleteMe working for kernel development (2023-02-24)