全部章节21
本页目录

HHY 语言报告

HHY 语言状态报告 · 2026-09-14

发布 HHY 当前语义、Runtime、性能与工程质量状态,包含可复核的 CI 实测数据。

1.7.1 受控并发与原子性

本版修复资源生命周期并交付七个默认关闭的实验接口。请先了解状态所有者、协作文件锁、严格事务以及有界任务的保证边界。

阅读完整指南与示例包含保证矩阵、错误处理和实际验收证据

HHY 1.7.1 当前实现与兼容性

1.7.1 已通过本地测试、四平台 CI 和发行验收。语言规范仍为冻结的 1.0;官方 sample、HTML 以及 macOS/Linux Database 1.0.0 扩展已验证兼容。VS Code 0.2.0 与 Sublime 0.1.0 保持独立版本,语法和编辑器契约检查通过。

HIR、六个优化 pass、整数 MIR、类型反馈 guard/deopt 与局部 List 标量替换已交付。使用 HHY_COMPILER=ir、HHY_FEEDBACK_SPECIALIZATION=1、HHY_SCALAR_REPLACEMENT=1 显式启用;默认直接 Bytecode 不变。真实负载收益尚未满足默认启用门槛,标量替换保留原始 GC/配额预约。

优化开关、验证与支持范围v1.7.1 实施说明1.7.1 发行说明已发布能力与边界

1.7.0 历史实测与发布证据

2026-09-08 本地 macOS arm64,HHY 1.7.0,默认编译配置,单次 profiler 原始输出如下。仅 4 个 CPU 样本,短任务热点比例和计时会波动,不用于判定性能提升。

实际运行结果
$hhy profile --engine bytecode examples/09-profile-algorithms.hhy -- fibonacci 20
HHY profile: examples/09-profile-algorithms.hhy

Summary
  Engine           bytecode
  Wall time        0.013 s
  CPU time         0.008 s
  CPU utilization  58.8%
  CPU samples      4
  Heap peak        1.8 MiB
  Heap after GC    92.0 KiB
  Allocated        1.7 MiB
  Allocations      33040

CPU hotspots
  CPU%    Samples      Calls  Function
   75.0%        3      21891  fibonacci  examples/09-profile-algorithms.hhy:5:1
   25.0%        1          1  print  examples/09-profile-algorithms.hhy:18:6
    0.0%        0          1  <bytecode-top-level>  examples/09-profile-algorithms.hhy:1:1
    0.0%        0          1  length  examples/09-profile-algorithms.hhy:12:10
    0.0%        0          1  to_int  examples/09-profile-algorithms.hhy:17:19
  Note: fewer than 10 CPU samples; use a larger workload for stable results.

Allocation hotspots
  Bytes          Objects  Function
  1.7 MiB            32856  fibonacci  examples/09-profile-algorithms.hhy:5:1
  11.6 KiB              184  <bytecode-top-level>  examples/09-profile-algorithms.hhy:1:1

fibonacci 6765
平台整数 MIR / 基线局部 List / 基线
linux-arm640.7624×0.7495×
linux-x86_640.7067×0.6738×
macos-arm640.8392×0.8553×
windows-x86_640.8478×0.8326×
查看 1.7.0 CI 与原始性能 artifacts8fb0b8f · 2026-09-08

发布摘要

报告维度回答的问题当前结论
语言基线核心语义是否稳定Pipe、Value、Stream、Error 与核心 callable contract 保持稳定,AST/Bytecode 持续对照
Runtime 健康度资源、内存与取消边界是否可靠资源上限、GC stress、sanitizer、fuzz、故障注入与显式所有权治理通过
执行引擎Bytecode 是否适合默认启用原生 Opcode 路径语义门禁与性能门禁通过,Bytecode 默认,AST 可显式回退
工程治理变化是否可审计四平台 CI、真实 workload、分层门禁、版本一致性和发行证据形成闭环

本期数据概览

数据项结果证据口径
当前正式版本v1.7.1四平台 Release、逐包 SHA-256 与 SHA256SUMS
执行引擎Bytecode 默认 / AST 回退完整双引擎套件与机器可读决策
核心 callable128Runtime Callable Contract Registry
持续验证平台4 个macOS arm64、Linux arm64、Linux x86_64、Windows x86_64
v1.3.10 CI 引擎基线历史测量通过1M CPU 0.3695;短任务 1.0088;持续 JSON 1.0207
v1.3.10 Profiler 开销1.0269× / +2.786 ms历史 9 次样本;门槛 1.35× 且 12 ms
Bytecode 缓存不准入5 个负载 × 21 次;compile+verify 不构成主要成本
完整实战项目6 个AST/Bytecode 端到端 acceptance 与稳定退出码

v1.5.0 / Database 1.0.0 发布验收

2026-09-07 发布。双数据库、双引擎、TLS、作用域清理、取消、CMS 安装数据库流程与跨平台发行门禁通过;本地百万行流式及每库 5 分钟持续测试报告可查。RDS 和 24 小时长稳仍待验证。

查看 DB 1.0.0 验收记录HHY 1.5.0 · Database 1.0.0查看 HHY 1.5.0 发行说明HHY 1.5.0 · Database 1.0.0

v1.4.3 Web Runtime 与发布验证

验证项结果测量范围
可嵌入 Runtime100,000 次重复调用单个已加载 Context;AST/Bytecode 输出差分检查
HTTP 压力验证1,000,000 次请求 · 0 失败发布验证主机 loopback,16 个并发客户端
HTTP 耗时与吞吐131.439 秒 · 7,608.1 请求/秒上述短请求负载的主机实测,不代表公网或业务服务吞吐
HTTP 功能回归端到端覆盖Router、Query、404/405/413/500、错误后恢复、Middleware、静态缓存、上传清理、CORS、signed cookie 与 gzip
流式与运维端到端覆盖Stream、SSE、Range、metrics、health、多 Worker 与开发热重载
查看 v1.4.3 发行验证记录本站保存的发行说明,包含测试规模、结果与能力边界。

当前能力边界

范围当前边界
HTTP 服务Runtime 提供 HTTP/1.1;TLS 和 HTTP/2 由 Caddy、Nginx 或负载均衡器承担
WebSocket不在 v1.4 能力范围内
执行引擎Bytecode 默认,保留 AST 回退;不提供 JIT、进程/磁盘 Bytecode 缓存或未验证外部 Bytecode 加载
原生集成C Embedding 使用 opaque 句柄和 JSON ABI;不等于开放 Runtime 内部结构或第三方 Native Extension ABI

总体基线与兼容性

基线稳定承诺验证方式
语言语义不引入第二套 Pipe、Stream 或 Error 模型规范示例、Parser/Checker fixtures 与合法程序回归
Callable contract名称、arity、effect、lazy、cancellable 和 threading 可机器读取Contract Registry JSON 与当前 callable contract 一致性检查
诊断CLI 文本与 JSON/LSP 使用同一 Core 检查路径诊断 schema 与 LSP 协议测试
扩展边界第三方能力优先走 Process Extension Protocol清单完整性、Protocol 1 与官方扩展验收
C Embedding公开 opaque Application/Context 句柄与 JSON ABI,不公开 Runtime 内部结构单次加载、重复调用、请求隔离与 AST/Bytecode 差分验证

当前正式基线为 v1.7.1。Bytecode 是默认引擎,AST evaluator 继续作为语义 oracle,可通过 --engine ast 或 HHY_ENGINE=ast 显式使用。Compiler 产生的 Stream Kernel 必须独立通过 Verifier;动态或未知形状无损回退通用 Bytecode。

v1.2.2 发行与扩展状态

能力当前状态验收结果
扩展分发Ed25519 签名 Registry、确定性依赖解析篡改、来源不明和依赖冲突稳定拒绝
可复现环境Lockfile、content-addressed 离线缓存同一 lock 得到同一依赖图,干净环境可离线重建
安全变更事务式安装、升级和显式回滚失败升级不破坏旧环境
HTML 0.2.0Lexbor、CSS selector、单次解析多字段投影畸形 HTML、硬上限、截断和结构化错误通过四平台验收
协议决策保留同步有界批量 APIHTML 保持同步批量;DB 1.0 已使用作用域句柄、取消和宿主游标 Stream;通用 Stream credit 未开放
查看 HHY Language v1.2.2 正式发行下载四平台归档、校验文件并查看完整发行说明。

v1.3.7–v1.3.10 Bytecode 加固状态

版本核心交付已验证结论
v1.3.7具名 specialization metadata、统一 stack/error、fallback reason无 magic kind;三路径差分与变形测试通过
v1.3.8Compiler 生成版本化 Stream Kernel IRRuntime 不读取 AST 形状;Kernel 独立 verify;动态形状安全回退
v1.3.9普通执行与 Profiler 共用优化决策kernel/opcode、取消、CPU/Heap 归因与机器报告一致;开销门禁通过
v1.3.10真实性能触发的缓存治理数据未触发准入;无进程/磁盘缓存;不接受未验证外部 Bytecode
查看 HHY Language v1.7.1 正式发行包含四平台归档、逐包 SHA-256、SHA256SUMS 与 Web Runtime 发行说明。

历史性能基线 · v1.3.10

最终 v1.3.10 CI 数据来自提交 4ddc8c3、GitHub Actions Ubuntu 24.04 的 schema-2 paired/interleaved benchmark 和独立 Profiler/缓存决策 artifact。数值是 Bytecode/AST 墙钟比;小于 1 表示 Bytecode 更快。

门禁实测上限结果
1M CPU0.3695×0.90×通过
短任务1.0088×1.25×通过
持续 JSON/I/O1.0207×1.10×通过
Profiler 开销1.0269× / +2.786 ms1.35× / +12 ms通过
缓存准入负载compile+verify 中位数冷运行中位数占比
Hello0.0097 ms5.860 ms0.1649%
Advanced Flow0.0269 ms5.916 ms0.4546%
Stdlib0.0286 ms7.003 ms0.4086%
Sustained JSON0.0089 ms33.518 ms0.0266%
Core Flow 1M0.0105 ms166.285 ms0.0063%

v1.3.10 六语言同机重测

2026-09-01 在 macOS 26.6.2 arm64 上重新实测 HHY 1.3.10、PHP 8.5.10、Go 1.27.0、Python 3.14.7、Lua 5.5.1 和 OpenJDK 26.0.2.1。固定任务为 range(0, 1,000,000) → 乘 2 → 保留可被 3 整除的值 → 稳定去重 → 物化 → 计数;六种实现都验证输出 333334。每种语言先预热 2 次,再做两轮独立测量;每轮 7 个 fresh process,固定种子随机交错运行,墙钟包含进程启动;Go 与 Java 预先编译,编译时间不计入。

实现版本第 1 轮中位数第 2 轮中位数两轮范围
Go1.27.07.995 ms7.969 ms7.622–15.325 ms
Lua5.5.118.368 ms17.957 ms17.582–19.822 ms
PHP8.5.1043.174 ms43.549 ms42.588–49.033 ms
JavaOpenJDK 26.0.2.149.394 ms48.153 ms46.995–53.066 ms
HHY Bytecode1.3.1055.297 ms53.404 ms51.027–78.702 ms
Python3.14.781.747 ms86.459 ms79.993–87.774 ms
比较第 1 轮第 2 轮解读
HHY / PHP1.28×1.23×该任务 HHY 比 PHP 多用约 23%–28% 墙钟
HHY / Java1.12×1.11×包含 JVM fresh-process 启动时,Java 略快
HHY / Python0.68×0.62×HHY 在该任务上用时更少
HHY / Lua3.01×2.97×Lua 在该整数循环上更快
HHY / Go6.92×6.70×预编译 Go 显著更快

治理结论与后续观察

  • 总体状态:v1.7.0 / DB 1.0.0 已通过本地、CI 与跨平台发行验收;RDS 实机和 24 小时长稳仍待补验。
  • Web 结论:可嵌入 Runtime、HTTP、Router、Middleware、上传、Stream/SSE、多 Worker 与可观测性一次性交付。
  • 执行引擎策略:Bytecode 默认;AST 永久保留为语义 oracle、差分测试和 --engine ast 紧急回退。
  • 性能结论:Web 百万短请求 0 失败;既有 CPU、短任务、持续 JSON 与 Profiler 门禁继续通过。
  • 缓存结论:compile+verify 不构成冷运行主要成本;当前不引入缓存,未来必须由新数据重新触发评审。
  • 更新规则:发布基线、测量方法、引擎/缓存决策或总体风险结论变化时同步更新本报告。
查看 v1.3.11 持续验证证据四平台构建、sanitizer、fuzz、性能门禁与真实项目验收。