L'excellence par le dépouillement. De Multics à Go, l'épopée de Ken Thompson.
L'ingénierie logicielle contemporaine est ravagée par une fuite en avant : confondre la sophistication baroque avec l'intelligence technique. À travers le demi-siècle de carrière de Kenneth Lane Thompson — pionnier des Bell Labs, cocréateur d'Unix, du langage B et de Go —, se dessine la seule éthique de programmation qui résiste à l'épreuve du temps : l'économie radicale des moyens.
Autopsie d'une discipline D'après les archives des Bell Labs, l'enquête de fatdev; et les conférences de Rob Pike.
Mountain View 2007 : l'absurdité des « 37 000 fois »
L'histoire s'ouvre sur un paradoxe saisissant. En 2007, le campus de Google réunit la plus formidable concentration d'ingénieurs au mètre carré de la planète et pilote des fermes de calcul distribuées colossales. Pourtant, les meilleurs esprits du système passent une part effrayante de leurs journées à attendre les bras croisés.
La cause ? Le temps de compilation des monolithes C++. Lancer la construction d'un binaire serveur central exige couramment entre quarante-cinq minutes et plus d'une heure. Une rupture de flux dévastatrice qui réduit à néant la vélocité d'itération.
Coincé devant cette barre de progression immobile, un trio d'ingénieurs émérites décide d'autopsier le désastre : Ken Thompson (père d'Unix), Rob Pike (complice de Thompson sur Plan 9 et co-inventeur de l'UTF-8) et Robert Griesemer (architecte de la JVM Java HotSpot et du moteur V8 de Chrome).
En instrumentant la chaîne de compilation d'un binaire Google majeur, Rob Pike met au jour un gouffre mécanique effarant : au cours d'un build unique, un même fichier d'en-tête (header C++) est inclus, ouvert sur disque et réanalysé syntaxiquement jusqu'à 37 000 fois distinctes à travers les différentes unités de traduction. L'empilement incontrôlé des directives de préprocesseur, les macros imbriquées et la métaprogrammation par templates transforment des grappes de calcul surpuissantes en simples chaufferettes textuelles.
Pour Thompson et Pike, le diagnostic est immédiat : ce n'est pas un problème de matériel, c'est une dégénérescence conceptuelle. Le C++ a confondu la puissance avec l'empilement cumulatif de fonctionnalités ésotériques, oubliant les lois fondamentales de la physique des systèmes.
Le traumatisme Multics et le sprint solitaire de 1969
Pour comprendre l'intolérance viscérale de Ken Thompson face à l'hypertrophie logicielle, il faut remonter à l'été 1969. À cette époque, les laboratoires Bell participent avec le MIT et General Electric au projet Multics (Multiplexed Information and Computing Service). L'ambition est démesurée : concevoir un système d'exploitation omnipotent, hautement sécurisé par des anneaux concentriques, centralisant l'accès de milliers d'utilisateurs.
Le résultat est un cas d'école de faillite bureaucratique : paralysé par les comités de conception et des couches d'abstractions insolubles, Multics s'effondre sous son propre poids, incapable de s'exécuter correctement sur le matériel existant. En 1969, Bell Labs jette l'éponge et quitte le consortium.
Privé de machine interactive pour exécuter son jeu de simulation spatiale Space Travel, Thompson déniche dans un couloir un mini-ordinateur PDP-7 mis au rebut, doté d'une mémoire dérisoire de huit kilo-mots de dix-huit bits.
Profitant du départ de son épouse Bonnie et de son jeune fils en vacances en Californie pour trois semaines, Ken Thompson s'enferme dans un marathon de programmation solitaire. Sans comité, sans réunion de cadrage, écrivant directement en assembleur, il conçoit en vingt et un jours chrono :
- • Un noyau multitâche préemptif avec ordonnancement ;
- • Un système de fichiers arborescent fondé sur des descripteurs d'indexation (inodes) ;
- • Un interpréteur de commandes interactif (le tout premier shell) ;
- • Un éditeur de texte en ligne de commande.
Brian Kernighan baptisera malicieusement le projet UNICS (Uniplexed Information and Computing Service), en contraste direct avec la lourdeur stérile de Multics. L'orthographe sera vite condensée en Unix.
| Paramètre | Multics (1964–1969) | Unix (1969–1973) | Go (2007–présent) |
|---|---|---|---|
| Vision | Système omnipotent totalisant. | Outil interactif modulaire personnel. | Ingénierie réseau pour fermes cloud. |
| Organisation | Consortium lourd, comités formels. | Thompson seul, puis trio Bell Labs. | Trio resserré (Thompson, Pike, Griesemer). |
| Gestion complexité | Empilement de couches théoriques. | Réduction aux primitives strictes. | Soustraction délibérée de fonctionnalités. |
| Matériel cible | Mainframe GE-645. | PDP-7 (8k mots de 18 bits). | Clusters multi-cœurs distribués. |
| Cycle de feedback | Compilations lentes et paralysantes. | Assemblage direct, retour immédiat. | Compilation instantanée (< 1 sec). |
Du tube de Doug McIlroy au triomphe du monde ouvert
L'épopée d'Unix n'est pas qu'un succès technique : c'est l'acte de naissance de la philosophie logicielle moderne.
Pour rendre Unix indépendant du matériel, Thompson invente d'abord le langage B, que Dennis Ritchie raffine entre 1971 et 1973 pour forger le C. Pour la première fois dans l'histoire, un système d'exploitation de premier plan est réécrit dans un langage portable, affranchi de l'architecture d'un constructeur unique.
Dans la foulée, Doug McIlroy introduit l'opérateur tube (pipe, |). Une intuition de génie qui scelle la doctrine Unix : « Écrivez des programmes qui ne font qu'une seule chose, mais qui la font parfaitement. Écrivez des programmes capables de collaborer. Écrivez des programmes qui manipulent des flux de texte brut, car c'est l'interface universelle. »
Cette rigueur structurelle traverse les décennies. En 1983, lorsque Richard Stallman lance le projet GNU, il choisit sans hésiter l'architecture d'Unix comme matrice de la liberté logicielle. En 1991, Linus Torvalds conçoit son noyau Linux en langage C sur les mêmes bases pragmatiques, rejetant les querelles académiques sur les micro-noyaux. Du fond des supercalculateurs aux serveurs cloud en passant par Android et macOS (via l'héritage BSD initié à Berkeley), le monde numérique moderne tourne sur les épaules de Ken Thompson.
La genèse de Go : concevoir un langage par ce qu'on lui refuse
Au tournant des années 2000, l'industrie logicielle s'égare dans le fétichisme de l'orienté objet : hiérarchies de classes à huit étages, fabriques de fabriques abstraites en Java et monstres syntaxiques en C++.
En septembre 2007, Thompson, Pike et Griesemer prennent le contre-pied absolu. Leur méthode de travail ne consiste pas à se demander quelles fonctionnalités ajouter, mais tout ce qu'il est possible de soustraire sans perdre en puissance d'expression :
| Paradigme Objet Lourd (C++, Java) | Le Choix Délibéré de Go |
|---|---|
| Héritage de classes et couplage rigide | Composition pure et interfaces implicites (duck typing structurel). |
| Surcharge polymorphique des opérateurs | Résolution sémantique stricte : un symbole = un comportement unique. |
| Déroulement opaque de la pile via exceptions | Erreurs traitées comme des valeurs ordinaires retournées explicitement. |
| Arithmétique manuelle et fuites de pointeurs | Pointeurs sûrs sans arithmétique de mémoire et Garbage Collector ultra-court. |
| Guerres intestines de formatage de code | Éradication par gofmt : un style mécanique universel, zéro débat. |
| Threads d'OS lourds et verrous complexes | Goroutines à 2 Ko et canaux typés selon le modèle CSP de Tony Hoare. |
En verrouillant le compilateur pour interdire les dépendances circulaires et en mémorisant les métadonnées de paquets de façon linéaire, Go pulvérise les temps de construction : les projets qui mettaient une heure à compiler en C++ s'assemblent en trois secondes.
Du mépris des théoriciens à la conquête de l'infrastructure mondiale
Lors de sa publication open source en novembre 2009, Go est accueilli avec condescendance par une partie du monde académique. On le qualifie de « langage pour les nuls », on dénonce l'absence initiale de génériques et on crée des dépôts GitHub pour railler son conservatisme syntaxique.
Mais Ken Thompson ne conçoit pas des jouets pour linguistes : il forge des marteaux pour ouvriers de l'infrastructure. Pendant que les puristes pérorent, les praticiens du monde entier adoptent Go pour une raison imparable : il produit un binaire statique unique, sans dépendances d'environnement, qui démarre instantanément et gère la concurrence réseau sans saturer la RAM.
En l'espace d'une décennie, Go devient l'épine dorsale exclusive du cloud mondial :
Et quand Go intègre enfin les génériques en mars 2022 (Go 1.18), l'équipe réalise un tour de force d'ingénierie : l'implémentation préserve scrupuleusement la vitesse de compilation éclair et n'impose aucun surcoût cognitif à ceux qui n'en ont pas l'usage.
La simplicité n'est pas un manque d'ambition : c'est le point culminant de l'ingénierie.
• La leçon de 1969 : Les comités accouchent de monstres (Multics) ; l'artisan pragmatique taillant dans le vif sur un PDP-7 fonde un demi-siècle d'informatique (Unix).
• La règle d'or de Go : La valeur d'un langage se mesure à ce qu'il vous empêche de faire de stupide, pas au nombre de béquilles qu'il ajoute à votre syntaxe.
• L'impératif contemporain : À l'heure où les architectures se noient sous des piles logicielles obèses et du code synthétique non maîtrisé, la méthode Ken Thompson reste le seul phare : supprimer, aligner, compiler vite, livrer un binaire et faire tourner le monde.