Time Weaver


MURI project


Linux/RK based on linux2.4.18 for IPAQ 3765

Linux2.4.18-rmk3-hh12 with RK interface (the patch will be available soon!)

Linux/RK stands for Linux/Resource Kernel, which incorporates real-time extensions to the Linux kernel to support the abstractions of a resource kernel. A resource kernel is a real-time kernel (operating system) that provides timely, guaranteed and enforced access to system resources for applications. Detailed information on resource kernel can be found here or in this [rajkumar98] paper, and you can find more on Linux/RK in this [shui99] paper.

Linux/RK is developed by the Real-time and Multimedia Systems Laboratory led by Dr. Raj Rajkumar at Carnegie Mellon University.  Current ongoing research topics include

  • disk bandwidth reservation
  • network bandwidth reservation
  • co-scheduling of multiple resources
  • integration with real-time Java
  • resource control lists

Energy-Aware Linux/RK

Energy-Aware Linux/RK based on linux2.4.18 for our modified XScale BRH platform

Energy-Aware Linux/RK based on linux2.4.19 for BitsyX platform

The QT Voltage/Frequency Monitoring tool

The XScale cross-compiler tool

Energy-Aware Linux/RK based on linux 2.6.9 for the GLENCOE platform

Patch for Linux Kernel 2.6.9 to enable Energy-Aware Linux/RK for MAINSTONE platform

Documentation for Linux on GLENCOE platform (PDF)

Documentation for Linux on MAINSTONE platform (DOC)

Energy-Aware Linux/RK incorporates dynamic-voltage-scaling algorithms on CPU to minimize the energy consumption and still maintain temporal isolation for applications. We support four voltage-scaling algorithms, SYS_CLOCK, PM_CLOCK, DPM_CLOCK and aggressive DPM_CLOCK. SYS_CLOCK is the optimal algorithm for systems that have high timing overhead on voltage or frequency scaling such as IPAQ and BitsyX which take about 20 ms to switch the voltage. PM_Clock is a static algorithm which determines different clock frequency for each application during admission control. This is suitable for systems with low switching overhead such as our modified XScale BRH board. DPM_CLock and agressive DPM_Clock make benefit of on-line slack when reservations are under-used to determine lower frequency on the fly. Detailed information on Energy-Aware Linux/RK can be found in this [ssaewong03] paper, and you can find more on Linux/RK in this [rajkumar98] paper.

Project Members

Past Members
Last modified: Wed May 31 17:58:48 EDT 2006