Programmation Concurrente

11 Episodes

Reverse

Cours N°10 - partie II, petit historique des ordinateurs et conclusion

2013-11-2735:08

La seconde partie du dixième cours présente une rapide zoologie des ordinateurs (parallèles et non parallèles) et de leur programmation. Elle se termine ensuite avec des considérations sur la programmation et le Génie Logiciel en guise de conclusion du cours.

Cours N°10 - partie I, correction de l'examen partiel

2013-11-2758:16

La première partie du dixième cours présente le corrigé commenté de l'examen partiel de l'unité d'enseignement.

Cours N°9 - Généricité et itérateurs, entrées/sorties

2013-11-1201:35:00

Ce cours termine la visite des mécanismes évolués de programmation par diverses illustrations de l'usage de la généricité en programmation. Sur cette base, sont ensuite introduits les itérateurs, qui offrent des mécanismes d'introspection dans des bibliothèques de programme. Le cours se termine par une présentation des mécanismes d'entrées/sorties (de type texte ou dans des fichiers à accès direct).

Cours N°8 - Structuration avancées de programmes, début de la généricité

2013-11-1201:35:00

Ce cours illustre les différentes manières d'utiliser la notion de paquetage pour protéger les usagers d'une unité de programme contre une mauvais utilisation liées à une méconnaissance de son implémentation. Nous y voyons des notions utiles comme la surcharge de sous-programmes et d'opérateurs du langage, les types privés et limités privés qui permettent de mettre en oeuvre la notion de type abstraits de données. Nous terminons sur les premières notions concernant la généricité.

Cours N°7 - Anneaux de Processus, requeue et entrées privées

2013-11-1201:35:00

Ce cours débute sur le traitement d'un exemple concret illustrant une organisation de programmes de type pair-à-pair en anneau de processus. Des mécanismes avancées de gestion du parallélisme permettent de gérer la réception de messages depuis des points d'entrées en fonction de la valeur de leur paramètre. Il s'agit de l'instruction requeue, associée à la notion d'entrées privées, qui sont également présentées et illustrées dans cette séance de cours. Enfin, nous abordons les premières notions de structuration avancée d'un programme avec la notion de paquetage, déjà utilisée en TD mais vue ici en détails.

Cours N°6 - Problèmes liés au parallélisme

2013-10-2101:35:00

Ce cours aborde principalement l'ensemble des problèmes que l'on peut rencontrer dans le cadre du développement d'applications concurrentes. Dans un premier temps, le problème du consensus est abordé via une illustration inspirée du problème dit "des généraux byzantins" (introduit en 1982). Sont ensuite présentés l'interblocage, la famine avant que la notion de causalité soit détaillée. Le cours se termine sur la projection de la notion de récurrence dans un langage séquentiel dans le cadre d'une exécution en parallèle.

Cours N°5 - Allocation dynamique de mémoire et création dynamique de tâches

2013-10-1401:35:32

Ce cours présente dans un premier temps les mécanismes de fonctionnement de l'allocation dynamique de mémoire ainsi que la notion de pointeurs. Il s'agit là de rappels (utiles ;-) ) permettant de montrer comment ce système s'étend à la création dynamique de tâches dans un programme. En guise d'applications, quelques exemples sont donnés pour illustrer la gestion dynamique de la mémoire. L'illustration de la création dynamique de tâches se fait au moyen de la programmation d'un serveur multi-threadé simple.

Cours N°4 - Objets/types protégés (fin) et gestion des exceptions dans les tâches

2013-10-1401:31:50

Ce cours achève la présentation des objets/types protégés puis introduit la notion d'exceptions dans un langage de programmation avant d'en illustrer le comportement sur un programme multi-tâche.

Cours N°3 - Rendez-vous entre tâches, moniteurs de Hoare et objets/types protégés

2013-10-0401:30:35

Ce cours aborde deux mécanismes permettant la communication entre tâches d'un programmes: le rendez-vous et l'objet/type protégé (mise en œuvre des moniteurs introduits par C.A. Hoare en 1974). Les principes de fonctionnements de ces mécanismes de communication sont présentés et illustrés au moyen d'exemples caractérisant leur comportement.

Cours N°2 - Fin des rappels et introduction aux principes du parallélisme

2013-10-0201:40:44

Ce second cours termine les rappels de programmation impérative. Il débute ensuite la présentation des différentes formes de parallélisme, explicite la différence entre processus et threads (ou processus légers) avant de présenter les principes de base de la définition de tâches, sous la forme d'objet ou de types ensuite instanciés.

Cours N°1 - Introduction et rappels sur la programmation impérative

2013-09-1601:38:50

Après quelques éléments positionnant l'importance de la programmation concurrente dans l'informatique d'aujourd'hui, nous présentons les modalités de fonctionnement de cette unité d'enseignement et effectuons quelques rappels sur les principes et le fonctionnement, supposés connus, de la programmation impérative, en les déclinant sur le langage Ada qui sert de support à cet enseignement.

#box-pro-ellipsis-173221626985217{-webkit-line-clamp:2;}Programmation Concurrente