Universität Karlsruhe
Fuzzy-Neuro-Controlled Verified Instruction Scheduler


[1]Thilo Gaul, Martin Riedmiller, Ralf Schoknecht, Martin Spott, Fuzzy-Neuro-Controlled Verified Instruction Scheduler, Proc. of NAFIPS99, Jun 1999.


In this paper we present a fuzzy-neuro approach for instruction scheduling in compilers for modern high-performance processors. Instruction Scheduling is an optimization problem in NP and is usually addressed with processor dependent heuristics or processor simplifying cost models. The costs for executing a given instruction sequence on the processor can not be determined exactly in practice, because the exact execution model is too complex or simply not available from the manufacturer. Our approach enables the compiler to adapt the cost measure dynamically by learning the processor behavior and typical optimization situations on the basis of reinforcement learning. Additionally we are able to include fuzzy a priori scheduling knowledge and derive verified implementations by the technique of program-checking.

[Erzeuge bibTeX Eintrag]


Dr. Thilo Gaul
Dr. Martin Spott
Dr. Martin Riedmiller
Ralf Schoknecht