How to Design Reliable Servers using Fault Tolerant Micro-Kernel Mechanisms

Website Maintenance Alert

Due to scheduled maintenance, the USENIX website may not be available on Monday, March 17, from 10:00 am–6:00 pm Pacific Daylight Time (UTC -7). We apologize for the inconvenience and thank you for your patience.

If you would like to register for NSDI '25, SREcon25 Americas, or PEPR '25, please complete your registration before or after this time period.

Authors: 

Michel Banâtre and Gilles Muller, IRISA/INRlA; Pack Heng and Bruno Rochat, BULL Research

BibTeX
@inproceedings {252242,
author = {Michel Ban{\^a}tre and Gilles Muller and Pack Heng and Bruno Rochat},
title = {How to Design Reliable Servers using Fault Tolerant {Micro-Kernel} Mechanisms},
booktitle = {USENIX Mach Symposium (USENIX Mach Symposium)},
year = {1991},
address = {Monterey, CA},
url = {https://www.usenix.org/conference/usenix-mach-symposium/how-design-reliable-servers-using-fault-tolerant-micro-kernel},
publisher = {USENIX Association},
month = nov
}
Download

Links

Paper: 
http://usenix.org/publications/library/proceedings/mach91/banatre.pdf