Rozwój w Limbo dla systemu operacyjnego Inferno i maszyny wirtualnej Dis

Tworzę oprogramowanie aplikacyjne i badawcze w Limbo — równoległym języku systemu operacyjnego Inferno, wykonywanym przez maszynę wirtualną Dis. Na przestrzeni lat zbudowałem sterowniki urządzeń, usługi sieciowe, serwery plików dostarczane przez protokół Styx oraz małe rozproszone narzędzia, które pozostają czytelne właśnie dlatego, że równoległość jest wyrażona przez kanały i model CSP, a nie przez blokady i pamięć współdzieloną. Zwykle praca zaczyna się od krótkiej notatki projektowej: dekomponuję zadanie na komunikujące się procesy, decyduję, które wiadomości przepływają przez które kanały, i szkicuję, jak praca jest równolegle realizowana i składana z powrotem. Następnie — starannie moduły w Limbo z małymi interfejsami i weryfikacją bajtowego kodu Dis zarówno w hostowanym Inferno, jak i na docelowej platformie, na której kod będzie działał. Znam trudne miejsca: referencje zbierane przez śmieci, które przekraczają granice procesów, konstrukcje alt bez głodzenia, poprawne limity czasowe i anulowanie oraz dziwactwa związane z budowaniem narzędzi Dis w nowoczesnych systemach. Przywracam również stary kod Limbo, który przestał się kompilować, dokumentuję go i zostawiam powtarzalną kompilację. Jeśli masz zadanie osadzone, rozproszony prototyp, projekt retro lub edukacyjny związany z Inferno, lub po prostu potrzebujesz kogoś, kto płynnie czyta ten język — mogę pomóc. Wynik końcowy obejmuje skomentowany kod źródłowy, podpisy modułów, przepis na kompilację, stanowisko testowe oraz wyjaśnienia, jak kanały się łączą. Wyjaśniam kompromisy w prostym języku i utrzymuję projekt wystarczająco kompaktowy, aby Twój zespół mógł go samodzielnie utrzymywać.