Toggle Main Menu Toggle Search

Open Access padlockePrints

WCET analysis of superscalar processors using simulation with Coloured Petri Nets

Lookup NU author(s): Dr Frank Burns, Dr Albert Koelmans, Professor Alex Yakovlev

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

Determining a tight WCET of a block of code to be executed on a modern superscalar processor architecture is becoming ever more difficult due to the dynamic behaviour exhibited by current processors, which include dynamic scheduling features such as speculative and out-of-order execution in the context of multiple execution units with deep pipelines. We describe the use of Coloured Petri Nets (CP-nets) in a simulation based approach to this problem. A complex model of a generic processor architecture is described, with emphasis on the modelling strategy for obtaining the WCET and an analysis of the results.


Publication metadata

Author(s): Burns F, Koelmans A, Yakovlev A

Publication type: Article

Publication status: Published

Journal: Real-Time Systems

Year: 2000

Volume: 18

Issue: 2-3

Pages: 275-288

ISSN (print):

ISSN (electronic): 1573-1383

Publisher: Springer New York LLC

URL: http://dx.doi.org/10.1023/A:1008101416758

DOI: 10.1023/A:1008101416758


Altmetrics

Altmetrics provided by Altmetric


Actions

Find at Newcastle University icon    Link to this publication


Share