Essai conceptuel : l’architecture ci‑dessous est une proposition de conception, pas un système d’exploitation déployé, un résultat de benchmark ou une garantie de sécurité établie.
La Machine Pilotée par le Marché : Un Plan pour l’Ère Post‑POSIX
« Pour concevoir un système parfait, il faut cesser de dire aux composants ce qu’ils doivent faire et créer un environnement où faire ce qu’il faut est la voie de moindre résistance. »
Depuis plus d’un demi‑siècle, les fondations de notre infrastructure numérique sont régies par un paradigme de planification centrale. Des débuts d’Unix à la domination actuelle du noyau Linux, les systèmes d’exploitation ont agi comme des économies de commandement omniprésentes. Ils dictent la planification des threads, imposent des hiérarchies de mémoire rigides et allouent arbitrairement les ressources à travers des couches bureaucratiques complexes et souvent très inefficaces.
Cette architecture héritée étouffe le matériel moderne. Nous exécutons des charges de travail asynchrones, hautement concurrentes et distribuées sur des noyaux conçus pour des mainframes monoprocesseurs des années 1970. Il est temps de se débarrasser de cet héritage.
Ce plan propose un départ radical : un système d’exploitation conçu non pas à travers le prisme d’un contrôle rigide, mais à travers les principes structurels profonds de l’ordre spontané, de la dynamique de marché microéconomique et de l’histoire cryptographiquement immuable.
I. L’Exokernel : Le Dao du Multiplexage Matériel
Les noyaux monolithiques modernes sont gonflés à plus de 30 millions de lignes de code, tentant de gérer tout, des systèmes de fichiers aux piles de protocoles réseau, directement dans Ring 0 (espace noyau). Cela engendre une surcharge massive et une vulnérabilité systémique.
Cette nouvelle architecture adopte un modèle strict d’Exokernel, incarnant la philosophie du Wu Wei (action par l’inaction). Le noyau est dépouillé de toutes responsabilités de gestion.
- Couche d’isolation minimale : Dans cette proposition, le noyau se concentrerait sur l’allocation des ressources matérielles et l’application de l’isolation. Ces frontières devront être implémentées, testées et auditées ; le design seul ne les garantit pas.
- Systèmes d’exploitation en bibliothèque (LibOS) : Les abstractions sont entièrement repoussées dans l’Espace Utilisateur. Si une application nécessite une pile TCP/IP hautement optimisée et à faible latence (par ex. pour le trading à haute fréquence) ou un système de fichiers sur mesure, elle compile son propre LibOS. Cela contourne totalement le goulet d’étranglement du noyau traditionnel, permettant aux applications utilisateur de communiquer directement avec la carte réseau (NIC) ou les disques NVMe.
II. Planification Microéconomique : Le Carnet d’Ordres du Marché Libre
Peut‑être le départ le plus profond des systèmes hérités est l’éradication complète des planificateurs CPU traditionnels comme le Completely Fair Scheduler (CFS). Dans un système avec des milliers d’opérations concurrentes, les algorithmes centraux échouent à évaluer correctement la vraie priorité des tâches. À la place, l’allocation des ressources est guidée par un Carnet d’Ordres Computationnel.
- Liquidité de calcul tokenisée : Les cycles CPU, les pages mémoire et la bande passante I/O sont transformés en jetons natifs du système. Chaque processus reçoit une allocation dynamique de jetons basée sur son niveau de priorité assigné par l’utilisateur.
- Prix de compensation du marché pour l’exécution : L’OS maintient un carnet d’ordres décentralisé à haute fréquence.
Un thread d’affichage UI sensible à la latence agit comme un acheteur institutionnel agressif : il place des ordres au marché pour absorber la liquidité CPU disponible à tout prix, assurant zéro perte d’image. Inversement, une tâche de collecte des ordures en arrière‑plan agit comme un teneur de marché : elle place des ordres limités à bas prix, ne s’exécutant que lorsque la demande globale du système chute et que le prix de compensation du calcul devient bon marché. - Résolution des interblocages par la « faillite » : Dans les systèmes hérités, la contention de ressources conduit à des interblocages nécessitant une intervention algorithmique (ou des kills forcés). Dans un OS piloté par le marché, un interblocage est traité comme une crise de liquidité. Si un processus accumule une ressource sans progresser, ses coûts de détention (intérêts) s’accumulent. Finalement, sa réserve de jetons s’épuise, il déclare la « faillite », et l’OS liquéfie automatiquement ses ressources retenues vers le marché ouvert.
III. Modèle d’Acteur Éphémère : Concurrence Sans État Partagé
Les processus monolithiques sont lourds, étatistes et intrinsèquement dangereux à cause des espaces mémoire partagés qui requièrent des mécanismes de verrouillage complexes (mutexes, sémaphores).
- Passage de messages strict : L’OS abandonne les threads POSIX au profit d’un pur Modèle d’Acteur au niveau le plus bas. Les unités d’exécution sont des entités mathématiques isolées qui ne partagent absolument aucun état. Elles communiquent exclusivement via un passage de messages asynchrone et strictement typé.
- Acteurs à courte durée de vie : La proposition privilégie les acteurs créés pour des tâches limitées et libérés ensuite. La latence de démarrage, la récupération de mémoire et la gestion d’état persistant nécessitent des mesures et du travail d’implémentation. De courtes durées de vie n’éliminent pas en elles‑mêmes les fuites ou références pendantes.
IV. Stockage Événementiel : La Machine à Voyager dans le Temps Cryptographique
Le concept traditionnel de « réécriture » de données est un acte destructeur qui efface la trajectoire de la vérité. Cet OS aborde les systèmes de fichiers et la gestion d’état sous l’angle d’une immutabilité stricte, utilisant des structures similaires aux LSM‑Trees (Log‑Structured Merge‑Trees) et aux Merkle DAGs.
- État uniquement en ajout : Le système de fichiers interdit les modifications en place. Chaque modification d’état, édition de fichier ou mise à jour de configuration est ajoutée comme un événement discret et immuable à un registre continu.
- Instantanés à coût nul & Copy‑on‑Write : Pour conserver des performances de lecture extrêmes, le système s’appuie sur le Copy‑on‑Write (CoW) et la matérialisation périodique de vues. Lorsqu’un fichier est modifié, seul le delta (les octets changés) est écrit, et le pointeur est mis à jour.
- Relecture et audit : Un historique d’événements uniquement en ajout peut supporter la relecture et la récupération d’un état connu, à condition que l’historique, les clés et les sauvegardes restent intacts. Il ne peut garantir la récupération de chaque effet secondaire externe ni rendre les ransomware inoffensifs.
Synthèse
En déplaçant le paradigme de la dictée algorithmique vers les incitations économiques, et de l’état mutable vers l’histoire vérifiable, nous créons un système d’exploitation qui s’échelonne sans faille sur des architectures multi‑cœurs hétérogènes. C’est un système qui ne plante pas sous la pression, mais qui recalcule dynamiquement le prix de la survie.