Stabilisation et Synchronisation d’Horloge sur Puce
Encadrant : Franck Petit, François Anceau, et Dimitri Galayko (contact : [email protected])
Lieu : LIP6 , 4, place Jussieu, 75005 Paris Date : Mars à Août 2015-‐02-‐04
Rémunération : Gratification légale
Mots-clés : Master Informatique, SOC, Auto-‐stabilisation, synchronisation d’horloge Descriptif
La mise à l'heure des horloges distribuées dans un réseau informatique est un problème et un besoin d'actualité [B14]. Les solutions actuelles (par exemple le protocole PTP) ne sont acceptables que pour de petits réseaux car d’une part, elles fonctionnent selon le principe d'une horloge maître et d'horloges esclaves, d’autre part l'erreur de synchronisation entre deux nœuds croît avec leur distance par rapport au maître à cause de l'accumulation des erreurs locales. Qui plus est, elles tolèrent mal les fautes des éléments du réseau. Deux équipes du Lip6 (REGAL et CIAN) proposent des solutions originales et indépendantes à ce problème, les premières [BPV04, BPV08] sont génériques et s’appliquent aux systèmes distribués ; les secondes ont été conçues pour les systèmes sur puces (SoC) [A14, SAGZ14], mais leurs applications aux systèmes distribués macroscopiques est envisagée.
Objectifs du stage
Il s’agit de comprendre quels pourraient être les apports des algorithmiques de synchronisation d’horloge de [BPV04, BPV08] dans le domaine microscopique des SOC.
Pour cela, nous envisageons d’implémenter ces algorithmes sur des dispositifs ad hoc (type grille de PLL et/ou FPGA) et d’étudier leur comportement dans des environnements de type GALS. Dans un premier temps, ces algorithmes seront testés sur un modèle VHDL exécuté sur la plate-‐forme de simulation Modelsim de Mentor Graphics.
Références
[A14] François Anceau. Distribution d'horloges à grande échelle sur une puce.
http://www.college-‐de-‐france.fr/site/gerard-‐berry/seminar-‐2014-‐03-‐12-‐17h00.htm, 2014.
[B14] Gérard Berry. Algorithmes, machines et langages, cours du Collège de France.
http://www.college-‐de-‐france.fr/site/gerard-‐berry/#course, 2014.
[BPV04] Christian Boulinier, Franck Petit, Vincent Villain. When graph theory helps self-
stabilization. PODC, 150-‐159, 2004.
[BPV08] Christian Boulinier, Franck Petit, Vincent Villain. Synchronous vs. Asynchronous Unison. Algorithmica 51(1): 61-‐80, 2008.
[SGAZ14] Chuan Shan, Dimitri Galayko, François Anceau, Eldar Zianbetov. A reconfigurable distributed architecture for clock generation in large many-core SoC. ReCoSoC, 1-‐8, 2014.
