{"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\/novosti-interneta\/v-yazyke-nim-predstavlen-yrc-potokobezopasnyj-sborshhik-cziklicheskih-ssylok","title":{"rendered":"N\u00eb gjuh\u00ebn Nim \u00ebsht\u00eb prezantuar YRC \u2014 nj\u00eb mbledh\u00ebs i lidhjeve ciklike q\u00eb \u00ebsht\u00eb i sigurt p\u00ebr rrjedh\u00ebn","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Andreas Rumpf (Araq), autori i gjuh\u00ebs programuese Nim, njoftoi nj\u00eb algorit\u00ebm t\u00eb ri p\u00ebr menaxhimin e memories YRC (shkruhet si «Ürk»), i cili zgjidh nj\u00eb nga problemet kryesore t\u00eb mekanizmave ekzistues n\u00eb Nim: pamund\u00ebsia p\u00ebr t\u00eb trajtuar sakt\u00eb lidhjet ciklike q\u00eb kalojn\u00eb kufijt\u00eb e rrjedhave. <\/p>\n
Para shfaqjes s\u00eb YRC n\u00eb algoritmet e ofruara n\u00eb Nim p\u00ebr menaxhimin e memories, ekzistonin kufizime t\u00eb tilla: ARC \u2013 nuk mb\u00ebshteste as shum\u00ebrrjedhshm\u00ebrin\u00eb, as trajtimin e cikleve; Atomic ARC \u2013 ishte i sigurt p\u00ebr rrjedha, por nuk trajtonte lidhjet ciklike; ORC \u2013 trajtonte lidhjet ciklike, por mund ta b\u00ebnte k\u00ebt\u00eb sakt\u00eb vet\u00ebm brenda nj\u00eb rrjedhe (p\u00ebr shkak t\u00eb lidhjeve t\u00eb zakonshme midis rrjedhave, ndodhnin ikje t\u00eb memories). <\/p>\n
Propozimi YRC kombinon sigurin\u00eb p\u00ebr rrjedha dhe trajtimin e cikleve midis rrjedhave, duke p\u00ebrdorur nj\u00eb qasje t\u00eb kombinuar: p\u00ebr t\u00eb dh\u00ebnat aciklike, aplikohet num\u00ebrimi atomik i lidhjeve, nd\u00ebrsa p\u00ebr ato ciklike \u2013 barrier\u00eb shkrimi (write barrier), e cila aktivizohet vet\u00ebm kur caktohen treguesit. N\u00eb zbatimin e propozuar: kolektori ekzekutohet sipas nevoj\u00ebs aktuale (pa ndalime t\u00eb bot\u00ebs); objektet rr\u00ebnjosore RC jan\u00eb t\u00eb definuara qart\u00eb dhe kombinohen nj\u00eb her\u00eb (skanimi i stek\u00ebve t\u00eb rrjedhave nuk \u00ebsht\u00eb i nevojsh\u00ebm); shmangen fshirjet e shumta gjat\u00eb iteraimit (nuk ka faz\u00eb globale fshirjeje); mutator\u00ebt lexojn\u00eb t\u00eb dh\u00ebnat lirisht; \u00e7do rrjedh\u00eb mund t\u00eb aktivizoj\u00eb mbledh\u00ebsin e plehrave sipas nevoj\u00ebs (pa nj\u00eb rrjedh\u00eb t\u00eb dedikuar GC). <\/p>\n
YRC p\u00ebrdor informacion t\u00eb plot\u00eb mbi ngjarjet incRef\/decRef, t\u00eb cilin mbledh\u00ebsit e plehrave tradicionale q\u00eb gjurmohen e heqin dhe m\u00eb pas detyrohen ta rikuperojn\u00eb p\u00ebrmes skanimit t\u00eb stek\u00ebve dhe kalimit n\u00ebp\u00ebr graf\u00eb. Zbatimi merr 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 «mbledh\u00ebsi i fundit i cikleve bazuar n\u00eb num\u00ebrimin e lidhjeve» (letra 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 \u2013 sipas autorit, nuk k\u00ebrkon shum\u00eb mekanizma t\u00eb komplikuar q\u00eb i takojn\u00eb mbledh\u00ebsve tradicional\u00eb t\u00eb plehrave q\u00eb gjurmohen. <\/p>\n
YRC ofron t\u00eb nj\u00ebjtin API si ORC, me ekzekutimin e destruktoreve gjat\u00eb mbledhjes s\u00eb plehrave. Mbledh\u00ebsi trajton vet\u00ebm ato n\u00ebngrafika objektesh, me t\u00eb cilat punojn\u00eb rrjedhat, duke mos prekur strukturat e t\u00eb dh\u00ebnave t\u00eb pa lidhura (cache-t, objektet me jet\u00eb t\u00eb gjat\u00eb) \u2013 nj\u00eb qasje e ngjashme me mbledh\u00ebsin «ideal» gjenerues t\u00eb plehrave pa p\u00ebrdorimin e brezave. Dob\u00ebsia kryesore \u00ebsht\u00eb performanca: YRC tregon ngadal\u00ebsimin nga 1.5-2.0 her\u00eb krahasuar me ORC n\u00eb testin e performanc\u00ebs orcbench. Autori e konsideron k\u00ebt\u00eb nj\u00eb \u00e7mim t\u00eb pranuesh\u00ebm p\u00ebr trajtimin e plot\u00eb t\u00eb lidhjeve ciklike n\u00eb m\u00ebnyr\u00eb t\u00eb sigurt p\u00ebr rrjedha. <\/p>\n
YRC \u00ebsht\u00eb tashm\u00eb e disponueshme n\u00eb versionin e zhvillimit t\u00eb Nim dhe aktivizohet me flagun «—mm:yrc». Megjithat\u00eb, n\u00eb mesazhe t\u00eb m\u00ebvonshme, autori pranoi se implementimi fillestar kishte gabime t\u00eb r\u00ebnda dhe nuk mbledhja e cikleve sakt\u00eb. N\u00eb momentin e publikimit, \u00ebsht\u00eb p\u00ebrgatitur nj\u00eb grup korrigjimesh q\u00eb eliminon gabimet kryesore. Autori vazhdon t\u00eb p\u00ebrshtat\u00eb heuristik\u00ebn e mbledhjes dhe t\u00eb korrigjoj\u00eb gabimet e mbetura, nd\u00ebrsa 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":"