~/talk

Tintin: A Unified Hardware Performance Profiling Infrastructure to Uncover and Manage...

Talkat OSDI '25 · 2025-07-07..07-09· [linux-and-operating-systems]
name:Ao Li
links:none on file
links:none on file
name:Zihan Li
links:none on file
links:none on file
links:none on file
links:none on file
slides:none on file

Tintin is a Linux-kernel PMU subsystem with three modules—monitor, scheduler, manager—that quantifies multiplexing error at runtime, schedules events to minimize total uncertainty, and exposes uncertainty via an OS primitive Event Profiling Context (ePX). On benchmarks Tintin keeps error below 5% when tracking >100 events versus >20% for native perf, adds ~0.5 percentage points overhead (perf 1.9% → Tintin 2.4% average), beats round‑robin via elastic scheduling in 64% of cases, and improves real workloads (outperforms IMA in 95% of Pond runs; adding uncertainty helps models in 55% of cases).

AI-written summary · about

  1. 0:00Tintin introduction
  2. 1:43Hardware counter limits
  3. 4:57Design insights
  4. 7:31Tintin's components
  5. 13:16Reporting uncertainty
  6. 15:04Evaluating accuracy
  7. 16:54Pound case study
  8. 19:02Summary & Q&A
~/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.