Schedulability analysis for the abort-and-restart model
In real-time systems, a schedulable task-set guarantees that all tasks complete before their deadlines. In functional programming, atomic execution provides the correctness of the program. Priority-based functional reactive programming (P-FRP) allows the usage of functional programming in the real-t...
Main Author: | |
---|---|
Other Authors: | |
Published: |
University of York
2014
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.643657 |
id |
ndltd-bl.uk-oai-ethos.bl.uk-643657 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-bl.uk-oai-ethos.bl.uk-6436572017-10-04T03:20:48ZSchedulability analysis for the abort-and-restart modelWong, Hing ChoiBurns, Alan2014In real-time systems, a schedulable task-set guarantees that all tasks complete before their deadlines. In functional programming, atomic execution provides the correctness of the program. Priority-based functional reactive programming (P-FRP) allows the usage of functional programming in the real-time system environment. The abort-and-restart (AR) is a scheme to implement P-FRP but an appropriate scheduling approach does not exist at the moment. Hence, efficient analysis is needed for the AR model. In this thesis, the schedulability analysis for the AR model is introduced and it shows that finding the critical instant for the AR model with periodic and sporadic tasks is intractable, and a new formulation is derived. Afterwards, a new priority assignment scheme is developed that has the performance close to the exhaustive search method, which is intractable for large systems. The technique of deferred preemption is employed and a new model, deferred abort (DA), provides better schedulability and dominates the non-preemptive model. Lastly, a tighter analysis is introduced and the technique of the multi-set approach from the analysis of cache related preemption delay is employed to introduce a new approach, multi-bag. The multi-bag approach can apply to both the AR model and the DA model. In the experiments, the schedulability of the AR model is improved at each stage of the research in this thesis.004University of Yorkhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.643657http://etheses.whiterose.ac.uk/8574/Electronic Thesis or Dissertation |
collection |
NDLTD |
sources |
NDLTD |
topic |
004 |
spellingShingle |
004 Wong, Hing Choi Schedulability analysis for the abort-and-restart model |
description |
In real-time systems, a schedulable task-set guarantees that all tasks complete before their deadlines. In functional programming, atomic execution provides the correctness of the program. Priority-based functional reactive programming (P-FRP) allows the usage of functional programming in the real-time system environment. The abort-and-restart (AR) is a scheme to implement P-FRP but an appropriate scheduling approach does not exist at the moment. Hence, efficient analysis is needed for the AR model. In this thesis, the schedulability analysis for the AR model is introduced and it shows that finding the critical instant for the AR model with periodic and sporadic tasks is intractable, and a new formulation is derived. Afterwards, a new priority assignment scheme is developed that has the performance close to the exhaustive search method, which is intractable for large systems. The technique of deferred preemption is employed and a new model, deferred abort (DA), provides better schedulability and dominates the non-preemptive model. Lastly, a tighter analysis is introduced and the technique of the multi-set approach from the analysis of cache related preemption delay is employed to introduce a new approach, multi-bag. The multi-bag approach can apply to both the AR model and the DA model. In the experiments, the schedulability of the AR model is improved at each stage of the research in this thesis. |
author2 |
Burns, Alan |
author_facet |
Burns, Alan Wong, Hing Choi |
author |
Wong, Hing Choi |
author_sort |
Wong, Hing Choi |
title |
Schedulability analysis for the abort-and-restart model |
title_short |
Schedulability analysis for the abort-and-restart model |
title_full |
Schedulability analysis for the abort-and-restart model |
title_fullStr |
Schedulability analysis for the abort-and-restart model |
title_full_unstemmed |
Schedulability analysis for the abort-and-restart model |
title_sort |
schedulability analysis for the abort-and-restart model |
publisher |
University of York |
publishDate |
2014 |
url |
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.643657 |
work_keys_str_mv |
AT wonghingchoi schedulabilityanalysisfortheabortandrestartmodel |
_version_ |
1718543303159316480 |