rxp

rxp proporciona los bloques fundamentales para construir una plataforma de Ejecución Confiable. Define las API y los tipos necesarios para implementar varias garantías de confiabilidad principales: - Unicidad de Nombres: Asegura que los nombres legibles por humanos sean únicos dentro de un ámbito específico y proporciona un mecanismo seguro y auditado para renombrar objetos. - Evolución de Definiciones: Gestiona el versionado de las definiciones de tipos para evitar cambios disruptivos y asegurar que los objetos sigan siendo compatibles con la versión de la definición con la que fueron creados. - Mutación de Estado: Proporciona protecciones para escritores concurrentes para asegurar mutaciones seguras del estado deseado de un objeto. - Ejecución Confiable: Envuelve código arbitrario en una envolvente de seguridad que rastrea puntos de control y eventos, permitiendo que la ejecución se reanude en otro lugar tras fallos de tiempo de ejecución (por ejemplo, particiones de red o errores OOM). - Archivado Seguro: Implementa un sistema de archivado en lugar de eliminación, preservando el historial completo de cambios para una restauración futura. - Auditabilidad: Rastrea cada generación de un objeto y mantiene historiales de eventos para la ejecución de código y los cambios de estado.