Zend 引擎执行器的核心代码

ZEND_API void execute(zend_op_array *op_array TSRMLS_DC)
{
// 初始化执行上下文
zend_execute_data execute_data;

// 如果有异常就退出执行
if (EG(exception)) {
return;
}

/* Initialize execute_data */
EX(fbc) = NULL; // 初始化正在调用的函数
EX(object) = NULL; // 初始化正在调用的对象
EX(old_error_reporting) = NULL; // 初始化错误报告变量

// 为执行栈分配空间
if (op_array->T < TEMP_VAR_STACK_LIMIT) {
EX(Ts) = (temp_variable *) do_alloca(sizeof(temp_variable) * op_array->T);
} else {
EX(Ts) = (temp_variable *) safe_emalloc(sizeof(temp_variable), op_array->T, 0);
}
// 为临时变量分配空间并初始化这些空间
EX(CVs) = (zval***)do_alloca(sizeof(zval**) * op_array->last_var);
memset(EX(CVs), 0, sizeof(zval**) * op_array->last_var);

EX(op_array) = op_array;

// 切换执行上下文
EX(original_in_execution) = EG(in_execution);
EX(symbol_table) = EG(active_symbol_table);
EX(prev_execute_data) = EG(current_execute_data); // 将当前全局变量中的执行数据压栈
EG(current_execute_data) = &execute_data; // 将当前执行上下文压栈

EG(in_execution) = 1;
// 初始化第一个指令(opcode)
/*
#define ZEND_VM_SET_OPCODE(new_op) \
CHECK_SYMBOL_TABLES() \
EX(opline) = new_op

execute_data.opline 为当前执行的 opcode
*/
if (op_array->start_op) {
ZEND_VM_SET_OPCODE(op_array->start_op);
} else {
ZEND_VM_SET_OPCODE(op_array->opcodes);
}

if (op_array->uses_this && EG(This)) {
EG(This)->refcount++; /* For $this pointer */
if (zend_hash_add(EG(active_symbol_table), "this", sizeof("this"), &EG(This), sizeof(zval *), NULL)==FAILURE) {
EG(This)->refcount--;
}
}

// 将存储opline的内存地址赋给 executor_globals.online_ptr ，可以实时跟踪opcode的执行
EG(opline_ptr) = &EX(opline);

EX(function_state).function = (zend_function *) op_array;
EG(function_state_ptr) = &EX(function_state);
#if ZEND_DEBUG
/* function_state.function_symbol_table is saved as-is to a stack,
* which is an intentional UMR. Shut it up if we're in DEBUG.
*/
EX(function_state).function_symbol_table = NULL;
#endif

while (1) {
#ifdef ZEND_WIN32
if (EG(timed_out)) {
zend_timeout(0);
}
#endif

// 循环调用每个opline的 handler 函数，如果是推出函数的话，返回值大于0，就退出
if (EX(opline)->handler(&execute_data TSRMLS_CC) > 0) {
return;
}

}
zend_error_noreturn(E_ERROR, "Arrived at end of main loop which shouldn't happen");
}