The T-CREST approach of compiler and WCET-analysis integration

Puschner, Peter; Prokesch, Daniel; Huber, Benedikt; Knoop, Jens; Hepp, Stefan; Gebhard, Gernot

doi:10.1109/isorc.2013.6913220

Cited by 31 publications

(19 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Patmos keeps this general cache 175 architecture, but adapts it to fit a RISC instruction set [2,3]. Within the T-CREST project, we also adapted the analysis methodology developed for the object cache of JOP [25] in the analysis tool platin [26,27].…”

Section: Time-predictable Processorsmentioning

confidence: 99%

“…Besides the hardware architectural means to obtain tight WCET bounds, we 910 pursue a tight integration of the compilation process and timing analysis [26]. On one hand, the compiler preserves information available during the compilation process that usually is discarded, although it would be valuable for automated and precise timing analysis.…”

Section: The Compiler and Wcet Analysismentioning

confidence: 99%

See 1 more Smart Citation

T-CREST: Time-predictable multi-core architecture for embedded systems

Schoeberl

Abbaspour

Åkesson

et al. 2015

Journal of Systems Architecture

Self Cite

167

100

View full text Add to dashboard Cite

Real-time systems need time-predictable platforms to allow static analysis of the worst-case execution time (WCET). Standard multi-core processors are optimized for the average case and are hardly analyzable. Within the T-CREST project we propose novel solutions for time-predictable multi-core architectures that are optimized for the WCET instead of the average-case execution time. The resulting time-predictable resources (processors, interconnect, memory arbiter, and memory controller) and tools (compiler, WCET analysis) are designed to ease WCET analysis and to optimize WCET performance. Compared to other processors the WCET performance is outstanding.The T-CREST platform is evaluated with two industrial use cases. An application from the avionic domain demonstrates that tasks executing on different cores do not interfere with respect to their WCET. A signal processing application from the railway domain shows that the WCET can be reduced for computation-intensive tasks when distributing the tasks on several cores and using the network-on-chip for communication. With three cores the WCET is improved by a factor of 1.8 and with 15 cores by a factor of 5.7.The T-CREST project is the result of a collaborative research and development project executed by eight partners from academia and industry. The European Commission funded T-CREST.

show abstract

Section: Time-predictable Processorsmentioning

confidence: 99%

Section: The Compiler and Wcet Analysismentioning

confidence: 99%

T-CREST: Time-predictable multi-core architecture for embedded systems

Schoeberl

Abbaspour

Åkesson

et al. 2015

Journal of Systems Architecture

Self Cite

167

100

View full text Add to dashboard Cite

show abstract

“…A time-predictable memory controller supports precise analysis of access times to main memory [4]. The compiler for Patmos is an adaption of the LLVM compiler infrastructure [14]. Furthermore, AbsInt's WCET tool aiT [7] was adapted to support Patmos.…”

Section: A the T-crest Projectmentioning

confidence: 99%

A Method Cache for Patmos

Degasperi

Hepp

Puffitsch

et al. 2014

2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing

Self Cite

View full text Add to dashboard Cite

For real-time systems we need time-predictable processors. This paper presents a method cache as a time-predictable solution for instruction caching. The method cache caches whole methods (or functions) and simplifies worst-case execution time analysis. We have integrated the method cache in the timepredictable processor Patmos.We evaluate the method cache with a large set of embedded benchmarks. Most benchmarks show a good hit rate for a method cache size in the range between 4 and 16 KB.

show abstract

“…As a compiler might inline methods those methods can become too large for the M$ (and SPM). Therefore, the Patmos compiler [22] contains a so-called function splitter. In future work we might adapt the function splitter to perform optimization of the method inlining and splitting to optimize for the M$ structure.…”

Section: The Problem Of Wcet Boundsmentioning

confidence: 99%

“…For shared memory a memory tree network [21], with precise timing guarantees, is provided. An adapted LLVM compiler [22] supports all architectural features of Patmos. This work shall help to decide on which local memory solution shall be used in the Patmos processor.…”

Section: Introductionmentioning

confidence: 99%

WCET-Based Comparison of an Instruction Scratchpad and a Method Cache

Whitham

Schoeberl

2014

2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing

View full text Add to dashboard Cite

Abstract-This paper compares two proposed alternatives to conventional instruction caches: a scratchpad memory (SPM) and a method cache. The comparison considers the true worstcase execution time (WCET) and the estimated WCET bound of programs using either an SPM or a method cache, using large numbers of randomly generated programs. For these programs, we find that a method cache is preferable to an SPM if the true WCET is used, because it leads to execution times that are no greater than those for SPM, and are often lower. However, we also find that analytical pessimism is a significant problem for a method cache. If WCET bounds are derived by analysis, the WCET bounds for an instruction SPM are often lower than the bounds for a method cache. This means that an SPM may be preferable in practical systems.

show abstract

The T-CREST approach of compiler and WCET-analysis integration

Cited by 31 publications

References 15 publications

T-CREST: Time-predictable multi-core architecture for embedded systems

T-CREST: Time-predictable multi-core architecture for embedded systems

A Method Cache for Patmos

WCET-Based Comparison of an Instruction Scratchpad and a Method Cache

Contact Info

Product

Resources

About