~/talk

Modularization for Lockdep

on YouTube 33m
Talkat Linux Plumbers Conference 2022 · 2022-09-12..09-14· [software-architecture]

speaker

name:Boqun Feng
links:none on file

resources

video:https://youtu.be/3Tzf-6TspWE
slides:none on file

summary

Proposes splitting lockdep into a front-end that keeps a per-task lock array even when lockdep is off, a pipeline that can cache dependencies, and a back end that can run in-kernel, in userspace, or on another host; supplies a working Rust backend prototype. Claims front-end-only bookkeeping is cheap, printing and stack-transfer are the bottlenecks, and a userspace back end risks missing hard deadlocks that happen before it reports. Seeks upstreamable front-end refactor and protocol work for serialized stack dumps.

AI-written summary · about

chapters (8)

  1. 0:00Introduction to Lockdep
  2. 4:01Problems with current Lockdep
  3. 10:28Modular design proposal
  4. 14:29User space vs kernel space debate
  5. 20:52Middle layer and pipeline
  6. 24:35Use cases and CI benefits
  7. 28:32Q&A and future directions
  8. 32:51Conclusion and thanks

related talks

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.