| 18 | 18 | Within the scope of microkernel operating systems, a multiserver spreads the operating system functionality over multiple user processes. Note how this differs from a single-server microkernel that concentrates all these functions into a single user process. The motivation for structuring the system as a multiserver is the elimination of the single point of failure represented by the single server process in a single-server system. Another advantage of a multiserver system is smaller and simpler components that can communicate only via explicit interfaces. Smaller and simpler components benefit from the separation of concerns, can do one thing really well and are easier to reason about. Explicit interfaces make the components interchangeable and the correctness of the system on the component-granularity level is easier to reason about. At the same time, it is more difficult to use the component in a wrong way. |
