基于语义的编译器转换，以增强可调度性

1993 Proceedings Real-Time Systems Symposium Pub Date : 1993-05-01 DOI:10.1109/REAL.1993.393495

R. Gerber, Seongsoo Hong

{"title":"基于语义的编译器转换，以增强可调度性","authors":"R. Gerber, Seongsoo Hong","doi":"10.1109/REAL.1993.393495","DOIUrl":null,"url":null,"abstract":"We present TCEL (time-constrained event language), whose timing semantics is based solely on the constrained relationships between observable events. Using this semantics, the unobservable code can be automatically moved to convert an unschedulable task set into a schedulable one. We illustrate this by an application of program-slicing, which we use to automatically tune control-domain systems driven by rate monotonic scheduling.<<ETX>>","PeriodicalId":198313,"journal":{"name":"1993 Proceedings Real-Time Systems Symposium","volume":"34 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"57","resultStr":"{\"title\":\"Semantics-based compiler transformations for enhanced schedulability\",\"authors\":\"R. Gerber, Seongsoo Hong\",\"doi\":\"10.1109/REAL.1993.393495\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present TCEL (time-constrained event language), whose timing semantics is based solely on the constrained relationships between observable events. Using this semantics, the unobservable code can be automatically moved to convert an unschedulable task set into a schedulable one. We illustrate this by an application of program-slicing, which we use to automatically tune control-domain systems driven by rate monotonic scheduling.<<ETX>>\",\"PeriodicalId\":198313,\"journal\":{\"name\":\"1993 Proceedings Real-Time Systems Symposium\",\"volume\":\"34 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-05-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"57\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"1993 Proceedings Real-Time Systems Symposium\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/REAL.1993.393495\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"1993 Proceedings Real-Time Systems Symposium","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/REAL.1993.393495","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 57

摘要

我们提出了TCEL(时间约束事件语言)，其时间语义仅基于可观察事件之间的约束关系。使用此语义，可以自动移动不可观察代码，将不可调度任务集转换为可调度任务集。我们通过程序切片的一个应用来说明这一点，我们使用它来自动调谐由速率单调调度驱动的控制域系统

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Semantics-based compiler transformations for enhanced schedulability

We present TCEL (time-constrained event language), whose timing semantics is based solely on the constrained relationships between observable events. Using this semantics, the unobservable code can be automatically moved to convert an unschedulable task set into a schedulable one. We illustrate this by an application of program-slicing, which we use to automatically tune control-domain systems driven by rate monotonic scheduling.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

1993 Proceedings Real-Time Systems Symposium

自引率

0.00%

发文量