A Temporal Partition-Based Linux CPU Scheduler

Resource partitioning is an important research area in real-time virtualization. The algorithm that maps a virtual resource to a portion of a physical resource is part of the research. When the resource refers to the CPU, allocating CPU time to different virtual partitions is accomplished by the CPU scheduler. This paper reports the implementation of a temporal partition-based CPU algorithm in a general Linux kernel. The implementation is expected to be a prospective test bed for a set of new algorithms for research on resource isolation, virtualization, and fault tolerance.