E-FRP with priorities

E-FRP is declarative language for programming resourcebounded, event-driven systems. The original high-level semantics of E-FRP requires that each event handler execute atomically. This requirement facilitates reasoning about EFRP programs, and therefore it is a desirable feature of the language. But the original compilation strategy requires that each handler complete execution before another event can occur. This implementation choice treats all events equally, in that it forces the upper bound on the time needed to respond to any event to be the same. While this is acceptable for many applications, it is often the case that some events are more urgent than others. In this paper, we show that we can improve the compilation strategy without altering the high-level semantics. With this new compilation strategy, we give the programmer more control over responsiveness without taking away the ability to reason about programs at a high level. The programmer controls responsiveness by decl...

• Type: Conference
• Year: 2007
• Where: EMSOFT
• Authors: Roumen Kaiabachev, Walid Taha, Angela Yun Zhu
• Keywords: Compilation Strategy, EMSOFT 2007, Event Handler Execute, Original Compilation Strategy