Master 2014 2015
Stages de la spécialité SAR
Stabilisation et Synchronisation d’Horloge sur Puce


Site :Trac-Stabilisation et Synchronisation d’Horloge sur Puce
Lieu :LIP6 , 4, place Jussieu, 75005 Paris
Encadrant : Franck Petit, François Anceau, et Dimitri Galayko
Dates :du 09/03/2015 au 08/09/2015
Rémunération :Gratification
Mots-clés : Master SAR, autre qu’ATIAM

Description

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.

Bibliographie

[A14] François Anceau. Distribution d’horloges à grande échelle sur une puce. http://www.college-de-france.fr/sit..., 2014.

[B14] Gérard Berry. Algorithmes, machines et langages, cours du Collège de France. http://www.college-de-france.fr/sit..., 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.