Portal de Periódicos da CAPES

Stateless Stabilization Bootstrap (Extended Abstract)

2014; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-319-11764-5_13

1611-3349

Shlomi Dolev, Ramzi Martin Kahil, Reuven Yagel,

Software System Performance and Reliability

Stateless protocols, servers, services and programs are inherently self-stabilizing 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.