← All benchmarks
DOOP points-to
How fast FlowLog runs the DOOP Java points-to analyses, compared with Soufflé.
- Engines
- FlowLog vs Soufflé 2.5, run both with and without DOOP's hand-tuned join orders.
- Workload
- 24 context-sensitive points-to analyses × 6 DaCapo Java programs (luindex, eclipse, batik, h2o, xalan, spring).
- Measured
- Run time to fixpoint via
.printsize(no output serialization), median of 3 runs. - Platform
- AMD EPYC 7763 (Milan), 32 cores / 64 threads, 503 GB RAM, facts on ext4. Both engines run at 32 threads.
up to 5.7×
vs hand-tuned Soufflé
up to 17.8×
vs non-hand-tuned Soufflé
118 / 118
faster, never slower
Reproduce with verify/bench/time.sh in doop-flowlog.