Student: Not assigned yet
Owner: Cristiano Giuffrida firstname.lastname@example.org
SVN branch name: N/A
This project is to design and implement a whole-OS crash recovery infrastructure able to recover from arbitrary crashes in MINIX 3 stateful components within a predefined recovery window. The project will build on top of the existing reliability infrastructure and leverage compiler-based techniques to track all the component state changes in a fine-grained manner. The design of a solid state tracking infrastructure is the main goal of this project, to guarantee the ability to rollback the component to a safe state when a crash occurs.