Declarative Adaptive Optimization of Task-Based Applications on Heterogeneous Architectures

• Emanuele De Angelis IASI-CNR
• Guglielmo De Angelis IASI-CNR
• Romolo Marotta Tor Vergata University of Rome
• Federica Montesano IASI-CNR
• Alessandro Pellegrini Tor Vergata University of Rome
• Maurizio Proietti IASI-CNR

Resumo

This paper presents a knowledge-based technique for mapping task-based applications onto heterogeneous computing resources using Answer Set Programming (i.e., ASP) for dynamic, multi-objective task allocation. Our method models applications through the Actor Model, considering device constraints, task workloads, and performance factors like computational overload and inter-actor communication costs. By formulating these elements as logical rules, our ASP-based method adapts allocations to changing workloads and system dynamics, nearing the theoretical optimum achievable by an oracle with complete knowledge. Simulation experiments show that our approach significantly outperforms (up to 45%) traditional static partitioning techniques by maximizing throughput and preventing unfruitful migrations. These results highlight the effectiveness of declarative optimization for online allocation in heterogeneous architectures, and suggest that a clear syntax for modelling non-functional metrics eases the extrapolation of a broad set of optimization scenarios.

Palavras-chave: Performance evaluation, Adaptation models, System dynamics, Computational modeling, Answer set programming, Computer architecture, Syntactics, Throughput, Resource management, Optimization, Heterogeneous Architectures, Answer Set Programming, Resource Allocation