手册

入门指南

SuperJ 是什么、为什么它是"super" Java（不是子集）、设计哲学、SDK 变体，以及第一次构建。到能跑的二进制最快的上手脚道。

阅读教程 →

参考

语言参考

Java → SuperJ 的差异点集中在一页可扫读的文档里：什么相同、什么移除、什么改变、什么新增，以及一份速查语法表。

阅读参考 →

实战

构建世界上最快的服务器

一步步来：在内置协议栈上写一个 HTTP 服务器，编译成单一原生二进制，运行它，用 wrk 加压测试 — 然后用 SuperJ 自己的客户端打败 wrk。

构建服务器 →

构建系统

受 Cargo 启发的构建工具（即自托管的 superj 本身）：new/build/run/check/test、Build.sj 清单、路径与 git 依赖、workspace、profile、hook、feature flag。

阅读构建指南 →

编写与运行测试

sj.test 单元测试框架：@Test/@Ignore、Asserts 词汇表、superj test，以及 golden-output 套件。

阅读测试指南 →

主张

并发：一份主张

为什么 SuperJ 没有线程、为什么这是正确而非局限，以及三个不可能性结论（死锁自由不可判定、FLP、CAP）如何让全序事件系统成为正确的原语。

阅读主张 →

主张

内存安全与安全

为什么 SuperJ 没有借用检查器：它杜绝的那一类 bug 不值得付出永久的逐行负担，而确定性是更强的正确性属性。

阅读说明 →

主张

生态

为什么"没有 Rust crates"是没抓住重点：SuperJ 是一门 LLVM 语言，所以每个 LLVM 语言生态中已编译的 C-ABI 核心都能通过 native 免费链接。

阅读论证 →

编写一个 LLM 推理引擎

用 sj.gpu 加载量化 GGUF 模型，四十行代码完成 prefill + decode，诚实地基准测试（GPU 预热陷阱），并下探到 Tensor 层实现自定义架构。

阅读教程 →

Struct：零开销的线类型

SuperJ 的原生 struct — 紧凑的小端布局，布局本身就是线格式，支持原始/嵌套/定长数组/enum 字段、变长 bytes/string，以及 view()/bindTo() 轻量视图模式。

Claim Layer

Capabilities、架构规则与契约：声明每个包能做什么、能 import 什么、方法必须保证什么 — 由编译器强制执行，release 构建中零开销。

构建可复用的库

创建一个库包（没有 entry），通过路径或 git 依赖从另一个项目消费它，以及 workspace（monorepo）方案。

最佳实践

内存管理

如何让无 GC 的进程保持平坦：单线程许可、分配阶梯、arena 块、local 栈分配、临时缓冲手册，以及用 memory-event log 验证平坦性。

Memory-Event Log

用 --mem-track 和 superj memlog 追踪 arena 随时间的增长：按 arena 归因、泄漏判定、实时尾部，以及 debug 构建的逐类型直方图。

最佳实践

编码准则

三条来之不易的风格规则：无 GC 编码（分配阶梯、警告 flag、审查清单）、优先用 switch 而非 if/else if、以及优先提前返回。

密码学

完整的密码学栈：SHA-2/BLAKE3/Keccak 哈希、Ed25519/secp256k1/P-256/BLS12-381 签名、X25519 密钥交换、AES-GCM、HMAC/HKDF、X.509 与 TLS 1.3 — 天生零垃圾。

零垃圾的 JSON

sj.json 的增量解析器和流式构建器：parseInto、复用的 JsonBuilder，以及热路径上的零垃圾模式。

日志

sj.util.logging：无垃圾、内存映射的日志器 — 每条记录零系统调用、崩溃后可存活的二进制或纯文本输出、ring/roll 轮转。

工具

内存工具

弄清你的程序正持有什么：memTouchedBytes、--check-growth 关卡、--mem-debug 与 memReport、memAudit，以及一次真实的泄漏排查案例。

参考

运行时环境变量

构建出的二进制会读取的每个环境变量 — SJ_ARENA_MAX、SJ_ARENA_INITIAL、SUPERJ_STACKTRACE 等。没有配置文件，没有运行时 flag。

阅读参考 →

S3 兼容的多段上传

sj.aws.s3：SigV4 签名与基于 TLS 传输的多段上传客户端，把大产物推送到任何 S3 兼容存储。