{"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\/fr\/blog\/news\/v-yazyke-nim-predstavlen-yrc-potokobezopasnyj-sborshhik-cziklicheskih-ssylok","title":{"rendered":"Le langage Nim a introduit YRC \u2014 un collecteur de liens cycliques thread-safe","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Andreas Rumpf (Araq), auteur du langage de programmation Nim, a annonc\u00e9 un nouvel algorithme de gestion de la m\u00e9moire, YRC (prononc\u00e9 \u00ab Urk \u00bb), qui r\u00e9sout l'un des probl\u00e8mes majeurs des m\u00e9canismes existants dans Nim : l'incapacit\u00e9 \u00e0 traiter correctement les r\u00e9f\u00e9rences cycliques traversant les fronti\u00e8res des threads. <\/p>\n
Avant l'arriv\u00e9e de YRC, les algorithmes de gestion de la m\u00e9moire propos\u00e9s dans Nim pr\u00e9sentaient les limitations suivantes : ARC \u2014 ne prenait pas en charge la multipropri\u00e9t\u00e9 ni le traitement des cycles ; Atomic ARC \u2014 \u00e9tait thread-safe, mais ne traitait pas les r\u00e9f\u00e9rences cycliques ; ORC \u2014 g\u00e9rait les r\u00e9f\u00e9rences cycliques, mais pouvait le faire correctement uniquement \u00e0 l'int\u00e9rieur d'un seul thread (l'utilisation de r\u00e9f\u00e9rences partag\u00e9es entre threads entra\u00eenait des fuites de m\u00e9moire). <\/p>\n
Le YRC propos\u00e9 combine la s\u00e9curit\u00e9 des threads et le traitement des cycles entre les threads, gr\u00e2ce \u00e0 une approche combin\u00e9e : pour les donn\u00e9es acycliques, un comptage atomique des r\u00e9f\u00e9rences est appliqu\u00e9, tandis que pour les r\u00e9f\u00e9rences cycliques, une barri\u00e8re d'\u00e9criture est activ\u00e9e uniquement lors de l'attribution de pointeurs. Dans la mise en \u0153uvre propos\u00e9e : le collecteur est lanc\u00e9 en fonction des besoins r\u00e9els (pas de pauses stop-the-world) ; les objets racines RC sont clairement d\u00e9finis et regroup\u00e9s une seule fois (aucun besoin de scanner les piles des threads) ; la suppression multipropri\u00e9t\u00e9 est \u00e9vit\u00e9e pendant l'it\u00e9ration (pas de phase globale de balayage) ; les mutateurs peuvent lire librement les donn\u00e9es ; tout thread peut lancer le ramasseur de d\u00e9chets si n\u00e9cessaire (sans thread GC d\u00e9di\u00e9). <\/p>\n
YRC utilise des informations compl\u00e8tes sur les \u00e9v\u00e9nements incRef\/decRef, que les ramasseurs de d\u00e9chets tra\u00e7ants traditionnels (tracing GC) rejettent et doivent ensuite restaurer en scannant les piles et en parcourant le graphe. La mise en \u0153uvre ne n\u00e9cessite que 550 lignes de code et fait l'objet d'une v\u00e9rification formelle de s\u00e9curit\u00e9 et d'absence de verrouillage via une sp\u00e9cification en TLA+ et une preuve dans l'outil Lean. YRC est positionn\u00e9 comme \u00ab presque le dernier ramasseur de cycles bas\u00e9 sur le comptage des r\u00e9f\u00e9rences \u00bb (la lettre Y pr\u00e9c\u00e8de Z dans l'alphabet), ainsi que comme le ramasseur de d\u00e9chets le plus simple et thread-safe \u2014 selon l'auteur, il ne n\u00e9cessite pas de nombreux m\u00e9canismes complexes pr\u00e9sents dans les ramasseurs de d\u00e9chets tra\u00e7ants traditionnels. <\/p>\n
YRC fournit la m\u00eame API que ORC, avec l'ex\u00e9cution des destructeurs pendant le ramasse-miettes. Le ramasse-miettes ne traite que les sous-graphes d'objets avec lesquels les threads interagissent, sans toucher aux structures de donn\u00e9es non li\u00e9es (cache, objets de longue dur\u00e9e) \u2014 une approche similaire \u00e0 celle d'un ramasse-miettes g\u00e9n\u00e9rationnel \u00ab id\u00e9al \u00bb sans utilisation de g\u00e9n\u00e9rations. Le principal inconv\u00e9nient est la performance : YRC montre un ralentissement de 1,5 \u00e0 2,0 fois par rapport \u00e0 ORC dans le test de performance orcbench. L'auteur consid\u00e8re cela comme un prix acceptable pour un traitement totalement s\u00e9curis\u00e9 des r\u00e9f\u00e9rences circulaires. <\/p>\n
YRC est d\u00e9j\u00e0 disponible dans la version de d\u00e9veloppement de Nim et s'active avec le drapeau \u00ab --mm:yrc \u00bb. Cependant, dans des messages ult\u00e9rieurs, l'auteur a reconnu que la premi\u00e8re impl\u00e9mentation contenait des erreurs graves et ne collectait pas correctement les cycles. Au moment de la publication, un ensemble de correctifs a \u00e9t\u00e9 pr\u00e9par\u00e9 pour r\u00e9soudre les principaux probl\u00e8mes. L'auteur continue d'affiner les heuristiques de collecte et de corriger les erreurs restantes, tout en maintenant l'algorithme de base et sa v\u00e9rification formelle corrects. \n Source : opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"