A general resource management framework for real-time operating systems

In RED-Linux kernel, a General Scheduling Framework (GSF) has been implemented. Under GSF, different scheduling algorithms can be easily implemented. However GSF only addresses the scheduling of CPU. Other system resources are not considered. In this paper we propose a general resource management framework for various OS resources. When user applications request and consume system resources, they may use uniform APIs although each type of OS resource has its own properties and means to be controlled. In the resource management framework, we also allow the inter-relationship between different types of resources to be defined and managed.