Discutez du mécanisme de récupération de place de PHP7

PHP7La colonne présente le mécanisme de collecte des ordures

Recommandé (gratuit ) : PHP7

Répertoire des articles

• Structure Zval
• Circulaire référence Fuites de mémoire causées
• Processus de recyclage de l'objet et du tableau
• • Principe de collecte des ordures
  • Exemples

Lors de la compréhension de notre GC php, je pense qu'il est nécessaire pour moi de présenter l'implémentation sous-jacente de nos variables php.

La structure de zval

// php 变量对于的c结构体
struct _zval_struct {
    zend_value value;
    union {
       ……
    } u1;
    union {
        ……
    } u2;
};

Puisqu'il parle principalement de garbage collection, voici une brève introduction à la fonction de u1 u2 union
u1Le la structure est relativement compliquée. Je pense qu'elle est principalement utilisée pour identifier les types de variables
u2 La plupart d'entre eux sont des champs auxiliaires, la mise en œuvre de fonctions internes des variables, l'amélioration de la convivialité du cache, etc.
Vient ensuite notre protagoniste

zend_value C'est aussi une union intégrée dans la structure

typedef union _zend_value {
    zend_long         lval;//整形
    double            dval;//浮点型
    zend_refcounted  *counted;//获取不同类型的gc头部
    zend_string      *str;//string字符串
    zend_array       *arr;//数组
    zend_object      *obj;//对象
    zend_resource    *res;//资源
    zend_reference   *ref;//是否是引用类型
  
    // 忽略下面的结构，与我们讨论无关
    zend_ast_ref     *ast;
    zval             *zv;
    void             *ptr;
    zend_class_entry *ce;
    zend_function    *func;
    struct {
        ZEND_ENDIAN_LOHI(
            uint32_t w1,
            uint32_t w2)
    } ww;
} zend_value;

Le type de décompte de références zval est enregistré dans la valeur de zend_refcounted *counted Notre mécanisme de collecte des ordures est également basé sur. ce.

typedef struct _zend_refcounted_h {
    uint32_t         refcount;          /* reference counter 32-bit */
    union {
        struct {
            ZEND_ENDIAN_LOHI_3(
                zend_uchar    type,
                zend_uchar    flags,    /* used for strings & objects */
                uint16_t      gc_info)  /* keeps GC root number (or 0) and color */
        } v;
        uint32_t type_info;
    } u;
} zend_refcounted_h;

Toutes les définitions de types complexes commencent par la structure zend_refcounted_h En plus du comptage de références, cette structure a également des structures liées au GC. Par conséquent, lors du recyclage du GC, le GC n'a pas besoin de se soucier du type spécifique. c'est-à-dire que tout cela peut être traité comme une structure zend_refcounted*
#Recyclage automatique des variables

En php, à l'exception des variables de type array et object, le reste est en grande partie. c'est du recyclage automatique
Le recyclage des variables ordinaires php est lié au nombre de références à la variable.

Exemple officiel

$a = 1;
$b = $a;
xdebug_debug_zval('a');
$a =10;
xdebug_debug_zval('a');
unset($a);
xdebug_debug_zval('a');

Résultats

a:
(refcount=2, is_ref=0),int 1
a:
(refcount=1, is_ref=0),int 10
a: no such symbol

Vous pouvez voir que lorsque $a =10 implique le mécanisme COW (copie sur écriture) de php, $b copiera le original $a supprime la relation de référence entre eux, donc le nombre de références (refcount) de a est réduit à 1.

Ensuite, le nombre de références à a devient 0 après avoir utilisét($a). Ceci sera considéré comme une variable inutile et libérera de l'espace.

Donnez un exemple

$a = [1];
$a[1] = &$a;
unset($a);

Avant unset($a), le type de $a est un type de référence

a:
(refcount=2, is_ref=1),
array (size=2)
  0 => (refcount=1, is_ref=0),int 1
  1 => (refcount=2, is_ref=1),
    &array<p><img src="https://img.php.cn/upload/article/000/000/052/163e22c0271ab639b6a5080b1ccd0d58-0.jpg" alt=""></p><p>unset( $ a) Après ça, ça devient comme ça </p><p><img src="https://img.php.cn/upload/article/000/000/052/163e22c0271ab639b6a5080b1ccd0d58-1.jpg" alt=""></p><p>A ce moment, quand on <code>unset</code> opère, le refcount passe de 2 à 1, car il y a une référence interne pointant vers $a, donc à l'extérieur L'espace qu'il occupe ne sera pas détruit. </p><p>Ensuite, notre référence externe a été cassée et nous ne pouvons pas l'utiliser. Il devient un "orphelin", appelé pointeur sauvage en langage C. En php, cela s'appelle une référence circulaire. Fuite de mémoire. Si vous souhaitez détruire la variable, vous ne pouvez qu'attendre la fin du script php. </p><p><strong>Fuites de mémoire causées par des références circulaires</strong></p><p>Pour nettoyer ces déchets, deux critères sont introduits </p>

• Si le nombre de références diminue jusqu'à zéro , Le conteneur de variables sera effacé (gratuit) et n'est pas une poubelle
• Si le nombre de références d'un zval est toujours supérieur à 0 après avoir été réduit, alors il entrera dans le cycle des ordures. Deuxièmement, pendant un cycle de déchets, découvrez quelles parties sont des déchets en vérifiant si le nombre de références est réduit de 1 et en vérifiant quels conteneurs de variables ont zéro référence.

Les références circulaires n'apparaissent essentiellement que dans les tableaux et les objets. L'objet est parce qu'il est lui-même une référence

Le processus de recyclage de l'objet et du tableau

.

Le garbage collection de PHP7 se compose de deux parties, l'une est le garbage collector et l'autre est l'algorithme de garbage collection. Le

garbage collector collecte les éléments que nous venons de mentionner qui peuvent être des déchets dans le pool de recyclage, c'est-à-dire qu'il met les variables de la variable zend_refcount>0 dans le pool de recyclage. Lorsque la valeur du pool de recyclage atteint un certain montant, il sera parcouru uniformément. Effectuez une suppression simulée Si c'est zend_refcount=0, il est considéré comme un déchet et supprimé directement.

Parcourez chaque variable du pool de recyclage, puis parcourez chaque membre en fonction de chaque variable. Si les membres sont toujours imbriqués, continuez le parcours. Définissez ensuite le refcount simulé de tous les membres sur -1. Si le nombre de références de la variable externe est 0 à ce moment. Cela peut alors être clairement considéré comme une poubelle. S'il est supérieur à 0, alors le nombre de références est restauré et retiré du pool de récupération de place.

Le principe du garbage collection

Si votre variable n'est pas une poubelle, alors une fois les références de toutes ses variables membres réduites de une, la référence de la variable totale ne sera certainement pas 0.

Exemple

C'est difficile à dire, alors donnons un exemple. Lorsque j'ai parcouru sf.gg pour la première fois, j'ai vu une question sur GC et j'y ai répondu. Concernant le mécanisme de collecte des ordures du GC

le sujet est le suivant

//我的回答
1、只要zval.value的refcount减一，然后缺其refcount的值不为0那么它就可能是垃圾，进入垃圾周期。
2、进入垃圾池遍历所有成员，包括其嵌套的成员，都对其做 refcount-1的操作，看外部的引用是否为0。

那么对于 题主的问题来说，
首先，你要想$a为垃圾，一定要先对 unset($a)操作，那么此时 $a的 refcount = 2
对于$a[0] refcount-1 不影响外部的$a，
$a[1] refcount-1 ，此时 $a的 refount=1
$a[2] refcount-1 ,此时 $a 的 refount=0 
模拟减结束，那么此变量被当成垃圾回收。

更多编程相关知识，请访问：编程教学！！

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!