{"partition": "head_middle", "source_domain": "edite-de-paris.fr", "digest": "sha1:XURDG6IBLVZQLKGW2OMHKTDAV4VRGZWF", "path": "/lustre/fsn1/projects/rech/qgz/uzq54wg/processed_redpajama/base_processing/output/fr/2014-15/000_00009.parquet"}
EDITE de Paris
Synchronisation fiable et efficace pour le Cloud
Proposé par: Claire Hanen
Directeur de thèse: Jean-Francois Pradat-Peyre
Unité de recherche: UMR 7606 Laboratoire d'informatique de Paris 6
Domaine: Secteur: Thème: Sous-thème: Projet
Comme toute organisation répartie, et c’est le cas du cloud, un fonctionnement efficace et fiable implique une synchronisation entre applications afin de gérer et d’optimiser l’accès concurrents à l’ensemble des données partagées.
Cette synchronisation est faite à l’aide d’algorithmes et de mécanismes qui prennent en compte différents critères dont celui de la mobilité. Ces algorithmes sont donc complexes dans les clouds car ils répondent à de nombreuses exigences en terme de performance, de sécurité et de sûreté de fonctionnement. Aussi, du fait des enjeux importants et des attentes liés à la mise en œuvre d’un cloud, il est nécessaire de pouvoir analyser ces algorithmes et de garantir que seuls des algorithmes soigneusement testés seront mis en service. Ceci pose de nombreux problèmes de recherche que l’état de l’art actuel du domaine ne permet pas de résoudre efficacement.
Le premier pan de la thèse proposée est de développer des méthodes et des outils de vérification et de test adaptés à la vérification d’algorithmes sur de telles architectures mobiles, domaine qui à ce jour reste relativement vierge mais est porteur de nombreuses retombées théoriques et technologiques.
A un niveau plus macroscopique, si les primitives de synchronisation sont nécessaires et permettent d’obtenir le respect de propriétés attendues, certaines primitives et disciplines de synchronisation facilitent ou, au contraire, complexifient la mise au point d’applications reparties basées sur ces primitives. Différentes études ont ainsi montrées que sans discipline, la seule utilisation de verrous ne permet pas facilement de construire des applications réparties à large échelle et qu’il faut se centrer sur la notion d’atomicité et raisonner au niveau moniteur (à la Hoare) plutôt qu’au niveau verrou et sémaphore : sans disciplines, certaines suites d’actions ne sont pas protégées alors qu’elles devraient l’être ou, a contrario, d’autres sont protégées alors que cela n’est pas nécessaire ; ceci conduit selon le cas à un défaut de synchronisation ou à une perte importante de performance.
Le second pan de cette thèse est d’étudier quelles disciplines de synchronisation sont adaptées à des applications du cloud avec comme attendu la définition de paradigmes simples et efficaces pour la construction d’applications pour le cloud fiables et correctes a priori.
Le paradigme du Cloud Computing définit un accès dynamique à un ensemble de ressources de calcu