스크립팅 언어 사용의 가장 큰 이점 중 하나는 자동 가비지 수집 메커니즘(메모리 해제)을 활용할 수 있다는 것입니다. 변수를 사용한 후 메모리를 해제하기 위해 어떤 처리도 할 필요가 없습니다. PHP가 자동으로 처리해 줍니다.
물론 원한다면 unset() 함수를 호출하여 메모리를 해제할 수 있지만 일반적으로 그렇게 할 필요는 없습니다.
그러나 PHP에서는 unset()을 수동으로 호출하더라도 메모리가 자동으로 해제되지 않는 상황이 하나 이상 있습니다. 자세한 내용은 http://bugs.php.net/bug.php?id=33595 에서 확인할 수 있습니다.
문제 증상: "상위 개체-하위 개체"와 같이 두 개체 사이에 상호 참조 관계가 있는 경우 부모 개체에서 unset()을 호출하면 자식 개체에서 부모 개체를 참조하는 메모리가 해제되지 않습니다(부모 개체가 개체가 가비지 수집되어 작동하지 않습니다.)
조금 혼란 스럽습니까? 다음 코드를 살펴보겠습니다.
<?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()) "n";}?>이 코드를 실행하면 메모리 사용량이 표시됩니다. 다 소진될 때까지 점점 더 높아집니다.
...33,551,61633,551,97633,552,33633,552,696PHP 치명적인 오류: memleak.php의 17행에서 허용되는 메모리 크기 33554432바이트가 소진되었습니다(16바이트 할당 시도). 대부분의 PHP 프로그래머에게 이 상황입니다. 문제가 되지 않습니다.
그러나 장기 실행 코드에서 서로를 참조하는 개체를 많이 사용하는 경우, 특히 개체가 상대적으로 큰 경우 메모리가 빨리 소모됩니다.
Userland 솔루션은 다소 지루하고 우아하지 않지만 앞서 언급한 bugs.php.net 링크가 솔루션을 제공합니다.
이 솔루션은 이 목표를 달성하기 위해 개체를 해제하기 전에 소멸자 메서드를 사용합니다. Destructor 메서드는 모든 내부 상위 개체 참조를 지울 수 있습니다. 즉, 오버플로될 메모리 부분이 해제될 수 있습니다.
다음은 "수정 후" 코드입니다:
<?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()) . "n";}?>객체를 해제하기 전에 새로운 Foo::__destruct() 메서드와 $foo->__destruct() 호출을 확인하세요. 이제 이 코드는 메모리 사용량 증가 문제를 해결하므로 코드가 제대로 작동할 수 있습니다.
PHP 커널 솔루션?
메모리 오버플로는 왜 발생하나요? 나는 PHP 커널 연구에 능숙하지 않지만 이 문제는 참조 카운팅과 관련이 있다고 확신합니다.
$bar에서 참조된 $foo의 참조 횟수는 상위 객체인 $foo가 해제되었기 때문에 감소하지 않습니다. 이때 PHP는 $foo 객체가 여전히 필요하다고 생각하므로 이 부분의 메모리는 해제되지 않습니다. .
내 무지가 실제로 여기에서 드러났지만 일반적인 아이디어는 참조 횟수가 감소하지 않으므로 일부 메모리가 해제되지 않는다는 것입니다.
앞서 언급한 bugs.php.net 링크에서 나는 가비지 수집 프로세스를 수정하면 엄청난 성능이 희생된다는 것을 알았고, 참조 계산에 대해 잘 모르기 때문에 이것이 사실이라고 가정했습니다.
가비지 수집 프로세스를 변경하는 대신 unset()을 사용하여 내부 개체를 해제하는 것은 어떨까요? (또는 객체를 해제할 때 __destruct()를 호출합니까?)
아마도 PHP 커널 개발자는 여기나 다른 곳에서 이 가비지 수집 메커니즘을 변경할 수 있을 것입니다.
업데이트: Martin Fjordvald는 David Wang이 가비지 수집을 위해 작성한 패치를 댓글에서 언급했습니다(실제로는 "천 조각"에 더 가깝습니다. 매우 큽니다. 자세한 내용은 이 이메일 끝에 있는 CVS 내보내기 정보를 참조하세요.) 실제로 (이메일)이 존재하며 PHP 커널 개발 커뮤니티 구성원으로부터 주목을 받았습니다. 문제는 이 패치를 PHP5.3에 적용해야 하는지 여부인데 많은 지원을 받지 못했습니다. 내 생각에는 unset() 함수의 객체에서 __destruct() 메서드를 호출하는 것이 좋은 절충안이라고 생각합니다.