{"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\/pl\/blog\/news\/v-yazyke-nim-predstavlen-yrc-potokobezopasnyj-sborshhik-cziklicheskih-ssylok","title":{"rendered":"W j\u0119zyku Nim wprowadzono YRC \u2014 w\u0105tkowo bezpieczny zbieracz cyklicznych link\u00f3w","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Andreas Rumpf (Araq), autor j\u0119zyka programowania Nim, og\u0142osi\u0142 nowy algorytm zarz\u0105dzania pami\u0119ci\u0105 YRC (wymawiane jako \u201eYurk\u201d), kt\u00f3ry rozwi\u0105zuje jeden z kluczowych problem\u00f3w istniej\u0105cych mechanizm\u00f3w w Nim: niemo\u017cno\u015b\u0107 prawid\u0142owego przetwarzania cyklicznych odniesie\u0144, przekraczaj\u0105cych granice w\u0105tk\u00f3w. <\/p>\n
Przed pojawieniem si\u0119 YRC w proponowanych w Nim algorytmach zarz\u0105dzania pami\u0119ci\u0105 wyst\u0119powa\u0142y nast\u0119puj\u0105ce ograniczenia: ARC \u2014 nie wspiera\u0142 ani wielow\u0105tkowo\u015bci, ani przetwarzania cykli; Atomic ARC \u2014 by\u0142 bezpieczny dla w\u0105tk\u00f3w, ale nie przetwarza\u0142 cyklicznych odniesie\u0144; ORC \u2014 przetwarza\u0142 cykliczne odniesienia, ale m\u00f3g\u0142 to robi\u0107 poprawnie tylko w obr\u0119bie jednego w\u0105tku (u\u017cywanie wsp\u00f3lnych odniesie\u0144 mi\u0119dzy w\u0105tkami prowadzi\u0142o do wyciek\u00f3w pami\u0119ci). <\/p>\n
Proponowany YRC \u0142\u0105czy bezpiecze\u0144stwo w\u0105tk\u00f3w i przetwarzanie cykli mi\u0119dzy w\u0105tkami, dzi\u0119ki zastosowaniu po\u0142\u0105czonego podej\u015bcia: dla acyklicznych danych stosowany jest atomowy licznik odniesie\u0144, a dla cyklicznych \u2014 bariera zapisu, kt\u00f3ra jest aktywowana tylko przy przypisaniu wska\u017anik\u00f3w. W proponowanej implementacji kolektor uruchamiany jest w razie rzeczywistej potrzeby (brak pauz stop-the-world); obiekty g\u0142\u00f3wne RC s\u0105 jasno okre\u015blone i grupowane raz (nie jest potrzebne skanowanie stos\u00f3w w\u0105tk\u00f3w); unika si\u0119 usuwania wielow\u0105tkowego podczas iteracji (brak globalnej fazy wyczyszczenia); mutatory swobodnie odczytuj\u0105 dane; ka\u017cdy w\u0105tek mo\u017ce uruchomi\u0107 zbieracza \u015bmieci w razie potrzeby (bez wydzielonego w\u0105tku GC). <\/p>\n
YRC wykorzystuje pe\u0142ne informacje o zdarzeniach incRef\/decRef, kt\u00f3re tradycyjne zbieracze \u015bmieci z u\u017cyciem \u015bledzenia (tracing GC) odrzucaj\u0105, a nast\u0119pnie musz\u0105 przywraca\u0107 poprzez skanowanie stos\u00f3w i przechodzenie przez graf. Implementacja zajmuje zaledwie 550 linii kodu i ma formaln\u0105 weryfikacj\u0119 bezpiecze\u0144stwa oraz braku zakleszczenia dzi\u0119ki specyfikacji w j\u0119zyku TLA+ i dowodowi w narz\u0119dziu Lean. YRC jest pozycjonowany jako \u201eprawie ostatni zbieracz cykli oparty na liczniku odniesie\u0144\u201d (litera Y wyprzedza Z w alfabecie), a tak\u017ce jako najprostszy zbieracz \u015bmieci bezpieczny dla w\u0105tk\u00f3w \u2014 wed\u0142ug autora, nie wymaga on wielu skomplikowanych mechanizm\u00f3w, charakterystycznych dla tradycyjnych zbieraczy \u015bmieci z u\u017cyciem \u015bledzenia. <\/p>\n
YRC zapewnia to samo API co ORC, z realizacj\u0105 destruktor\u00f3w podczas zbierania \u015bmieci. Zbieracz przetwarza tylko te podgrafy obiekt\u00f3w, z kt\u00f3rymi pracuj\u0105 w\u0105tki, nie dotykaj\u0105c niespowi\u0105zanych struktur danych (cache, d\u0142ugo \u017cyj\u0105ce obiekty) \u2014 podej\u015bcie podobne do \u201eidealnego\u201d zbieracza \u015bmieci pokoleniowego bez u\u017cycia pokole\u0144. G\u0142\u00f3wn\u0105 wad\u0105 jest wydajno\u015b\u0107: YRC wykazuje spowolnienie od 1.5 do 2.0 razy w por\u00f3wnaniu do ORC w te\u015bcie wydajno\u015bci orcbench. Autor uwa\u017ca to za akceptowaln\u0105 cen\u0119 za pe\u0142n\u0105 bezpieczn\u0105 dla w\u0105tk\u00f3w obs\u0142ug\u0119 cyklicznych odniesie\u0144. <\/p>\n
YRC jest ju\u017c dost\u0119pny w wersji deweloperskiej Nim i w\u0142\u0105cza si\u0119 go za pomoc\u0105 flagi \u201e--mm:yrc\u201d. Jednak w p\u00f3\u017aniejszych komunikatach autor przyzna\u0142, \u017ce pocz\u0105tkowa implementacja zawiera\u0142a powa\u017cne b\u0142\u0119dy i nie obs\u0142ugiwa\u0142a cykli poprawnie. W momencie publikacji przygotowano zestaw poprawek eliminuj\u0105cych g\u0142\u00f3wne b\u0142\u0119dy. Autor kontynuuje dostosowywanie heurystyk zbierania i poprawianie pozosta\u0142ych b\u0142\u0119d\u00f3w, przy tym podstawowy algorytm i jego formalna weryfikacja pozostaj\u0105 poprawne. \n \u0179r\u00f3d\u0142o: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"