Geum.ru

Présentation de la mention

Вид материалаДокументы

Содержание


Responsable : Luciana ARANTES-BEZERRA
Подобный материал:
1   ...   24   25   26   27   28   29   30   31   ...   133




Acronyme : ar

Spécialité : SAR

6 ECTS
Niveau : 400
Semestre : S2

Titre : Algorithmique Répartie

Responsable : Claude Dutheillet

Répartition hebdomadaire ou semestrielle

(CM: 2h00)(TD: 2h00)(TME: 2h00)

Contenu



Ce module vise à sensibiliser les étudiants aux problèmes particuliers qui se posent lorsque les processus participant à une application s’exécutent sur des sites distants. Le modèle de répartition auquel nous nous intéressons ici est celui contexte d’applications sans mémoire partagée où la communication s’effectue au moyens de messages. Les solutions existantes à différents problèmes classiques dans ce contexte seront présentées : causalité, réalisation de l’exclusion mutuelle, détection de la terminaison de l’application, etc. Des travaux pratiques sont réalisés sur les principales familles d’algorithmes avec la bibliothèque de communication MPI.

Expérience du responsable dans le domaine de l’UE



Après une thèse sur la modélisation d’applications réparties au moyen de réseaux de Petri colorés, j’ai continué à m’intéresser aux algorithmes répartis en tant que domaine d’application des méthodes de vérification. Cela m’a permis d’acquérir une bonne connaissance de ce domaine et m’a amené à coordonner l’équipe d’enseignement de ce module dans lequel interviennent des spécialistes reconnus de l’algorithmique répartie : B. Charron-Bost, L. Arantès, O. Marin.

Réalisations du responsable dans le domaine de l’UE




  • B. Charron-Bost, F. Mattern, G. Tel : "Synchronous, Asynchronous, and Causally Ordered Communication", Distributed Computing, 9(4).
  • M. Bertier, L. Arantes, P. Sens : "Distributed Mutual Exclusion Algorithms for Grid Applications: a Hierarchical Approach", Parallel & Distributed Computing
  • M. Bertier, O. Marin, P. Sens : "Performance Analys of Hierarchical Failure Detector", Int. Conference on Dependable Systems and Networks (DSN'03),
  • B. Charron-Bost : " Agreement Problems in Fault-Tolerant Distributed Systems", Invited lecture at SOFSEM'01
  • J. Sopena, L. Arantes, M. Bertier, P. Sens : "A Fault-Tolerant Token-Based Mutual Exclusion Algorithm using a Dynamic Tree", EuroPar 2005







Acronyme : ara
Spécialité : SAR
3 ECTS
Niveau : 500
Semestre : S3

Titre : Algorithmique répartie avancée

Responsable : Luciana ARANTES-BEZERRA

Répartition hebdomadaire ou semestrielle

(30h/7 semaines)

Contenu



Cette UE a pour objectif fournir aux étudiants des notions avancées sur les problématiques des algorithmes répartis.

Expérience du responsable dans le domaine de l’UE



Mes travaux de recherches dans le domain des systèmes répartis portent sur les modèles de cohérence et les algorithmes répartis pour des environments à large échelle et/ou hétérogènes tels quels les grilles et systèmes pair-à-pair.

Réalisations du responsable dans le domaine de l’UE




  • M. Bertier, L. Arantes, P. Sens. Distributed Mutual Exclusion Algorithms for Grid Applications: Hierarchical Approach. To appear in Journal of Parallel and Distributed Computing (JPDC), Elsevier.
  • J. Sopena, L. Arantes, M. Bertier, P. Sens. A fault-tolerant token-based algorithm usyng a dynamic tree. EuroPar 2005, Lisboa, Portugal, September 2005. LNCS.
  • M.Bertier, L. Arantes and P. Sens. Hierarchical token based mutual exclusion algorithms. Proceedings of the 4th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid '04), Chicago (USA), April 2004. IEEE Society Press.
  • L. Arantes, P. Sens, B. Folliot. An Effective Logical Cache for a Clustered LRC-based DSM System. Journal of Cluster Computing, Vol. 5(1):19-31, Janvier 2002.