PHP 内核分析（2）：ZTS和zend_try

栏目: PHP · 发布时间: 7年前

内容简介：这里阅读的php版本为PHP-7.1.0 RC3，阅读代码的平台为linux

这里阅读的 php 版本为PHP-7.1.0 RC3，阅读代码的平台为linux

ZTS

我们会看到文章中有很多地方是:

#ifdef ZTS
# define CG(v) ZEND_TSRMG(compiler_globals_id, zend_compiler_globals *, v)
#else
# define CG(v) (compiler_globals.v)
extern ZEND_API struct _zend_compiler_globals compiler_globals;
#endif

#ifdef ZTS

# define CG(v) ZEND_TSRMG(compiler_globals_id, zend_compiler_globals *, v)

#else

# define CG(v) (compiler_globals.v)

extern ZEND_API struct _zend_compiler_globals compiler_globals;

#endif

这里的ZTS是个什么概念呢。我们经常使用的php都是运行在单进程，单线程环境，比如cgi，都是一个请求进来，就一个进程为它服务，当请求结束了，进程也就结束了。所以比如像全局变量，php内核就没有考虑多线程同时修改获取的时候线程安全问题。后来，php渐渐也在往单进程多线程服务器方向发展。那么这个时候，就会需要有一个层来专门处理线程安全问题。这个就是TSRM(Thread Safe Resource Management)。

但是php默认是关闭线程安全的。在编译的时候，你可以指定参数开启编译一个线程安全版本的php。（–enable-maintainer-zts 选项， Windows 平台为 –enable-zts）这个就是这里的ZTS的由来。

比如上面的例子，CG(V) 在非线程安全下获取的是全局结构compiler_globals结构的v属性，在线程安全下获取的是通过ZEND_TSREMG方法来获取。

zend_try

我们会看到zend_try_catch相关的代码如下：

    zend_try {
        ...exec_try
    } zend_catch {
        ...exec_catch
    } zend_end_try();

zend_try {

...exec_try

} zend_catch {

...exec_catch

} zend_end_try();

把宏展开，我们可以看到大概代码如下：

{                                                            
        JMP_BUF *__orig_bailout = EG(bailout);                    
        JMP_BUF __bailout;                                        
                                                                
        EG(bailout) = &__bailout;                                
        if (SETJMP(__bailout)==0) {
          {
               ...exec_try
          }
        } else {                                                
            EG(bailout) = __orig_bailout;
           {
               ...exec_catch
           }
       }                                                        
       EG(bailout) = __orig_bailout;                            
}

{

JMP_BUF *__orig_bailout = EG(bailout);

JMP_BUF __bailout;

EG(bailout) = &__bailout;

if (SETJMP(__bailout)==0) {

{

...exec_try

}

} else {

EG(bailout) = __orig_bailout;

{

...exec_catch

}

EG(bailout) = __orig_bailout;

}

这个是什么意思呢，需要先理解下setjmp和longjmp，这两个函数是 linux 提供的方法。他们是组合起来使用的，达到协同程序的功能

#include 
#include 
jmp_buf env;
void foo() {
    printf("before jmpn");
    int ret = setjmp(env);
    if(ret == 0) {
        return;
    } else {
        printf("return %dn", ret);
    }
    printf("after jmpn");
}
int main(int argc, char* argv[]) {
    foo();
    longjmp(env, 999);
    return 0;
}

// 输出：
/*
before jmp
return 999
after jmp
*/

#include

jmp_buf env;

void foo() {

printf("before jmpn");

int ret = setjmp(env);

if(ret == 0) {

return;

} else {

printf("return %dn", ret);

}

printf("after jmpn");

}

int main(int argc, char* argv[]) {

foo();

longjmp(env, 999);

return 0;

}

// 输出：

before jmp

return 999

after jmp

上面的这个例子，setjmp的时候相当于程序片段1把主动权交出来，然后执行if(ret == 0)下面的程序，直到遇到longjmp，把执行权还给了片段1，并且设置jmp_buf为999，片段1继续执行，发现了ret!=0，就输出return 999。

好了，回到这个程序:

{                                                            
        JMP_BUF *__orig_bailout = EG(bailout);                    
        JMP_BUF __bailout;                                        
                                                                
        EG(bailout) = &__bailout;                                
        if (SETJMP(__bailout)==0) {
          {
               ...exec_try
          }
        } else {                                                
            EG(bailout) = __orig_bailout;
           {
               ...exec_catch
           }
       }                                                        
       EG(bailout) = __orig_bailout;                            
}

{

JMP_BUF *__orig_bailout = EG(bailout);

JMP_BUF __bailout;

EG(bailout) = &__bailout;

if (SETJMP(__bailout)==0) {

{

...exec_try

}

} else {

EG(bailout) = __orig_bailout;

{

...exec_catch

}

EG(bailout) = __orig_bailout;

}

这个程序里面的exec_try代码段里面，在遇到错误的时候，需要返回的时候，就会包含一个longjmp函数的调用。这样，就形成了我们平时调用try…catch…finnal的功能：
1 先保存全局变量里面的bailout
2 使用setjmp来做跳转执行下面的程序
3 执行exec_try
4 如果exec_try这个代码段里面有longjmp，并且longjmp返回非0（一般也确实非0），就执行exec_catch
5 最后，把全局变量里面的bailout恢复

这里可能会有两个疑惑，如果exec_try里面没有longjmp怎么办，那就直接只执行了exec_try，就跳过exec_catch了。这个也是标准的用setjmp和longjmp实现try catch的写法。

这两个的实现弥补了goto关键字只能在函数内部进行跳转的限制。这个叫做“长跳转”。

所以在PHP代码中，如果你执行的函数有可能抛出异常。不妨使用这个方式把你要执行的程序放在里面。

参考

http://blog.lucode.net/skills/talk-about-setjmp-and-longjmp.html

原文出处：叶剑峰

以上就是本文的全部内容，希望对大家的学习有所帮助，也希望大家多多支持码农网

查看所有标签

猜你喜欢:

本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。

码农书籍

算法Ⅰ~Ⅳ(C++实现):基础、数据结构、排序和搜索

Sedgewick / 高等教育出版社 / 2002-1 / 49.00元

本书通过C++实现方案以简洁、直接的方式对书中的算法和数据结构进行表述，并向学生提供在实际应用中验证这种方法的手段。　　本书广泛地论述了与排序、搜索及相关应用有关的基本数据结构和算法。覆盖了数组、链表、串、树和其他基本数据结构，更多地强调抽象数据类型(ADT)、模块化程序设计、面向对象程序设计和C++类。本书包括排序、选择、优先队列ADT实现和符号表ADT(搜索)实现，配有帮助学生学习计算......一起来看看《算法Ⅰ~Ⅳ(C++实现):基础、数据结构、排序和搜索》这本书的介绍吧!

码农工具