{"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\/es\/blog\/news\/v-yazyke-nim-predstavlen-yrc-potokobezopasnyj-sborshhik-cziklicheskih-ssylok","title":{"rendered":"El lenguaje Nim presenta YRC \u2014 un recolector de ciclos de referencias seguro para hilos","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Andreas Rumpf (Araq), el autor del lenguaje de programaci\u00f3n Nim, ha anunciado un nuevo algoritmo de gesti\u00f3n de memoria YRC (pronunciado \u00abUrc\u00bb), que resuelve uno de los problemas clave de los mecanismos existentes en Nim: la imposibilidad de manejar correctamente las referencias c\u00edclicas que cruzan los l\u00edmites de los hilos. <\/p>\n
Antes de la llegada de YRC, los algoritmos de gesti\u00f3n de memoria propuestos en Nim ten\u00edan las siguientes limitaciones: ARC - no soportaba ni la multiprocesamiento ni el manejo de ciclos; Atomic ARC - era seguro para hilos, pero no manejaba referencias c\u00edclicas; ORC - trataba las referencias c\u00edclicas, pero s\u00f3lo pod\u00eda hacerlo correctamente dentro de un solo hilo (cuando se usaban referencias compartidas entre hilos, ocurr\u00edan fugas de memoria). <\/p>\n
El YRC propuesto combina seguridad para hilos y manejo de ciclos entre hilos, mediante un enfoque combinado: para datos ac\u00edclicos se utiliza el conteo de referencias at\u00f3mico, y para c\u00edclicos - una barrera de escritura (write barrier), que se activa solo al asignar punteros. En la implementaci\u00f3n propuesta: el recolector se activa seg\u00fan la necesidad real (sin pausas stop-the-world); los objetos ra\u00edz RC est\u00e1n claramente definidos y se combinan una vez (no es necesario escanear las pilas de los hilos); se evita la eliminaci\u00f3n multihilo durante la iteraci\u00f3n (no hay una fase de barrido global); los mutadores leen los datos libremente; cualquier hilo puede iniciar el recolector de basura seg\u00fan sea necesario (sin un hilo GC espec\u00edfico). <\/p>\n
YRC utiliza informaci\u00f3n completa sobre eventos incRef\/decRef, que los recolectores de basura de seguimiento tradicionales (tracing GC) descartan y luego se ven obligados a recuperar mediante el escaneo de pilas y un recorrido gr\u00e1fico. La implementaci\u00f3n ocupa solo 550 l\u00edneas de c\u00f3digo y tiene verificaci\u00f3n formal de seguridad y ausencia de bloqueos mutuos a trav\u00e9s de especificaciones en el lenguaje TLA+ y prueba en la herramienta Lean. YRC se presenta como \u00abcasi el \u00faltimo recolector de ciclos basado en conteo de referencias\u00bb (la letra Y precede a Z en el alfabeto), as\u00ed como el recolector de basura seguro para hilos m\u00e1s sencillo; seg\u00fan el autor, no requiere los numerosos mecanismos complejos propios de los recolectores de basura de seguimiento tradicionales. <\/p>\n
YRC proporciona la misma API que ORC, con destructores ejecut\u00e1ndose durante la recolecci\u00f3n de basura. El recolector maneja solo aquellos subgrafos de objetos que est\u00e1n siendo usados por los hilos, sin tocar las estructuras de datos no relacionadas (cach\u00e9s, objetos de larga duraci\u00f3n) \u2014 un enfoque similar al 'ideal' recolector de basura generacional sin el uso de generaciones. La principal desventaja es el rendimiento: YRC muestra una desaceleraci\u00f3n de 1.5-2.0 veces en comparaci\u00f3n con ORC en la prueba de rendimiento orcbench. El autor considera esto un precio aceptable por el manejo completamente seguro de hilos de referencias c\u00edclicas. <\/p>\n
YRC ya est\u00e1 disponible en la versi\u00f3n de desarrollo de Nim y se activa con el flag '\u2014mm:yrc'. Sin embargo, en mensajes posteriores, el autor reconoci\u00f3 que la implementaci\u00f3n inicial conten\u00eda errores graves y no manejaba correctamente los ciclos. Al momento de la publicaci\u00f3n, se ha preparado un conjunto de correcciones que solucionan los errores principales. El autor contin\u00faa ajustando las heur\u00edsticas de compilaci\u00f3n y corrigiendo los errores restantes, mientras que el algoritmo base y su verificaci\u00f3n formal siguen siendo correctos. \n Fuente: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"