Инженерия на языке Limbo: Inferno OS и виртуальная машина Dis

Моя специализация — язык Limbo, параллельный язык операционной системы Inferno, код которого исполняет виртуальная машина Dis. Я не первый год пишу на нём вещи, которые реально уходят в эксплуатацию: драйверы, сетевые демоны, файловые серверы поверх протокола Styx и компактные распределённые инструменты. Их читаемость держится на том, что параллелизм здесь выражается через каналы и модель CSP, а не через мьютексы и общую память. Заказ обычно стартует с краткого разбора: я делю задачу на процессы, которые обмениваются сообщениями, определяю набор каналов и то, как поток работы расщепляется и сходится обратно в одну точку. Затем идут опрятные модули на языке Limbo с узкими интерфейсами; байткод Dis я прогоняю и в хостовом Inferno, и непосредственно на целевом устройстве. Спокойно берусь за тонкие моменты: ссылки под сборщиком мусора между процессами, конструкции alt, которые не должны никого «морить голодом», честные таймауты и отмену операций, сборку тулчейна Dis на нынешних системах. Отдельно поднимаю залежавшийся код на языке Limbo, который уже не собирается: чиню, описываю и оставляю воспроизводимую сборку. Подойдёт для встраиваемых задач, распределённых прототипов, ретро- и учебных проектов вокруг Inferno или когда просто нужен человек, свободно владеющий языком. На выходе — прокомментированные исходники, сигнатуры модулей, рецепт сборки, тестовый стенд и внятная схема связей между каналами. Решения объясняю без жаргона и держу проект компактным, чтобы ваша команда вела его дальше без меня.