PR types

Others

PR changes

Others

Description

Pcard-67164

为控制流OP反向执行相关算子在执行器初始化部分添加相应行为。
执行思路：
stack_create_op、tuple_push_op、tuple_pop_op、has_elements_op 是需要在执行期间执行的四个算子：

• stack, inlet, outlet = stack_create_op()：
  • 向 “根Scope” 中创建一个 Variable。
  • Variable只需要创建一次，所以在BuildScope阶段完成。
• tuple_push_op(inlet, var)：
  • 语义是将输入 var 拷贝到 inlet 对应的 stack 中，if不需要改变 var 的值，因此这里可以是浅拷贝，但 while 每轮需要改变 var 的值，所以需要深拷贝。这里先统一为深拷贝。操作：向该执行器的 “根 Scope” 中创建一个 copy_var，然后将 copy_var* push_back 到 inlet 对应的 stack 中（std::vector<Variable*>），并将 copy_var 的信息更新同步到 TuplePushInstruction、parent_exe_info 中。
  • gc：不可以 gc copy_var，但copy_var没有ref op，没有被添加进GcCheckVars，gc逻辑不需要特殊管理
• var = tuple_pop_op(outlet)：
  • 语义是根据 outlet 对应的 stack，从中 pop 出 var，考虑到 BuildScope 的过程是在执行之前，BuildScope 的过程中会给 tuple_pop_op 的输出创建对应的 var，因此 TuplePopInstruction 需要将 pop 出来的 var share_data 给 BuildScope 过程中已创建好的 var。
  • gc：其 gc 需要特殊处理，执行结束后，CheckGc 的逻辑中，需要将这一轮 pop 出来的 copy_var 直接 gc 掉（由于没有ref，所以添加eager_gc方法）。BuildScope 过程中创建出的 var不需要特殊管理。
• var = has_elements_op(stack)：
  • 语义是判断 stack 中是否还有元素，用于判断while循环是否结束。设计一个 HasElementInstruction，该 Instruction 需要包含两个 Variable，一个是输入 stack ，一个输出 bool 类型Variable，该 Variable 在 BuildScope 过程中创建，其执行过程就是：判断 stack 个数是否为0，将结果（bool）赋值给输出 Variable的DenseTensor.data()
  • gc：其 gc 逻辑不需要特殊管理