Skip to content

这是系统设计资料,不是产品宣传页

把 BitCal 当作一次重设计审查来读,而不是当作一张功能海报。

BitCal 把当前 vNext 工作组织成一套面向高级 C++ 读者的技术白皮书:公开模型、算法组织、分发边界、性能方法学、契约参考和研究对照连成一条证据链。

交付形态
Header-only
稳定接缝
<bitcal/bitcal.hpp>
当前基线
C++23 · x86-64 first

白皮书阅读契约

这个站点默认读者会先问六个问题,再决定要不要继续相信一个底层库:

  1. 公开模型是什么? BitCal 正在收敛到 bit_block<Bits>bit_viewconst_bit_view 与自由算法。
  2. 什么是稳定承诺? <bitcal/bitcal.hpp> 仍是唯一稳定 include seam。
  3. 实现自由从哪里开始? dispatch 与 kernel 位于公开契约之下。
  4. 性能到底证明了多少? 只对当前保留下来的 baseline 与 methodology 发言。
  5. 哪些页面可以当参考资料? Reference 用契约语言解释角色与语义,而不是逐个内部头文件导览。
  6. 设计依据来自哪里? Research 收录指令手册、论文与相关系统,用来支撑而不是装饰叙事。

公开模型速览

拥有者角色
bit_block<Bits>
借用者角色
bit_view / const_bit_view
行为中心
自由算法
实现边界
Dispatch + kernel layer

不是稳定用户身份的一部分。

首页不打算替代深层页面,它只负责告诉你阅读地图:

  • Guide 解释现在应该如何读这个项目;
  • Whitepaper 陈述架构论点;
  • Performance 把 baseline 与 methodology 分离;
  • Reference 说明公开契约表面;
  • Research 提供外部对照和资料来源;
  • Status 定义发布与支持边界。

证据姿态

为什么阅读顺序必须成立
稳定 include seam<bitcal/bitcal.hpp>公开模型bit_block、bit_view、const_bit_view、自由算法detail 层dispatch 启发式、x86-64 内核、标量回退、保留基准路径
BitCal 希望读者按架构 → 证据 → 契约 → 对照 → 状态边界的顺序形成判断。

这个站点刻意采用更窄、但更能自证的叙事:

  • C++23 baseline 是已经落下的设计前提,不是未来愿景。
  • x86-64-first posture 表示优化与性能解释优先集中在当前保有证据的目标平台。
  • Header-only 形态 并不意味着可以跳过验证路径、benchmark discipline 或支持边界说明。
  • Whitepaper-first 文档策略 要求架构、方法学和参考资料彼此连通,而不是被拆成营销页与源码注释两条线。

研究支点

  1. Intel Intrinsics Guide

    指令参考

    讨论 x86 SIMD 时,优先回到权威的指令级资料。

  2. Agner Fog optimization manuals

    微架构手册

    用来解释延迟、吞吐与 dispatch 策略为什么会改变底层库的真实表现。

  3. Sebastiano Vigna, Broadword Implementation of Rank/Select Queries

    Broadword 论文

    把位级语义与 word-parallel 技术路线连接起来,是理解算法设计的重要背景。

Whitepaper-first technical documentation for BitCal vNext.