PHP는 관리되는 언어입니다. PHP 프로그래밍에서 프로그래머는 메모리 리소스 할당 및 해제를 수동으로 처리할 필요가 없습니다(C를 사용하여 PHP 또는 Zend 확장을 작성하는 경우 제외). 즉, PHP 자체가 가비지를 구현합니다. 쓰레기 수거. 이제 공식 PHP 웹사이트(php.net)에 가면 현재 PHP5의 두 가지 버전인 PHP5.2와 PHP5.3이 별도로 업데이트되는 것을 볼 수 있습니다. 이는 많은 프로젝트가 여전히 PHP 5.2 버전을 사용하고 있기 때문입니다. , 5.3 버전은 5.2와 완전히 호환되지 않습니다. PHP5.3은 PHP5.2를 기반으로 많은 개선이 이루어졌는데, 그 중 가비지 컬렉션 알고리즘이 상대적으로 큰 변화입니다. 이 기사에서는 PHP5.2와 PHP5.3의 가비지 수집 메커니즘에 대해 각각 논의하고 이러한 발전과 개선이 PHP를 작성하는 프로그래머에게 미치는 영향과 그들이 주의해야 할 문제에 대해 논의할 것입니다.
PHP 변수 및 관련 메모리 개체의 내부 표현
가비지 수집은 궁극적으로 변수 및 관련 메모리 개체에 대한 작업이므로 PHP 가비지 수집을 논의할 때 메커니즘, PHP의 변수 및 해당 메모리 개체의 내부 표현(C 소스 코드의 표현)을 간략하게 소개하겠습니다.
공식 PHP 문서에서는 PHP의 변수를 스칼라 유형과 복합 유형이라는 두 가지 범주로 나눕니다. 스칼라 유형에는 부울, 정수, 부동 소수점 유형 및 문자열이 포함되며, 복합 유형에는 배열, 객체 및 리소스가 포함되며, 이는 어떤 유형으로도 구분되지 않고 별도의 범주가 된다는 점에서 특별합니다.
이러한 모든 유형은 PHP 내에서 zval이라는 구조로 균일하게 표시됩니다. PHP 소스 코드에서 이 구조의 이름은 "_zval_struct"입니다. zval의 구체적인 정의는 PHP 소스코드의 "Zend/zend.h" 파일에 있습니다. 다음은 관련 코드를 발췌한 것입니다.
<ol class="dp-c"> <li class="alt"><span><span>typedef union _zvalue_value { </span></span></li> <li> <span> long lval; </span><span class="comment">/* long value */</span><span> </span> </li> <li class="alt"> <span> double dval; </span><span class="comment">/* double value */</span><span> </span> </li> <li><span> struct { </span></li> <li class="alt"><span> char *val; </span></li> <li><span> int len; </span></li> <li class="alt"><span> } str; </span></li> <li> <span> HashTable *ht; </span><span class="comment">/* hash table value */</span><span> </span> </li> <li class="alt"><span> zend_object_value obj; </span></li> <li><span>} zvalue_value; </span></li> <li class="alt"><span> </span></li> <li><span>struct _zval_struct { </span></li> <li class="alt"> <span> </span><span class="comment">/* Variable information */</span><span> </span> </li> <li><span> zvalue_value value; </span></li> <li class="alt"> <span class="comment">/* value */</span><span> </span> </li> <li><span> zend_uint refcount__gc; </span></li> <li class="alt"> <span> zend_uchar type; </span><span class="comment">/* active type */</span><span> </span> </li> <li><span> zend_uchar is_ref__gc; </span></li> <li class="alt"><span>}; </span></li> </ol>
PHP5.2의 가비지 수집 알고리즘 - 참조 계산
PHP5.2에서 사용되는 메모리 재활용 알고리즘은 유명한 참조 계산입니다. "참조 카운팅"이라는 개념은 매우 직관적이고 간결합니다. 각 메모리 객체에 카운터를 할당하면 메모리 객체가 생성되면 카운터가 1로 초기화됩니다(그래서 이때 항상 이 객체를 참조하는 변수가 있습니다). ) 새로운 것이 있을 때마다 변수가 이 메모리 객체를 참조할 때마다 카운터는 1씩 증가하고, 이 메모리 객체를 참조하는 변수가 감소할 때마다 카운터는 1씩 감소합니다. 가비지 수집 메커니즘이 작동할 때, 카운터가 0인 모든 메모리 개체는 삭제되고 해당 개체가 차지하는 메모리는 재활용됩니다. PHP의 메모리 개체는 zval이고 카운터는 refcount__gc입니다.
예를 들어 다음 PHP 코드는 PHP5.2 카운터의 작동 원리를 보여줍니다(카운터 값은 xdebug를 통해 얻음).참조 카운팅은 간단하고 직관적이며 구현하기는 쉽지만 치명적인 문제가 있다. 단점은 쉽게 메모리 누수를 일으킨다는 점이다. 많은 친구들은 순환 참조가 있으면 참조 계산으로 인해 메모리 누수가 발생할 수 있다는 것을 깨달았을 것입니다. 예를 들어 다음 코드는
<ol class="dp-c"><li class="alt"><span><span><?php </span></span></li><li><span> </span></li><li class="alt"><span class="vars">$val1</span><span> = 100; </span><span class="comment">//zval(val1).refcount_gc = 1; </span><span> </span></li><li><span class="vars">$val2</span><span> = </span><span class="vars">$val1</span><span>; </span><span class="comment">//zval(val1).refcount_gc = 2,zval(val2).refcount_gc = 2(因为是Write on copy,当前val2与val1共同引用一个zval) </span><span> </span></li><li class="alt"><span class="vars">$val2</span><span> = 200; </span><span class="comment">//zval(val1).refcount_gc = 1,zval(val2).refcount_gc = 1(此处val2新建了一个zval) </span><span> </span></li><li><span>unset(</span><span class="vars">$val1</span><span>); </span><span class="comment">//zval(val1).refcount_gc = 0($val1引用的zval再也不可用,会被GC回收) </span><span> </span></li><li class="alt"><span> </span></li><li><span>?> </span></span></li></ol>
이 코드는 먼저 배열 a를 만든 다음 참조로 점의 첫 번째 요소를 a로 지정합니다. 이때 a의 zval의 참조 횟수는 2가 됩니다. , 그리고 변수 a를 소멸시킵니다. 이때 a가 처음에 가리키는 zval의 refcount는 1이지만 다음 그림과 같이 순환 자기 참조를 형성하므로 더 이상 연산할 수 없습니다. 🎜>
<ol class="dp-c"><li class="alt"><span><span><?php </span></span></li><li><span> </span></li><li class="alt"><span class="vars">$a</span><span> = </span><span class="keyword">array</span><span>(); </span></li><li><span class="vars">$a</span><span>[] = & </span><span class="vars">$a</span><span>; </span></li><li class="alt"><span>unset(</span><span class="vars">$a</span><span>); </span></li><li><span> </span></li><li class="alt"><span>?> </span></span></li></ol>