Mechanisms for Reliable Distributed Real-Time Operating Systems: The Alpha Kernel (Perspectives in Computing) (Vol 16)