~/talk

Riker: Always-Correct and Fast Incremental Builds from Simple Specifications

Talkat USENIX ATC '22 · 2022-07-11..07-13· [developer-experience]
links:none on file
links:none on file
slides:none on file

Riker instruments builds with ptrace, seccomp/BPF and an injected library to record system calls into a new TraceIR that models the entire POSIX filesystem (files, directories, pipes, metadata and anti-dependencies). From a single command spec like "gcc .c" Riker auto-discovers and replays only changed commands, caches produced artifacts, and iterates until stable, achieving a median overhead 8.8% on full builds and 94% of make's incremental speedup* across 14 projects including LLVM and memcached.

AI-written summary · about

  1. 0:00Start
  2. 5:28How Riker Works
  3. 6:17Riker observes builds with system call tracing
  4. 7:40Problems with a Build Dependence Graph
  5. 16:46Performance
  6. 17:26Full Build Overhead
  7. 20:14Building Redis
  8. 21:52Incremental Builds
~/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.