For example, Mach is the basis of the NeXTStep operating system, OSF 1, and the GNU Hurd operating system. Another useful property of both SR and Mach is that they are both freely available. Thus , the source for the SR compiler, linker, and RTS can be modified as needed. The same applies to the Mach microkernel. A fast and general implementation of Mach IPC in a network .
Live detection is based on lack of response from a site, i.e. timeouts.
Accurate detection, on the other hand, cannot be based on communication since the network is assumed to be asynchronous. A fast and general implementation of Mach IPC in a network . The lack of accuracy in such systems comes from the use of timeouts to suspect the failure of a site, a technique that may trigger false suspicions. H. Orman, E. Menze III, S. O'Malley, and L. Peterson. A fast and general implementation of Mach IPC in a network .