【PHP核心學習】global關鍵字的解析過程分析

本文github地址：

https://github.com/wusuopubupt/phpLib/blob/master/global%E5%85%B3%E9%94%AE%E5%AD%97%E7%9A%84%E8%A7%A3%E6%9E%90%E8%BF%87%E7%A8%8B%E5%88%86%E6%9E%90

          
              |=-----------------------------------------------------------------------=|          
          
              |=--------------------=[ global關鍵字的解析過程分析 ]=-------------------=|          
          
              |=-----------------------------------------------------------------------=|          
          
              |=--------------------------=[  by d4shman  ]=---------------------------=|          
          
              |=-----------------------------------------------------------------------=|          
          
              |=-------------------------=[  May 8, 2014  ]=---------------------------=|          
          
              |=-----------------------------------------------------------------------=|          
          
              
          
          
              [目錄]          
          
              0x01 詞法分析           
          
              0X02 文法分析          
          
              0X03 解釋執行          
          
              0X04 參考文獻          
          
              
          
          
              0x01 詞法分析          
          
              
          
          
              d4shman@gentoo# vi /php-dev/php-5.4.8/Zend/zend_language_scanner.l          
          
              找到global：          
          
              
          
          
                  "global" {          
          
                      return T_GLOBAl;          
          
                  }          
          
              發現返回一個token T_GLOBAL          
          
              
          
          
              0X02 文法分析          
          
              
          
          
              通過token T_GLOBAL來到zend_language_parser.y找到：          
          
                  |   T_GLOBAL global_var_list ';'          
          
              
          
          
                  global_var_list:          
          
                          global_var_list ',' global_var  { zend_do_fetch_global_variable(&$3, NULL, ZEND_FETCH_GLOBAL_LOCK TSRMLS_CC); }          
          
                      |   global_var                      { zend_do_fetch_global_variable(&$1, NULL, ZEND_FETCH_GLOBAL_LOCK TSRMLS_CC); }          
          
                  ;          
          
              上面的$3指的是global_val，可以看到，對於全域變數，文法分析器調用的是Zend引擎          
          
              的zend_do_fetch_globa_variable函數。此函數的聲明在Zend/zend_compile.c          
          
              
          
          
              0X03 解釋執行          
          
              
          
          
                  在Zend/zend_compile.c中找到zend_do_fetch_global_variable函數定義：          
          
              
          
          
                  void zend_do_fetch_global_variable(znode *varname, const znode *static_assignment, int fetch_type TSRMLS_DC)           
          
                  {          
          
                      zend_op *opline;          
          
                      znode lval;          
          
                      znode result;          
          
              
          
          
              /*如果變數類型是常量且不是字串，則將其轉化成字串類型*/          
          
                      if (varname->op_type == IS_CONST) {            
          
                          if (Z_TYPE(varname->u.constant) != IS_STRING) {          
          
                              convert_to_string(&varname->u.constant);          
          
                          }          
          
                      }          
          
                            
          
                      opline = get_next_op(CG(active_op_array) TSRMLS_CC); /* CG: compile_global */          
          
                      opline->opcode = ZEND_FETCH_W;      /* 預設的模式必須是Write */          
          
                      opline->result_type = IS_VAR;          
          
                      opline->result.var = get_temporary_variable(CG(active_op_array));          
          
                      SET_NODE(opline->op1, varname);          
          
                      if (opline->op1_type == IS_CONST) {          
          
                          CALCULATE_LITERAL_HASH(opline->op1.constant);          
          
                      }          
          
                      SET_UNUSED(opline->op2);          
          
                      opline->extended_value = fetch_type;          
          
                      GET_NODE(&result, opline->result);          
          
                            
          
                      if (varname->op_type == IS_CONST) {          
          
                          zval_copy_ctor(&varname->u.constant);          
          
                      }          
          
              /* Relies on the fact that the default fetch is BP_VAR_W */          
          
                      fetch_simple_variable(&lval, varname, 0 TSRMLS_CC);           
          
                            
          
                      zend_do_assign_ref(NULL, &lval, &result TSRMLS_CC);          
          
                      CG(active_op_array)->opcodes[CG(active_op_array)->last-1].result_type |= EXT_TYPE_UNUSED;          
          
                  }          
          
              
          
          
                  上面的代碼確認了opcode為ZEND_FETCH_W外，還執行了zend_do_assign_ref函數。zend_do_assign_ref函數中          
          
              有這麼一個關鍵語句：          
          
              
          
          
                  opline->opcode = ZEND_ASSIGN_REF;          
          
              
          
          
                  由此可知，文法分析過程中，實際執行了2個opcode: ZEND_FETCH_W和ZEND_ASSIGN_REF，在zend_vm_opcodes.h          
          
              中發現，它們對應的opcode分別是83和39。而計算最後調用的方法是(定義在zend_execute.c:)：          
          
              
          
          
                  zend_opcode_handlers[opcode * 25 + zend_vm_decode[op->op1.op_type] * 5 + zend_vm_decode[op->op2.op_type]];          
          
              
          
          
                  計算後（///////////我沒搞清楚是怎麼計算出的//////////）,得到調用的函數是：          
          
              
          
          
                  static int ZEND_FASTCALL  ZEND_FETCH_W_SPEC_CV_HANDLER(ZEND_OPCODE_HANDLER_ARGS)          
          
                  {          
          
                      return zend_fetch_var_address_helper_SPEC_CV(BP_VAR_W, ZEND_OPCODE_HANDLER_ARGS_PASSTHRU);          
          
                  }          
          
              
          
          
                  在zend_fetch_var_address_helper_SPEC_CV中調用如下代碼擷取符號表：          
          
              
          
          
                  target_symbol_table = zend_get_target_symbol_table(opline, EX(Ts), type, varname TSRMLS_CC);          
          
              
          
          
              zend_get_target_symbol_table函數的實現如下（在）：          
          
              
          
          
                  static inline HashTable *zend_get_target_symbol_table(int fetch_type TSRMLS_DC)          
          
                  {          
          
                      switch (fetch_type) {          
          
                          case ZEND_FETCH_LOCAL:            
          
                              if (!EG(active_symbol_table)) {          
          
                                  zend_rebuild_symbol_table(TSRMLS_C);          
          
                              }          
          
                              return EG(active_symbol_table);          
          
                              break;          
          
                          case ZEND_FETCH_GLOBAL:          
          
                          case ZEND_FETCH_GLOBAL_LOCK:          
          
                              return &EG(symbol_table); /*返回global 變數符號表的地址*/          
          
                              break;          
          
                          case ZEND_FETCH_STATIC:          
          
                              if (!EG(active_op_array)->static_variables) {          
          
                                  ALLOC_HASHTABLE(EG(active_op_array)->static_variables);          
          
                                  zend_hash_init(EG(active_op_array)->static_variables, 2, NULL, ZVAL_PTR_DTOR, 0);          
          
                              }          
          
                              return EG(active_op_array)->static_variables;          
          
                              break;          
          
                          EMPTY_SWITCH_DEFAULT_CASE()          
          
                      }          
          
                      return NULL;          
          
                  }          
          
              
          
          
              通過代碼可以看到，當傳遞過來的fetch_type是ZEND_FETCH_GLOBAL(_LOCK)時，函數使用EG(excutor_global)宏          
          
              返回了global變數的符號表地址。          
          
              
          
          
                  以上就是global變數解析執行的整個過程。          
          
              
          
          
              0X04 參考文獻          
          
              
          
          
              《深入理解PHP核心》          
          
              
          
          
              
          
          
              
          
          
              
          
          
                            

