NAIR Sreeja

Doctorante (Monitrice, Sorbonne Université)
Équipe : DELYS
Date d'arrivée : 02/04/2018
Localisation : Campus Pierre et Marie Curie
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 26-00, Étage 2, Bureau 209
    4 place Jussieu
    75252 PARIS CEDEX 05
Tel: 01 44 27 45 15, Sreeja.Nair (at) nulllip6.fr
Direction de recherche : Marc SHAPIRO

Contrôle optimal de la concurrence pour les applications distribuées

Assurer la sécurité des applications distribuées hautement disponibles est une tâche non négligeable. Trop de concomitance peut briser les invariants de l'application, et trop peu rendra l'application moins disponible. Il est donc important de trouver un équilibre précis pour obtenir les meilleures performances possibles. Gotsman et al. (POPL 2016) proposent une règle de preuve pour vérifier qu'un mécanisme de contrôle de concomitance donné satisfait aux invariants pour les applications qui propagent des opérations. Nair et al (PaPoC 2019) abordent le même problème pour les applications qui propagent l'état. (PaPoC 2017) ; Houshmand et Lesani (POPL 2019) ont introduit des mécanismes de génération de contrôle de commande concurrente pour les applications basées sur l'exploitation en fonction des spécifications de l'application. Une application peut utiliser différents mécanismes de contrôle de concomitance pour assurer la sécurité. Les caractéristiques de chaque choix doivent être étudiées ainsi que les compromis associés. Pour y parvenir, nous devons d'abord comprendre les paramètres affectés par les différents choix. Par exemple, dans certaines applications, un verrou de lecteur/écrivain peut donner de meilleures performances que l'acquisition d'un verrou d'exclusion mutuelle. Mais dans d'autres applications, une serrure d'exclusion mutuelle pourrait avoir de meilleures performances en raison du surdébit de la serrure de lecture/écriture. Et chaque application peut avoir des exigences de performance différentes ; certaines applications peuvent nécessiter une faible latence et d'autres un débit élevé et encore une autre fraîcheur. Les caractéristiques de charge de travail de chaque application peuvent également être différentes. Nous avons besoin de dériver des métriques qui peuvent être ajustées pour différentes applications en tenant compte de la dynamique de l'application. L'étape suivante consiste à évaluer les différents choix de cohérence disponibles en fonction des paramètres choisis. Différents mécanismes de contrôle de la concomitance peuvent affecter différents paramètres des métriques et le développeur doit être conscient des compromis d'un contrôle de concomitance donné.

Publications 2017-2019

 Mentions légales
Carte du site |