Home
Lectures
Multi-Mode Task Scheduling for Preemptive Functional Reactive Programming

Multi-Mode Task Scheduling for Preemptive Functional Reactive Programming

Speaker: Albert M. K. Cheng – Houston, TX, United States
Topic(s): Architecture, Embedded Systems and Electronics, Robotics

Abstract

Functional Reactive Programming (FRP) provides an elegant way to express computation in domains such as interactive animations, robotics, computer vision, user interfaces, and simulation. Priority-based (preemptive) FRP (P-FRP), a variant of FRP with more real-time characteristics, demands research in its scheduling and timing analysis. Different from the classic preemptive model, in a P-FRP system, when a task is preempted, all changes made by the task are discarded and after higher priority tasks complete their execution the preempted task will restart from the beginning (abort-and-restart). P-FRP is thus able to capture changes of the task in time and provides an option other than the classic preemptive model in certain scenarios.

In the P-FRP model, previous studies use the largest execution time of a task for all its restarted jobs. In practice, however, when considering the changing/unchanging inputs/outputs of the task

or the memory effects such as cache-hit in loading code and data, the restarted jobs likely consume less time than its largest execution time. In this seminar, we present a novel multi-mode P-FRP task framework and two particular scenarios for the framework that are able to reflect such effects and then improve the performance of a developing commercial software platform. We show that the multi-mode task P-FRP system has significant schedulability improvements over the original P-FRP model.

About this Lecture

Number of Slides: 30
Duration: 50 minutes
Languages Available: English, Spanish
Last Updated:

Request this Lecture

To request this particular lecture, please complete this online form.

Request a Tour

To request a tour with this speaker, please complete this online form.

All requests will be sent to ACM headquarters for review.