{"id":160720,"date":"2026-02-12T17:11:59","date_gmt":"2026-02-12T15:11:59","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/v-yazyke-nim-predstavlen-yrc-potokobezopasnyj-sborshhik-cziklicheskih-ssylok"},"modified":"2026-02-12T17:11:59","modified_gmt":"2026-02-12T15:11:59","slug":"v-yazyke-nim-predstavlen-yrc-potokobezopasnyj-sborshhik-cziklicheskih-ssylok","status":"publish","type":"post","link":"https:\/\/prohoster.info\/it\/blog\/novosti-interneta\/v-yazyke-nim-predstavlen-yrc-potokobezopasnyj-sborshhik-cziklicheskih-ssylok","title":{"rendered":"Nel linguaggio Nim \u00e8 stata introdotta YRC — un gestore di riferimenti circolari thread-safe.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Andreas Rumpf (Araq), autore del linguaggio di programmazione Nim, ha annunciato un nuovo algoritmo di gestione della memoria YRC (pronunciato \u00abYurk\u00bb), che risolve uno dei principali problemi dei meccanismi esistenti in Nim: l'incapacit\u00e0 di gestire correttamente i riferimenti circolari che attraversano i confini dei thread. <\/p>\n
Prima dell'arrivo di YRC, gli algoritmi di gestione della memoria proposti in Nim presentavano i seguenti limiti: ARC \u2014 non supportava n\u00e9 la multithreading n\u00e9 la gestione dei cicli; Atomic ARC \u2014 era thread-safe, ma non gestiva i riferimenti circolari; ORC \u2014 gestiva i riferimenti circolari, ma correttamente solo all'interno di un singolo thread (l'uso di riferimenti condivisi tra thread causava perdite di memoria). <\/p>\n
Il YRC proposto combina la sicurezza nei thread e la gestione dei cicli tra i thread, grazie all'uso di un approccio combinato: per i dati aciclici viene utilizzato il conteggio atomico dei riferimenti, mentre per i ciclici \u2014 una barriera di scrittura (write barrier), che si attiva solo durante l'assegnazione dei puntatori. Nella realizzazione proposta: il raccoglitore viene avviato secondo necessit\u00e0 reale (assenza di pause stop-the-world); gli oggetti radice RC sono chiaramente definiti e uniti una sola volta (non \u00e8 richiesta la scansione degli stack dei thread); si evita l'eliminazione multipla durante l'iterazione (non ci sono fasi globali di sweep); i mutatori leggono liberamente i dati; qualsiasi thread pu\u00f2 avviare il garbage collector se necessario (senza un thread GC dedicato). <\/p>\n
YRC utilizza informazioni complete sugli eventi incRef\/decRef, che i tradizionali garbage collector a tracciamento (tracing GC) scartano e poi devono ripristinare attraverso la scansione degli stack e l'attraversamento del grafo. La realizzazione occupa solo 550 righe di codice e ha una verifica formale di sicurezza e assenza di deadlock tramite specifiche in TLA+ e prove nel toolkit Lean. YRC \u00e8 posizionato come 'quasi l'ultimo garbage collector di cicli basato sul conteggio dei riferimenti' (la lettera Y precede la Z nell'alfabeto), e anche come il garbage collector thread-safe pi\u00f9 semplice \u2014 secondo l'autore, non richiede i molteplici meccanismi complessi tipici dei tradizionali garbage collector a tracciamento. <\/p>\n
YRC fornisce la stessa API di ORC, con l'esecuzione dei distruttori durante la raccolta dei rifiuti. Il raccoglitore gestisce solo quei sotto-grafi di oggetti con cui lavorano i thread, senza toccare le strutture di dati non collegate (cache, oggetti a lungo termine) \u2014 un approccio simile a quello di un 'ideale' garbage collector generazionale senza l'uso delle generazioni. Il principale svantaggio \u00e8 la prestazione: YRC mostra un rallentamento di 1.5-2.0 volte rispetto a ORC nel test di prestazione orcbench. L'autore considera questo un prezzo accettabile per la completa sicurezza nella gestione dei riferimenti circolari. <\/p>\n
YRC \u00e8 gi\u00e0 disponibile nella versione di sviluppo di Nim e si attiva con il flag \u2018--mm:yrc\u2019. Tuttavia, in comunicati successivi, l'autore ha riconosciuto che l'implementazione iniziale conteneva gravi errori e non gestiva correttamente i cicli. Al momento della pubblicazione, \u00e8 stato preparato un insieme di correzioni che risolvono i principali errori. L'autore continua a configurare le euristiche di raccolta e a correggere gli errori rimanenti, mentre l'algoritmo di base e la sua verifica formale rimangono corretti. \n Fonte: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"