bench/decimal_gda API
bench/decimal_gda 包含 floating 的 General Decimal Arithmetic 基准测试。它是一个仅用于测试的包:所有内容都位于基于 bench 工具包的 *_test.mbt 文件中,不导出任何 MoonBit 项。本页记录它定义的基准用例;教程介绍如何运行它们,设计页面解释其工作负载。
基准用例
| 用例 | 数据集 | 实现 | 协议 |
|---|---|---|---|
decimal-gda/add, sub, mul, div, fma, parse | 1、9、18、34、128 位数字 | core/gda(@decimal_gda.add 以及其他带显式 GdaContext 的函数)、full/checked(GdaDecimalChecked,它传递粘滞的上下文) | Development |
每个规格都有一个计划测试,它在常规测试运行中执行并检查规格能否编译(GDA benchmark plans compile),还有一个标记为 #skip("performance benchmark") 的性能测试,只有 tools/benchmark.py 会运行它。性能测试将每个观测以 MAREMARK_JSONL= 行的形式输出,并将归约结果打印为 MAREMARK_HOTSPOT=decimal-gda/OP/DATASET full_pct=…。
完整公共接口
该包不导出任何 MoonBit 项。
// Generated using `moon info`, DON'T EDIT IT
package "Luna-Flow/floating/bench/decimal_gda"
// Values
// Errors
// Types and methods
// Type aliases
// Traits