rxp

rxp предоставляет фундаментальные строительные блоки для создания платформы Reliable Execution. Она определяет API и типы, необходимые для реализации нескольких основных гарантий надежности: - Уникальность имен: гарантирует уникальность человекочитаемых имен в определенной области видимости и предоставляет безопасный, проверяемый механизм переименования объектов. - Эволюция определений: управляет версионированием определений типов, чтобы предотвратить критические изменения и обеспечить совместимость объектов с версией определения, с которой они были созданы. - Мутация состояния: предоставляет средства защиты для параллельных записью, чтобы обеспечить безопасные изменения желаемого состояния объекта. - Надежное выполнение (Reliable Execution): оборачивает произвольный код в защитную оболочку, которая отслеживает контрольные точки и события, позволяя возобновить выполнение в другом месте после сбоев среды выполнения (например, разделения сети или ошибок OOM). - Безопасное архивирование: внедряет систему архивирования вместо удаления, сохраняя полную историю изменений для будущего восстановления. - Аудируемость: отслеживает каждое поколение объекта и ведет историю событий для выполнения кода и изменений статуса.