PHP 객체가 서로를 참조하는 메모리 오버플로 인스턴스 분석 other_php 기술

일반적으로 스크립팅 언어 사용의 가장 큰 이점 중 하나는 자동 가비지 수집 메커니즘을 사용하여 메모리를 확보할 수 있다는 것입니다. 변수를 사용한 후 메모리를 해제하기 위해 어떤 처리도 할 필요가 없습니다. PHP가 자동으로 이를 수행하기 때문입니다.
물론, 원할 경우 unset() 함수를 호출하여 메모리를 해제할 수 있지만 일반적으로 이렇게 할 필요는 없습니다.
그러나 PHP에서는 unset()을 수동으로 호출하더라도 메모리가 자동으로 해제되지 않는 상황이 하나 이상 있습니다. 자세한 내용은 PHP 공식 홈페이지 http://bugs.php.net/bug.php?id=33595의 Memory Leak 분석을 참고하시기 바랍니다.

문제 증상은 다음과 같습니다.

"부모 개체-자식 개체"와 같이 두 개체 사이에 상호 참조 관계가 있는 경우 부모 개체에서 unset()을 호출해도 자식 개체에서 부모 개체를 참조하는 메모리가 해제되지 않습니다(부모 개체가 물체는 쓰레기입니다. 재활용도 안 됩니다).

좀 헷갈리시나요? 다음 코드를 살펴보겠습니다.

<&#63;
phpclass Foo {
 function __construct(){
 $this->bar = new Bar($this);
 }
}
class Bar {
 function __construct($foo = null){
 $this->foo = $foo;
 }
}
while (true) {
 $foo = new Foo();
 unset($foo);
 echo number_format(memory_get_usage()) . " ";
}
&#63;>

이 코드를 실행하면 메모리 사용량이 소진될 때까지 점점 더 높아지는 것을 볼 수 있습니다.

...33,551,61633,551,97633,552,33633,552,696PHP Fatal error: Allowed memory size of 33554432 bytes exhausted(tried to allocate 16 bytes) in memleak.php on line 17

대부분의 PHP 프로그래머에게 이러한 상황은 문제가 되지 않습니다. 그러나 장기 실행 코드에서 서로를 참조하는 개체를 많이 사용하는 경우, 특히 개체가 상대적으로 큰 경우 메모리가 빨리 소모됩니다.

유저랜드 솔루션

조금 지루하고 세련되지는 않지만 앞서 언급한 bugs.php.net 링크에 솔루션이 제공되어 있습니다.
이 솔루션은 이 목표를 달성하기 위해 개체를 해제하기 전에 소멸자 메서드를 사용합니다. Destructor 메서드는 모든 내부 상위 개체 참조를 지울 수 있습니다. 즉, 오버플로될 메모리 부분이 해제될 수 있습니다.

다음은 "이후" 코드입니다:

<&#63;
phpclass Foo {
 function __construct(){
 $this->bar = new Bar($this);
 }
 function __destruct(){
 unset($this->bar);
 }
}
class Bar {
 function __construct($foo = null){
 $this->foo = $foo;
 }
}
while (true) {
 $foo = new Foo();
 $foo->__destruct();
 unset($foo);
 echo number_format(memory_get_usage()) . " ";
}
&#63;>

객체를 해제하기 전에 새로운 Foo::__destruct() 메서드와 $foo->__destruct() 호출을 확인하세요. 이제 이 코드는 메모리 사용량 증가 문제를 해결하므로 코드가 제대로 작동할 수 있습니다.

PHP 커널 솔루션

메모리 오버플로는 왜 발생하나요? 나는 PHP 커널 연구에 능숙하지 않지만 이 문제는 참조 카운팅과 관련이 있다고 확신합니다.
$bar에서 참조된 $foo의 참조 횟수는 상위 객체인 $foo가 해제되었기 때문에 감소되지 않습니다. 이때 PHP는 $foo 객체가 여전히 필요하다고 생각하고 메모리의 이 부분을 해제하지 않습니다. 원리는 거의 동일합니다.

일반인의 관점에서 일반적인 의미는 참조 횟수가 감소하지 않으므로 일부 메모리가 해제되지 않는다는 것입니다.
게다가 앞서 언급한 bugs.php.net 링크에서는 가비지 컬렉션 프로세스를 수정하면 엄청난 성능이 희생된다는 점을 지적하고 있어 독자들은 이에 주의할 필요가 있다.

가비지 수집 프로세스를 변경하는 대신 unset()을 사용하여 내부 객체를 해제하는 것은 어떨까요? (또는 객체를 해제할 때 __destruct()를 호출합니까?)
아마도 PHP 커널 개발자는 여기나 다른 곳에서 이 가비지 수집 메커니즘을 변경할 수 있을 것입니다.

이 글에서 설명하는 내용은 모든 사람이 PHP의 작동 원리를 깊이 이해하는 데 도움이 될 것이라고 믿습니다.