{"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\/hu\/blog\/news\/v-yazyke-nim-predstavlen-yrc-potokobezopasnyj-sborshhik-cziklicheskih-ssylok","title":{"rendered":"A Nim nyelvben bemutatkozott az YRC \u2014 sz\u00e1lbiztos ciklikus hivatkoz\u00e1sgy\u0171jt\u0151.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Andreas Rumpf (Araq), a szerverprogramoz\u00e1si nyelv, a Nim szerz\u0151je, bejelentette az \u00faj mem\u00f3riakezel\u0151 algoritmust, a YRC-t (kiejtve '\u00dcrk'), amely megoldja a megl\u00e9v\u0151 Nim mechanizmusok egyik f\u0151 probl\u00e9m\u00e1j\u00e1t: a sz\u00e1lhat\u00e1rokon \u00e1tny\u00fal\u00f3 ciklikus hivatkoz\u00e1sok helyes kezel\u00e9s\u00e9nek lehetetlens\u00e9ge. <\/p>\n
A YRC megjelen\u00e9s\u00e9ig a Nim \u00e1ltal javasolt mem\u00f3riakezel\u0151 algoritmusok a k\u00f6vetkez\u0151 korl\u00e1toz\u00e1sokkal rendelkeztek: az ARC - nem t\u00e1mogatta a t\u00f6bb sz\u00e1lat, \u00e9s nem kezelte a ciklusokat; az Atomic ARC - sz\u00e1lbiztos volt, de nem kezelte a ciklikus hivatkoz\u00e1sokat; az ORC - kezeli a ciklikus hivatkoz\u00e1sokat, de ezt csak egy sz\u00e1lon bel\u00fcl tudta helyesen megtenni (a sz\u00e1lak k\u00f6z\u00f6tti k\u00f6z\u00f6s hivatkoz\u00e1sok eset\u00e9n mem\u00f3ria sziv\u00e1rg\u00e1sok l\u00e9ptek fel). <\/p>\n
A javasolt YRC egyes\u00edti a sz\u00e1lbiztons\u00e1got \u00e9s a ciklusok kezel\u00e9s\u00e9t a sz\u00e1lak k\u00f6z\u00f6tt, kombin\u00e1lt megk\u00f6zel\u00edt\u00e9s alkalmaz\u00e1s\u00e1val: az aciklikus adatokhoz atomikus hivatkoz\u00e1s-sz\u00e1m\u00edt\u00e1st alkalmaznak, m\u00edg a ciklikus hivatkoz\u00e1sokhoz \u00edr\u00e1si akad\u00e1lyt (write barrier) haszn\u00e1lnak, amely csak a pointerek hozz\u00e1rendel\u00e9sekor aktiv\u00e1l\u00f3dik. A javasolt megval\u00f3s\u00edt\u00e1sban: a gy\u0171jt\u0151 t\u00e9nyleges sz\u00fcks\u00e9g alapj\u00e1n indul (nincsenek stop-the-world sz\u00fcnetek); a gy\u00f6k\u00e9r RC objektumok kifejezetten meghat\u00e1rozottak \u00e9s egyszer egyes\u00edtettek (nincs sz\u00fcks\u00e9g a sz\u00e1lak verem\u00e9nek \u00e1tvizsg\u00e1l\u00e1s\u00e1ra); elker\u00fclik a t\u00f6bb sz\u00e1l\u00fa megsz\u00fcntet\u00e9st iter\u00e1ci\u00f3 k\u00f6zben (nincs glob\u00e1lis \u00e1tvizsg\u00e1l\u00e1si f\u00e1zis); a mut\u00e1torok szabadon olvass\u00e1k az adatokat; b\u00e1rmely sz\u00e1l elind\u00edthatja a szem\u00e9tszed\u0151t sz\u00fcks\u00e9g eset\u00e9n (nincs dedik\u00e1lt GC sz\u00e1l). <\/p>\n
A YRC teljes k\u00f6r\u0171 inform\u00e1ci\u00f3t haszn\u00e1l az incRef\/decRef esem\u00e9nyekr\u0151l, amelyeket a hagyom\u00e1nyos nyomk\u00f6vet\u0151 szem\u00e9tgy\u0171jt\u0151k (tracing GC) eldobnak, majd helyre kell \u00e1ll\u00edtaniuk a verem \u00e1tvizsg\u00e1l\u00e1s\u00e1val \u00e9s a gr\u00e1f bej\u00e1r\u00e1s\u00e1val. A megval\u00f3s\u00edt\u00e1s mind\u00f6ssze 550 k\u00f3dsorb\u00f3l \u00e1ll, \u00e9s form\u00e1lis biztons\u00e1g-ellen\u0151rz\u00e9se van, valamint holtblokkok n\u00e9lk\u00fcli verifik\u00e1ci\u00f3t k\u00edn\u00e1l a TLA+ nyelven k\u00e9sz\u00fclt specifik\u00e1ci\u00f3 \u00e9s a Lean eszk\u00f6zkeretrendszeren kereszt\u00fcl. A YRC-t 'majdnem az utols\u00f3 hivatkoz\u00e1s-sz\u00e1m\u00edt\u00e1son alapul\u00f3 ciklusgy\u0171jt\u0151k\u00e9nt' pozicion\u00e1lj\u00e1k (az Y bet\u0171 megel\u0151zi a Z-t az \u00e1b\u00e9c\u00e9ben), \u00e9s a legk\u00f6nnyebben haszn\u00e1lhat\u00f3 sz\u00e1lbiztos szem\u00e9tgy\u0171jt\u0151nek is tekintik - a szerz\u0151 \u00e1ll\u00edt\u00e1sa szerint nem ig\u00e9nyel t\u00f6bb bonyolult mechanizmust, amelyek a hagyom\u00e1nyos nyomk\u00f6vet\u0151 szem\u00e9tgy\u0171jt\u0151kre jellemz\u0151ek. <\/p>\n
A YRC ugyanazt az API-t k\u00edn\u00e1lja, mint az ORC, destrukt\u0151r\u00f6k v\u00e9grehajt\u00e1s\u00e1val a szem\u00e9tgy\u0171jt\u00e9s sor\u00e1n. A gy\u0171jt\u0151 csak azokat az objektumok alh\u00e1l\u00f3zatait kezeli, amelyekkel a sz\u00e1lak dolgoznak, an\u00e9lk\u00fcl, hogy meg\u00e9rinten\u00e9 a kapcsol\u00f3datlan adatstrukt\u00far\u00e1kat (el\u0151zm\u00e9nyek, hossz\u00fa \u00e9let\u0171 objektumok) \u2014 megk\u00f6zel\u00edt\u00e9s, amely hasonl\u00f3 a \u201et\u00f6k\u00e9letes\u201d gener\u00e1ci\u00f3s szem\u00e9tgy\u0171jt\u0151h\u00f6z gener\u00e1ci\u00f3k haszn\u00e1lata n\u00e9lk\u00fcl. Az alapvet\u0151 h\u00e1tr\u00e1ny a teljes\u00edtm\u00e9ny: a YRC 1,5-2,0-szeres lassul\u00e1st mutat az ORC-hez k\u00e9pest az orcbench teljes\u00edtm\u00e9nyteszt sor\u00e1n. A szerz\u0151 ezt a ciklikus hivatkoz\u00e1sok teljes sz\u00e1lbiztons\u00e1g\u00fa kezel\u00e9se\u00e9rt elfogadhat\u00f3 \u00e1rat tartja. <\/p>\n
A YRC m\u00e1r el\u00e9rhet\u0151 a Nim fejleszt\u00e9si verzi\u00f3j\u00e1ban, \u00e9s az «—mm:yrc» kapcsol\u00f3val aktiv\u00e1lhat\u00f3. A szerz\u0151 azonban k\u00e9s\u0151bbi \u00fczenetekben elismerte, hogy az eredeti megval\u00f3s\u00edt\u00e1s s\u00falyos hib\u00e1kat tartalmazott, \u00e9s nem gy\u0171jt\u00f6tte \u00f6ssze a ciklusokat helyesen. A publik\u00e1ci\u00f3 id\u0151pontj\u00e1ban egy hibajav\u00edt\u00f3 k\u00e9szlet k\u00e9sz\u00fclt, amely orvosolja a legfontosabb hib\u00e1kat. A szerz\u0151 folytatja a gy\u0171jt\u00e9si heurisztik\u00e1k finom\u00edt\u00e1s\u00e1t \u00e9s a fennmarad\u00f3 hib\u00e1k kijav\u00edt\u00e1s\u00e1t, mik\u00f6zben az alap algoritmus \u00e9s annak form\u00e1lis ellen\u0151rz\u00e9se tov\u00e1bbra is helyes marad. \n Forr\u00e1s: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"