Priority-based Functional Reactive Programming (P-FRP) has been recently introduced as a new functional programming formalism for real-time systems. P-FRP allows static priority assignment and guarantees real-time response by preempting lower priority tasks. Due to the state-less nature of functional programs, preempted tasks in P-FRP are aborted and restarted after the higher priority tasks have completed execution. In the classical preemptive model † of real-time systems, it has been demonstrated that for fixed priority scheduling, if tasks are schedulable with any priority assignment, they are also schedulable by the rate-monotonic (RM) priority assignment, making this priority assignment optimal for all task sets in the preemptive model. However, the RM priority assignment is not optimal in P-FRP, and it has been unknown if an optimal fixed priority assignment can even exist for such an execution model. In this paper, we formally present the priority assignment characteristics of P-FRP and show that based on task periods, either a combined utilization and rate-monotonic, or only the ratemonotonic priority assignments is optimal for a system with two tasks. Using this result, we formally prove the limitation of optimal priority assignments in a P-FRP system having more than two tasks where, unless arrival periods are integer multiples of each other, no single priority assignment exists which is optimal for all task sets. Experimental results using task sets of different sizes are also presented. In this paper the classical preemptive model refers to a real-time system in which tasks can be preempted by higher priority tasks and can resume execution from the point they were preempted

Cited by 0

Functional Programming

Sufyan bin Uzayr · 2023

Cited by 2

Functional programming

Papers Admin, UJ Exam · Figshare · 2024

Exam paper for firs semester 2023

Cited by 0Open access

Functional programming

Iain Ferguson · 1992

The current secondary school computer science curriculum, which culminates in the AP exam, provides students with a misleading picture of the discipline, and many young thinkers are turned off by the rigidity and pettiness of syntax-heavy languages like BASIC and Pascal. This paper describes an introductory course that uses functional programming techniques to emphasize the analytical and problem solving aspects that make computer science so interesting, while avoiding the tedium associated with traditional approaches. A course based on this approach has proven very successful in encouraging students to further their study of the discipline.

Cited by 16

Functional Programming

Ellis Horowitz · 1983

Cited by 8

Functional programming

Winslow Ames · Mathematics and Computers in Simulation · 1990

Cited by 21

Functional Programming

Papers Admin, UJ Exam · University of Johannesburg · 2017

Exam paper (SSA) for second semester 2016: Honours (Computer Science/IT)

Cited by 0Open access

Functional Programming

Mark Pilgrim · Apress eBooks · 2004

In chapter 13, you learned about the philosophy of unit testing In Chapter 14, you stepped through the implementation of basic unit tests in Python. In Chapter 15, you saw how unit testing makes large-scale refactoring easier. This chapter will build on those sample programs, but here, we will focus on advanced Python-specific techniques, rather than on unit testing itself.KeywordsTest SuiteRegular ExpressionList ComprehensionUnit TestCommand LineThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Cited by 7

Functional Programming

Kei Davis, John P. Hughes · Workshops in computing · 1990

Cited by 358

Functional Programming

Papers Admin, UJ Exam · University of Johannesburg · 2022

Exam paper

Cited by 0Open access

Functional Programming

Stephan Roth · Apress eBooks · 2017

For several years, a programming paradigm experienced a renaissance, which is often viewed as a kind of counterdraft to object orientation. The talk is about Functional Programming.

Cited by 1

Functional Programming

Papers Admin, UJ Exam · University of Johannesburg · 2017

Exam paper (SSA) for second semester 2016: Honours (Computer Science/IT)

Cited by 0Open access

Functional Programming

Papers Admin, UJ Exam · University of Johannesburg · 2022

Exam paper(Memo)

Cited by 0Open access