À propos du service
TraduitJe développe des logiciels appliqués et de recherche en Limbo — le langage concurrent du système d'exploitation Inferno, exécuté par la machine virtuelle Dis. Au fil des ans, j'ai construit des pilotes de périphériques, des services réseau, des serveurs de fichiers livrés via le protocole Styx, et de petites utilitaires distribués qui restent lisibles précisément parce que le parallélisme est exprimé à travers des canaux et le modèle CSP plutôt que par des verrous et de la mémoire partagée. En général, le travail commence par une courte note de projet : je décompose la tâche en processus communicants, décide quels messages circulent sur quels canaux, et esquisse comment le travail se parallélise et se réassemble. Ensuite — des modules soignés en Limbo avec de petites interfaces et la vérification du bytecode Dis à la fois sous Inferno hébergé et sur la plateforme cible où le code vivra. Je suis familier avec les endroits délicats : les références collectées par le ramasse-miettes traversant les frontières de processus, les constructions alt sans famine, les délais et annulations corrects, et les particularités de la construction d'outils Dis sur des systèmes modernes. Je restaure également du vieux code Limbo qui a cessé de compiler, le documente et laisse une construction reproductible. Si vous avez une tâche embarquée, un prototype distribué, un projet rétro ou éducatif autour d'Inferno, ou si vous avez simplement besoin de quelqu'un qui lit la langue couramment — je peux aider. Le livrable comprend du code source commenté, des signatures de module, une recette de construction, un banc d'essai et des explications sur la façon dont les canaux se connectent. J'explique les compromis dans un langage simple et garde la conception suffisamment compacte pour que votre équipe puisse la maintenir elle-même.
