{"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\/de\/blog\/novosti-interneta\/v-yazyke-nim-predstavlen-yrc-potokobezopasnyj-sborshhik-cziklicheskih-ssylok","title":{"rendered":"Die Sprache Nim f\u00fchrt YRC ein \u2013 einen threadsicheren Garbage Collector f\u00fcr zirkul\u00e4re Referenzen.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Andreas Rumpf (Araq), der Sch\u00f6pfer der Programmiersprache Nim, k\u00fcndigte einen neuen Speicherverwaltungsalgorithmus an, YRC (ausgesprochen \u201eYurk\u201c), der eines der Hauptprobleme bestehender Mechanismen in Nim l\u00f6st: die Unf\u00e4higkeit, zyklische Referenzen, die die Grenzen von Threads \u00fcberqueren, korrekt zu verarbeiten. <\/p>\n
Vor der Einf\u00fchrung von YRC hatten die in Nim angebotenen Speicherverwaltungsalgorithmen folgende Einschr\u00e4nkungen: ARC \u2013 unterst\u00fctzte weder Multithreading noch die Verarbeitung von Zyklen; Atomic ARC \u2013 war thread-sicher, stellte jedoch keine zyklischen Referenzen dar; ORC \u2013 verarbeitete zyklische Referenzen, konnte dies jedoch nur innerhalb eines einzelnen Threads korrekt durchf\u00fchren (bei der Verwendung gemeinsamer Referenzen zwischen Threads entstanden Speicherlecks). <\/p>\n
Der vorgeschlagene YRC vereint Thread-Sicherheit und die Verarbeitung von Zyklen zwischen Threads, indem er einen kombinierten Ansatz verwendet: F\u00fcr akzessorische Daten wird eine atomare Referenzz\u00e4hlung angewendet, w\u00e4hrend f\u00fcr zyklische Referenzen ein Write Barrier verwendet wird, der nur bei der Zuweisung von Zeigern aktiviert wird. In der vorgeschlagenen Implementierung: Der Collector wird nach tats\u00e4chlichem Bedarf gestartet (keine Stop-the-World-Pausen); die Wurzelobjekte RC sind klar definiert und werden einmalig zusammengefasst (keine Notwendigkeit zum Scannen von Thread-Stacks); das Multithread-L\u00f6schen w\u00e4hrend der Iteration wird vermieden (keine globale Sweep-Phase); Mutatoren k\u00f6nnen Daten frei lesen; jeder Thread kann den Garbage Collector bei Bedarf starten (ohne einen speziellen GC-Thread). <\/p>\n
YRC verwendet vollst\u00e4ndige Informationen \u00fcber die Ereignisse incRef\/decRef, die traditionelle tracing Garbage Collector (Tracing GC) ignorieren und dann durch das Scannen von Stacks und das Durchlaufen von Graphen wiederherstellen m\u00fcssen. Die Implementierung umfasst lediglich 550 Zeilen Code und hat eine formale Verifikation von Sicherheit und Abwesenheit von Deadlocks durch Spezifikationen in der Sprache TLA+ und Beweise im Werkzeug Lean. YRC wird als \u201efast der letzte zyklusbasierte Garbage Collector auf Basis von Referenzz\u00e4hlung\u201c positioniert (der Buchstabe Y steht im Alphabet vor Z) und auch als der einfachste thread-sichere Garbage Collector \u2013 so der Autor, es sind keine komplexen Mechanismen erforderlich, die typischerweise bei traditionellen tracing Garbage Collectors anfallen. <\/p>\n
YRC bietet die gleiche API wie ORC, mit der Ausf\u00fchrung von Destruktoren w\u00e4hrend der Garbage Collection. Der Collector verarbeitet nur die Untergraphs von Objekten, mit denen Threads arbeiten, ohne unverbundene Datenstrukturen (Caches, langlebige Objekte) zu ber\u00fchren \u2013 ein Ansatz, der dem \u201eidealen\u201c generativen Garbage Collector ohne die Verwendung von Generationen \u00e4hnelt. Der Hauptnachteil besteht in der Leistung: YRC zeigt eine Verlangsamung von 1,5 bis 2,0 mal im Vergleich zu ORC im Leistungstest orcbench. Der Autor h\u00e4lt dies f\u00fcr einen akzeptablen Preis f\u00fcr die vollst\u00e4ndige thread-sichere Verarbeitung von zyklischen Referenzen. <\/p>\n
YRC ist bereits in der Entwicklungsversion von Nim verf\u00fcgbar und wird mit dem Schalter \u201e--mm:yrc\u201c aktiviert. In sp\u00e4teren Mitteilungen r\u00e4umte der Autor jedoch ein, dass die urspr\u00fcngliche Implementierung schwere Fehler enthielt und Zyklen nicht korrekt sammelte. Zum Zeitpunkt der Ver\u00f6ffentlichung wurde eine Reihe von Korrekturen vorbereitet, die die Hauptfehler beheben. Der Autor arbeitet weiterhin an der Feinabstimmung der Sammlerheuristiken und der Behebung verbleibender Fehler, w\u00e4hrend der zugrunde liegende Algorithmus und seine formale Verifikation weiterhin korrekt bleiben. \n Quelle: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"