lean-bench

5.8. Platform notes🔗

  • Linux is the canonical target. perf requires /proc/sys/kernel/perf_event_paranoid ≤ 2 (the kernel default on most distros) and is most useful with kernel symbols available.

  • macOS users should reach for samply first; Apple's Instruments works (the CLI is xcrun xctrace record) but the UX is heavier and the results aren't as portable.

  • Windows users have ETW via xperf / Windows Performance Recorder. The --profiler flag is opaque, so any of these tools work — the harness side does not care.