Variable voltage scheduling with the priority-based functional reactive programming language

Authors:
Chaitanya Belwal;Albert M. K. Cheng;J. Ras;Yuanfeng Wen
Affiliations:
University of Houston, Houston, Texas;University of Houston, Houston, Texas;University of Houston, Houston, Texas;University of Houston, Houston, Texas
Venue:
Proceedings of the 2013 Research in Adaptive and Convergent Systems
Year:
2013

Citing 6
Cited 0

Functional reactive animation

ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Functional reactive programming from first principles

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
E-FRP with priorities

EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Response Time Analysis for the Abort-and-Restart Event Handlers of the Priority-Based Functional Reactive Programming (P-FRP) Paradigm

RTCSA '09 Proceedings of the 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Real-energy: a new framework and a case study to evaluate power-aware real-time scheduling algorithms

Proceedings of the 16th ACM/IEEE international symposium on Low power electronics and design
Determining actual response time in P-FRP

PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we consider how energy consumption can be reduced in the Priority-based Functional Reactive Programming (P-FRP) execution model through the implementation of Dynamic Voltage and Frequency Scaling (DVFS), a technique for modifying circuit delays and altering the operating frequency of the CPU. Use of DVFS can have an impact on task execution time, which adversely affects the temporal guarantees required from the real-time scheduler. Most of the existing studies provide solutions which are suitable for the classical model of preemptive task scheduling. Tasks which are schedulable in the preemptive model cannot be guaranteed to be schedulable in P-FRP, since the abort-based preemptive approach often creates additional costs in terms of response times.