Transaction support for transparent stateful driver recovery

Student: Not assigned yet
Owner: Cristiano Giuffrida c.giuffrida@few.vu.nl
SVN branch name: N/A

This project is to investigate how a transactional IPC subsystem can allow transparent stateful crash recovery for device drivers. The transactional API shall be designed to carry out critical operations that could not be normally recovered from when nothing is known about the nature and the timing of the crash. Stateful device drivers whose unrecoverable failures must be directly exposed to the user can greatly benefit from such a functionality.