bench/decimal_gda API

bench/decimal_gda 包含 floating 的 General Decimal Arithmetic 基准测试。它是一个仅用于测试的包:所有内容都位于基于 bench 工具包的 *_test.mbt 文件中,不导出任何 MoonBit 项。本页记录它定义的基准用例;教程介绍如何运行它们,设计页面解释其工作负载。

基准用例

用例数据集实现协议
decimal-gda/add, sub, mul, div, fma, parse1、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