持久化与 Blueprint

July 25, 2026 · View on GitHub

语言:English · 中文

两条独立的序列化路径,不要混淆。

方法序列化什么典型用途
execution.save() / execution.load(saved)一次 execution 在某个时刻的运行时 state跨进程重启恢复,交给另一 worker
flow.save_blueprint() / flow.load_blueprint(blueprint)flow 定义的结构(chunk、分支、条件)把 flow 当配置 artifact 分发或版本控制

Execution save / load

save() 捕获可安全重启的 execution snapshot:

  • execution 的 state
  • lifecycle metadata(status、时间戳、run id)
  • pending interrupt state(如果碰到了 pause_for(...)
  • 顶层带版本的 execution snapshot,包含 TriggerFlow 系统进度、interrupt ledger、resume ledger、resource requirements 与 flow definition fingerprint
  • resource_keysresource_requirements —— 恢复时期望的 resource,但不含 live 值

捕获:

  • live runtime_resources 本体(不可序列化;见 State 与 Resources
  • 在途 chunk(不存在协程中段;在稳定状态保存)
  • 分布式存储所有权。TriggerFlow 记录 lease metadata,但持久化 store 仍负责 原子的 claim / compare-and-set 行为。
  • live object 自身状态。有状态 session、browser page、process handle、remote task 和 cache 需要外部 state ref 与 provider restore validation。
flow.declare_resource_requirement("approval_service")

execution = flow.create_execution(auto_close=False)
await execution.async_start("refund request")

saved_state = execution.save()
# 把 saved_state 持久化到某处(Redis、DB、文件等)

后续恢复(可能是另一个进程):

report = flow.create_execution(auto_close=False).inspect_load(
    saved_state,
    runtime_resources={"approval_service": new_approval_service},
)
if not report["ready"]:
    raise RuntimeError(report["diagnostics"])

restored = flow.create_execution(auto_close=False)
await restored.async_load(
    saved_state,
    runtime_resources={"approval_service": new_approval_service},
)

# 继续:emit、continue_with interrupt,再 close。
await restored.async_emit("UserFeedback", {"approved": True})
snapshot = await restored.async_close()

flow 定义两端必须一致(或兼容)。save() 会记录 flow_definition_fingerprint;如果 snapshot 缺少指纹或指纹与当前 flow 定义不匹配,inspect_load(...) 返回 status="invalid_snapshot"load(...) 会拒绝该 snapshot。load() 不会从 saved_state 重建 chunk 图, 要求 flow 已存在。

load(saved_state) 是同步 load 边界,适用于所需 resource 已经在当前进程中可用的 snapshot。重启或 worker handoff 路径使用 async_load(...),因为它会在继续运行前 校验缺失资源,并可重建 managed execution resources。

跨 pause_for 的恢复

flow.declare_resource_requirement("approval_service")

execution = flow.create_execution(auto_close=False)
await execution.async_start("topic")

# 此时 flow 可能已调 pause_for(...)
saved = execution.save()

# 几天后,另一 worker
restored = flow.create_execution(auto_close=False)
await restored.async_load(
    saved,
    runtime_resources={"approval_service": new_approval_service},
)

interrupt_id = next(iter(restored.get_pending_interrupts()))
await restored.async_continue_with(
    interrupt_id,
    {"approved": True},
    resume_request_id="approval-webhook-42",
)
snapshot = await restored.async_close()

get_pending_interrupts() 返回 pause_for(...) 创建的 interrupt id 集合。continue_with(id, payload) 解析一个 interrupt,并按该 interrupt 的 resume_to 目标继续图。 Webhook、队列或审批回调应传入稳定的 resume_request_id,这样重复投递可以被重放, 但不会把同一次 resume 派发两次。

投影已完成的 interrupt 历史

save() 默认保存完整值。对于 payload 较大、运行时间较长的 execution,可以显式 启用 schema v2 terminal-history digest projection:

execution.set_snapshot_projection_policy(
    terminal_value_mode="digest",
    min_value_bytes=4096,
)
saved = execution.save(require_idle=True)

Pending recovery state 始终保持完整。只有 terminal interrupt value 与 completed SignalNet resume metadata 可以被投影;canonical digest 会在 load 后继续保护相同与 冲突 resume_request_id callback 的判断。Execution 仍有 active work 时会 defer 投影。该配置不是整个 snapshot 的 byte 硬上限,也不会 compact 当前 state 或 last_signal

set_compaction_policy(...) 的作用域不同:它压缩 durable RuntimeEvent records, 并记录 segment、anchor 和 artifact facts;它不会压缩 execution snapshot 中的 interrupt、resume-ledger 或 SignalNet sections。

Snapshot stores

execution.async_save(store, ...) 会把当前 snapshot 写入任何实现了 put_snapshot(run_id, state, *, step_id=None) 的 store。Durable snapshot store 也可以暴露 get_snapshot(run_id),返回可传给 load(...) / async_load(...) 的 snapshot state。TriggerFlow 提供 snapshot 契约;生产级 store 负责持久留存、 原子 claim、lease enforcement 和冲突处理。

execution.claim_lease("worker-a", lease_ttl=30)
await execution.async_save(store)

saved = await store.get_snapshot(execution.run_id)
assert saved is not None
restored = flow.create_execution(auto_close=False)
await restored.async_load(
    saved,
    runtime_resources={"approval_service": approval_service},
)

底层 store API 必须显式传 run_id,因为 store 并不拥有 execution context。 execution.async_save(...)run_id 则不是必要输入:execution 会默认使用 execution.run_id,该值也会出现在 execution.result.get_meta() 中。只有宿主 明确拥有另一套恢复身份时,才需要显式传 run_id=...

内置 local RecordStore 默认按每个 run_id 只保留最新 3 份 execution snapshot。 可在创建 RecordStore 时配置 provider policy:

store = RecordStore(
    "./recovery",
    mode="read_write",
    snapshot_retention={"keep_last": 5},
)

{"keep_last": None} 会关闭自动清理。Execution 也可以覆盖 provider policy;该 override 本身会随 save/load 保存和恢复:

execution.set_snapshot_retention_policy(keep_last=2)
await execution.async_save(store)

Execution policy 优先于 provider policy。自动清理只应用于 execution snapshot 写入;普通 put_checkpoint(...) 不会被隐式裁剪。

如果要在保持 execution 可恢复的同时主动回收旧版本:

# 自动使用 execution.run_id,并要求 execution 当前处于 idle。
report = await execution.async_prune_recovery_snapshots(keep_last=1)

# 离线/provider 管理必须显式给出 identity。
report = await store.prune_snapshots(execution.run_id, keep_last=1)

两个 API 都会保留指定数量的最新恢复点,并返回删除 record 数和回收字节数;它们 不会 close 或 cancel execution。完整删除恢复数据仍使用明确的 provider 操作 store.delete_snapshot(run_id);正常 terminal async_close() 也会清理该 execution 的恢复 snapshots。

应把 execution snapshot 视作运行时恢复数据:用于进程重启、worker handoff,以及 断开式等待后的继续执行。它不是订单、审批或其他领域对象的业务审计日志,也不应成为 业务事实的持久化 source of truth。确定性的业务状态应写入应用自己的数据库或其他 业务 owner 存储;持久历史使用 RuntimeEvents 或专门的审计记录。Snapshot projection、snapshot 物理版本 retention 与 RuntimeEvent compaction 是三套独立 policy。

execution snapshot 刻意基于 resource key。可序列化的 resource requirements 可以被 持久化和检查,但 client、callback、task、semaphore 与 coroutine frame 必须由恢复端重新创建。

Flow blueprint save / load

blueprint 序列化 flow 的结构 —— chunk 引用、分支、条件 —— 但不含 chunk 函数体(仍在代码里)。

def upper(data):
    return str(data.input).upper()

def store(data):
    return data.async_set_state("output", data.input)

source = TriggerFlow(name="source")
source.register_chunk_handler(upper)
source.register_chunk_handler(store)
source.to(upper).to(store)

blueprint = source.save_blueprint()  # dict,可 JSON / YAML 序列化

另一端恢复:

restored = TriggerFlow(name="restored")
restored.register_chunk_handler(upper)   # 同名函数体必须可用
restored.register_chunk_handler(store)
restored.load_blueprint(blueprint)

关键约束:blueprint 用到的 chunk 必须在恢复端按相同 handler 名注册。没 register_chunk_handler(...) loader 无法把名映回函数,load 失败。

服务化推荐封装

服务代码优先使用这种封装形态:

  1. 把完整 flow 定义放在可 import 的模块里:模块级 TriggerFlow(...)、模块级 chunks,以及模块级 .to(...) / .when(...) 装配。
  2. 服务层 import 这个 flow 对象,并从它创建 execution。
  3. live 依赖由宿主 factory 或 importable resolver 创建。
  4. flow 或 execution 的 runtime_resources 只作为最后一步,把已经创建、恢复并校验过的 live object 挂到当前进程里的 execution。
  5. 单次请求的业务中间值放 execution state,不要放 flow_data
# my_app/policy_flow.py
from agently import TriggerFlow


policy_flow = TriggerFlow(name="policy")


@policy_flow.chunk
async def analyze(data):
    agent_factory = data.require_resource("agent_factory")
    prompts_path = data.require_resource("prompts_path")
    question = data.input
    await data.async_set_state("question", question, emit=False)
    agent = agent_factory()
    return agent.load_yaml_prompt(
        prompts_path,
        prompt_key_path="analyze",
        mappings={"question": question},
    ).start()


@policy_flow.chunk
async def answer(data):
    policy_doc = data.require_resource("policy_doc")
    question = data.get_state("question")
    response = f"{policy_doc}\n\nQ: {question}"
    await data.async_set_state("answer", response, emit=False)
    await data.async_emit("POLICY_ANSWERED", {"question": question})
    return response


@policy_flow.chunk
async def audit_answer(data):
    await data.async_set_state(
        "audit",
        {"event": data.event, "question": data.value["question"]},
        emit=False,
    )


policy_flow.to(analyze).to(answer)
policy_flow.when("POLICY_ANSWERED").to(audit_answer)
# my_app/api.py
from my_app.policy_flow import policy_flow


snapshot = await policy_flow.async_start(
    "travel subsidy?",
    runtime_resources={
        "agent_factory": make_agent,
        "prompts_path": PROMPTS_DIR / "policy.yaml",
        "policy_doc": tenant_policy_doc,
    },
)

这种写法让完整 workflow 在一个模块里可见。正常 Python import 会按相同模块名在每个进程里 执行一次模块顶层代码,所以重复 from my_app.policy_flow import policy_flow 不会重复执行 .to(...).when(...) 装配。TriggerFlow 的重复定义保护是第二层防线,用来处理 应用代码显式把同一段装配再次执行到同一个 flow 对象上的情况。同一个函数承担两个业务 stage 时, 用 name=... 显式区分。

有限请求/响应 workflow 可以用 async_start(...)。如果 flow 会 pause、等待外部 callback, 或需要之后 save/load,应使用 flow.create_execution(auto_close=False) 创建显式 execution, 让服务可以保存 snapshot 并通过 execution handle 恢复。

运行时由模型生成或应用提交的 To-Do/DAG data 应使用 TaskDAG / DynamicTask,先校验图 再执行;不要把这些运行时数据直接编译成新的 TriggerFlow definitions。TriggerFlow 仍是 TaskDAGExecutor 下层的执行基座;由可信应用源码拥有的稳定可复用 workflow template 仍然是模块级 TriggerFlow definition。每个提交图及其结果应限定在所属 TaskDAG run 内,不要放入共享 flow_data,也不要修改 main flow definition。

何时用 blueprint

  • 用 YAML / JSON 配置声明式作 flow 并在启动时 load。
  • 把 flow 结构与 handler 代码分开版本管理。
  • 把 flow 分发到多个已经有 chunk 实现的 worker。

何时用 blueprint

  • 一次性脚本。直接 Python 写 flow。
  • 与没有 handler 代码的消费者共享。Blueprint 不自包含。

save vs save_blueprint 对照

Flow 定义(chunk、分支、条件)

        ├── save_blueprint()  →  描述图结构的 dict


   create_execution()  ────►  一个 Execution

                                  ├── save()  →  描述该 execution 状态的 dict


                              async_close() → close snapshot

两条路径都返回 JSON 友好 dict。存储后端(Redis、Postgres、S3、文件)由应用层选 —— 框架不带后端。

实用模式

单服务器恢复

flow.declare_resource_requirement("approval_service")

saved = execution.save()
redis.set(f"flow:{exec_id}", json.dumps(saved))

# 后续
saved = json.loads(redis.get(f"flow:{exec_id}"))
restored = flow.create_execution(auto_close=False)
await restored.async_load(
    saved,
    runtime_resources={"approval_service": approval_service},
)

分布式 worker 拉起

把 blueprint(存一次)和 execution snapshot(每个 execution 存一份)配对。 worker load 并继续运行前,持久化 store 应先原子分配所有权:

blueprint = source_flow.save_blueprint()
db.save("flow_blueprints", blueprint_id, blueprint)

# worker 中
saved = await snapshot_store.claim(run_id, owner_id=worker_id)
# claim(...) 是应用/provider 自己定义的;它应返回已 claim 的 snapshot state,
# 或返回 worker 在 async_load(...) 前会解析成 state 的 ref。

flow = TriggerFlow(name="loaded")
register_all_handlers(flow)            # 你的注册入口
flow.load_blueprint(db.load("flow_blueprints", blueprint_id))

execution = flow.create_execution(auto_close=False)
await execution.async_load(
    saved,
    runtime_resources=runtime_resources_for(saved),
)
execution.claim_lease(worker_id, lease_ttl=30)

Snapshot 给 TriggerFlow 图状态。Blueprint 或 import 的模块给目标进程同一个图定义。 runtime_resources_for(...) 只能挂载宿主已经创建、恢复并校验过的 live object。 Lease、store-level compare-and-set、外部 wait outbox 顺序和有状态 live object 恢复 仍是 provider 或宿主职责。

另见