php die 跳转,php源码-die、exit函数执行过程

在php代码中我们会通过 die、exit函数来中断程序的执行，但是在fpm sapi模式下，这两个函数的执行并不会导致进程的退出，仅仅是结束当前request，这是如何做到的呢，要解答这个问题就要了解die、exit函数的执行原理

下面以exit为例说明， die函数和exit编译完后是同一个opcode

首先，我们定位下exit 的opcode handler函数， 不知道如何查找opcode handler的参考下这篇文章 php源码-如何查看opcode源码

exit对应的 opcode handler是 ZEND_EXIT_SPEC_UNUSED_HANDLER

static ZEND_OPCODE_HANDLER_RET ZEND_FASTCALL ZEND_EXIT_SPEC_UNUSED_HANDLER(ZEND_OPCODE_HANDLER_ARGS)

{

USE_OPLINE

SAVE_OPLINE();

if (IS_UNUSED != IS_UNUSED) {

zval *ptr = NULL;

do {

if (Z_TYPE_P(ptr) == IS_LONG) {

EG(exit_status) = Z_LVAL_P(ptr);

} else {

if ((IS_UNUSED & (IS_VAR|IS_CV)) && Z_ISREF_P(ptr)) {

ptr = Z_REFVAL_P(ptr);

if (Z_TYPE_P(ptr) == IS_LONG) {

EG(exit_status) = Z_LVAL_P(ptr);

break;

}

}

zend_print_variable(ptr);

}

} while (0);

}

zend_bailout(); //关键所在

ZEND_VM_NEXT_OPCODE(); /* Never reached */

}

这个函数里只有一句关键的代码，就是zend_bailout(), zend引擎就是通过这个来实现程序的中断的

#define zend_bailout() _zend_bailout(__FILE__, __LINE__)

ZEND_API ZEND_COLD void _zend_bailout(char *filename, uint lineno) /* {{{ */

{

if (!EG(bailout)) {

zend_output_debug_string(1, "%s(%d) : Bailed out without a bailout address!", filename, lineno);

exit(-1);

}

CG(unclean_shutdown) = 1;

CG(active_class_entry) = NULL;

CG(in_compilation) = 0;

EG(current_execute_data) = NULL;

LONGJMP(*EG(bailout), FAILURE); //关键点在这里，

}

# define SETJMP(a) setjmp(a)

# define LONGJMP(a,b) longjmp(a, b)

可以看到 zend_bailout 实际上执行的是 longjmp 。setjmp，longjmp 是C语言提供的标准异常处理模式，实现程序跳转。

那么 LONGJMP(*EG(bailout), FAILURE) 最终是跳到哪里去了呢 ？

以fpm sapi为例， 在 fpm_main.c中可以找到 php_execute_script() 函数的调用， 这个函数在fpm模式下，每个request都会调用一次

PHPAPI int php_execute_script(zend_file_handle *primary_file){

zend_try {

...

zend_execute_scripts()

...

}zend_end_try();

}

这里的关键就是 zend_try、zend_catch、zend_end_try 这三个宏是zend提供的处理异常和 die、exit这种函数的方法，其中zend_try 中就调用了 SETJMP 来设置 "跳转位置"

还有一个zend_first_try， 这个和zend_try的唯一区别是多了EG(bailout)=NULL;这么一句， 一般这个只在sapi启动的最开始调用一次

//zend.h 文件

#define zend_try \

{ \

JMP_BUF *__orig_bailout = EG(bailout); \

JMP_BUF __bailout; \

\

EG(bailout) = &__bailout; \

if (SETJMP(__bailout)==0) {

#define zend_catch \

} else { \

EG(bailout) = __orig_bailout;

#define zend_end_try() \

} \

EG(bailout) = __orig_bailout; \

}

#define zend_first_try EG(bailout)=NULL; zend_try