rust-cc: un cycle collector per programmi scritti nel linguaggio Rust

Rust è un recente linguaggio di programmazione che permette, grazie al suo modello di ownership e al ricco type system, di garantire la sicurezza nella gestione della memoria a tempo di compilazione. Un esempio di come tali feature possano essere utilizzate per creare astrazioni utili sono gli smart pointer Rc e Arc della libreria standard, che offrono puntatori reference counted per realizzare ownership condivisa. Tuttavia, essi soffrono i problemi classici dell'approccio reference counted, principalmente l'incapacità di liberare i cicli di referenze. In questa tesi viene quindi presentato rust-cc, un crate scritto nel linguaggio Rust che offre lo smart pointer Cc (Cycle Collected), ovvero un puntatore reference counted con la capacità di liberare i cicli di referenze grazie ad un algoritmo di garbage collection basato su cycle collection.