bench/ball_float API
bench/ball_float holds the interval (ball) arithmetic benchmarks of floating. It is a test-only package: all
content is in *_test.mbt files built on the bench toolkit,
and it exports no MoonBit items. This page records the benchmark cases it
defines; the tutorial shows how to run them and the
design page explains the workloads.
Benchmark cases
| Case | Datasets | Implementations | Protocol |
|---|---|---|---|
ball-float/add, ball-float/mul, ball-float/div | 53, 128, 512, 2048 bits | kernel/bin-float (BinFloat), core/ball-float (BallFloat), full/checked (BallFloatResult) | Development |
Every specification has a plan test that runs in normal test runs and checks
that it compiles (ball benchmark plans compile), and a performance test marked
#skip("performance benchmark") that only tools/benchmark.py runs. The
performance tests stream every observation as a MAREMARK_JSONL= line and
print the reduced results as MAREMARK_HOTSPOT=ball-float/OP/DATASET core_pct=… full_pct=….
Complete public interface
The package exports no MoonBit items.
// Generated using `moon info`, DON'T EDIT IT
package "Luna-Flow/floating/bench/ball_float"
// Values
// Errors
// Types and methods
// Type aliases
// Traits