Stateless protocols, servers, services and programs are inherently
when repeatedly invoked, as any invocation starts from scratch. We suggest to augment a given stateful program with a stateless prefix that (upon invocation of the stateful program, and possibly periodically) verifies the consistency of the state of the stateful program prior to the execution of the stateful program.
We demonstrate the new
stateless stabilization bootstrap
paradigm by implementing stabilizing double linked list of the Linux kernel. In particular we focus on the KVM linked list data structure consistency.
Bitte loggen Sie sich ein, um Zugang zu diesem Inhalt zu erhalten