Synchronisation des processus. Abdelouahed Gherbi Hiver 2014
|
|
- Bérengère Cousineau
- il y a 6 ans
- Total affichages :
Transcription
1 Synchronisation des processus Abdelouahed Gherbi Hiver
2 Plan Race condition Section critique Solutions au problème de la section critique Les sémaphores Problèmes de synchronisation classiques 2
3 Introduction Les processus sont souvent coopérants sont affectés par ou affectent d autres processus dans le système Les processus coopérants peuvent partager directement un espace d adressage Échanger des données via des fichiers ou passage de messages Les accès concurrents au données partagées peuvent engendrer des données inconsistantes (non cohérentes) Objectif de ce cours Étudier les mécanismes de synchronisation et coordination des processus concurrents et coopérants 3
4 Race condition Nous avons développé un modèle du système qui consiste en Un ensemble de processus (et threads) Asynchrones et concurrents Partagent des données Exemple : Producteur consommateurs 4
5 Race condition Exemple : Producteurs-consommateurs Solution possible while (true) { /* Produire un item */ while (((in + 1) % BUFFER_SIZE ) == out) ; /* Rien à faire Pas de buffer disponible*/ buffer[in] = item; in = (in + 1) % BUFFER SIZE; while (true) { while (in == out) ; // Rien à faire rien à consommer // Prendre un item du buffer item = buffer[out]; out = (out + 1) % BUFFER SIZE; } Processus producteur } Processus consommateur Inconvénient de la solution ci-dessous? 5
6 Race condition Attente active (busy waiting) Les processus testent continuellement une condition Les processus ne progressent pas mais utilisent la CPU On ne peut utiliser que (BUFFER_SIZE -1) places dans le buffer 6
7 Race condition On veut une solution qui permet d utiliser (remplir) le tapon complètement On peut utiliser un entier count qui garde le nombre des éléments pleins dans le buffer. Initialement, count est mis à 0. Il est incrémenté par le producteur et décrémenté par le consommateur. On obtient : while (true) { /* produire un item */ while (count == BUFFER_SIZE) ; // Rien faire buffer [in] = nextproduced; in = (in + 1) % BUFFER_SIZE; count++; } Processus producteur while (true) { while (count == 0) ; // Rien faire nextconsumed = buffer[out]; out = (out + 1) % BUFFER_SIZE; count--; } /* Consommer l item Processus consommateur 7
8 Race condition Les routines des deux processus sont correctes séparément Ne fonctionnent pas correctement en concurrence. Pourquoi? while (true) { /* produire un item */ while (count == BUFFER_SIZE) ; // Rien faire buffer [in] = nextproduced; in = (in + 1) % BUFFER_SIZE; count++; } Processus producteur while (true) { while (count == 0) ; // Rien faire nextconsumed = buffer[out]; out = (out + 1) % BUFFER_SIZE; count--; } /* Consommer l item */ Processus consommateur 8
9 Race condition Les routines des deux processus sont correctes séparément Ne fonctionnent pas correctement en concurrence. Pourquoi? On met le focus sur les instructions manipulant la variable partagée count while (true) { /* produir un item */ while (count == BUFFER_SIZE) ; // Rien faire buffer [in] = nextproduced; in = (in + 1) % BUFFER_SIZE; count++; } Processus producteur while (true) { while (count == 0) ; // Rien faire nextconsumed = buffer[out]; out = (out + 1) % BUFFER_SIZE; count--; } /* consommer l item */ Processus consommateur 9
10 Race Condition count++ peut être implémenté en langage machine comme suit register1 = count register1 = register1 + 1 count = register1 count-- peut être implémenté comme suit : register2 = count register2 = register2-1 count = register2 Exécution concurrente de count++ et count-- est équivalente à une exécution séquentielle dans laquelle les instructions machines sont enchevêtrés (interleaved) dans un ordre arbitraire On considère l exécution (enchevêtrée) suivante avec count = 5 initialement : Instruction Description Résultat Initialement count = 5 S0 Producteur exécute register1 = count register1 = 5 S1 Producteur exécute register1 += 1 register1 = 6 S2 Consommateur exécute register2 = count register2 = 5 S3 Consommateur exécute register2 -=1 Register2 = 4 S4 Producteur exécute count = register1 count = 6 S5 Consommateur exécute count = register2 count = 4 10
11 Race condition On arriverait à cet état incorrect car on a permis aux deux processus de manipuler la variable partagée count en concurrence sans aucun contrôl Dans cette situation : Plusieurs processus accèdent et manipulent la même donnée en concurrence (parallèle) Le résultat de l exécution dépends de l ordre dans lequel se font les accès Cette situation est appelée race condition Pour éviter les race conditions On doit garantir qu un seul processus peut manipuler à la fois la variable partagée count Les processus doivent être synchronisés (coordonnés) 11
12 Section critique On considère un système de plusieurs processus : P0, P1, P2, Chaque processus a un segment de code où il manipule (change) des variables communes Mise à jour de tables, des listes chaînées, etc. Écriture sur un fichier Ce segment de code est appelé section critique do { entry section critical section Une caractéristique importante des sections critiques : Exclusion Mutuelle Quand un processus s exécute dans sa section critique aucun autre processus ne doit être autorisé d exécuter sa section critique Il ne peut pas y avoir deux processus dans leurs sections critiques simultanément Le problème de la section critique consiste à concevoir un protocol que les processus peuvent utiliser pour coopérer Chaque processus doit demander la permission d entrer dans sa section critique (Section d entrée) La section critique est suivi ed une section de sortie Le reste du code : section restante exit section remainder section } while (TRUE); Structure générale d un processus typique [1] 12
13 Solutions pour le problème de la SC Solutions logicielles pour le problème de la section critique Solutions algorithmiques Exemples : Solution de Peterson, Solution de Dekker Limitées à deux processus Pas de garantie de bonne fonctionnements sur toutes les architectures Solutions matérielles Masquage des interruptions Pas faisable sur des architectures multiprocesseurs Peut perturber le bon fonctionnement du système (mise à jour de l horloge) Instructions spéciales (supportées par le matériel) Test and set (difficile dans un multiprocesseur) Permutation (swap) atomique Complexes à utiliser par les programmeurs 13
14 Les sémaphores Un sémaphore est un outil de synchronisation de processus (threads) Un Sémaphore S : est une variable entière (integer) peut être manipulée seulement avec deux opérations indivisibles (atomiques) wait() et signal() Nom d origine : P() et V() Les définitions de wait() et signal() sont comme suit : wait (S) { while S <= 0 ; // no-op S--; } signal (S) { S++; } 14
15 Les sémaphores On distingue deux types de sémaphores : Sémaphore à compteur (counting semaphore) valeur entière qui varie sur un intervalle non restreint Sémaphore binaire (binary semaphore) valeur entière entre 0 et 1 seulement Appelé aussi les verrous mutex (mutex locks) 15
16 Les sémaphores Le sémaphores à compteur peuvent être utilisés pour contrôler l accès à une ressource ayant un nombre fini d instances (exemplaires) Le sémaphore est initialisé au nombre de ressources disponibles Si un processus veut utiliser une ressource Exécute une opération wait() sur le sémaphore (décrémente le compte) Si un processus libère une ressource Exécute l opération signal() sur le sémaphore (incrémente le compte) Quand le compte du sémaphore est zéro toutes les ressources sont utilisées Tout processus qui a besoin d une ressource va bloquer jusqu à ce que le compte devient non nulle 16
17 Les sémaphores On utilise les sémaphores binaires (mutex) pour traiter le problème de section critique entre plusieurs processus comme suit : Semaphore mutex = 1; // initialisé à 1 do { wait (mutex); // Critical Section signal (mutex); // remainder section } while (TRUE); do { entry section critical section exit section remainder section } while (TRUE); 17
18 Les sémaphores On peut également utiliser les sémaphores pour une variété de problèmes de synchronisation Exemple : Un processus P1 exécute une instruction S1 et un processus P2 exécute une instruction S2 S2 doit être exécutée par P2 seulement quand S1 a été exécutée par P1 Comment réaliser cette synchronisation en utilisant les sémaphores? 18
19 Les sémaphores On peut également utiliser les sémaphores pour une variété de problèmes de synchronisation Exemple : Un processus P1 exécute une instruction S1 et un processus P2 exécute une instruction S2 S2 doit être exécutée par P2 seulement quand S1 a été exécutée par P1 P1 et P2 doivent utiliser un sémaphore commun Semaphore synch = 0; S1; signal(synch); wait(synch); S2; // processus P1 // processus P2 19
20 Implémentation des sémaphores On reconsidère la définition des opérations sur un sémaphore wait (S) { while S <= 0 ; // no-op S--; } signal (S) { S++; } Il est claire qu il y a un inconvénient important de la définition des sémaphore. Lequel? 20
21 Implémentation des sémaphores Inconvénient important de la définition des opérations sur un sémaphore Attente active (busy waiting) Tant qu un processus est dans sa SC, les autres processus qui essayent d entrer dans leurs SCs doivent boucler continuellement Ceci est un problème dans un système multiprogrammé utilisant une seule CPU Gaspillage des cycles CPU Ce type de sémaphore est appelé spinlock Les processus tournent «spin» tant qu ils attendent Spinlocks ont un avantage : Lequel? 21
22 Implémentation des sémaphores Inconvénient important de la définition des opérations sur un sémaphore Attente active (busy waiting) Tant qu un processus est dans sa SC, les autres processus qui essayent d entrer dans leurs SCs doivent boucler continuellement Ceci est un problème dans un système multiprogrammé utilisant une seule CPU Gaspillage des cycles CPU Ce type de sémaphore est appelé spinlock Les processus tournent «spin» tant qu ils attendent Spinlocks ont un avantage : pas de commutation de contexte quand les locks sont utilisés pour de courtes périodes, ils sont avantageux Les spinlocks sont employés sur les systèmes multiprocesseurs 22
23 Implémentation des Sémaphores On modifie la définition des opération wait()et signal() pour éliminer le problème de l attente active Quand un processus exécute l opération wait() Il décrémente la valeur du sémaphore Si la valeur du sémaphore est positive (ou nulle) : il continue Si la valeur du sémaphore est négative : il doit se bloquer (sera mis dans une file d attente associée au sémaphore et son état passe à en attente (waiting), le processus libère la CPU) Un processus bloqué en attente d un sémaphore S doit être redémarré (réveillé) par un autre processus qui exécute l opération signal() sur ce sémaphore Ce processus passe de l état en attente (waiting) à l état prêt (ready) 23
24 Implementation de wait: } Implémentation des Sémaphores wait(semaphore *S) { S->value--; if (S->value < 0) { ajouter ce processus à S->list; } block(); Implementation de signal: // l opération block suspends le processus qui // l invoque : c est un appel système typedef struct{ int value; struct processs *list; } semaphore ; signal(semaphore *S) { S->value++; if (S->value <= 0) { Enlever un processus P de S->list; wakeup(p); // reprends l exéction du processus bloqué // c est un appel système } } 24
25 Implémentation des Sémaphores Retour sur l exclusion mutuelle en utilisant les sémaphores Trois processus A, B et C accèdent à une ressource commune protégée par un sémaphore lock 25
26 Problèmes avec les sémaphores On considère un système de deux processus P0 et P1 P0 et P1 utilisent les sémaphores S et Q initialisés à 1 P 0 P 1 wait (S); wait (Q); signal(s); signal(q); wait (Q); wait (S); signal(q); signal(s); Que peut on constater? 26
27 Problèmes avec les sémaphores On considère un système de deux processus P0 et P1 P0 et P1 utilisent les sémaphores S et Q initialisés à 1 P 0 P 1 wait (S); wait (Q); signal(s); signal(q); wait (Q); wait (S); signal(q); signal(s); Inter-blocage (deadlock) Deux processus ou plus en attente infinie d un événement qui peut être causé seulement par un parmi les processus en attente 27
28 Problèmes avec les sémaphores Autre problème potentiel Politique de gestion de la file d attente du sémaphore Que ce passe-t-il si la file d attente associée à un sémaphore est gérée selon la politique LIFO? Famine (Starvation) Un blocage infini : un processus peut ne jamais être retiré de la file du sémaphore dans lequel il est suspendu 28
29 Exercice 01 29
30 Problèmes de synchronisation classiques On présente des problèmes classiques de synchronisation de processus Ces problèmes sont utilisés pour tester toute proposition nouvelle d une technique ou un mécanisme pour la synchronisation des processus On considère les problèmes Producteur-consommateur avec un tampon borné Lecteurs rédacteurs Les philosophes On utilise les sémaphore comme outil de synchronisation 30
31 Producteur-consommateur avec un tampon borné Les processus producteur et consommateur interagissent via : Un tampon (buffer) de taille N Règles de synchronisation : Tant qu il y a une place vide, le producteur peut l utiliser pour y mettre un item produit Tant qu il y a une place pleine (contient un item), le consomateur peut le prendre Le producteur et le consomateur ne peuvent pas utiliser le buffer en même temps Initialement : il y a N emplacement vides dans lesquels le producteur peut mettre les items qu il produit Il y a donc 0 emplacement pleins (contenant un item) Déclaration : Semaphore mutex = 1 Semaphore full = 0 Semaphore empty = N 31
32 Producteur-consommateur avec un tampon borné Un tampon (buffer) de N places Semaphore mutex = 1 Semaphore full = 0 Semaphore empty = N. do { // produire un item wait (empty); wait (mutex); // ajouter l item au buffer signal (mutex); signal (full); } while (TRUE); Structure du processus producteur do { wait (full); wait (mutex); // Prendre l item du buffer signal (mutex); signal (empty); // consommer l item } while (TRUE); Structure du processus consommateur 32
33 Problème des lecteurs rédacteurs Une base de données (fichier) est partagée par plusieurs processus concurrents Lecteurs (Readers) processus qui lisent seulement dans la base de données; il ne font pas des opérations de mise à jour Rédacteurs (Writers) processus qui peuvent lire et écrire Problème (version originale) Plusieurs processus lecteurs peuvent lire en même temps. Un seul processus rédacteur peut accéder à base de données à la fois (accès exclusif pour les rédacteurs) Autres versions du problème (avec priorité) Les lecteurs n attendent que s il y a un rédacteur est entrain d utiliser la ressource Une fois un processus rédacteur est prêt aucun autre lecteur ne peut commencer à lire Une solution pour ces deux versions peut engendrer une famine 33
34 Problème des lecteurs rédacteurs Dans cette solution, on utilise ces structures de données Semaphore mutex = 1 Semaphore wrt = 1 int readcount = 0 do { wait (mutex) ; readcount ++ ; if (readcount == 1) wait (wrt) ; signal (mutex) // Lecture wait (mutex) ; readcount-- ; if (readcount == 0) signal (wrt) ; signal (mutex) ; do { wait (wrt) ; // Ecriture signal (wrt) ; } while (TRUE); Structure générale d un processus rédacteur } while (TRUE); Structure générale d un processus lecteur 34
35 Problème des philosophes Un problème de synchronisation classique Pas nécessairement pour sa valeur pratique Pas parce que les informaticiens haïssent les philosophes!! Un modèle d allocation de ressources entre processus sans inter blocage ni famine 5 philosophes passent leur vie à penser et manger Sont assis autour d une table Il y a 5 baguettes (chopsticks) sur la table Quand un philo a faim, il (elle) essaye de prendre les deux baguettes les plus proches à lui (entre lui et ses voisins) Un philo peut prendre une baguette à la fois (il ne peut prendre un qui est déjà pris) Ayant les deux baguettes en sa possession le philo peut alors manger Après avoir fini, le philo libère les deux baguettes et recommence à penser Problème des philosophes [1] 35
36 Problème philosophes Une solution simple On utilise un sémaphore (mutex) pour ressource commune (baguette) Un processus philo essaye de prendre une baguette en exécutant l opération wait()sur le sémaphore correspondant Il libéré la baguette en exécutant l opération signal() do { wait ( chopstick[i] ); wait ( chopstick[ (i + 1) % 5] ); // eat signal ( chopstick[i] ); signal (chopstick[ (i + 1) % 5] ); // think } while (TRUE); Les processus partagent la structure de données suivante Semaphore chopstick [5] = 1; Structure d un processus philosphe i Quel est le problème avec cette solution? 36
37 Utilisation incorrecte des sémaphores Si les sémaphores sont utilisés incorrectement ils peuvent engendrer des erreurs très difficiles à détecter et reproduire Cas : les processus intervertissent l ordre des opérations wait()et Signal() signal(mutex); Section critique wait(mutex); Dans cette situation plusieurs processus peuvent entrer dans leurs SC en même temps Cas : Un processus remplace signal() par wait() wait(mutex); Section critique wait(mutex); Ici on aura inter-blocage 37
38 Exercice 02 38
39 Références [1] SILBERSCHATZ, A. et P.B. GALVIN, Operating System Concepts. 8 th Edition, Addison Wesley. 39
Cours de Systèmes d Exploitation
Licence d informatique Synchronisation et Communication inter-processus Hafid Bourzoufi Université de Valenciennes - ISTV Introduction Les processus concurrents s exécutant dans le système d exploitation
Plus en détail4. Outils pour la synchronisation F. Boyer, Laboratoire Lig Fabienne.Boyer@imag.fr
4. Outils pour la synchronisation F. Boyer, Laboratoire Lig Fabienne.Boyer@imag.fr Le problème Insuffisance des solutions de base (verrous) Les solutions de plus haut niveau Les Sémaphores Les Moniteurs
Plus en détailOn appelle variable condition une var qui peut être testée et
Un concept plus général: g Variables condition On appelle variable condition une var qui peut être testée et endort le thread qui la teste si la condition est fausse le réveille quand la condition devient
Plus en détailIntroduction à la programmation concurrente
Introduction à la programmation concurrente Moniteurs Yann Thoma Reconfigurable and Embedded Digital Systems Institute Haute Ecole d Ingénierie et de Gestion du Canton de Vaud This work is licensed under
Plus en détailProblèmes liés à la concurrence
ENS Cachan Problématique Difficile de gérer la concurrence : Pas toujours facile d avoir des fonctions réentrantes. Risque de race condition : ex : x :=x+1 x :=x+1 On voudrait des blocs d instructions
Plus en détailINTRODUCTION AUX SYSTEMES D EXPLOITATION. TD2 Exclusion mutuelle / Sémaphores
INTRODUCTION AUX SYSTEMES D EXPLOITATION TD2 Exclusion mutuelle / Sémaphores Exclusion mutuelle / Sémaphores - 0.1 - S O M M A I R E 1. GENERALITES SUR LES SEMAPHORES... 1 1.1. PRESENTATION... 1 1.2. UN
Plus en détailExclusion Mutuelle. Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr. Université de Provence. 9 février 2011
Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr Université de Provence 9 février 2011 Arnaud Labourel (Université de Provence) Exclusion Mutuelle 9 février 2011 1 / 53 Contexte Epistémologique
Plus en détailÉcole Polytechnique de Montréal. Département de Génie Informatique et Génie Logiciel. Cours INF2610. Contrôle périodique.
École Polytechnique de Montréal Département de Génie Informatique et Génie Logiciel Cours INF2610 Contrôle périodique Automne 2013 Date : 11 octobre 2013 de 18h à 20h Professeur : Boucheneb Hanifa Documentation
Plus en détail1/24. I passer d un problème exprimé en français à la réalisation d un. I expressions arithmétiques. I structures de contrôle (tests, boucles)
1/4 Objectif de ce cours /4 Objectifs de ce cours Introduction au langage C - Cours Girardot/Roelens Septembre 013 Du problème au programme I passer d un problème exprimé en français à la réalisation d
Plus en détail1 Mesure de la performance d un système temps réel : la gigue
TP TR ENSPS et MSTER 1 Travaux Pratiques Systèmes temps réel et embarqués ENSPS ISV et Master TP1 - Ordonnancement et communication inter-processus (IPC) Environnement de travail Un ordinateur dual-core
Plus en détailProcessus! programme. DIMA, Systèmes Centralisés (Ph. Mauran) " Processus = suite d'actions = suite d'états obtenus = trace
Processus 1) Contexte 2) Modèles de Notion de Points de vue Modèle fourni par le SX Opérations sur les 3) Gestion des Représentation des Opérations 4) Ordonnancement des Niveaux d ordonnancement Ordonnancement
Plus en détail03/04/2007. Tâche 1 Tâche 2 Tâche 3. Système Unix. Time sharing
3/4/27 Programmation Avancée Multimédia Multithreading Benoît Piranda Équipe SISAR Université de Marne La Vallée Besoin Programmes à traitements simultanés Réseau Réseau Afficher une animation en temps
Plus en détailSystèmes d exploitation Gestion de processus
Systèmes d exploitation Gestion de processus SITE : http://www.sir.blois.univ-tours.fr/ mirian/ Systèmes d exploitation - Mírian Halfeld-Ferrari p. 1/5 Les processus, à quoi ça sert? À faire plusieurs
Plus en détailLes processus légers : threads. Système L3, 2014-2015 1/31
Les processus légers : threads Système L3, 2014-2015 1/31 Les threads Les threads sont des processus légers exécutés à l intérieur d un processus L exécution des threads est concurrente Il existe toujours
Plus en détailCours 2: Exclusion Mutuelle entre processus (lourds, ou légers -- threads)
Cours 2: Exclusion Mutuelle entre processus (lourds, ou légers -- threads) Concurrence entre processus & Problème d Exclusion Mutuelle 1. Introduction 2. Solutions avec attente active, dites Sans Arbitrage
Plus en détail4. Outils pour la synchronisation F. Boyer, Laboratoire Sardes Fabienne.Boyer@imag.fr
4. Outils pour la synchronisation F. Boyer, Laboratoire Sardes Fabienne.Boyer@imag.fr Le problème Insuffisance des solutions de base (verrous) Les solutions de plus haut niveau Les Sémaphores Les Moniteurs
Plus en détailARDUINO DOSSIER RESSOURCE POUR LA CLASSE
ARDUINO DOSSIER RESSOURCE POUR LA CLASSE Sommaire 1. Présentation 2. Exemple d apprentissage 3. Lexique de termes anglais 4. Reconnaître les composants 5. Rendre Arduino autonome 6. Les signaux d entrée
Plus en détailTemps Réel. Jérôme Pouiller <j.pouiller@sysmic.org> Septembre 2011
Temps Réel Jérôme Pouiller Septembre 2011 Sommaire Problèmatique Le monotâche Le multitâches L ordonnanement Le partage de ressources Problèmatiques des OS temps réels J. Pouiller
Plus en détailExercices INF5171 : série #3 (Automne 2012)
Exercices INF5171 : série #3 (Automne 2012) 1. Un moniteur pour gérer des ressources Le moniteur MPD 1 présente une première version d'un moniteur, exprimé en pseudo-mpd, pour gérer des ressources le nombre
Plus en détailIntroduction aux systèmes temps réel. Iulian Ober IRIT ober@iut-blagnac.fr
Introduction aux systèmes temps réel Iulian Ober IRIT ober@iut-blagnac.fr Sommaire Généralités Caractéristiques récurrentes des STR Types de problèmes soulevées Programmation des STR Prog. concurrente
Plus en détailExécutif temps réel Pierre-Yves Duval (cppm)
Exécutif temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 Plan Exécutif Tâches Evénements et synchronisation Partage de ressources Communications
Plus en détailREALISATION d'un. ORDONNANCEUR à ECHEANCES
REALISATION d'un ORDONNANCEUR à ECHEANCES I- PRÉSENTATION... 3 II. DESCRIPTION DU NOYAU ORIGINEL... 4 II.1- ARCHITECTURE... 4 II.2 - SERVICES... 4 III. IMPLÉMENTATION DE L'ORDONNANCEUR À ÉCHÉANCES... 6
Plus en détailTemps Réel. Jérôme Pouiller <j.pouiller@sysmic.org> Septembre 2011
Temps Réel Jérôme Pouiller Septembre 2011 Ordonnancement avec contraintes de précédance Problèmatique des accès concurents Problème liés aux partage de ressources Solutions utres
Plus en détailThreads. Threads. USTL http://www.lifl.fr/ routier 1
Threads USTL http://www.lifl.fr/ routier 1 Rappels - Définitions un Process est un programme qui tourne et dispose de ses propres ressources mémoire. OS multi-tâche plusieurs process en concurrence un
Plus en détailBases de programmation. Cours 5. Structurer les données
Bases de programmation. Cours 5. Structurer les données Pierre Boudes 1 er décembre 2014 This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 3.0 License. Types char et
Plus en détail1. Structure d un programme C. 2. Commentaire: /*..texte */ On utilise aussi le commentaire du C++ qui est valable pour C: 3.
1. Structure d un programme C Un programme est un ensemble de fonctions. La fonction "main" constitue le point d entrée pour l exécution. Un exemple simple : #include int main() { printf ( this
Plus en détailChapitre 4 : Exclusion mutuelle
Chapitre 4 : Exclusion mutuelle Pierre Gançarski Juillet 2004 Ce support de cours comporte un certain nombre d erreurs : je décline toute responsabilité quant à leurs conséquences sur le déroulement des
Plus en détailSynchro et Threads Java TM
Synchro et Threads Java TM NICOD JEAN-MARC Master 2 Informatique Université de Franche-Comté UFR des Sciences et Techniques septembre 2008 NICOD JEAN-MARC Synchro et Threads avec Java TM 1 / 32 Sommaire
Plus en détailProjet Active Object
Projet Active Object TAO Livrable de conception et validation Romain GAIDIER Enseignant : M. Noël PLOUZEAU, ISTIC / IRISA Pierre-François LEFRANC Master 2 Informatique parcours MIAGE Méthodes Informatiques
Plus en détailUn ordonnanceur stupide
Un ordonnanceur simple Université Paris Sud L objet des exercices qui suivent est de créer un ordonanceur implantant l algorithme du tourniquet ( round-robin scheduler ). La technique utilisée pour élire
Plus en détailProjet gestion d'objets dupliqués
Projet gestion d'objets dupliqués Daniel Hagimont Daniel.Hagimont@enseeiht.fr 1 Projet Service de gestion d'objets dupliqués Mise en cohérence lors de la prise d'un verrou sur un objet Pas de verrous imbriqués
Plus en détailOrdonnancement temps réel
Ordonnancement temps réel Laurent.Pautet@enst.fr Version 1.5 Problématique de l ordonnancement temps réel En fonctionnement normal, respecter les contraintes temporelles spécifiées par toutes les tâches
Plus en détailModélisation des interfaces matériel/logiciel
Modélisation des interfaces matériel/logiciel Présenté par Frédéric Pétrot Patrice Gerin Alexandre Chureau Hao Shen Aimen Bouchhima Ahmed Jerraya 1/28 TIMA Laboratory SLS Group 46 Avenue Félix VIALLET
Plus en détailIntroduction à la programmation orientée objet, illustrée par le langage C++ Patrick Cégielski cegielski@u-pec.fr
Introduction à la programmation orientée objet, illustrée par le langage C++ Patrick Cégielski cegielski@u-pec.fr Mars 2002 Pour Irène et Marie Legal Notice Copyright c 2002 Patrick Cégielski Université
Plus en détailEPREUVE OPTIONNELLE d INFORMATIQUE CORRIGE
EPREUVE OPTIONNELLE d INFORMATIQUE CORRIGE QCM Remarque : - A une question correspond au moins 1 réponse juste - Cocher la ou les bonnes réponses Barème : - Une bonne réponse = +1 - Pas de réponse = 0
Plus en détailACTIVITÉ DE PROGRAMMATION
ACTIVITÉ DE PROGRAMMATION The purpose of the Implementation Process is to realize a specified system element. ISO/IEC 12207 Sébastien Adam Une introduction 2 Introduction Ø Contenu Utilité de l ordinateur,
Plus en détailConventions d écriture et outils de mise au point
Logiciel de base Première année par alternance Responsable : Christophe Rippert Christophe.Rippert@Grenoble-INP.fr Introduction Conventions d écriture et outils de mise au point On va utiliser dans cette
Plus en détailStructure fonctionnelle d un SGBD
Fichiers et Disques Structure fonctionnelle d un SGBD Requetes Optimiseur de requetes Operateurs relationnels Methodes d acces Gestion de tampon Gestion de disque BD 1 Fichiers et Disques Lecture : Transfert
Plus en détailNIVEAU D'INTERVENTION DE LA PROGRAMMATION CONCURRENTE
NIVEAU D'INTERVENTION DE LA PROGRAMMATION CONCURRENTE Une application se construit par étapes 1) CAHIER DES CHARGES + ANALYSE FONCTIONNELLE = organisation fonctionnelle (QUE FAIRE) 2) ANALYSE OPERATIONNELLE
Plus en détailCours Informatique Master STEP
Cours Informatique Master STEP Bases de la programmation: Compilateurs/logiciels Algorithmique et structure d'un programme Programmation en langage structuré (Fortran 90) Variables, expressions, instructions
Plus en détailIntroduction à la Programmation Parallèle: MPI
Introduction à la Programmation Parallèle: MPI Frédéric Gava et Gaétan Hains L.A.C.L Laboratoire d Algorithmique, Complexité et Logique Cours du M2 SSI option PSSR Plan 1 Modèle de programmation 2 3 4
Plus en détailCours d initiation à la programmation en C++ Johann Cuenin
Cours d initiation à la programmation en C++ Johann Cuenin 11 octobre 2014 2 Table des matières 1 Introduction 5 2 Bases de la programmation en C++ 7 3 Les types composés 9 3.1 Les tableaux.............................
Plus en détailIntroduction à Java. Matthieu Herrb CNRS-LAAS. Mars 2014. http://homepages.laas.fr/matthieu/cours/java/java.pdf
Introduction à Java Matthieu Herrb CNRS-LAAS http://homepages.laas.fr/matthieu/cours/java/java.pdf Mars 2014 Plan 1 Concepts 2 Éléments du langage 3 Classes et objets 4 Packages 2/28 Histoire et motivations
Plus en détailJ2SE Threads, 1ère partie Principe Cycle de vie Création Synchronisation
J2SE Threads, 1ère partie Principe Cycle de vie Création Synchronisation Cycle Ingénierie 2e année SIGL Dernière mise à jour : 19/10/2006 Christophe Porteneuve Threads Principes Cycle de vie Création java.lang.thread
Plus en détailProgrammation C++ (débutant)/instructions for, while et do...while
Programmation C++ (débutant)/instructions for, while et do...while 1 Programmation C++ (débutant)/instructions for, while et do...while Le cours du chapitre 4 : le for, while et do...while La notion de
Plus en détailPremiers Pas en Programmation Objet : les Classes et les Objets
Chapitre 2 Premiers Pas en Programmation Objet : les Classes et les Objets Dans la première partie de ce cours, nous avons appris à manipuler des objets de type simple : entiers, doubles, caractères, booléens.
Plus en détailInitiation au HPC - Généralités
Initiation au HPC - Généralités Éric Ramat et Julien Dehos Université du Littoral Côte d Opale M2 Informatique 2 septembre 2015 Éric Ramat et Julien Dehos Initiation au HPC - Généralités 1/49 Plan du cours
Plus en détailArchitecture des ordinateurs
Architecture des ordinateurs Cours 4 5 novembre 2012 Archi 1/22 Micro-architecture Archi 2/22 Intro Comment assembler les différents circuits vus dans les cours précédents pour fabriquer un processeur?
Plus en détailLicence ST Université Claude Bernard Lyon I LIF1 : Algorithmique et Programmation C Bases du langage C 1 Conclusion de la dernière fois Introduction de l algorithmique générale pour permettre de traiter
Plus en détailM2-Images. Rendu Temps Réel - OpenGL 4 et compute shaders. J.C. Iehl. December 18, 2013
Rendu Temps Réel - OpenGL 4 et compute shaders December 18, 2013 résumé des épisodes précédents... création des objets opengl, organisation des données, configuration du pipeline, draw,... opengl 4.3 :
Plus en détailTD2 Programmation concurrentielle
TD2 Programmation concurrentielle Développement Logiciel (L2-S4) Lundi 10 février 2014 Exercice 1 (Au bar...) Trois clients se trouvent au bar. Il est tard, ils sont fatigués, et ils s endorment sur le
Plus en détailConception des systèmes répartis
Conception des systèmes répartis Principes et concepts Gérard Padiou Département Informatique et Mathématiques appliquées ENSEEIHT Octobre 2012 Gérard Padiou Conception des systèmes répartis 1 / 37 plan
Plus en détailCentre CPGE TSI - Safi 2010/2011. Algorithmique et programmation :
Algorithmique et programmation : STRUCTURES DE DONNÉES A. Structure et enregistrement 1) Définition et rôle des structures de données en programmation 1.1) Définition : En informatique, une structure de
Plus en détailChapitre VI- La validation de la composition.
Chapitre VI- La validation de la composition. Objectifs du chapitre : Expliquer les conséquences de l utilisation de règles de typage souples dans SEP. Présenter le mécanisme de validation des connexions
Plus en détailSuivant les langages de programmation, modules plus avancés : modules imbriqués modules paramétrés par des modules (foncteurs)
Modularité Extensions Suivant les langages de programmation, modules plus avancés : modules imbriqués modules paramétrés par des modules (foncteurs) généricité modules de première classe : peuvent être
Plus en détailCours Bases de données 2ème année IUT
Cours Bases de données 2ème année IUT Cours 12 : Concurrence d accès Anne Vilnat http://www.limsi.fr/individu/anne/cours Plan 1 Accès concurrents Définitions Verrous Collisions Niveaux de cohérence Blocage
Plus en détailINF6500 : Structures des ordinateurs. Sylvain Martel - INF6500 1
INF6500 : Structures des ordinateurs Sylvain Martel - INF6500 1 Cours 4 : Multiprocesseurs Sylvain Martel - INF6500 2 Multiprocesseurs Type SISD SIMD MIMD Communication Shared memory Message-passing Groupe
Plus en détailInfo0101 Intro. à l'algorithmique et à la programmation. Cours 3. Le langage Java
Info0101 Intro. à l'algorithmique et à la programmation Cours 3 Le langage Java Pierre Delisle, Cyril Rabat et Christophe Jaillet Université de Reims Champagne-Ardenne Département de Mathématiques et Informatique
Plus en détailLes transactions 1/46. I même en cas de panne logicielle ou matérielle. I Concept de transaction. I Gestion de la concurrence : les solutions
1/46 2/46 Pourquoi? Anne-Cécile Caron Master MAGE - SGBD 1er trimestre 2014-2015 Le concept de transaction va permettre de définir des processus garantissant que l état de la base est toujours cohérent
Plus en détail<Insert Picture Here> Solaris pour la base de donnés Oracle
Solaris pour la base de donnés Oracle Alain Chéreau Oracle Solution Center Agenda Compilateurs Mémoire pour la SGA Parallélisme RAC Flash Cache Compilateurs
Plus en détailFONCTION COMPTAGE BINAIRE ET DIVISION DE FRÉQUENCE
I/ GÉNÉRALITÉS I.1/ Fonction Un compteur binaire est utilisé : -pour compter un certain nombre d'évènements binaires -pour diviser la fréquence d'un signal logique par 2 m Page 1 FONCTION COMPTAGE BINAIRE
Plus en détailArchitecture des ordinateurs TD1 - Portes logiques et premiers circuits
Architecture des ordinateurs TD1 - Portes logiques et premiers circuits 1 Rappel : un peu de logique Exercice 1.1 Remplir la table de vérité suivante : a b a + b ab a + b ab a b 0 0 0 1 1 0 1 1 Exercice
Plus en détailTP n 2 Concepts de la programmation Objets Master 1 mention IL, semestre 2 Le type Abstrait Pile
TP n 2 Concepts de la programmation Objets Master 1 mention IL, semestre 2 Le type Abstrait Pile Dans ce TP, vous apprendrez à définir le type abstrait Pile, à le programmer en Java à l aide d une interface
Plus en détailCH.3 SYSTÈMES D'EXPLOITATION
CH.3 SYSTÈMES D'EXPLOITATION 3.1 Un historique 3.2 Une vue générale 3.3 Les principaux aspects Info S4 ch3 1 3.1 Un historique Quatre générations. Préhistoire 1944 1950 ENIAC (1944) militaire : 20000 tubes,
Plus en détailCours d Algorithmique-Programmation 2 e partie (IAP2): programmation 24 octobre 2007impérative 1 / 44 et. structures de données simples
Cours d Algorithmique-Programmation 2 e partie (IAP2): programmation impérative et structures de données simples Introduction au langage C Sandrine Blazy - 1ère année 24 octobre 2007 Cours d Algorithmique-Programmation
Plus en détailINITIATION AU LANGAGE JAVA
INITIATION AU LANGAGE JAVA I. Présentation 1.1 Historique : Au début des années 90, Sun travaillait sur un projet visant à concevoir des logiciels simples et performants exécutés dans des PDA (Personnal
Plus en détailSugarCubes. Jean-Ferdinand Susini Maître de Conférences, CNAM Chaire systèmes enfouis et embarqués. Paris, le 9 janvier, 2009
SugarCubes Jean-Ferdinand Susini Maître de Conférences, CNAM Chaire systèmes enfouis et embarqués Paris, le 9 janvier, 2009 Plan 2 Les SugarCubes au dessus de J2ME Quelques résultats expérimentaux Les
Plus en détailÉléments d informatique Cours 3 La programmation structurée en langage C L instruction de contrôle if
Éléments d informatique Cours 3 La programmation structurée en langage C L instruction de contrôle if Pierre Boudes 28 septembre 2011 This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike
Plus en détailLes diagrammes de modélisation
L approche Orientée Objet et UML 1 Plan du cours Introduction au Génie Logiciel L approche Orientée Objet et Notation UML Les diagrammes de modélisation Relations entre les différents diagrammes De l analyse
Plus en détail6 - Le système de gestion de fichiers F. Boyer, UJF-Laboratoire Lig, Fabienne.Boyer@imag.fr
6 - Le système de gestion de fichiers F. Boyer, UJF-Laboratoire Lig, Fabienne.Boyer@imag.fr Interface d un SGF Implémentation d un SGF Gestion de la correspondance entre la structure logique et la structure
Plus en détailCours 1 : La compilation
/38 Interprétation des programmes Cours 1 : La compilation Yann Régis-Gianas yrg@pps.univ-paris-diderot.fr PPS - Université Denis Diderot Paris 7 2/38 Qu est-ce que la compilation? Vous avez tous déjà
Plus en détailCertificat Big Data - Master MAthématiques
1 / 1 Certificat Big Data - Master MAthématiques Master 2 Auteur : Sylvain Lamprier UPMC Fouille de données et Medias Sociaux 2 / 1 Rich and big data: Millions d utilisateurs Millions de contenus Multimedia
Plus en détailLes structures de données. Rajae El Ouazzani
Les structures de données Rajae El Ouazzani Les arbres 2 1- Définition de l arborescence Une arborescence est une collection de nœuds reliés entre eux par des arcs. La collection peut être vide, cad l
Plus en détailModule BDR Master d Informatique (SAR)
Module BDR Master d Informatique (SAR) Cours 9- Transactions réparties Anne Doucet Anne.Doucet@lip6.fr Transactions réparties Gestion de transactions Transactions dans un système réparti Protocoles de
Plus en détailGestion des processus
65 La Gestion des Processus 1 Définitions, exemples 2. Politiques d'allocation du processeur 3. Synchronisation des processus 66 Programme : Un programme est une suite figée d'instructions, un ensemble
Plus en détailPROJET 1 : BASE DE DONNÉES REPARTIES
PROJET 1 : BASE DE DONNÉES REPARTIES GESTION D UNE BANQUE Elèves : David Bréchet Frédéric Jacot Charles Secrétan DONNÉES DU PROJET SSC - Bases de Données II Laboratoire de Bases de Données BD réparties
Plus en détailBases de données et sites WEB Licence d informatique LI345
Bases de données et sites WEB Licence d informatique LI345 Anne Doucet Anne.Doucet@lip6.fr http://www-bd.lip6.fr/ens/li345-2013/index.php/lescours 1 Contenu Transactions en pratique Modèle relationnel-objet
Plus en détailRuntime. Gestion de la réactivité des communications réseau. François Trahay Runtime, LaBRI sous la direction d'alexandre Denis Université Bordeaux I
Runtime Gestion de la réactivité des communications réseau François Trahay Runtime, LaBRI sous la direction d'alexandre Denis Université Bordeaux I 1 Le calcul hautes performances La tendance actuelle
Plus en détailINITIATION AU LANGAGE C SUR PIC DE MICROSHIP
COURS PROGRAMMATION INITIATION AU LANGAGE C SUR MICROCONTROLEUR PIC page 1 / 7 INITIATION AU LANGAGE C SUR PIC DE MICROSHIP I. Historique du langage C 1972 : naissance du C dans les laboratoires BELL par
Plus en détailChap III : Les tableaux
Chap III : Les tableaux Dans cette partie, on va étudier quelques structures de données de base tels que : Les tableaux (vecteur et matrice) Les chaînes de caractères LA STRUCTURE DE TABLEAU Introduction
Plus en détailDAns un système multi-utilisateurs à temps partagé, plusieurs processus
Chapitre 8 Ordonnancement des processus Dns un système multi-utilisateurs à temps partagé, plusieurs processus peuvent être présents en mémoire centrale en attente d exécution. Si plusieurs processus sont
Plus en détailLes BRMS Business Rules Management System. Groupe GENITECH
Les BRMS Business Rules Management System 1 Présentations Emmanuel Bonnet ebonnet (at) genigraph.fr Responsable Dpt Conseil Consultant, Expert BRMS Formateur IBM/Ilog JRules / JBoss Rules Génigraph SSII
Plus en détailRappels d architecture
Assembleur Rappels d architecture Un ordinateur se compose principalement d un processeur, de mémoire. On y attache ensuite des périphériques, mais ils sont optionnels. données : disque dur, etc entrée
Plus en détailET 24 : Modèle de comportement d un système Boucles de programmation avec Labview.
ET 24 : Modèle de comportement d un système Boucles de programmation avec Labview. Sciences et Technologies de l Industrie et du Développement Durable Formation des enseignants parcours : ET24 Modèle de
Plus en détailTests de performance du matériel
3 Tests de performance du matériel Après toute la théorie du dernier chapitre, vous vous demandez certainement quelles sont les performances réelles de votre propre système. En fait, il y a plusieurs raisons
Plus en détailLes structures. Chapitre 3
Chapitre 3 Les structures Nous continuons notre étude des structures de données qui sont prédéfinies dans la plupart des langages informatiques. La structure de tableau permet de regrouper un certain nombre
Plus en détailInfo0604 Programmation multi-threadée. Cours 5. Programmation multi-threadée en Java
Info0604 Programmation multi-threadée Cours 5 Programmation multi-threadée en Java Pierre Delisle Université de Reims Champagne-Ardenne Département de Mathématiques et Informatique 18 février 2015 Plan
Plus en détailJava Licence Professionnelle CISII, 2009-10
Java Licence Professionnelle CISII, 2009-10 Cours 4 : Programmation structurée (c) http://www.loria.fr/~tabbone/cours.html 1 Principe - Les méthodes sont structurées en blocs par les structures de la programmation
Plus en détailIntroduction aux Systèmes et aux Réseaux
Introduction aux Systèmes et aux Réseaux Cours 5 Processus D après un cours de Julien Forget (univ Lille1) Laure Gonnord http://laure.gonnord.org/pro/teaching/ Laure.Gonnord@univ-lyon1.fr Master CCI -
Plus en détailSERVEUR DE SAUVEGARDE POUR BCDI3. par. G.Haberer, A.Peuch, P.Saadé
SERVEUR DE SAUVEGARDE POUR BCDI3 par G.Haberer, A.Peuch, P.Saadé Table des matières 1. Introduction........................................................................ 2 1.1. Objectif....................................................................
Plus en détailChapitre V : La gestion de la mémoire. Hiérarchie de mémoires Objectifs Méthodes d'allocation Simulation de mémoire virtuelle Le mapping
Chapitre V : La gestion de la mémoire Hiérarchie de mémoires Objectifs Méthodes d'allocation Simulation de mémoire virtuelle Le mapping Introduction Plusieurs dizaines de processus doivent se partager
Plus en détailPlan du cours. Historique du langage http://www.oracle.com/technetwork/java/index.html. Nouveautés de Java 7
Université Lumière Lyon 2 Faculté de Sciences Economiques et Gestion KHARKIV National University of Economic Introduction au Langage Java Master Informatique 1 ère année Julien Velcin http://mediamining.univ-lyon2.fr/velcin
Plus en détailCours d introduction à l informatique. Partie 2 : Comment écrire un algorithme? Qu est-ce qu une variable? Expressions et instructions
Cours d introduction à l informatique Partie 2 : Comment écrire un algorithme? Qu est-ce qu une variable? Expressions et instructions Qu est-ce qu un Une recette de cuisine algorithme? Protocole expérimental
Plus en détailGestion des transactions et accès concurrents dans les bases de données relationnelles
Gestion des transactions et accès concurrents dans les bases de données relationnelles Bernard ESPINASSE Professeur à Aix-Marseille Université (AMU) Ecole Polytechnique Universitaire de Marseille Fev.
Plus en détailArithmétique binaire. Chapitre. 5.1 Notions. 5.1.1 Bit. 5.1.2 Mot
Chapitre 5 Arithmétique binaire L es codes sont manipulés au quotidien sans qu on s en rende compte, et leur compréhension est quasi instinctive. Le seul fait de lire fait appel au codage alphabétique,
Plus en détailQuelques patterns pour la persistance des objets avec DAO DAO. Principe de base. Utilité des DTOs. Le modèle de conception DTO (Data Transfer Object)
Quelques patterns pour la persistance des objets avec DAO Ce cours présente des modèles de conception utilisés pour effectuer la persistance des objets Université de Nice Sophia-Antipolis Version 1.4 30/8/07
Plus en détailGénération de scripts automatiques pour la sécurité des cartes bancaires nouvelle génération (EMV)
SETIT 2007 4 th International Conference: Sciences of Electronic, Technologies of Information and Telecommunications March 25-29, 2007 TUNISIA Génération de scripts automatiques pour la sécurité des cartes
Plus en détailCEG4566/CSI4541 Conception de systèmes temps réel
CEG4566/CSI4541 Conception de systèmes temps réel Chapitre 6 Vivacité, sécurité (Safety), fiabilité et tolérance aux fautes dans les systèmes en temps réel 6.1 Introduction générale aux notions de sécurité
Plus en détailGénie Logiciel avec Ada. 4 février 2013
Génie Logiciel 4 février 2013 Plan I. Généralités II. Structures linéaires III. Exceptions IV. Structures arborescentes V. Dictionnaires I. Principes II. Notions propres à la POO I. Principes Chapitre
Plus en détail