{"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\/nl\/blog\/news\/v-yazyke-nim-predstavlen-yrc-potokobezopasnyj-sborshhik-cziklicheskih-ssylok","title":{"rendered":"In de programmeertaal Nim is YRC ge\u00efntroduceerd - een thread-safe garbage collector.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Andreas Rumpf (Araq), de auteur van de programmeertaal Nim, heeft een nieuw algoritme voor geheugenbeheer YRC (uitgesproken als \u2018Urk\u2019) aangekondigd, dat een van de belangrijkste problemen van de bestaande mechanismen in Nim oplost: de onvermogen om correct om te gaan met cycled referenties die de grenzen van threads overschrijden. <\/p>\n
Voor de komst van YRC hadden de in Nim voorgestelde geheugenbeheeralgoritmen de volgende beperkingen: ARC - ondersteunde geen multithreading en cycled referenties; Atomic ARC - was thread-veilig, maar verwerkte geen cycled referenties; ORC - verwerkte cycled referenties, maar kon dit correct alleen binnen \u00e9\u00e9n thread (bij het gebruik van gedeelde referenties tussen threads traden er geheugenlekken op). <\/p>\n
Het voorgestelde YRC combineert thread-veiligheid en verwerking van cycled referenties tussen threads door gebruik te maken van een gecombineerde aanpak: voor acyclische gegevens wordt een atomair referentietelling toegepast, en voor cycled referenties - een write barrier, die alleen wordt geactiveerd bij het toekennen van pointers. In de voorgestelde implementatie: de collector wordt gestart op basis van feitelijke noodzaak (er zijn geen stop-the-world pauzes); rootobjecten zijn expliciet gedefinieerd en worden \u00e9\u00e9n keer samengevoegd (er is geen scanning van thread-stacks nodig); multi-threaded verwijdering wordt vermeden tijdens iteratie (er is geen globale sweep-fase); mutators kunnen gegevens vrij lezen; elke thread kan de garbage collector indien nodig starten (zonder een speciale GC-thread). <\/p>\n
YRC maakt gebruik van volledige informatie over incRef\/decRef gebeurtenissen, die traditionele tracing garbage collectors (tracing GC) afwijzen en vervolgens moeten herstellen door het scannen van stacks en het doorlopen van grafen. De implementatie bestaat uit slechts 550 regels code en heeft formele verificatie van veiligheid en afwezigheid van deadlocks door specificatie in de TLA+ taal en bewijs in de Lean-toolkit. YRC wordt gepositioneerd als \u2018bijna de laatste cycled collector op basis van referentietelling\u2019 (de letter Y komt voor de Z in het alfabet), en ook als de eenvoudigste thread-veilige garbage collector - volgens de auteur is hij niet afhankelijk van veel complexe mechanismen die gebruikelijk zijn bij traditionele tracing garbage collectors. <\/p>\n
YRC biedt dezelfde API als ORC, met destructors die tijdens de garbage collection worden uitgevoerd. De garbage collector verwerkt alleen die subgrafen van objecten waaraan threads werken, zonder niet-verbonden datastructuren (caches, langlevende objecten) aan te raken - een benadering die vergelijkbaar is met een 'ideale' generatieve garbage collector zonder gebruik te maken van generaties. Het belangrijkste nadeel is de prestaties: YRC vertoont een vertraging van 1,5-2,0 keer in vergelijking met ORC in de orcbench prestatie-test. De auteur beschouwt dit als een acceptabele prijs voor volledige thread-veilige verwerking van cyclische verwijzingen. <\/p>\n
YRC is al beschikbaar in de ontwikkelversie van Nim en kan worden geactiveerd met de vlag '--mm:yrc'. In latere berichten heeft de auteur echter erkend dat de oorspronkelijke implementatie ernstige fouten bevatte en cycli niet correct verzamelde. Op het moment van publicatie is er een set correcties voorbereid die de belangrijkste fouten verhelpt. De auteur blijft de heuristieken van de verzameling aanpassen en de resterende fouten oplossen, terwijl het basisalgoritme en de formele verificatie correct blijven. \n Bron: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"