04-safe-optimization:模块说明
解释 Pysolate 如何在不提前提交逻辑 effect 的情况下优化。
本模块解释点
- Candidate、Qualified、Physical 与 Logical:为什么“代码里可能会调用”“Host 已做完准备”和“程序逻辑上已经调用”是三件事?
- 流式 source 与最终代码身份:代码还在生成时,Host 怎样提前分析前缀又避免绑定到错误的最终程序?
- Semantic pre-dispatch:Host 怎样安全地提前开始一个 read-like 操作?
- Prepared data 与一次性 object claim:Host 提前读取和解码的数据,怎样交给恰好对应的 Guest 调用?
- Reuse 不是一个通用 Cache:memoization、single-flight、typed result、prepared runtime 和 workspace reuse 分别复用什么?
- Prepared runtime 与 private-COW:怎样减少 fresh Guest 的初始化成本,同时隔离每个 consumer 的修改?