Semi-dynamic scheduling of synchronization-mechanisms

This paper presents a novel approach to scheduling of hardware supported synchronization operations. The optimization goal is to minimize the interaction time of processes and thus the overall computation time of a system composed of a set of interacting processes. To minimize computation time, minimum timing constraints of synchronization mechanisms have to be satisfied. In order to meet these requirements the control flow oriented scheduling algorithm allows to schedule synchronization operations into loops with unknown iteration count. To achieve this, a set of control steps into which each synchronization operation may be scheduled is computed and afterwards, a controller is synthesized, which determines the final schedule dynamically during execution