Fault isolation using stateless server model in L4 microkernel

Existing system architecture model cannot guarantee isolation of applications or system components from system faults that occur in system services. If an error causes the failure by operating system services, the entire system can be corrupted or components which are dependent that services are affected. Fault tolerant architecture model can be achieved by decoupling state information from the server. In this paper, we compare four kinds of architecture models. For constructing stateless server model, we use simple lightweight middleware. It can support fault tolerant architecture with low performance overhead.