Customizable and Predictable Synchronization in a Component-Based OS.

摘要: Component-based operating systems enable embedded to adapt system policies, mechanisms, and abstractions the specific workloads contexts of each system. The scope an developer customize software is often limited by kernel abstractions. For example, synchronization scheduling policies are constrained static few provided kernel. As time-management essential aspect many systems, there motivation these configure their needs. In this paper, we present a component-based implementation in COMPOSITE OS. This provides fault-isolation between applications, schedulers while maintaining high levels performance. Empirical evaluation demonstrates that proposed primitives have performance comparable highly optimized, but uncustomizable futex mechanism Linux.