An Interval Algebra for Multiprocessor Resource Allocation

Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 and Dziurzanski, Piotr (2015) An Interval Algebra for Multiprocessor Resource Allocation. In: Soudris, Dimitrios and Carro, Luigi, (eds.) The International Conference on Systems, Architectures, Modeling and Simulation (SAMOS). International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XV), 20-23 Jul 2015, Samos. , GRC .

Abstract

This paper presents an interval algebra created specifically to evaluate timing properties of multiprocessor systems. It models the application load as intervals, and considers allocation and scheduling as algebraic operations over those intervals, aiming to analyse the impact of resource allocation decisions on application response times or schedulability. The theoretical background is introduced informally, followed by the description of a reference implementation of the interval algebra in C++, aiming to appeal to the design practitioner rather than the formalist. Examples of the usage of the proposed algebra are also provided, showing its applicability to the performance evaluation of industrial systems implemented over bus-based and Network-on-Chip multiprocessor platforms. A particular design flow is highlighted, where the interval algebra is used as a fitness function in a genetic algorithm tailored to optimise resource allocation in hard real-time multiprocessors.