Publication
On Strong and Weak Sustainability, with an Application to Self-Susp ending Real-Time Tasks
| dc.contributor.author | Cerqueira, Felipe | |
| dc.contributor.author | Nelissen, Geoffrey | |
| dc.contributor.author | B. Brandenburg, Björn | |
| dc.date.accessioned | 2018-11-29T17:16:08Z | |
| dc.date.available | 2018-11-29T17:16:08Z | |
| dc.date.issued | 2018 | |
| dc.description.abstract | Motivated by an apparent contradiction regarding whether certain scheduling policies are sustainable, we revisit the topic of sustainability in real-time scheduling and argue that the existing definitions of sustainability should be further clarified and generalized. After proposing a formal, generic sustainability theory, we relax the existing notion of (strongly) sustainable scheduling policy to provide a new classification called weak sustainability. Proving weak sustainability properties allows reducing the number of variables that must be considered in the search of a worst-case schedule, and hence enables more efficient schedulability analyses and testing regimes even for policies that are not (strongly) sustainable. As a proof of concept, and to better understand a model for which many mistakes were found in the literature, we study weak sustainability in the context of dynamic self-suspending tasks, where we formalize a generic suspension model using the Coq proof assistant and provide a machine-checked proof that any JLFP scheduling policy is weakly sustainable with respect to job costs and variable suspension times. | pt_PT |
| dc.description.version | info:eu-repo/semantics/publishedVersion | pt_PT |
| dc.identifier.doi | 10.4230/LIPIcs.ECRTS.2018.26 | pt_PT |
| dc.identifier.uri | http://hdl.handle.net/10400.22/12324 | |
| dc.language.iso | eng | pt_PT |
| dc.peerreviewed | yes | pt_PT |
| dc.publisher | Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik | pt_PT |
| dc.relation.publisherversion | http://drops.dagstuhl.de/opus/volltexte/2018/8977/ | pt_PT |
| dc.subject | Real-time scheduling | pt_PT |
| dc.subject | Sustainability | pt_PT |
| dc.subject | Self-suspending tasks | pt_PT |
| dc.subject | Machine-checked proofs | pt_PT |
| dc.title | On Strong and Weak Sustainability, with an Application to Self-Susp ending Real-Time Tasks | pt_PT |
| dc.type | conference object | |
| dspace.entity.type | Publication | |
| oaire.citation.conferencePlace | Barcelona, Spain | pt_PT |
| oaire.citation.endPage | 26:21 | pt_PT |
| oaire.citation.startPage | 26:1 | pt_PT |
| oaire.citation.title | 2018 30th Euromicro Conference on Real-Time Systems (ECRTS) Proceedings | pt_PT |
| oaire.citation.volume | 106 | pt_PT |
| rcaap.rights | openAccess | pt_PT |
| rcaap.type | conferenceObject | pt_PT |