柴塔尼亚·贝尔瓦尔;艾伯特·M·K·程。;刘波 P-FRP事务事件处理程序的可行性间隔。 （英语） Zbl 1268.68046号 J.计算。系统。科学。 79，第5号，530-541（2013）. 概要：功能反应式编程（FRP）是一种资源感知的声明性方法，用于建模和构建安全关键型嵌入式系统。最近，基于优先级的FRP（P-FRP）被引入，作为一种保证实时响应的形式。由于功能程序执行的无状态性质，P-FRP实现了执行的事务性质，其中中止了抢占的低优先级任务。这使得低优先级任务的响应时间完全依赖于高优先级任务的执行模式。实时系统经典抢占模型中的可行性区间是已知的，并且取决于任务周期的最小公共倍数（LCM）。然而，由于抢占的中止性质可能会对低优先级任务的执行产生副作用，因此迄今为止还不清楚P-FRP的可行性是否也依赖于LCM。在本文中，我们严格证明了抢占权的这些副作用在LCM内是有界的，并形式化地导出了P-FRP中的可行性区间值。可行性区间的这个值对于P-FRP执行模型更稳健的可调度性分析至关重要。 MSC公司： 68甲18 函数编程和lambda演算 68平方米 计算机系统环境下的性能评估、排队和调度 关键词：实时系统;可调度性;函数式编程;可行性区间;响应时间分析 软件：弗兰 PDF格式BibTeX公司 XML格式引用 \textit{C.Belwal}等人，《计算杂志》。系统。科学。79，编号5，530-541（2013年；兹bl 1268.68046） 全文： 内政部 参考文献： [1] J.H.安德森。；Ramamurthy，S。；Jeffay，K.，《使用无锁共享对象的实时计算》，ACM Trans。计算。系统。，5, 6, 388-395 (1997) [3] Bernat，G.，异步实时系统的响应时间分析，实时系统。，25, 131-156 (2003) ·Zbl 1081.68005号 [14] 古森，J。；Devillers，R.，硬实时偏移单调优先级分配的非最优性，实时系统。，13, 2 (1997) [16] 哈斯克尔 [18] Leung，J.Y.T。；Whitehead，J.，《关于定期实时任务的固定优先级调度的复杂性》，Perform.Eval。，2, 4, 237-250 (1982) ·Zbl 0496.90046号 [20] Liu，C.L。；Layland，L.W.，《硬实时环境下多道程序的调度算法》，J.ACM，20，1，46-61（1973）·Zbl 0265.68013号 [25] 万，Z。；塔哈，W。；Hudak，P.，《实时FRP》，（ICFP？01（2001），ACM出版社），146-156·Zbl 1323.68175号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。