Scipediacontent: Scipediacontent moved page Draft Content 610529899 to Brandner et al 2010a

2021-02-01T23:46:51Z

Scipediacontent moved page Draft Content 610529899 to Brandner et al 2010a

Scipediacontent: Created page with " == Abstract == International audience; Modeling the execution of a processor and its instructions is a challenging problem, in particular in the presence of long pipelines,..."

2021-02-01T23:46:45Z

Created page with " == Abstract == International audience; Modeling the execution of a processor and its instructions is a challenging problem, in particular in the presence of long pipelines,..."

New page

== Abstract ==

International audience; Modeling the execution of a processor and its instructions is a challenging problem, in particular in the presence of long pipelines, parallelism, and out-of-order execution. A naive approach based on finite state automata inevitably leads to an explosion in the number of states and is thus only applicable to simple minimalistic processors. During their execution, instructions may only proceed forward through the processor's datapath towards the end of the pipeline. The state of later pipeline stages is thus independent of potential hazards in preceding stages. This also applies for data hazards, i.e., we may observe data by-passing from a later stage to an earlier one, but not in the other direction. Based on this observation, we explore the use of a series of parallel finite automata to model the execution states of the processor's resources individually. The automaton model captures state updates of the individual resources along with the movement of instructions through the pipeline. A highly-flexible synchronization scheme built into the automata enables an elegant modeling of parallel computations, pipelining, and even out-of-order execution. An interesting property of our approach is the ability to model a subset of a given processor using a sub-automaton of the full execution model.

== Original document ==

The different versions of the original document can be found in:

* [https://hal-ens-lyon.archives-ouvertes.fr/ensl-00537179 https://hal-ens-lyon.archives-ouvertes.fr/ensl-00537179]

* [http://xplorestaging.ieee.org/ielx5/5661642/5669423/05669478.pdf?arnumber=5669478 http://xplorestaging.ieee.org/ielx5/5661642/5669423/05669478.pdf?arnumber=5669478],
: [http://dx.doi.org/10.1109/norchip.2010.5669478 http://dx.doi.org/10.1109/norchip.2010.5669478]

* [http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000005669478 http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000005669478],
: [https://publik.tuwien.ac.at/files/PubDat_192459.pdf https://publik.tuwien.ac.at/files/PubDat_192459.pdf],
: [https://hal-ens-lyon.archives-ouvertes.fr/ensl-00537179 https://hal-ens-lyon.archives-ouvertes.fr/ensl-00537179],
: [https://ieeexplore.ieee.org/document/5669478 https://ieeexplore.ieee.org/document/5669478],
: [http://ieeexplore.ieee.org/document/5669478 http://ieeexplore.ieee.org/document/5669478],
: [https://academic.microsoft.com/#/detail/2069506132 https://academic.microsoft.com/#/detail/2069506132]

← Older revision	Revision as of 23:46, 1 February 2021
(No difference)

Brandner et al 2010a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 610529899 to Brandner et al 2010a

Scipediacontent: Created page with " == Abstract == International audience; Modeling the execution of a processor and its instructions is a challenging problem, in particular in the presence of long pipelines,..."