Perl używa algorytmu liczenia referencji do automatycznego zarządzania pamięcią: każda zmienna ma licznik referencji. Kiedy licznik osiąga zero, pamięć jest zwalniana. W większości przypadków działa to przejrzyście — nieużywane zmienne są usuwane, gdy wychodzą z zakresu widoczności.
Problem występuje w przypadku cyklicznych odniesień (na przykład, obiekt odwołuje się do samego siebie lub dwie struktury odwołują się do siebie nawzajem). W takim przypadku licznik referencji nigdy nie osiągnie zera, a pamięć nie zostanie zwolniona.
Aby zapobiec wyciekom, używa się modułu Scalar::Util::weaken — pozwala on tworzyć „osłabione” referencje, które nie zwiększają licznika referencji.
Przykład:
use Scalar::Util qw(weaken); my $a = {}; my $b = { ref => $a }; $a->{ref} = $b; weaken($a->{ref}); # teraz nie ma cyklicznej silnej zależności
Czy słusznie jest uważać, że Perl zawsze automatycznie zwalnia całą nieużywaną pamięć, nawet w przypadku złożonych wzajemnych struktur?
Odpowiedź i przykład:
Nie! W przypadku cyklicznych odniesień Perl nie będzie w stanie automatycznie zwolnić pamięci, jeśli nie użyje się weaken:
my $a = {}; $a->{self} = $a; # cykl # $a nigdy nie zostanie automatycznie usunięty — wymaga ręcznego przerwania lub osłabienia referencji
Historia 1: W dużym serwisie webowym Perl wystąpiło wycieki pamięci — sesje użytkowników przechowywały odniesienia do siebie nawzajem w haszu, a nikt nie używał osłabionych odniesień. Serwis zużywał wszystkie zasoby w ciągu dnia, zawieszał się i wymagał restartu.
Historia 2: Samodzielnie napisany ORM tworzył cykle między obiektami User a Group, z których każdy odwoływał się do siebie nawzajem. Po wyjściu z zakresu widoczności obiekty pozostawały w pamięci — serwis stopniowo "rozwijał się" do dziesiątek gigabajtów!
Historia 3: Użycie anonimowych podprogramów („zamykania”) jako metod klasy odnoszących się do
$selfprowadziło do wycieków przy każdym tworzeniu obiektu, dopóki nie pojawił się analizator, który zidentyfikował cykliczne odniesienia i wskazał na potrzebę użyciaweaken.