Prediction and resource augmentation come to the rescue of algorithmics.
Prédiction et augmentation de ressources à la rescousse de l'algorithmique
Résumé
Currently, the trend is towards the pooling of IT resources. This centralization offers several advantages, including better management of workload variations, avoidance of extreme usage peaks, and easier optimization of calculations since data is on-site. However, the advent of the Internet of Things (IoT) has created an increase in the need for processing and analyzing data at locations far from data centers. For faster and more efficient processing, it is important to limit data transfers and process them near their place of production. Thus, it is essential to find a balance between using centralized platforms to pool computing resources and decentralized models to process data locally.This thesis focuses on the implementation of several mechanisms aimed at designing scheduling algorithms for multiple agents with distinct objectives on a platform composed of computing resources.First, we investigate the use of an external mechanism (oracle) to reveal uncertainties related to the execution times of sequential tasks to be executed on a computing resource. We propose algorithms that guarantee optimal average performance on the classic sum flowtime objective and study their performance, robustness, and the relevance of the oracle model on average through a simulation campaign. We also question the effectiveness of such a model if one wishes to guarantee good performance in the worst-case scenario.Next, we study a bi-agent problem in which each agent is subject to different constraints and objectives. We propose an algorithm implementing resource augmentation (speed and rejection) and prove, using the dual fitting technique, a competitiveness ratio depending, among other things, on these augmentation parameters.Finally, we address a more classic problem of scheduling a sequential task application for which we want to minimize the makespan on a hybrid multicores (CPU/GPU) platform. We propose an algorithm based on the study of the integrality gap of the relaxation of a linear programming, algorithm for which we provide a proof of performance guarantee in the form of a constant approximation ratio.
Actuellement, la tendance est à la mutualisation des ressources informatiques. Cette centralisation offre plusieurs avantages, notamment une meilleure gestion des variations de charge de travail, l'évitement de pics d'utilisation extrêmes et une optimisation simplifiée des calculs avec les données déjà en place. Cependant, l'avènement de l'Internet des objets (IoT) a créé une augmentation des besoins de traitement et d'analyse de données à des endroits éloignés des data-centers. Pour un traitement plus rapide et efficace, il est important de limiter les transferts de données et de les traiter près de leur lieu de production. Ainsi, il est essentiel de trouver un équilibre entre l'utilisation de plateformes centralisées pour mutualiser les ressources de calcul et les modèles décentralisés pour traiter les données localement.Cette thèse porte sur la mise en œuvre de plusieurs mécanismes visant à concevoir des algorithmes d'ordonnancement pour plusieurs agents ayant des objectifs distincts sur une plateforme composée de ressources de calcul.Tout d'abord, nous nous interrogeons sur l'utilisation d'un mécanisme externe (oracle) pour révéler les incertitudes relatives aux durées d'exécution de tâches séquentielles à exécuter sur une ressource de calcul. Nous proposons des algorithmes qui garantissent des performances moyennes optimales sur l'objectif classique du "sum flowtime" et étudions, via une campagne de simulations, leurs performances, leurs robustesses et la pertinence du modèle d'oracle en moyenne. Nous nous interrogeons également sur l'efficacité d'un tel modèle si l'on souhaite garantir de bonnes performances au pire des cas.Ensuite, nous étudions un problème bi-agent dans lequel chaque agent est soumis à des contraintes et des objectifs différents. Nous proposons un algorithme mettant en œuvre de l'augmentation de ressources (vitesse et rejet) et prouvons, grâce à la technique du dual fitting, un rapport de compétitivité dépendant, entre autres, de ces paramètres d'augmentation.Enfin, nous abordons un problème plus classique d'ordonnancement d'une application de tâches séquentielles pour laquelle nous souhaitons minimiser le "makespan" sur une plateforme hybride multicœurs (CPU/GPU). Nous proposons un algorithme basé sur l'étude de "l'intégrality gap" de la relaxation d'une programmation linéaire, algorithme pour lequel nous donnons une preuve de garantie de performances sous la forme d'un rapport d'approximation constant.
Origine : Version validée par le jury (STAR)
