PysolateExplained
打开文档导航
本科生解释查看 Markdown 源文件

当前限制与不应声称的能力

一句话

当前 Pysolate 包含 Current 的 fresh Wazero/Host authority core、显式 opt-in 的 Prepared Family 与 source-bound pass architecture，也包含 Experimental、default-off 和 Research-only lanes；它没有解决任意 Python 状态恢复、通用对象传输、跨平台 COW、自动 package/shard/pass 调度、生产级优化与外部 effect 回滚。

先看一个例子

Fixed NumPy prepared-data lane 可以提前读取一个身份、shape 和 dtype 都被冻结的 NPY 文件，再让 exact numpy.load occurrence 一次性 claim。

这不意味着用户可以换成任意 ndarray、pickle、pandas、远端数据库结果或自定义 Python object，然后期待系统自动 zero-copy materialize。前者是封闭实验合同，后者需要新的 schema、transport、authority、privacy、cleanup 和经济证据。

理解限制的关键是看“哪个 exact lane 被实现”，而不是看到一个相似名词就推导通用能力。

真实机制与限制

Python 与执行状态

  • 没有任意 Python frame、heap、module graph、WASI resource 或 native process checkpoint/restore。
  • Fresh Guest 不继承旧 hidden state，但仍支付启动成本，也可能观察 ambient clock/random。
  • Fixed tests 和 fixtures 不证明 arbitrary Python 兼容性或完整 determinism。

状态上，fresh Wazero Run 与 Host authority core 属于 Current；placement/native、prepared/COW、semantic overlap 和统一 profile 中的多项路径属于 Experimental 或 default-off；seeded workflow harness 属于 Research-only。这里的“已实现”不等于默认产品路径。

Prepared data 与 reuse

  • Object-bound claim 当前只覆盖 fixed numpy_npy_c_v1、固定 dtype/shape/profile 和 Host-authored copy bridge。
  • 不是 generic object ABI、zero-copy、arbitrary numpy.load、distributed cache 或 durable cross-Run blob store。
  • Whole-Run memoization、single-flight、typed result、prepared runtime、workspace lineage 和 COW 是不同机制，没有统一万能 cache。
  • NumPy result-reuse 的固定历史矩阵没有达到 break-even，因此没有 performance-default claim。
  • Prepared Family v1 只覆盖 bounded numpycodec ndarray 与有限 single-use member；它不安排 child、不重试、不选择或 merge workspace，也没有 fan-out 性能 claim。

Source-bound passes

  • passpipeline 是 registration/outcome shell，不是执行所有优化的统一 runtime，也不持有 Broker、workspace 或 transform authority。
  • 当前 runnable AST pass 只有 closed scalar lane 的 pure_scalar_cse 与 pure_scalar_fold；import、call、control flow、heap/identity observation 等会整条 not-applicable。
  • Plugin registry 是 compile-time static Go values，不是动态 loader；没有自动 pass ordering、conflict resolution、fixed-point、generic IR 或 cost model。
  • 两个 matched synthetic timing 都更慢，只支持 correctness/extensibility，不支持自然 workload 或一般 speedup。

Platform 与 backend

  • Private-COW 依赖 Linux memfd、seals 和 MAP_PRIVATE；非 Linux 没有同等实现。
  • Workspace Branch/Attempt 使用完整文件 copy，不是 filesystem COW 或自动 merge。
  • WASM/native 共享 authority 原则，但不是 byte-level 相同的 response/evidence runtime。
  • Native OCI/runsc 的真实部署依赖 host kernel、cgroup、mount、image 和权限环境；源码合同不等于 production security audit。

Packages、placement 与 productization

  • Package profile 是封闭 build/verification contract，不是 runtime package manager。
  • attrs-770、numpy-core 有构建或研究支持，不表示默认 router 已实现 generic multi-shard selection。
  • 没有 generic optimizer、automatic pass/overlap planner、distributed scheduler 或 production provenance service。
  • Store retention、crash recovery、跨进程 continuation 和无限期 approval/cold wait 都没有统一产品语义。

Evidence 与性能

  • Authored fixture 不代表 natural Agent workload；当前 natural census 还保留了 zero-opportunity/no-go 结果。
  • Prepared-data Phase 6 是 component timing 的 projected schedule，不是 observed event trace。
  • 旧 benchmark producer 不会因为报告被提交到当前 tree 就自动成为 current target evidence。
  • 当前没有对 EAGER 的 universal latency dominance、跨平台 speedup 或生产成本优势结论。

为什么重要

技术上： 明确 non-claims 能防止相邻 prototype 被错误拼成一个不存在的 production pipeline。新能力需要新增 owner、identity、failure semantics 和验证，而不能只扩大 API 名称。

产品和业务上： 团队可以把 Pysolate 当作研究和工程基础，评估哪些场景值得产品化；不能把 fixed fixture 的结果直接用于 SLA、成本预算或“支持所有 Python package”的承诺。

不能推出什么

不能声称：

  • “Pysolate 总是比 EAGER 快”；
  • “private-COW 是完整 Python snapshot”；
  • “prepared data 是通用 zero-copy ABI”；
  • “receipt 证明远端副作用一定发生或一定没发生”；
  • “当前 fixture 证明任意 Python 或 production Agent workload”；
  • “未来可能实现的方向已经由当前代码支持”。
  • “source pass 已吸收完整 stratum、并行工具调用、batch fusion 或其他论文系统”。

术语卡

  • Fixed lane：输入、schema、profile 和生命周期都被封闭的受限实现路径。
  • Non-claim：当前实现或证据明确不支持的结论。
  • Productization：补齐默认接入、运营、cleanup、故障和经济验证的产品化过程。
  • No-go evidence：保留停止条件或负结果、阻止无证据扩张的证据。
  • Production readiness：真实环境中的安全、可靠、兼容、性能和运营能力；当前文档不作该证明。

继续阅读