russell@unturf.com
87503f60ef
Closes the three tractable pending buckets (all non-no_dir work):
+ lean4-0004..0007: 4 correctness/race benches (ir_interp DCL, jobreg
IO.Ref race, g_opts thread-local leakage, process envvar hash).
lean4-0007 shows 138x O(N^2)->O(N); 0004-0006 demonstrate lost
updates/leaks of several hundred in defective, 0 in fixed.
+ 0ad-0001..0004: 3 CWE-407 list.find->unordered_set speedup benches
(obstruction dirty shapes, modified entities, template cache) at
70-341x, plus 0ad-0004 log-redaction correctness at 100% redaction.
+ activemq-0001..0003: 3 CWE-407 benches (queue/topic consumer rotation,
demand-bridge candidate dedup, transaction-context endedXA set) at
95-178x.
+ linux-0001..0008: 8 Python complexity-class models for the kernel
patches. Coexist with the existing build-and-bench.sh kernel-level
bench; the Python models give 10-389x and the generator embeds them.
+ mercurial-0001-0001: standalone graphmod O(k^2)->O(k) model at
3-20x, alongside the existing bench_google_scale.py (which imports
the real mercurial graphmod).
Progress: 13 -> 33 full coverage. Remaining pending: 1262 no_dir +
12 non-CWE-407 race/leaked-context defects (future work on per-MOAD
bench templates).
18 lines
974 B
Text
18 lines
974 B
Text
=== activemq-0001: Queue/Topic consumer rotation list.remove+add vs index cursor ===
|
|
C=50 M=1000 : defective=0.307ms fixed=0.104ms speedup=3.0x
|
|
C=200 M=5000 : defective=0.735ms fixed=0.537ms speedup=1.4x
|
|
C=500 M=10000 : defective=1.630ms fixed=1.489ms speedup=1.1x
|
|
C=1000 M=20000 : defective=4.415ms fixed=3.119ms speedup=1.4x
|
|
|
|
=== activemq-0002: DemandBridge candidateConsumers List.contains vs HashSet ===
|
|
N=100 : defective=0.089ms fixed=0.010ms speedup=8.7x
|
|
N=500 : defective=2.128ms fixed=0.047ms speedup=45.4x
|
|
N=1000 : defective=8.872ms fixed=0.090ms speedup=98.4x
|
|
N=2000 : defective=35.776ms fixed=0.218ms speedup=163.8x
|
|
|
|
=== activemq-0003: TransactionContext endedXATransactions List.contains vs HashSet ===
|
|
N=100 : defective=0.119ms fixed=0.014ms speedup=8.8x
|
|
N=500 : defective=2.891ms fixed=0.058ms speedup=49.4x
|
|
N=1000 : defective=11.783ms fixed=0.124ms speedup=95.3x
|
|
N=2000 : defective=51.216ms fixed=0.288ms speedup=178.0x
|
|
|