Des prises de parole captivantes

2017-2018
[pic]
[pic] LICENCE INFORMATIQUE GENERALE - LG 025 Mention Développement web et mobile
Contenu de la formation Code UE : RCP 105 Intitulé UE : Modélisation, optimisation, complexité et algorithmes (MOCA
B1) Enseignant : M. Kamel BARKAOUI Durée Totale : 45 h examen compris - 6 crédits
Contenu de la formation . Graphes et Algorithmes de base
Concepts de base de la théorie des graphes.
Connexité, forte connexité, mise en ordre.
Fermeture transitive. Algorithme de Roy -Warshall

Parcours des graphes ( en largeur, en profondeur) : applications
notamment à la connexité et à la
forte connexité (algorithme de TARJAN).
Chemins (algorithmes de Ford, Dijkstra, Floyd).

Ordonnancements (méthodes PERT et MPM) et problèmes d'atelier
Flot maximal (Ford Fulkerson) Flot maximal à coût minimal (Busacker-
Cowen)
Arbres optimaux (Krsukal, Prim) . Introduction à la complexité des algorithmes et des problèmes

Classes P, NP - Équivalence et réductions entre problèmes - Problèmes NP-
complets, NP-difficiles -
Théorème de COOK. . Réseaux de Petri (RdP)
Systèmes concurrents, formalisme des RdP , exemples de modélisation de
systèmes dynamiques à
événements discrets.
Analyse comportementale : Graphe des marquages accessibles, arborescence
de Karp et Miller.
propriétés génériques (finitude, sureté , vivacité), propriétés
spécifiques ( introduction à la logique
temporelle linéaire) - Équation d'état - Semi-flots (invariant de places)
analyse structurelle - Etude de cas

. Au second semestre, les UEs NFP 103 (applications concurrentes), RCP 103
(évaluation de performances) , RCP 104 ( méthodes heuristiques) ou RCP
106 (programmation linéaire) font suite à cet enseignement.
Modalités d'évaluation Examen écrit. Le professeur, responsable national pour cette U.E., procède
à la vérification et à la validation des sujets d'examen proposés par les
CRA. Code UE : MB 137 Intitulé UE : Systèmes d'exploitation : principes, programmation et
virtualisation Enseignant : M. Jean-Bernard DODEMONT Durée Totale : 45 h examen compris - 6 crédits Contenu de la formation . Principes de base d'un système d'exploitation
- Rappel sur l'architecture des ordinateurs :
o modes d'exécution, interruptions, gestion des périphériques,
entrés/sorties en mode DMA, pile d'exécution, etc.
- Environnement de développement et conception modulaire de programmes :
compilation croisée, éditions de liens statique et dynamique,
bibliothèques partagées. Exemple des "shared object" du système Linux
- Présentation de la notion de processus et de contexte d'exécution
indépendant, d'espace d'adressage séparé, de chargement dynamique de
programme.
- Introduction au parallélisme et à la programmation concurrente.
Notions de thread et de processus multi-threads. Description des
politiques d'ordonnancement pour l'attribution des processeurs. . Gestion mémoire
- Introduction à la notion d'espace d'adressage (physique, virtuel). - Analyse des architectures de type NUMA (Non Uniform Memory
Architecture) et de la prise en compte de leurs propriétés lors de la
conception de logiciels critiques. - Etude du mécanisme matériel de protection de la mémoire physique de
type MPU (Memory Protection Unit) introduit dans les processeurs
dédiés aux systèmes enfouis (automobile, transport). - Etude des techniques d'allocation mémoire.
Tout d'abord des méthodes d'allocations classiques "historiques" :
allocateurs first-fit, best-fit et worst-fit - Puis des allocateurs
mémoire modernes à 2 étages. Etude de la pagination et de la gestion des espaces d'adressage
paginés dans les systèmes Unix et Linux. Fonctionnement d'une MMU
(Memory Management Unit) et d'un TLB (Translation Lookaside Buffer).
Méthodes de gestion des défauts de page, principes du va-et-vient
(swapping) et algorithmes de remplacement de pages. - Principes de fonctionnement des caches mémoire et de leur mise en
?uvre dans les architectures modernes à base de processeurs multi-
c?urs. Techniques logicielles d'exploitation des caches mémoire pour
l'optimisation des performances des systèmes da . Gestion du parallélisme dans un noyau de système - Etude du problème de l'exclusion mutuelle pour l'accès cohérent à des
ressources partagées entre entités d'exécution concurrentes.
- Exemple des mécanismes de synchronisation de type mutex dans le
contexte des applications multi-threads. - Etude de réalisations d'un mécanisme de synchronisation de type mutex
dans un noyau de système basées sur les méthodes suivantes :
. le masquage des interruptions sur un mono-processeur
. le masquage de la préemption de thread sur un mono-processeur
. l'utilisation d'instructions atomiques et d'instructions de type
"test-and-set" dans les
architectures multi-processeurs. - Etude comparée des politiques de synchronisation de type " coarse-
grained locking " et de type " fine-grained locking ".
- Problème de l'inversion de priorité et ses solutions.
- Problème de l'inter-blocage ("deadlock" en anglais) et ses solutions. Le cours sur la mise en oeuvre de la concurrence et des mécanismes de
synchronisation est basé sur un exemple concret (écrit en langage C) d'un
allocateur mémoire dans un noyau de système. . Virtualisation de Systèmes
- Historique et objectifs de la virtualisation de systèmes : utilisation
optimale des ressources, exécution simultanée de plusieurs systèmes
hétérogènes sur une seule machine, etc. - Description des notions de machine virtuelle, de virtualisation
hébergée ("hosted virtualisation") ou autonome ("standalone
virtualisation"), de systèmes invités et de systèmes hébergeur,
d'hyperviseur. - Virtualisation par émulation transparente du matériel - exemple de
Qemu. - Virtualisation transparente du matériel (VMware) :
. virtualisation du CPU - problème des instructions critiques
. virtualisation de MMU par la technique des "shadow page
tables"
. virtualisation des entrées/sorties par émulation de
périphériques. - Para-virtualisation (Xen) et entrées/sorties à travers des
périphériques virtuels (Ethernet, disques). - Support matériel de la virtualisation de système. - Exemple de l'architecture Intel-VT intégrant le support de machine
virtuelles (extension de la virtualisation VMX). - Virtualisation de périphériques PCI et fonctions PCI virtuelles
partagées entre systèmes invités. - Exemple de Ethernet et des communications entre machines virtuelles
et/ou des machines virtuelles avec l'extérieur. - Etude de la mise en ?uvre optimisée de transferts de données entre les
Machines Virtuelles clientes et les serveurs d'un Data Center munis de
disques SSD. - Etude de la virtualisation de systèmes dans les systèmes embarqués
s'appuyant sur l'exemple des téléphones intelligents ("Smartphones")
fonctionnant sous le systèmeme Android de Google. - Conclusion sur l'évolution des techniques de la virtualisation de
système, des défis posés par sa diffusion (logiciel libre, open
source, etc.) . Mise en oeuvre de la virtualisation de systèmes dans le contexte de
l'infrastructure des télécommunications et de l'Internet
- Notion de Network Function Virtualization (NFV). Etude des avantages
de la virtualisation de fonctions réseau, et des défis posés par leur
mise en ?uvre dans des machines virtuelles. Exemple de la
virtualisation d'un Broadband Remote Access Server (BRAs).
- Principe d'un commutateur réseau virtuel, intégration de la solution
Open Virtual Switch (OVS) dans un hyperviseur. - Notion de Software Defined Network (SDN) permettant le contrôle
centralisé des infrastructures réseau, de la solution Open Flow et de
sa mise en ?uvre dans des infrastructures réseau - Présentation des Smart NIC, cartes réseau intelligentes qui incluent
des services de haut niveau comme la commutation et/ou le routage de
paquets, services couramment intégrés dans l'hyperviseur des solutions
de virtualisation de réseaux - Présentation du DPDK (Data Plane Développent Kit) - Projet open-source pour le développement de piles de protocoles réseau
à haut-débit. - Mise en ?uvre du DPDK dans les infrastructures de réseau virtualisées
pour en optimiser les performances.
Modalités d'évaluation Examen écrit. Code UE : NFE 114
Intitulé UE : Systèmes d'information Web Responsable National : M. Faycal HAMDI
Intervenants :
. M. Faycal HAMDI (7.5h)
. M. Yannick LEPAPE (33.75h)
. M. Jeff MARTINS (52.5h)
Durée Totale : 93.75 h examen compris 6 crédits Objectifs pédagogiques Former les auditeurs aux technologies issues de l'Internet et utilisées
pour la conception et le développement des systèmes d'information web
(SIW).
Dans ce but, les méthodes, techniques et outils In