Paddle 静态图模式

Paddle 静态图采用先编译、后执行的范式：Python 端构建 Program 描述计算逻辑，再由 Executor 将 Program 翻译为可调度的算子序列并执行。

Program 结构速查

ProgramDesc
 └─ blocks_: vector<BlockDesc>
      ├─ BlockDesc [0] (global block)
      │   ├─ ops_: vector<OpDesc>     ← 前向 + 反向 + 优化器算子
      │   └─ vars_: map<string, VarDesc>  ← 参数、中间变量、梯度
      └─ BlockDesc [1..N] (sub-blocks, 用于 while_op / cond 等控制流)

• ProgramDesc：顶层容器，持有 protobuf 描述和 BlockDesc 列表。
• BlockDesc：逻辑作用域，包含 OpDesc 序列和 VarDesc 字典。
• OpDesc：一个算子描述，记录类型、输入输出名称、属性。
• VarDesc：一个变量描述，记录名称、dtype、shape、持久化标记等。

执行器生命周期概览

[Graph Construction]         [Build Phase (once)]              [Scheduling / Execution]
                             ┌─────────────────────┐
 Python API ──► ProgramDesc  │ 1. BuildVariableScope│           work queue
   nn.Linear / optimizer     │    VarDesc → Variable │           ┌───────────┐
   append_op → OpDesc        │ 2. BuildOpFuncList    │──────────►│ async      │
                             │    OpDesc → OpFuncNode│           │ dispatch   │
                             │    (kernel select,    │           │ (thread    │
                             │     transfer insert)  │           │  pool)     │
                             │ 3. Convert            │           └───────────┘
                             │    dependency DAG      │           dep_count=0
                             │    stream schedule     │           → push queue
                             │    var lifetime / GC   │           → execute
                             └─────────────────────┘           → decrement deps

什么场景看什么文件

社区源码参考 (L3)

• Program / Block / Op / Var 描述：paddle/fluid/framework/program_desc.cc, block_desc.cc, op_desc.cc, var_desc.cc
• 新执行器入口：paddle/fluid/framework/new_executor/standalone_executor.cc
• InterpreterCore 实现：paddle/fluid/framework/new_executor/program_interpreter.cc
• StreamAnalyzer 流调度：paddle/fluid/framework/new_executor/stream_analyzer.cc

更多实现细节请参考 references/ 目录下的专题文档。