Algorithmes, machines et langages - Gérard Berry

By Collège de FranceEducation Courses

Algorithmes, machines et langages - Gérard Berry episodes

March 20, 2014 02 - Le temps élargi : horloges multiples, temps discrets et temps continu - PDF
Gérard Berry
Algorithmes, machines et langages
Le temps élargi : horloges multiples, temps discrets et temps continu
Deuxième leçon : Synchronisons nos montres : la synchronisation d'horloges matérielles et logicielles en environnement distribué
0 min
March 20, 2014 02 - Le temps élargi : horloges multiples, temps discrets et temps continu
Gérard Berry
Algorithmes, machines et langages
Le temps élargi : horloges multiples, temps discrets et temps continu
Deuxième leçon : Synchronisons nos montres : la synchronisation d'horloges matérielles et logicielles en environnement distribué
1 hr 2 min
March 19, 2014 03 - Le temps élargi : horloges multiples, temps discrets et temps continu
Gérard Berry
Algorithmes, machines et langages
Le temps élargi : horloges multiples, temps discrets et temps continu
Troisième leçon : Coopération entre modèles de temps et de communication
1 hr
March 12, 2014 02 - Le temps élargi : horloges multiples, temps discrets et temps continu
Gérard Berry
Algorithmes, machines et langages
Le temps élargi : horloges multiples, temps discrets et temps continu
Deuxième leçon : Synchronisons nos montres : la synchronisation d'horloges matérielles et logicielles en environnement distribué
1 hr 2 min
March 11, 2014 01 - Le temps élargi : horloges multiples, temps discrets et temps continu - PDF
Gérard Berry
Algorithmes, machines et langages
Le temps élargi : horloges multiples, temps discrets et temps continu
Première leçon : Circuits multi-horloges, métastabilité, synchroniseurs et FIFOs asynchrones
Ce premier cours parisien présentera d’abord brièvement les divers sujets traités dans l’ensemble des cours de l’année. Il sera ensuite consacré aux problèmes délicats des circuits multi-horloges.
Alors que les circuits digitaux du XXe siècle avaient le plus souvent une seule horloge, les systèmes sur puce du XXIe siècle en comportent en général plusieurs, en particulier pour cadencer des composants de fréquences intrinsèques différentes et pour abaisser la consommation d’énergie en réduisant la vitesse de certaines horloges selon la charge locale des circuits qu’elles cadencent. Les rapports temporels de ces horloges peuvent être variés : synchronisées, en décalage de phase, harmoniques ou encore vraiment asynchrones, ce dernier cas étant le plus complexe en terme d’échange d’information. En effet, quand une donnée produite sur une horloge doit être lue par un système cadencé sur une autre horloge asynchrone, il se peut qu’un front d’horloge réceptrice commandant l’échantillonnage d’une entrée par un registre arrive au moment où l’entrée elle-même est en train de changer. Dans ce cas, le registre peut rendre une valeur booléenne aléatoire ou rester métastable entre les deux valeurs booléennes pendant un temps aléatoire. Nous étudierons deux montages fondamentaux qui permettent de contourner cette difficulté intrinsèque à l’aide de protocoles spécifiques : les synchroniseurs multi-horloges et les files FIFO multi-horloges. Nous verrons que ces montages sont délicats et coûteux, et que diverses optimisations apparemment habiles peuvent s’avérer radicalement fausses.
0 min
March 11, 2014 01 - Le temps élargi : horloges multiples, temps discrets et temps continu
Gérard Berry
Algorithmes, machines et langages
Le temps élargi : horloges multiples, temps discrets et temps continu
Première leçon : Circuits multi-horloges, métastabilité, synchroniseurs et FIFOs asynchrones
Ce premier cours parisien présentera d’abord brièvement les divers sujets traités dans l’ensemble des cours de l’année. Il sera ensuite consacré aux problèmes délicats des circuits multi-horloges.
Alors que les circuits digitaux du XXe siècle avaient le plus souvent une seule horloge, les systèmes sur puce du XXIe siècle en comportent en général plusieurs, en particulier pour cadencer des composants de fréquences intrinsèques différentes et pour abaisser la consommation d’énergie en réduisant la vitesse de certaines horloges selon la charge locale des circuits qu’elles cadencent. Les rapports temporels de ces horloges peuvent être variés : synchronisées, en décalage de phase, harmoniques ou encore vraiment asynchrones, ce dernier cas étant le plus complexe en terme d’échange d’information. En effet, quand une donnée produite sur une horloge doit être lue par un système cadencé sur une autre horloge asynchrone, il se peut qu’un front d’horloge réceptrice commandant l’échantillonnage d’une entrée par un registre arrive au moment où l’entrée elle-même est en train de changer. Dans ce cas, le registre peut rendre une valeur booléenne aléatoire ou rester métastable entre les deux valeurs booléennes pendant un temps aléatoire. Nous étudierons deux montages fondamentaux qui permettent de contourner cette difficulté intrinsèque à l’aide de protocoles spécifiques : les synchroniseurs multi-horloges et les files FIFO multi-horloges. Nous verrons que ces montages sont délicats et coûteux, et que diverses optimisations apparemment habiles peuvent s’avérer radicalement fausses.
58 min
March 05, 2014 01 - Le temps élargi : horloges multiples, temps discrets et temps continu
Gérard Berry
Algorithmes, machines et langages
Le temps élargi : horloges multiples, temps discrets et temps continu
Première leçon : Circuits multi-horloges, métastabilité, synchroniseurs et FIFOs asynchrones
Ce premier cours parisien présentera d'abord brièvement les divers sujets traités dans l'ensemble des cours de l'année. Il sera ensuite consacré aux problèmes délicats des circuits multi-horloges.
Alors que les circuits digitaux du XXe siècle avaient le plus souvent une seule horloge, les systèmes sur puce du XXIe siècle en comportent en général plusieurs, en particulier pour cadencer des composants de fréquences intrinsèques différentes et pour abaisser la consommation d'énergie en réduisant la vitesse de certaines horloges selon la charge locale des circuits qu'elles cadencent. Les rapports temporels de ces horloges peuvent être variés : synchronisées, en décalage de phase, harmoniques ou encore vraiment asynchrones, ce dernier cas étant le plus complexe en terme d'échange d'information. En effet, quand une donnée produite sur une horloge doit être lue par un système cadencé sur une autre horloge asynchrone, il se peut qu'un front d'horloge réceptrice commandant l'échantillonnage d'une entrée par un registre arrive au moment où l'entrée elle-même est en train de changer. Dans ce cas, le registre peut rendre une valeur booléenne aléatoire ou rester métastable entre les deux valeurs booléennes pendant un temps aléatoire. Nous étudierons deux montages fondamentaux qui permettent de contourner cette difficulté intrinsèque à l'aide de protocoles spécifiques : les synchroniseurs multi-horloges et les files FIFO multi-horloges. Nous verrons que ces montages sont délicats et coûteux, et que diverses optimisations apparemment habiles peuvent s'avérer radicalement fausses.
58 min
June 07, 2013 06 - Synthèse matérielle et compilation logicielle d’Esterel v7
Gérard Berry
Algorithmes, machines et langages
Sixième leçon : Synthèse matérielle et compilation logicielle d’Esterel v7
Ancien élève de l’École polytechnique, ingénieur général du Corps des mines, membre de l’Académie des science, de l’Académie des technologies et de l’Academia Europaea, chercheur à l’École des mines de Paris et à l’INRIA de 1970 à 2000, Directeur scientifique d’Esterel Technologies de 2001 à 2009, Gérard Berry est actuellement chercheur à l’Institut National de Recherche en Informatique et Automatique (INRIA) et président de la commission d’évaluation de cet institut. Sa contribution scientifique concerne trois principaux sujets : le lambda calcul et la sémantique formelle des langages de programmation, la programmation parallèle et temps réel, et la conception assistée par ordinateur de circuits intégrés. Il est le créateur du langage de programmation Esterel.
59 min
June 07, 2013 05 - La conception de circuits synchrones et multi-horloges en Esterel v7
Gérard Berry
Algorithmes, machines et langages
Cinquième leçon : La conception de circuits synchrones et multi-horloges en Esterel v7
Ancien élève de l’École polytechnique, ingénieur général du Corps des mines, membre de l’Académie des science, de l’Académie des technologies et de l’Academia Europaea, chercheur à l’École des mines de Paris et à l’INRIA de 1970 à 2000, Directeur scientifique d’Esterel Technologies de 2001 à 2009, Gérard Berry est actuellement chercheur à l’Institut National de Recherche en Informatique et Automatique (INRIA) et président de la commission d’évaluation de cet institut. Sa contribution scientifique concerne trois principaux sujets : le lambda calcul et la sémantique formelle des langages de programmation, la programmation parallèle et temps réel, et la conception assistée par ordinateur de circuits intégrés. Il est le créateur du langage de programmation Esterel.
1 hr 1 min
June 07, 2013 04 - La compilation logicielle d’Esterel v5
Gérard Berry
Algorithmes, machines et langages
Quatrième leçon : La compilation logicielle d’Esterel v5
Ancien élève de l’École polytechnique, ingénieur général du Corps des mines, membre de l’Académie des science, de l’Académie des technologies et de l’Academia Europaea, chercheur à l’École des mines de Paris et à l’INRIA de 1970 à 2000, Directeur scientifique d’Esterel Technologies de 2001 à 2009, Gérard Berry est actuellement chercheur à l’Institut National de Recherche en Informatique et Automatique (INRIA) et président de la commission d’évaluation de cet institut. Sa contribution scientifique concerne trois principaux sujets : le lambda calcul et la sémantique formelle des langages de programmation, la programmation parallèle et temps réel, et la conception assistée par ordinateur de circuits intégrés. Il est le créateur du langage de programmation Esterel.
1 hr 4 min

About Algorithmes, machines et langages - Gérard Berry

From the publisher's feed

Ancien élève de l'École polytechnique, ingénieur général du Corps des mines, membre de l'Académie des science, de l'Académie des technologies et de l'Academia Europaea, chercheur à l'École des…