P-FRP task scheduling: A survey
P-FRP task scheduling: A survey
复制标题
P-FRP 任务调度：调查
DOI：
10.1109/dcps.2016.7588295
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Yu Jiang
中科院分区：
文献类型：
--
作者：
Xingliang Zou;A. Cheng;Yu Jiang
函数式反应式编程 (FRP) 是一种用于建模和构建反应式系统的声明式方法。 FRP 已被证明是构建图形、机器人和视觉应用程序的一种富有表现力的形式。基于优先级的FRP（P-FRP）是FRP的一种形式主义，允许抢占执行并保证实时响应。由于函数式程序无法维护状态和可变数据，因此必须回滚被抢占的程序所做的更改，并且必须丢弃被抢占的程序所做的工作。因此，在 P-FRP 模型中，被抢占的较低优先级任务必须在较高优先级任务完成执行后重新启动。目前的实时研究主要集中在经典的抢占式或非抢占式模型上，并且已经开发了很多方法来分析这些模型的实时保证。不幸的是，由于其事务性质（抢占任务被中止并必须重新启动），P-FRP 模型的执行语义不符合经典抢占式或非抢占式执行的标准定义。在这篇综述论文中，我们回顾了 P-FRP 任务调度的现有研究，并提出了未来工作的一些研究领域。
Functional Reactive Programming (FRP) is a declarative approach for modeling and building reactive systems. The FRP has been shown to be an expressive formalism for building graphics, robotic, and vision applications. The Priority-based FRP (P-FRP) is a formalism of FRP that allows preemption of execution and guarantees real-time response. Since functional programs cannot maintain state and mutable data, changes made by programs that are preempted have to be rolled back, and the work done by the preempted programs has to be discarded. Hence in the P-FRP model, a preempted lower priority task will have to restart after higher priority tasks have completed execution. Current real-time research mainly focuses on the classic preemptive or non-preemptive models and plenty methods have been developed to analyze the real-time guarantees of these models. Unfortunately, due to its transactional nature where preempted tasks are aborted and have to restart, the execution semantics of the P-FRP model does not fit into the standard definitions of classic preemptive or non-preemptive execution. In this survey paper, we review existing researches on the P-FRP task scheduling, and present a few research areas for future work.
影响因子：
16.6
作者：
Davis, Robert I.;Burns, Alan
通讯作者：
Burns, Alan