Synchronisation et ordonnancement coopératifs des tâches
Auteur / Autrice : | Victor Laforet |
Direction : | Julia Lawall, Jean-Pierre Lozi |
Type : | Projet de thèse |
Discipline(s) : | Sciences et technologies de l'information et de la communication |
Date : | Inscription en doctorat le 01/10/2023 |
Etablissement(s) : | Sorbonne université |
Ecole(s) doctorale(s) : | École doctorale Informatique, télécommunications et électronique de Paris |
Partenaire(s) de recherche : | Laboratoire : INRIA Paris |
Mots clés
Mots clés libres
Résumé
Des algorithmes de verrous efficaces sont essentiels pour garantir la mise à l'échelle des applications sur architectures multicurs. Bien que de nombreux algorithmes de verrous aient été proposés ces dernières décennies pour améliorer les délais de transfert des verrous en cas de forte contention, ainsi que le cache et la localité NUMA, même les meilleurs algorithmes peuvent être ralentis en raison de mauvaise décisions de l'ordonnanceur du système d'exploitation. Le extended Berkeley Packet Filter (eBPF) permet d'injecter du code vérifié à l'intérieur du noyau Linux. Alors que BPF était historiquement utilisé pour le filtrage de paquets, il est désormais couramment utilisé pour le profilage, et il a récemment été utilisé dans des cas d'utilisation plus exotiques (par exemple, la mise en cache dans le noyau pour Memcached). Nous aimerions utiliser BPF pour concevoir une nouvelle famille d'algorithmes de verrous qui communique et coopère avec l'ordonnanceur du système d'exploitation pour surmonter les limites de l'état de l'art actuel. À long terme, cette approche peut être étendue à d'autres primitives de synchronisation, telles que les barrières.