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

Conference Article

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

Abstract

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.

[Generate bibTeX entry]

Authors

Alumni
Dr. Thilo Gaul
Dr. Martin Spott
Partner
Dr. Martin Riedmiller
Ralf Schoknecht
Login
Links