~/talk

Ichnaea: A Framework for Precise Tracking of Memory Objects

stackoverflow:3706356
links:none on file
links:none on file
links:none on file
slides:none on file

A framework that uses memory protection keys and a user-space page-fault handler to log per-access context (accessor, value, timestamp, call stack) and emulates faulting instructions before resuming, implemented via compile-time weak refs and LD_PRELOAD runtime. Permission switches cost ~50–100 ns versus >2 μs for mprotect, so tracing adds 1–3× overhead while Intel Pin costs 12–60×; overhead grows ~2% per traced object; does not trace stack objects and has partial kernel-read coverage.

AI-written summary · about

  1. 0:00Ichnaea framework intro
  2. 1:24Precise memory tracking problem
  3. 2:07Ideal tracing framework requirements
  4. 2:50Static analysis limitations
  5. 3:32Static instrumentation flaws
  6. 4:33Dynamic analysis challenges
  7. 5:37Page protection overview
  8. 6:39mprotect benefits and drawbacks
  9. 8:23Memory protection keys solution
  10. 9:28Ichnaea design introduction
  11. 10:32Ichnaea edge cases
  12. 11:34Ichnaea performance evaluation
  13. 12:18Ichnaea concurrency analysis
  14. 12:58Ichnaea scaling overhead
  15. 13:19Ichnaea limitations and caveats
  16. 13:39Ichnaea summary
~/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.