Perché Rust ha rimosso il modello di threading verde; qual è lo svantaggio?

Question

Libertà di runtime: il sistema di runtime di Rust e il modello di threading verde sono stati completamente rimossi, riducendo la dimensione binaria statica di "hello world" a metà e aprendo la porta ai hook di livello inferiore nella libreria standard. Implementato da Aaron Turon.

http://blog.rust-lang.org/2015/01/09/Rust-1.0-alpha.html

Qual è lo svantaggio del modello di green-threading?

Perché Erlang è così veloce?

Answer 1

Erlang utilizza thread verdi con prelazione. Questo è possibile solo perché Erlang ha una VM, che consente anche molte altre cose come il codice hotswap. Ma le lingue con VM non sono adatte alla programmazione di sistemi perché hanno sempre un sovraccarico costante, sia in termini di memoria che di potenza di elaborazione. Rust è un linguaggio di programmazione dei sistemi e quindi non può avere un sistema runtime significativo. Vorrei anche aggiungere che Erlang non è veloce. È notoriamente inefficace nei calcoli numerici, ad esempio - vedi here. Il suo modello di concorrenza consente un throughput elevato per le operazioni di I/O, ma questa è una cosa diversa.

Quindi, per supportare i thread verdi in modo fattibile, una lingua deve avere una sorta di runtime. Le ragioni della rimozione del runtime in Rust sono descritte nel corrispondente RFC. In breve, il modello di runtime utilizzato in Rust in quel momento era difficile da lavorare con efficienza e difficile da migliorare, pur non avendo i vantaggi sufficienti a causa dei problemi di implementazione e dei vincoli generali dovuti all'API, quindi è stato scartato. Per quanto ne so, nulla in linea di principio impedisce a qualcuno di scrivere un runtime basato su thread verde per Rust, ma nessuno lo ha ancora fatto.