Sviluppo in Limbo per Inferno OS e la macchina virtuale Dis

Sviluppo software applicato e di ricerca in Limbo — il linguaggio concorrente del sistema operativo Inferno, eseguito dalla macchina virtuale Dis. Negli anni ho costruito driver per dispositivi, servizi di rete, server di file forniti tramite il protocollo Styx e piccole utility distribuite che rimangono leggibili proprio perché il parallelismo è espresso attraverso canali e il modello CSP piuttosto che tramite lock e memoria condivisa. Di solito il lavoro inizia con una breve nota di progetto: decompondo il compito in processi comunicanti, decido quali messaggi fluiscono su quali canali e abbozzo come il lavoro si parallelizza e si ricompone. Poi — moduli accurati in Limbo con interfacce piccole e verifica del bytecode Dis sia sotto Inferno ospitato che sulla piattaforma target dove il codice vivrà. Sono familiare con i posti scomodi: riferimenti gestiti dalla garbage collection che attraversano i confini dei processi, costrutti alt senza starvation, timeout e cancellazioni corretti, e le peculiarità della costruzione di strumenti Dis su sistemi moderni. Ripristino anche vecchio codice Limbo che ha smesso di compilare, lo documento e lascio una build riproducibile. Se hai un compito embedded, un prototipo distribuito, un progetto retro o educativo attorno a Inferno, o semplicemente hai bisogno di qualcuno che legga il linguaggio fluentemente — posso aiutarti. Il deliverable include codice sorgente commentato, firme dei moduli, una ricetta di build, un banco di prova e spiegazioni su come i canali si connettono. Spiego i compromessi in linguaggio semplice e mantengo il design abbastanza compatto affinché il tuo team possa mantenerlo autonomamente.