ნიმი წარმოგიდგენთ YRC-ს, ძაფებისთვის უსაფრთხო საცნობარო კოლექციონერს.

Nim პროგრამირების ენის ავტორმა, ანდრეას რუმპფმა (Araq), გამოაცხადა მეხსიერების მართვის ახალი ალგორითმის, YRC-ის (წარმოითქმის როგორც „Ürk“) შესახებ, რომელიც Nim-ში არსებული მექანიზმების ერთ-ერთ მთავარ პრობლემას აგვარებს: ძაფების საზღვრებს გადაკვეთილი წრიული მითითებების სწორად დამუშავების შეუძლებლობას.

YRC-მდე, ნიმის მიერ შემოთავაზებულ მეხსიერების მართვის ალგორითმებს შემდეგი შეზღუდვები ჰქონდა: ARC არ უჭერდა მხარს მრავალძაფიან ან ციკლურ დამუშავებას; Atomic ARC უსაფრთხო იყო ძაფებისთვის, მაგრამ არ ამუშავებდა ციკლურ მითითებებს; ORC ამუშავებდა ციკლურ მითითებებს, მაგრამ ამის სწორად გაკეთება მხოლოდ ერთ ძაფში შეეძლო (მეხსიერების გაჟონვა ხდებოდა ძაფებს შორის გაზიარებული მითითებების გამოყენებისას).

შემოთავაზებული YRC აერთიანებს ძაფების უსაფრთხოებას და ძაფებს შორის ციკლის დამუშავებას ჰიბრიდული მიდგომის გამოყენებით: აციკლური მონაცემებისთვის გამოიყენება ატომური მითითებების დათვლა, ხოლო ციკლური მონაცემებისთვის - ჩაწერის ბარიერი, რომელიც აქტიურდება მხოლოდ მაჩვენებლების მინიჭებისას. შემოთავაზებულ იმპლემენტაციაში: კოლექციონერი იწყება საჭიროების შემთხვევაში (არ არის საჭირო სამყაროს გაჩერების პაუზები); RC root ობიექტები აშკარად განისაზღვრება და ერთიანდება ერთხელ (ძაფების დასტის სკანირება არ არის საჭირო); თავიდან აცილებულია მრავალძაფიანი წაშლა იტერაციის დროს (არ არის გლობალური გაწმენდის ფაზა); მუტატორებს შეუძლიათ მონაცემების წაკითხვა; ნებისმიერ ძაფს შეუძლია საჭიროების შემთხვევაში გაუშვას ნაგვის კოლექციონერი (არ არის განკუთვნილი GC ძაფი).

YRC იყენებს incRef/decRef მოვლენის სრულ ინფორმაციას, რომელსაც ტრადიციული ნაგვის შემგროვებლები (GC) ტოვებენ და შემდეგ აღადგენენ დასტის სკანირებისა და გრაფიკის გადაკვეთის გზით. იმპლემენტაციას მხოლოდ 550 ხაზი კოდი სჭირდება და ფორმალურად დამოწმებულია უსაფრთხოებისა და ჩიხისგან თავისუფალობისთვის TLA+ სპეციფიკაციისა და Lean ინსტრუმენტარიუმის დამტკიცების მეშვეობით. YRC ბაზარზე წარმოდგენილია, როგორც „თითქმის ბოლო მითითების დათვლის ციკლის შემგროვებელი“ (ანბანში ასო Y წინ უსწრებს Z-ს), ასევე უმარტივესი ძაფებისთვის უსაფრთხო ნაგვის შემგროვებელი - ავტორის თქმით, ის არ საჭიროებს ტრადიციული ნაგვის შემგროვებლებისთვის დამახასიათებელ რთულ მექანიზმებს.

YRC იგივე API-ს გვთავაზობს, რასაც ORC, დესტრუქტორებით, რომლებიც ნაგვის შეგროვების დროს სრულდება. კოლექციონერი ამუშავებს მხოლოდ ობიექტის ქვეგრაფიკებს, რომლებზეც წვდომა აქვთ ძაფებს, ხოლო დაუკავშირებელ მონაცემთა სტრუქტურებს (ქეშები, დიდი ხნის ობიექტები) ხელუხლებლად ტოვებს - მიდგომა, რომელიც მსგავსია „იდეალური“ თაობათა ნაგვის შეგროვებისა თაობათა GC-ის გარეშე. მთავარი ნაკლი არის შესრულება: YRC აჩვენებს 1.5-2.0-ჯერ შენელებას orcbench ბენჩმარკში ORC-თან შედარებით. ავტორი ამას მიიჩნევს მისაღებ კომპრომისად ციკლური მითითებების სრულად ძაფებისთვის უსაფრთხო დამუშავებისთვის.

YRC უკვე ხელმისაწვდომია Nim-ის შემუშავების ვერსიაში და მისი ჩართვა შესაძლებელია „--mm:yrc“ დროშით. თუმცა, შემდგომ პოსტებში ავტორმა აღიარა, რომ საწყისი იმპლემენტაცია შეიცავდა სერიოზულ შეცდომებს და ციკლები სწორად არ ააგებდა. გამოქვეყნების მომენტისთვის მომზადდა პატჩების ნაკრები, რომლებიც ძირითად პრობლემებს აგვარებს. ავტორი აგრძელებს აწყობის ევრისტიკის მორგებას და დარჩენილი შეცდომების გამოსწორებას, სანამ ძირითადი ალგორითმი და მისი ფორმალური დადასტურება სწორი რჩება.

წყარო: opennet.ru