rxp

rxp fournit les blocs de construction fondamentaux pour construire une plateforme d'exécution fiable (Reliable Execution platform). Il définit les API et les types nécessaires pour implémenter plusieurs garanties de fiabilité essentielles : - Unicité des noms : Garantit que les noms lisibles par l'homme sont uniques dans un périmètre spécifique et fournit un mécanisme sûr et audité pour renommer les objets. - Évolution des définitions : Gère le versionnage des définitions de types pour éviter les changements disruptifs et garantir que les objets restent compatibles avec la version de la définition avec laquelle ils ont été créés. - Mutation d'état : Fournit des gardes pour les écrivains concurrents afin d'assurer des mutations sûres de l'état souhaité d'un objet. - Exécution fiable : Enveloppe du code arbitraire dans une enveloppe de sécurité qui suit les points de contrôle et les événements, permettant à l'exécution de reprendre ailleurs suite à des défaillances d'exécution (par exemple, des partitions réseau ou des erreurs OOM). - Archivage sécurisé : Implémente un système d'archivage au lieu de la suppression, préservant l'historique complet des modifications pour une restauration future. - Auditabilité : Suit chaque génération d'un objet et maintient les historiques d'événements pour l'exécution du code et les changements de statut.