Mathieu Desnoyers
Senior Software Architect at EfficiOS Inc.
Montreal, Quebec, Canada
Summary
👤
Senior🎓
Top SchoolMathieu Desnoyers is a Senior Software Architect and founder of EfficiOS with 16 years focused on operating systems, kernel tracing, and real-time behavior of Linux. He leads development and maintenance of LTTng tracers, Userspace RCU, and kernel primitives like rseq and membarrier, translating research-grade ideas into low-overhead, production-ready infrastructure. A prolific contributor to the upstream Linux kernel and the widely used userspace-rcu project, he’s addressed subtle correctness and performance issues from syscall probe safety to cache-locality for concurrency IDs. Based in Montreal, he combines a PhD-level systems background with entrepreneurial leadership, collaborating with teams from Google and IBM during formative tracer integrations. Less obvious: he balances deep kernel internals work with practical user-space libraries to bridge theory and deployable scalability in multicore systems.
16 years of coding experience
Ph.D., Computer Engineering, Ph.D., Computer Engineering at Polytechnique Montréal
Stackoverflow
141reputation
3kreached
4answers
0questions
Github Skills (27)
c-language10
concurrent10
tracer10
memory-management10
c1110
linux-kernel10
data-structure10
c1710
kernel10
system-calls10
performance-optimization10
data-structures10
cprogramming-language10
trace10
concurrent-map10
Programming languages (13)
Github contributions (5)
urcu/userspace-rcu
Feb 2010 - Dec 2022
This repo is a mirror of the official userspace-rcu git found at git://git.lttng.org/userspace-rcu.git. liburcu is a LGPLv2.1 userspace RCU (read-copy-update) library. This data synchronization library provides read-side access which scales linearly with the number of cores.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:11 reviews, 1116 commits, 16 PRs in 12 years 11 months
Contributions summary:Mathieu primarily contributed to the userspace-rcu repository by implementing and modifying core data structures and memory management routines related to the read-copy-update (RCU) mechanism. Their work included the addition of new features like list_replace_rcu in RCU list data structures and the introduction of a wait-free queue. The user also made improvements to existing code, addressing issues such as C++ compatibility and powerpc architecture support. In addition, they implemented internal APIs related to memory management.
userspacesynchronizationgit-clientlibgit2lgplv2
torvalds/linux
Nov 2022 - Jan 2023
Linux kernel source tree
Role in this project:Back-end Developer
Back-end DeveloperContributions:55 commits in 2 months
Contributions summary:Mathieu primarily contributed to the Linux kernel source tree, focusing on tracing and system call instrumentation. They made changes to the tracing infrastructure to handle page faults within system call probes and to improve cache locality for RSEQ concurrency IDs. The user also fixed issues related to syscall tracepoints, specifically addressing use-after-free vulnerabilities and implementing might_fault checks for syscall probes within ftrace, perf, and bpf.
kernellinux-kernellinuxkernel-source
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.