{"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\/pt\/blog\/news\/v-yazyke-nim-predstavlen-yrc-potokobezopasnyj-sborshhik-cziklicheskih-ssylok","title":{"rendered":"No idioma Nim foi apresentado YRC \u2014 um coletor de refer\u00eancias c\u00edclicas seguro para threads","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Andreas Rumpf (Araq), autor da linguagem de programa\u00e7\u00e3o Nim, anunciou um novo algoritmo de gerenciamento de mem\u00f3ria YRC (pronunciado 'Yerk'), que resolve um dos principais problemas dos mecanismos existentes em Nim: a incapacidade de lidar corretamente com refer\u00eancias circulares que cruzam os limites de threads. <\/p>\n
Antes do YRC, os algoritmos propostos em Nim para gerenciamento de mem\u00f3ria apresentavam as seguintes limita\u00e7\u00f5es: ARC \u2014 n\u00e3o suportava multithreading nem o processamento de ciclos; Atomic ARC \u2014 era seguro para threads, mas n\u00e3o processava refer\u00eancias circulares; ORC \u2014 tratava refer\u00eancias circulares, mas apenas de forma correta dentro de um \u00fanico thread (ao usar refer\u00eancias compartilhadas entre threads, ocorriam vazamentos de mem\u00f3ria). <\/p>\n
O YRC proposto combina seguran\u00e7a em rela\u00e7\u00e3o a threads e o processamento de ciclos entre threads, utilizando uma abordagem combinada: para dados ac\u00edclicos, aplica-se contagem de refer\u00eancias at\u00f4mica, e para os circulares \u2014 um barreira de grava\u00e7\u00e3o (write barrier), que \u00e9 ativada apenas ao atribuir ponteiros. Na implementa\u00e7\u00e3o proposta: o coletor \u00e9 acionado conforme a necessidade real (sem pausas stop-the-world); objetos ra\u00edzes RC s\u00e3o definidos explicitamente e agrupados uma \u00fanica vez (n\u00e3o \u00e9 necess\u00e1rio escanear pilhas de threads); a remo\u00e7\u00e3o multithread \u00e9 evitada durante a itera\u00e7\u00e3o (n\u00e3o h\u00e1 uma fase global de sweep); os mutadores leem dados livremente; qualquer thread pode iniciar o coletor de lixo conforme necess\u00e1rio (sem um thread GC dedicado). <\/p>\n
O YRC utiliza informa\u00e7\u00f5es completas sobre eventos incRef\/decRef, que os coletor de lixo rastreadores tradicionais (tracing GC) descartam e, em seguida, s\u00e3o for\u00e7ados a restaurar por meio de escaneamento de pilhas e travessias de gr\u00e1ficos. A implementa\u00e7\u00e3o ocupa apenas 550 linhas de c\u00f3digo e possui verifica\u00e7\u00e3o formal de seguran\u00e7a e aus\u00eancia de deadlocks por meio de especifica\u00e7\u00f5es em TLA+ e prova na ferramenta Lean. O YRC \u00e9 posicionado como 'praticamente o \u00faltimo coletor de ciclos baseado em contagem de refer\u00eancias' (a letra Y vem antes do Z no alfabeto), bem como como o coletor de lixo mais simples e seguro para threads \u2014 segundo o autor, n\u00e3o requer uma s\u00e9rie de mecanismos complexos inerentes aos coletores de lixo rastreadores tradicionais. <\/p>\n
YRC oferece a mesma API que a ORC, realizando destrutores durante a coleta de lixo. O coletor processa apenas os subgrafos de objetos com os quais os threads est\u00e3o trabalhando, sem tocar em estruturas de dados n\u00e3o relacionadas (caches, objetos de longa dura\u00e7\u00e3o) \u2014 uma abordagem semelhante \u00e0 do coletor de lixo 'ideal', sem uso de gera\u00e7\u00f5es. A principal desvantagem \u00e9 o desempenho: YRC apresenta uma desacelera\u00e7\u00e3o de 1,5 a 2,0 vezes em compara\u00e7\u00e3o com a ORC no teste de desempenho orcbench. O autor considera isso um custo aceit\u00e1vel pela completa seguran\u00e7a do thread no processamento de refer\u00eancias circulares. <\/p>\n
YRC j\u00e1 est\u00e1 dispon\u00edvel na vers\u00e3o de desenvolvimento do Nim e \u00e9 ativado com a flag '--mm:yrc'. No entanto, em mensagens posteriores, o autor reconheceu que a implementa\u00e7\u00e3o inicial continha erros graves e n\u00e3o coletava ciclos corretamente. No momento da publica\u00e7\u00e3o, um conjunto de corre\u00e7\u00f5es foi preparado para eliminar os principais erros. O autor continua ajustando as heur\u00edsticas de coleta e corrigindo os erros restantes, enquanto o algoritmo b\u00e1sico e sua verifica\u00e7\u00e3o formal permanecem corretos. \n Fonte: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"