{"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\/et\/blog\/news\/v-yazyke-nim-predstavlen-yrc-potokobezopasnyj-sborshhik-cziklicheskih-ssylok","title":{"rendered":"Nim keeles on lisatud YRC \u2014 l\u00f5imede ohutu ts\u00fckliliste viidete koguja.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Andreas Rumpf (Araq), Nim programme keele autor, kuulutas v\u00e4lja uue YRC m\u00e4luhalduse algoritmi, mis lahendab \u00fche Nim olemasolevate mehhanismide v\u00f5tmeprobleemi: ts\u00fckliliste viidete korrektsel t\u00f6\u00f6tlemisel, mis \u00fcletavad l\u00f5ime piire. <\/p>\n
Enne YRC-d olid Nim-is pakutud m\u00e4luhalduse algoritmidel j\u00e4rgmised piirangud: ARC ei toetanud ei mitme l\u00f5ime t\u00f6\u00f6tlemist ega ts\u00fcklite t\u00f6\u00f6tlemist; Atomic ARC oli l\u00f5ime ohutu, kuid ei t\u00f6\u00f6tlenud ts\u00fcklilisi viiteid; ORC t\u00f6\u00f6tles ts\u00fcklilisi viiteid, kuid suutis seda teha \u00f5igesti ainult \u00fche l\u00f5ime sees (\u00fchiste viidete kasutamisel l\u00f5imede vahel tekitas see m\u00e4lu lekkeid). <\/p>\n
YRC pakub l\u00f5ime ohutust ja ts\u00fcklite t\u00f6\u00f6tlemist l\u00f5imede vahel, kasutades kombineeritud l\u00e4henemist: akts\u00fckliliste andmete puhul rakendatakse aatomilist viidete arvestust, ja ts\u00fckliliste puhul kirjutamise barj\u00e4\u00e4ri, mis aktiveeritakse ainult viidete m\u00e4\u00e4ramisel. Pakutud rakenduses: kogujat k\u00e4ivitatakse vastavalt tegelikule vajadusele (puudub stop-the-world paus); juured objekti RC-d on selgelt m\u00e4\u00e4ratletud ja \u00fchendatud \u00fche korra (ei ole vajalik l\u00f5imede stekkide skannimine); v\u00e4ltida mitme l\u00f5ime kustutamist iteratsiooni ajal (pole globaalset puhastusfaasi); mutaatorid loevad andmeid vabalt; igal l\u00f5imel on v\u00f5imalus k\u00e4ivitada pr\u00fcgikoguja vajadusel (ilma spetsiaalse GC-l\u00f5imeta). <\/p>\n
YRC kasutab t\u00e4ielikku teavet incRef\/decRef s\u00fcndmuste kohta, mida traditsioonilised j\u00e4lgivad pr\u00fcgikogujad (tracing GC) k\u00f5rvale j\u00e4tavad ning seej\u00e4rel peavad taastama stekkide skaneerimise ja graafi l\u00e4bimisega. Rakendus h\u00f5lmab vaid 550 koodi rida ja omab formaalset turvaverifikatsiooni ning \u00fcksteise ummistuse puudumist TLA+ keeles spetsifikatsiooni ja Lean t\u00f6\u00f6riistade t\u00f5estamise kaudu. YRC on positsioneeritud kui 'peaaegu viimane viidete arvestusele p\u00f5hinev ts\u00fcklite koguja' (t\u00e4ht Y eelneb Z-le t\u00e4hestikus), samuti kui k\u00f5ige lihtsam l\u00f5ime ohutu pr\u00fcgikoguja \u2014 autori s\u00f5nul ei vaja ta hulgaliselt keerulisi mehhanisme, mis on iseloomulikud traditsioonilistele j\u00e4lgivatele pr\u00fcgikogujatele. <\/p>\n
YRC pakub sama API, nagu ORC, tehes destruktoreid pr\u00fcgikorpuse kogumise ajal. Koguja t\u00f6\u00f6tleb vaid neid objektide alammaatrikseid, millega t\u00f6\u00f6tlused tegelevad, puutumatuna j\u00e4ttes seotud andmestruktuurid (kiibid, pikaealised objektid) \u2014 lahendus, mis on sarnane \"ideaalsele\" generatiivsele pr\u00fcgikorpuse kogujale, ilma generatsioonide kasutamiseta. Peamine puudus on j\u00f5udlus: YRC n\u00e4itab 1.5\u20132.0 kordset aeglustumist v\u00f5rreldes ORC-iga orcbench-i j\u00f5udlustestide ajal. Autor peab seda t\u00e4isvoogude ohutuse hindamisena ts\u00fckliliste viidete t\u00f6\u00f6tlemisel vastuv\u00f5etavaks tasuks. <\/p>\n
YRC on juba saadaval Nim-i arendusversioonis ja seda aktiveeritakse lipuga \"--mm:yrc\". Kuid hilisemates teadetes tunnustas autor, et algne rakendus sisaldas t\u00f5siseid vigu ja ei kogunud ts\u00fckleid \u00f5igesti. Publikatsiooni ajaks on ette valmistatud paranduste kogum, mis k\u00f5rvaldab peamised vead. Autor j\u00e4tkab ehitusheuristikate t\u00e4iendamist ja j\u00e4\u00e4kvigade parandamist, samal ajal kui p\u00f5hialgoritm ja selle ametlik kontroll j\u00e4\u00e4vad kehtima. \n Allikas: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"