{"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\/novosti-interneta\/v-yazyke-nim-predstavlen-yrc-potokobezopasnyj-sborshhik-cziklicheskih-ssylok","title":{"rendered":"Nimis keeles on esitatud YRC \u2014 l\u00f5imeteavetohendav ts\u00fcklite ohutu kokkuv\u00f5tja.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Andreas Rumpf (Araq), Nim programmeerimiskeele looja, tutvustas uut YRC m\u00e4luhalduse algoritmi (h\u00e4\u00e4ldus «\u00dcrk»), mis lahendab \u00fche Nim'i olemasolevate mehhanismide peamise probleemi: ts\u00fckliliste linkide \u00f5ige k\u00e4sitlemise, mis \u00fcletavad l\u00f5imede piire. <\/p>\n
Enne YRC-d olid Nim'i pakutud m\u00e4luhalduse algoritmidel j\u00e4rgmised piirangud: ARC - ei toetanud ei mitme l\u00f5ime kasutamist ega ts\u00fcklite k\u00e4sitlemist; Atomic ARC - oli l\u00f5imede ohutu, kuid ei k\u00e4sitlenud ts\u00fcklilisi linke; ORC - k\u00e4sitles ts\u00fcklilisi linke, kuid suudab seda \u00f5igesti teha ainult \u00fche l\u00f5ime sees (\u00fcldiste linkide kasutamisel l\u00f5imede vahel tekkisid m\u00e4lu leketud). <\/p>\n
Pakutud YRC kombineerib l\u00f5imede ohutuse ja ts\u00fcklite k\u00e4sitlemise l\u00f5imede vahel l\u00e4bi kombineeritud l\u00e4henemise: aktsiaandmete puhul kasutatakse aatomaarvestust, ts\u00fckliliste puhul - kirjutamisbarj\u00e4\u00e4ri (write barrier), mis aktiveeritakse ainult siis, kui osutajad on m\u00e4\u00e4ratud. Pakutud teostuses: kollektsioon k\u00e4ivitub tegeliku vajaduse korral (stop-the-world pause ei ole vajalik); juureobjektid on selgelt m\u00e4\u00e4ratletud ja \u00fchendatud \u00fche korra (ei ole vajalik l\u00f5imede virnade skaneerimine); v\u00e4lditakse mitme l\u00f5ime eemaldamist iteratsiooni ajal (globaalset p\u00fchkimisfaasi ei ole); mutatoorid saavad andmeid vabalt lugeda; iga l\u00f5ime saab spetsiifilise vajaduse korral k\u00e4ivitada j\u00e4\u00e4tme- (garbage) kollektsiooni ilma eraldi GC-l\u00f5imeta. <\/p>\n
YRC kasutab t\u00e4ielikku teavet incRef\/decRef s\u00fcndmuste kohta, mida traditsioonilised j\u00e4lgivad j\u00e4\u00e4tme kollektsioonide (tracing GC) mehhanismid loobuvad ja siis peavad tagasi taastama virnade skaneerimise ja graafi l\u00e4bimise kaudu. Teostus h\u00f5lmab vaid 550 koodirida ning omab formaalset valideerimist ohutuse ja deadlockide puudumise osas TLA+ spetsifikatsiooni ja Lean'i t\u00f6\u00f6riista t\u00f5estamise kaudu. YRC positsioneeritakse kui «peaaegu viimane ts\u00fcklite j\u00e4\u00e4tme kollektsioon, mis p\u00f5hineb viidete arvestusel» (t\u00e4ht Y on t\u00e4hestikus enne Z), samuti kui k\u00f5ige lihtsam l\u00f5imede ohutu j\u00e4\u00e4tme kollektsioon - autori s\u00f5nul ei n\u00f5ua see palju keerulisi mehhanisme, mis on iseloomulikud traditsioonilistele j\u00e4lgivatele j\u00e4\u00e4tme kollektsioonidele. <\/p>\n
YRC pakub sama API-d nagu ORC, lahendades destruktorid j\u00e4\u00e4tme kollektsiooni ajal. Kollektsioon k\u00e4sitleb ainult neid objektide alamgraafe, millega l\u00f5imed t\u00f6\u00f6tavad, segamata omavahel seotud andmestruktuure (vahem\u00e4lu, pikaealised objektid) - l\u00e4henemine, mis sarnaneb «ideaalsele» generatsioonilisele j\u00e4\u00e4tme kollektsioonile, ilma p\u00f5lvkondade kasutamiseta. Peamine puudus on j\u00f5udlus: YRC n\u00e4itab v\u00f5rreldes ORC-iga 1.5\u20132.0 korda aeglasemat testi orcbench'i j\u00f5udluses. Autor peab seda lubatavaks hinnaks t\u00e4ieliku l\u00f5imede ohutu ts\u00fcklite k\u00e4sitlemise eest. <\/p>\n
YRC on juba saadaval Nim'i arendusversioonis ja l\u00fclitatakse sisse lipuga «--mm:yrc». Kuid hiljem tunnustas autor, et algne teostus sisaldas t\u00f5siseid vigu ja ei kogunud ts\u00fckleid \u00f5igesti. Avaldamise hetkel on valmis komplekt parandusi, mis k\u00f5rvaldavad peamised vead. Autor j\u00e4tkab kogumise h\u00e4\u00e4lestamist ja j\u00e4\u00e4kvigade parandamist, samas kui p\u00f5hialgoritm ja selle formaalne valideerimine j\u00e4\u00e4vad \u00f5igeks. \n Allikas: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"