PHP、GDB、および配列

やる気

$arr = []; for ($i =0; $i < 300; $i++) { $arr[rand(1,1000)] = 1; } $sum = 0; for ($i = 1001; $i < 200000000; $i++){ if (array_key_exists($i, $arr)){ $sum++; } } 

 $arr = []; for ($i =0; $i < 300; $i++) { $arr[rand(1,1000)] = 1; } sort($arr); $sum = 0; for ($i = 1001; $i < 200000000; $i++){ if (array_key_exists($i, $arr)){ $sum++; } } 

環境をカスタマイズする

• PHPソース
• gdbデバッガー。
• php自体がデバッグmodにコンパイルされました。

 git clone https://git.php.net/repository/php-src.git cd php-src git checkout -b PHP-7.1 origin/PHP-7.1 

 sudo apt-get install build-essential autoconf automake libtool 

 ./buildconf ./configure --disable-all --enable-debug –prefix=$HOME/dev/bin/php make && make install 

検索を開始する

 /* {{{ proto bool array_key_exists(mixed key, array search) Checks if the given key or index exists in the array */ PHP_FUNCTION(array_key_exists) { zval *key; /* key to check for */ HashTable *array; /* array to check in */ ZEND_PARSE_PARAMETERS_START(2, 2) Z_PARAM_ZVAL(key) Z_PARAM_ARRAY_OR_OBJECT_HT(array) ZEND_PARSE_PARAMETERS_END(); switch (Z_TYPE_P(key)) { case IS_STRING: if (zend_symtable_exists_ind(array, Z_STR_P(key))) { RETURN_TRUE; } RETURN_FALSE; case IS_LONG: if (zend_hash_index_exists(array, Z_LVAL_P(key))) { RETURN_TRUE; } RETURN_FALSE; case IS_NULL: if (zend_hash_exists_ind(array, ZSTR_EMPTY_ALLOC())) { RETURN_TRUE; } RETURN_FALSE; default: php_error_docref(NULL, E_WARNING, "The first argument should be either a string or an integer"); RETURN_FALSE; } } 

 ZEND_API zend_bool ZEND_FASTCALL zend_hash_index_exists(const HashTable *ht, zend_ulong h) { Bucket *p; IS_CONSISTENT(ht); if (ht->u.flags & HASH_FLAG_PACKED) { if (h < ht->nNumUsed) { if (Z_TYPE(ht->arData[h].val) != IS_UNDEF) { return 1; } } return 0; } p = zend_hash_index_find_bucket(ht, h); return p ? 1 : 0; } 

デバジム

 gdb --args /home/your_pc/dev/bin/php/bin/php /home/your_pc/array_w_sort_test.php 

 (gdb) source ~/dev/c/php-src/.gdbinit 

 (gdb) help user-defined 

 (gdb) break zend_hash_index_exists 

 (gdb) run 

 (gdb) run Starting program: /home/your_pc/dev/bin/php/bin/php /home/your_pc/array_w_sort_test.php Breakpoint 1, zend_hash_index_exists (ht=0x7ffff7059780, h=1001) at /home/your_pc/dev/c/php-src/Zend/zend_hash.c:2030 2030 IS_CONSISTENT(ht); 

 (gdb) zbacktrace 

 [0x7ffff7015240] array_key_exists(1001, array(251)[0x7ffff70152a0]) [internal function] [0x7ffff7015030] (main) /home/your_pc/array_w_sort_test.php:14 

 (gdb) next 

 (gdb) step 

 (gdb) info args ht = 0x7ffff7059780 h = 1001 

 if (ht->u.flags & HASH_FLAG_PACKED) { 

PHPテーブルのハッシュの構造について少し。

 (gdb) ptype ht type = const struct _zend_array { zend_refcounted_h gc; union { struct {...} v; uint32_t flags; } u; uint32_t nTableMask; Bucket *arData; uint32_t nNumUsed; uint32_t nNumOfElements; uint32_t nTableSize; uint32_t nInternalPointer; zend_long nNextFreeElement; dtor_func_t pDestructor; } * 

• arData -Cバケットを含む配列。 Bucket-zvalを含むC構造体-格納された要素、php配列のキー、およびこのキーのハッシュも数値として。
• NnumUsed - arData + 1配列の最大ビジーインデックス。
• u.flags-各ビットがフラグに対応する符号付き整数なし。
• さらに、構造を注意深く見て、キーハッシュがarData配列にどのようにマッピングされるかを尋ねますか？ これを行うために、PHP開発者は変換テーブルを使用します 。 arData配列（ arData [-1] 、 arData [-2]など）の「背後」に保存され、 arData配列のインデックスへのハッシュのマッピングです。
• 最後に、ハッシュ操作は整数キーには適用されず、テーブルのハッシュキーに「そのまま」変換されることを知っておく必要があります。

コードに戻る

 (gdb) print ht->u.flags $1 = 30 

 if (h < ht->nNumUsed) { if (Z_TYPE(ht->arData[h].val) != IS_UNDEF) { return 1; } } return 0; 

 p = zend_hash_index_find_bucket(ht, h);