{"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\/news\/v-yazyke-nim-predstavlen-yrc-potokobezopasnyj-sborshhik-cziklicheskih-ssylok","title":{"rendered":"In der Nim-Sprache wird YRC — ein threadsicherer Sammler f\u00fcr zyklische Verweise, vorgestellt.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Andreas Rumpf (Araq), der Sch\u00f6pfer der Programmiersprache Nim, hat einen neuen Algorithmus zur Speicherverwaltung namens YRC (ausgesprochen «Ürk») angek\u00fcndigt, der eines der zentralen Probleme bestehender Mechanismen in Nim l\u00f6st: die Unf\u00e4higkeit, zyklische Verweise zu behandeln, die die Grenzen von Threads \u00fcberschreiten. <\/p>\n
Vor der Einf\u00fchrung von YRC gab es in den vorgeschlagenen Algorithmen zur Speicherverwaltung in Nim folgende Einschr\u00e4nkungen: ARC unterst\u00fctzte weder Multithreading noch die Verarbeitung von Zyklen; Atomic ARC war thread-sicher, behandelte jedoch keine zyklischen Verweise; ORC konnte zyklische Verweise verarbeiten, allerdings nur innerhalb eines einzelnen Threads (bei der Verwendung von gemeinsamen Verweisen zwischen Threads traten Speicherlecks auf). <\/p>\n
Das vorgeschlagene YRC kombiniert Thread-Sicherheit mit der Verarbeitung von Zyklen zwischen Threads, indem es einen kombinierten Ansatz verwendet: F\u00fcr azyklische Daten wird die atomare Referenzz\u00e4hlung angewendet, w\u00e4hrend f\u00fcr zyklische Verweise eine Schreibbarriere aktiviert wird, die nur bei der Zuweisung von Zeigern greift. In der vorgeschlagenen Implementierung wird der Collector nach tats\u00e4chlichem Bedarf gestartet (keine stop-the-world-Pausen); die Wurzelobjekte RC sind eindeutig definiert und werden einmalig zusammengef\u00fchrt (eine Scannung der Thread-Stacks ist nicht erforderlich); es wird vermieden, dass w\u00e4hrend der Iteration in einem Multithreading-Szenario gel\u00f6scht wird (es gibt keine globale Sweep-Phase); Mutatoren k\u00f6nnen Daten frei lesen; jeder Thread kann den Garbage Collector bei Bedarf starten (ohne einen dedizierten GC-Thread). <\/p>\n
YRC verwendet vollst\u00e4ndige Informationen \u00fcber die Ereignisse incRef\/decRef, die traditionelle tracing Garbage Collector (Tracing GC) verwerfen und anschlie\u00dfend durch das Scannen von Stacks und die Traversierung des Graphen wiederherstellen m\u00fcssen. Die Implementierung umfasst nur 550 Codezeilen und verf\u00fcgt \u00fcber eine formale Verifikationssicherheit und den Nachweis der Abwesenheit von Deadlocks durch eine Spezifikation in der Sprache TLA+ sowie einen Beweis im Lean-Toolset. YRC wird als «fast letzter Zyklen-Collector auf Basis der Referenzz\u00e4hlung» positioniert (der Buchstabe Y geht dem Z im Alphabet voraus) und auch als der einfachste thread-sichere Garbage Collector \u2013 laut dem Autor ben\u00f6tigt er nicht die vielen komplexen Mechanismen, die typische tracing Garbage Collectors mit sich bringen. <\/p>\n
YRC bietet dieselbe API wie ORC, mit der Ausf\u00fchrung von Destruktoren w\u00e4hrend der M\u00fcllabfuhr. Der Sammler verarbeitet nur die Objektuntergraphen, mit denen Threads arbeiten, ohne unverbundene Datenstrukturen (Caches, langlebige Objekte) zu ber\u00fchren \u2013 ein Ansatz, der dem \u201eideal\u201c generationalen M\u00fcllsammler \u00e4hnelt, ohne Generationen zu verwenden. Der Hauptnachteil ist die Leistung: YRC zeigt eine Verlangsamung von 1,5 bis 2,0 Mal im Vergleich zu ORC im Leistungstest orcbench. Der Autor betrachtet dies als akzeptable Kosten f\u00fcr die vollst\u00e4ndige thread-sichere Verarbeitung von zirkul\u00e4ren Referenzen. <\/p>\n
YRC ist bereits in der Entwicklungsversion von Nim verf\u00fcgbar und wird mit dem Flag «—mm:yrc» aktiviert. Allerdings r\u00e4umte der Autor in sp\u00e4teren Mitteilungen ein, dass die urspr\u00fcngliche Implementierung schwerwiegende Fehler enthielt und Zyklen nicht korrekt sammelte. Zum Zeitpunkt der Ver\u00f6ffentlichung wurde ein Ma\u00dfnahmenpaket erstellt, das die Hauptfehler behebt. Der Autor arbeitet weiterhin an der Anpassung der Sammlungsheuristiken und der Behebung der verbleibenden Fehler, w\u00e4hrend der grundlegende Algorithmus und seine formale Verifikation korrekt bleiben. \n Quelle: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"