FRAMEWORK FOR BUILDING CLUSTER MANAGEMENT CONTROLLERS

Examples described herein include systems and methods for providing a framework for building and verifying cluster-management controllers. Using this framework, a developer can submit only a fraction of the code otherwise required to verify safety and liveness of a controller. A verification framewo...

Full description

Saved in:
Bibliographic Details
Main Authors Szekeres, Adriana, Suresh, Lalith, Sun, Xudong
Format Patent
LanguageEnglish
Published 18.07.2024
Subjects
CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
Online AccessGet full text

Cover

More Information
Summary:Examples described herein include systems and methods for providing a framework for building and verifying cluster-management controllers. Using this framework, a developer can submit only a fraction of the code otherwise required to verify safety and liveness of a controller. A verification framework is provided that can verify the implementation of a cluster-management controller down to the manner it will execute. The developer can submit a small function that runs inside the provided framework, making formal verification possible. The framework provided to the developer can incorporate the complex details regarding standard portions of cluster-management controllers, the underlying platform (such as KUBERNETES, as an example), platform API, platform networking, and so on. The developer's code can therefore focus on the new features but still make use of formal verification for how that code will work within an entire cluster-management system.
Bibliography:Application Number: US202318097670