Prevenzione di perdite di memoria di riferimento cicliche in Perl

Question

Ho chiesto di recente a question di sovrascrivere gli oggetti e la gestione della memoria in Perl. Una delle risposte che ho ricevuto mi ha segnalato che potrei avere un problema con uno script che ho scritto di recente.

Ho uno script con alcune strutture di dati molto complesse che hanno molte relazioni parent->child/child->parent. Ciò significa anche che ci sono molti oggetti con riferimenti ciclici. Secondo this answer, i riferimenti ciclici possono "ingannare" il meccanismo di conteggio dei riferimenti di Perl e causare perdite di memoria se non vengono gestiti correttamente.

---

Esempio di un riferimento ciclico:

 +-----------------------------------------------------+ 
     |              | 
     +-->+============+ +==========+     | 
      [ Reference ----->[ Blessed ]     | 
$parent -->+============+ [ Hash  ]     | 
          [   ] +==========+  | 
          [ children --->[ Array ]  | 
          [   ] [   ]  | 
          +==========+ [ 0: ---------+ | 
              [   ] | | 
              +==========+ | | 
                  | | 
     +--------------------------------------------------+ | 
     |              | 
     +-->+============+ +==========+     | 
      [ Reference ----->[ Blessed ]     | 
$child --->+============+ [ Hash  ]     | 
          [   ]     | 
          [ parent: ----------------------+ 
          [   ] 
          +==========+ 

(Disclaimer - questa non è la mia arte epica - Grazie @Ikegami per questo diagramma ASCII dolce!)

Problema: Ogni oggetto ha un riferimento all'altro. . . ciò significa che una volta che $parent e $child escono dall'ambito, il contatore di riferimento di Perl continua a pensare che esista un riferimento a ciascun oggetto in modo che la memoria non venga mai liberata. Si finisce con due oggetti in memoria senza possibilità di accedere ai dati di nessuno di loro!

---

La mia domanda è: Qual è il modo corretto di affrontare i riferimenti ciclici al fine di garantire il Perl gestisce la sua pulizia correttamente? Come ci si assicura che Perl non lasci tracce quando tutti i riferimenti esterni ad un oggetto autoreferenziale vengono eliminati?

Answer 1

Scalar::Util e in particolare la funzione weaken.

L'lvalue $ ref verrà trasformato in un riferimento debole. Ciò significa che non manterrà un conteggio dei riferimenti sull'oggetto a cui fa riferimento. Anche quando il conteggio dei riferimenti su quell'oggetto raggiunge lo zero, il riferimento sarà impostato su undef. Questa funzione modifica l'lvalue passato come argomento e non restituisce alcun valore.

Imposta uno o entrambi i riferimenti come "deboli" e la catena a margherita si svela automaticamente quando le ancore vengono distrutte.