simd_dot greenvalidity pass
Tier 1 · wall_time · N=10_000_000 · variant shared_c_kernel · OS linux
Validity gate
passpass — perf claims allowed when ratio is green
Source: latest.csv:perf_present
Wall-clock row exists only — no explicit correctness signal yet.
- Ratio vs best competitor
- 1.134 (113.4% of rust speed) (best in series:
rust— Li is never labeled best) - Best competitor value
- 0.0594 s
Numeric oracle
No analytical verify rows in ingest yet. Run tier-1 with --verify so latest.csv exports verify_ulps / verify_within_1ulp.
- Problem size
- N=10_000_000
- Category
- micro
- Pillar
- numerics
- Package
- lic
- Li / catalog oracle (mean ± σ)
- 0.0524 s / 0.0595 s (cpp)
- Ratio vs catalog oracle
- 0.8807×
- Best competitor
- rust (0.0594 s)
- Li relative speed vs SOTA
- 1.134 (1.0 =
rustspeed) - Validity
- validity pass
- Threshold
- 1.2×
- Source
- lic/benchmarks/tier1_micro/simd_dot
PH ids: PH-5b, PH-7e
Performance vs best competitor
Compare oracle: cpp
Absolute measurements
| Lang | Mean ± σ | Runs | Unit | Variant | OS |
|---|---|---|---|---|---|
| li | 0.0524 | — | s | release | linux |
| cpp | 0.0595 | — | s | release | linux |
| rust | 0.0594 | — | s | release | linux |
| julia | 0.0594 | — | s | release | linux |
| Metric: wall_time (value = mean of timed runs) | |||||
Host OS
| Scope | OS |
|---|---|
| Row aggregate | linux |
| li (release) | linux |
| cpp (release) | linux |
| rust (release) | linux |
| julia (release) | linux |
Latest history deltas
- ratio_vs_cpp: 0.0155 → 0.8807 (Δ 0.8652) · regressed