2015 IEEE 18th International Symposium on Real-Time Distributed Computing 2015
DOI: 10.1109/isorc.2015.40
|View full text |Cite
|
Sign up to set email alerts
|

A Generator for Time-Predictable Code

Abstract: Time-predictability is an essential property of software components of safety-critical hard real-time systems. Singlepath code generation produces code that forces every execution to follow the same trace of instructions, thus making the execution time of code independent of its input data. This supports the time predictability of components and simplifies their worst-case execution-time analysis. In this paper we present the implementation of a single-path code generator in a compiler for a timepredictable pr… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
12
0

Year Published

2017
2017
2020
2020

Publication Types

Select...
3
1
1

Relationship

3
2

Authors

Journals

citations
Cited by 15 publications
(12 citation statements)
references
References 17 publications
0
12
0
Order By: Relevance
“…For our experiment we used the Mälardalen WCET benchmarks [21]. We generated the code for the benchmarks with the single-path code generator of the Patmos compiler for the T-CREST platform, which is based on LLVM 3.4 [6]. Following the code generation, we analyzed the binary outputs and generated the RPT for each benchmark.…”
Section: Discussionmentioning
confidence: 99%
See 1 more Smart Citation
“…For our experiment we used the Mälardalen WCET benchmarks [21]. We generated the code for the benchmarks with the single-path code generator of the Patmos compiler for the T-CREST platform, which is based on LLVM 3.4 [6]. Following the code generation, we analyzed the binary outputs and generated the RPT for each benchmark.…”
Section: Discussionmentioning
confidence: 99%
“…The generator for single-path conversion has already been implemented in a compiler back-end [6]. Without going into too much detail, we present the main rules of the single-path conversion in the following.…”
Section: A Single-path Paradigmmentioning
confidence: 99%
“…The Patmos compiler can generate single-path code in an automated way [44]. It implements the single-path code transformation in the backend and operates on the control flow graph representation rather than on the source code.…”
Section: Single-path Code Generationmentioning
confidence: 99%
“…Only a simple instruction scheduler for the dualissue feature of Patmos has been developed. Within this project most of the compiler work has been focused on integration with worst-case execution time analysis [48,26], single-path code generation [44], and function splitting [24]. Future work on the compiler is necessary for using the second pipeline more efficiently, e.g., by software pipelining [34] and trace [18] or superblock [28] scheduling.…”
Section: Average-case Performancementioning
confidence: 99%
“…Predicates are used by the Patmos compiler when generating single-path code [3]. However, the dual-issue pipeline of Patmos is not explored when generating single-path code.…”
Section: Introductionmentioning
confidence: 99%