{"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\/da\/blog\/news\/v-yazyke-nim-predstavlen-yrc-potokobezopasnyj-sborshhik-cziklicheskih-ssylok","title":{"rendered":"I Nim-sproget er YRC blevet pr\u00e6senteret \u2014 en tr\u00e5dsikker samler af cykliske referencer.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Andreas Rumpf (Araq), skaberen af programmeringssproget Nim, har annonceret en ny hukommelsesstyringsalgoritme YRC (udtales \u2018Yur\u2019), som l\u00f8ser et af de centrale problemer i de eksisterende mekanismer i Nim: umuligheden af korrekt at h\u00e5ndtere cykliske referencer, der krydser tr\u00e5de. <\/p>\n
F\u00f8r introduktionen af YRC i de tilbudte hukommelsesstyringsalgoritmer i Nim var der f\u00f8lgende begr\u00e6nsninger: ARC \u2013 underst\u00f8ttede hverken multithreading eller h\u00e5ndtering af cykler; Atomic ARC \u2013 var tr\u00e5d-sikker, men h\u00e5ndterede ikke cykliske referencer; ORC \u2013 underst\u00f8ttede cykliske referencer, men kunne kun g\u00f8re det korrekt inden for en enkelt tr\u00e5d (brug af delte referencer mellem tr\u00e5de f\u00f8rte til hukommelsesl\u00e6kager). <\/p>\n
Den foresl\u00e5ede YRC kombinerer tr\u00e5d-sikkerhed og h\u00e5ndtering af cykler mellem tr\u00e5de ved at anvende en kombineret tilgang: atom\u00e6r referenceopt\u00e6lling anvendes til acykliske data, mens der for cykliske referencer bruges en write barrier, der kun aktiveres ved tildeling af pekere. I den foresl\u00e5ede implementation: aktiveres samleren efter faktisk behov (ingen stop-the-world pauser); rodobjekter for RC er tydeligt defineret og samles \u00e9n gang (der er ikke behov for at scanne tr\u00e5denes stakke); multitr\u00e5dede sletninger under iteration undg\u00e5s (der er ikke nogen global sweep fase); mutatorer kan frit l\u00e6se data; enhver tr\u00e5d kan starte affaldssamleren ved behov (uden en dedikeret GC-tr\u00e5d). <\/p>\n
YRC bruger fuld information om h\u00e6ndelserne incRef\/decRef, som traditionelle tracing garbage collectors forkaster og derefter m\u00e5 genskabe gennem scanning af stakke og traversal af grafen. Implementation fylder kun 550 kodelinjer og har formel verifikation for sikkerhed og frav\u00e6r af deadlocks gennem specifikationen p\u00e5 TLA+-sproget og beviset i Lean-v\u00e6rkt\u00f8jet. YRC positioneres som \u2018n\u00e6sten den sidste cykel-samler baseret p\u00e5 referenceopt\u00e6lling\u2019 (bogstavet Y kommer f\u00f8r Z i alfabetet), samt som den nemmeste tr\u00e5d-sikre garbage collector \u2013 if\u00f8lge forfatteren kr\u00e6ver den ikke mange af de komplekse mekanismer, der er karakteristiske for traditionelle tracing garbage collectors. <\/p>\n
YRC tilbyder samme API som ORC, med destrukt\u00f8rer der k\u00f8rer under affaldsindsamlingen. Affaldsindsamleren behandler kun de undergrene af objekter, som tr\u00e5de arbejder med, uden at r\u00f8re ved urelaterede datastrukturer (cache, langlivede objekter) \u2014 en tilgang der ligner den 'ideelle' generational affaldsindsamler uden at bruge generationer. Den prim\u00e6re ulempe er ydeevnen: YRC viser en nedgang p\u00e5 1.5-2.0 gange sammenlignet med ORC i ydelsestesten orcbench. Forfatteren anser dette for en acceptabel pris for fuld tr\u00e5dsikker behandling af cirkul\u00e6re referencer. <\/p>\n
YRC er allerede tilg\u00e6ngelig i udviklingsversionen af Nim og aktiveres med flaget \u2018--mm:yrc\u2019. Dog har forfatteren i efterf\u00f8lgende beskeder indr\u00f8mmet, at den oprindelige implementering indeholdt alvorlige fejl og ikke korrekt indsamlede cykler. P\u00e5 tidspunktet for offentligg\u00f8relsen er der lavet et s\u00e6t rettelser, der udbedrer de prim\u00e6re fejl. Forfatteren forts\u00e6tter med at justere heuristikkerne for indsamlingen og rette de resterende fejl, samtidig med at den grundl\u00e6ggende algoritme og dens formelle verifikation forbliver korrekt. \n Kilde: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"