{"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\/sq\/blog\/news\/v-yazyke-nim-predstavlen-yrc-potokobezopasnyj-sborshhik-cziklicheskih-ssylok","title":{"rendered":"Gjuha Nim introdukton YRC \u2014 nj\u00eb mbledh\u00ebs t\u00eb cikleve referuese q\u00eb \u00ebsht\u00eb i sigurt p\u00ebr shumic\u00ebn e proceseve","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Andreas Rumpf (Araq), autor i gjuh\u00ebs s\u00eb programimit Nim, shpalli nj\u00eb algorit\u00ebm t\u00eb ri p\u00ebr menaxhimin e memorjes YRC (shqiptohet \u2018Yurk\u2019), i cili zgjidh nj\u00eb nga problemet kryesore t\u00eb mekanizmave ekzistues n\u00eb Nim: pamund\u00ebsin\u00eb p\u00ebr t\u00eb trajtuar sakt\u00eb lidhjet ciklike q\u00eb kalojn\u00eb kufijt\u00eb e riaktrave. <\/p>\n
Para shfaqjes s\u00eb YRC n\u00eb algoritmet e propozuara p\u00ebr menaxhimin e memorjes n\u00eb Nim, kishte k\u00ebto kufizime: ARC - nuk mb\u00ebshteste as multithread-in, as trajtimin e cikleve; Atomic ARC - ishte i sigurt p\u00ebr rrjedha, por nuk trajtonte lidhjet ciklike; ORC - trajtonte lidhjet ciklike, por mund ta b\u00ebnte k\u00ebt\u00eb vet\u00ebm brenda nj\u00eb riaktre (duke p\u00ebrdorur lidhje t\u00eb p\u00ebrbashk\u00ebta midis riaktrave shkaktonte rrjedhje memorjeje). <\/p>\n
YRC e propozuar kombinon sigurin\u00eb p\u00ebr rrjedha dhe trajtimin e cikleve midis riaktrave, p\u00ebrmes p\u00ebrdorimit t\u00eb nj\u00eb qasjeje t\u00eb kombinuar: p\u00ebr t\u00eb dh\u00ebnat aciklike aplikohet num\u00ebrimi atomik i lidhjeve, nd\u00ebrsa p\u00ebr ato ciklike - barrieri i shkruar (write barrier), i cili aktivizohet vet\u00ebm kur lidhen treguesit. N\u00eb realizimin e propozuar: kolektori aktivizohet sipas nevoj\u00ebs reale (nuk ka pauza stop-the-world); objektet rr\u00ebnj\u00ebsore RC p\u00ebrcaktohen qart\u00eb dhe bashkohen vet\u00ebm nj\u00eb her\u00eb (nuk \u00ebsht\u00eb e nevojshme t\u00eb skanon shkall\u00ebt e riaktrave); shmangen fshirjet me shum\u00eb rrjedha gjat\u00eb iterimit (nuk ka faz\u00eb globale fshirjeje); mutator\u00ebt lexojn\u00eb lirisht t\u00eb dh\u00ebnat; \u00e7do rrjedh mund t\u00eb nis\u00eb mbledh\u00ebsin e plehrave n\u00eb rast nevoje (pa nj\u00eb rrjedh t\u00eb dedikuar GC). <\/p>\n
YRC p\u00ebrdor informacionin e plot\u00eb rreth ngjarjeve incRef\/decRef, t\u00eb cilin mbledh\u00ebsit e plehrave tradicional\u00eb me gjurmim (tracing GC) e hedhin tej dhe pastaj detyrohen ta rikthejn\u00eb p\u00ebrmes skanimit t\u00eb shkall\u00ebve dhe kalimit t\u00eb grafit. Realizimi z\u00eb vet\u00ebm 550 rreshta kodi dhe ka verifikim formal t\u00eb siguris\u00eb dhe munges\u00ebs s\u00eb bllokimeve t\u00eb nd\u00ebrsjella p\u00ebrmes specifikimit n\u00eb gjuh\u00ebn TLA+ dhe prov\u00ebs n\u00eb mjetin Lean. YRC pozicionohet si 'gati mbledh\u00ebsi i fundit i cikleve bazuar n\u00eb num\u00ebrimin e lidhjeve' (leta Y i paraprin Z n\u00eb alfabet), si dhe si mbledh\u00ebsi m\u00eb i thjesht\u00eb i plehrave t\u00eb sigurt p\u00ebr rrjedha - sipas autorit, ai nuk k\u00ebrkon shum\u00eb mekanizma t\u00eb nd\u00ebrlikuara q\u00eb p\u00ebrfshihen n\u00eb mbledh\u00ebsit e plehrave tradicional\u00eb me gjurmim. <\/p>\n
YRC ofron t\u00eb nj\u00ebjtin API si ORC, me ekzekutimin e destruktor\u00ebve gjat\u00eb mbledhjes s\u00eb plehrave. Mbledh\u00ebsi p\u00ebrpunon vet\u00ebm ato n\u00ebngrafik\u00eb objektesh me t\u00eb cilat punojn\u00eb rrjedhat, pa prekur strukturat e dh\u00ebnash t\u00eb pa lidhura (keshat, objektet me jet\u00ebgjat\u00ebsi t\u00eb gjat\u00eb) \u2014 nj\u00eb qasje e ngjashme me nj\u00eb mbledh\u00ebs plehrash 't\u00eb p\u00ebrsosur' gjenerues pa p\u00ebrdorimin e brezave. Disavantazhi kryesor \u00ebsht\u00eb performanca: YRC tregon ngadal\u00ebsim prej 1.5-2.0 her\u00eb krahasuar me ORC n\u00eb testin e performanc\u00ebs orcbench. Autori e sheh k\u00ebt\u00eb si nj\u00eb \u00e7mim t\u00eb pranuesh\u00ebm p\u00ebr p\u00ebrpunimin e plot\u00eb t\u00eb sigurt p\u00ebr rrjedhat t\u00eb cikleve referuese. <\/p>\n
YRC \u00ebsht\u00eb tashm\u00eb i disponuesh\u00ebm n\u00eb versionin e zhvillimit t\u00eb Nim dhe aktivizohet me parametrin '\u2014mm:yrc'. Megjithat\u00eb, n\u00eb mesazhet e m\u00ebvonshme, autori pranoi se implementimi fillestar kishte gabime t\u00eb r\u00ebnda dhe nuk i p\u00ebrmbledh ciklet n\u00eb m\u00ebnyr\u00eb korrekte. N\u00eb momentin e publikimit, \u00ebsht\u00eb p\u00ebrgatitur nj\u00eb grup korrigjimesh q\u00eb eliminojn\u00eb gabimet kryesore. Autori vazhdon t\u00eb rregulloj\u00eb heuristik\u00ebt e mbledhjes dhe t\u00eb korrigjoj\u00eb gabimet e mbetura, nd\u00ebrkoh\u00eb q\u00eb algoritmi baz\u00eb dhe verifikimi i tij formal mbeten t\u00eb sakt\u00eb. \n Burimi: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"