David Marchevsky

 

ComponentReboot

My project works towards the goal of creating reliable systems from unreliable parts. Writing a system or even a small piece of a system that is guaranteed not to fail is an impossible task, so it is better to assume that our programs will fail and plan around this eventuality. ComponentReboot is an attempt to do so. More specifically, ComponentReboot is an attempt to add component-level rebooting functionality to the Composite component-based operating system. Rebooting is defined slightly differently than it is in common language: when someone reboots their computer, the operating system starts anew and programs and files must be re-initialized and re-opened; our notion of reboot, however, includes the requirement that the component we reboot is brought back to some well-functioning state. This distinction is important because while rebooting a computer in the traditional sense effectively restarts the entire system our rebooted component is likely to be a part of an otherwise-functioning system, and thus must function as if no failure had occurred.

If you would like a photo and short bio added please contact the Department of Computer Science.