Contrôle de concurrence par sémaphores. NFP137 Cours 12 1
|
|
|
- Victor Martin
- il y a 8 ans
- Total affichages :
Transcription
1 Contrôle de concurrence par sémaphores NFP137 Cours 12 1
2 Rappel du concept de sémaphore Définition (Dijkstra-1965) Un sémaphore S est un objet partagé constitué de - un entier E initialisé à une valeur 0 - une file d attente F des processus bloqués Un sémaphore est accessible uniquement par 3 primitives atomiques : P(S) : Puis-je (Proberen) contrôle d autorisation + blocage éventuel du demandeur V(S) : Vas-y (Verhogen) ajout d une autorisation + déblocage éventuel d un demandeur E0(S,I) : initialisation du sémaphore à I 0 autorisations et file d attente vide NFP137 Cours 12 2
3 Rappel du concept de sémaphore Définition Primitive P(sémaphore S) : début S.E=S.E-1;//retrait d une autorisation si S.E<0 alors bloquer le processus; placer son id dans la file; fin Primitive V(sémaphore S) : début S.E=S.E+1;//ajout d une autorisation si S.E 0 alors //il y a au moins un processus bloqué choix et retrait d un processus de F; réveil du processus;finsi; fin Primitive E0(sémaphore S,entier I) : début S.E=I; S.F=vide;//I 0 fin NFP137 Cours 12 3
4 Rappel du concept de sémaphore Propriétés - Un processus qui se bloque en exécutant P(S) termine son exécution de P(S) - Un processus ne peut accéder à un sémaphore que par les primitives P(S) et V(S), l initialisation E0(S,I) doit précéder tout accès au sémaphore - Un seul processus peut exécuter P(S) ou V(S) à un instant donné - S.E initialisé à I 0 signifie qu on peut exécuter I fois P(S) sans blocage -S.E 0 représente le nombre d autorisations de franchissements de P(S) sans blocage, à un instant donné -S.E<0 S.E représente le nombre de processus bloqués à un instant donné NFP137 Cours 12 4
5 Rappel du concept de sémaphore Propriétés Soient NP(S) le nombre d appels à P(S), NV(S) le nombre d appels à V(S) NF(S) le nombre de franchissements de P(S) NBLOC(S) le nombre de processus bloqués -S.E=I-NP(S)+NV(S) -NBLOC(S)= max(0, -S.E) -NF(S)=Min(NP(S), I+NV(S)) NFP137 Cours 12 5
6 Exclusion mutuelle Accès exclusif à une ressource critique ou à un ensemble de variables partagées par N processus s exécutant en concurrence Contexte commun ressource ou variables partagées Sémaphore mutex; E0(mutex,1); Processus P i Début tant que vrai faire P(mutex); //entrée en section critique Section_critique; V(mutex);//sortie de section critique Hors section critique; Fin; NFP137 Cours 12 6
7 Exclusion mutuelle Respect des propriétés 1- Accès exclusif L accès est autorisé dans P(mutex) si mutex.e 0, soit NP(mutex) 1+NV(mutex) c est-à-dire NP(mutex)-NV(mutex) 1. Il y a donc au plus un processus au plus en section critique 2-Pas d interblocage actif : si aucun processus en SC mutex.e=1 3-pas d interblocage passif NFP137 Cours 12 7
8 La cohorte N processus au plus coopèrent pour -se répartir une tâche -partager N ressources banalisées Schéma d exécution Processus P i tant que vrai faire entrée-groupe//contrôle l accès au groupe groupe //participation au groupe sortie-groupe // libère un accès hors groupe; fait NFP137 Cours 12 8
9 La cohorte Contexte commun sémaphore S_C; E0(S_C,N); Processus P i tant que vrai faire P(S_C);//entrée-groupe groupe //participation au groupe V(S_C) //sortie-groupe hors groupe; fait NFP137 Cours 12 9
10 Cohorte : lot de ressources banalisées Problématique Un ensemble de processus se partagent un stock de N ressources banalisées, par exemple des pages mémoires, allouables dynamiquement une à une. -un sémaphore S_C initialisé à N modélise le nombre d autorisations d accès au stock -une structure de données partagée reflète l état d allocation de chaque ressource, on doit y accéder en exclusion mutuelle un sémaphore mutex initialisé à 1 contrôle la section critique NFP137 Cours 12 10
11 Cohorte : lot de ressources banalisées Cas de demande d une seule ressource Contexte commun sémaphore S_C, mutex; E0(S_C,N); E0(mutex,1); booleen stock[n]; initialisé à faux; Processus P i entier j; tant que vrai faire //acquisition d une autorisation; P(S_C); // choix d une ressource P(mutex); j=1; tant que stock[j] faire j=j+1;fait stock[j]=vrai; V(mutex); NFP137 Cours 12 11
12 Cohorte : lot de ressources banalisées Cas de demande d une seule ressource(suite) Utilisation de la ressource j; //restitution de la ressource P(mutex); stock[j]=faux;v(mutex); V(S_C) //sortie-groupe hors groupe; fait NFP137 Cours 12 12
13 Cohorte : lot de ressources banalisées Problème : Cas de demande de plusieurs ressources Contexte commun sémaphore S_C, mutex; E0(S_C,N); E0(mutex,1); booleen stock[n] initialisé à faux; Processus P i tant que vrai faire //acquisition des autorisations; P(S_C); P(S_C); // choix des ressources P(mutex); V[mutex]; //utilisation des ressources //restitution des ressources P(mutex); V(mutex); V(S_C);V(S_C); //sortie-groupe hors groupe; fait; Risque d interblocage! NFP137 Cours 12 13
![autorisations; P(S_C); P(S_C); // choix des ressources P(mutex); V[mutex]; //utilisation des ressources //restitution](/docs-images/43/11998312/images/page_13.jpg "des ressources P(mutex); V(mutex); V(S_C);V(S_C); //sortie-groupe hors groupe; fait; Risque d interblocage!")
14 Producteurs-Consommateurs Spécification Contexte commun tampon de N cases producteur consommateur tant que vrai faire tant que vrai faire produire un message; retirer un message; déposer un message; consommer le message; fait fait Objectif Asservir la vitesse moyenne de production à la vitesse moyenne de consommation en ralentissant le moins possible le producteur NFP137 Cours 12 14
15 Producteurs-Consommateurs Hypothèses 1- vitesses relatives quelconques 2- tampon de taille fixe, 1 case=1message, vide initialement 3- tout message est déposé et retiré une fois et une seule 4- le dépôt et le retrait se font en un temps fini NFP137 Cours 12 15
16 Producteurs-Consommateurs Propriétés de la solution 1- exclusion mutuelle d accès aux messages 2- le producteur attend si le tampon est plein, il est réveillé dès que le tampon n est plus plein 3- le consommateur attend si le tampon est vide, il est réveillé dès que le tampon n est plus vide 4- pas d interblocage NFP137 Cours 12 16
17 Producteur-Consommateur Schéma d exécution Contexte commun tampon de N cases vide; Processus producteur tant que vrai faire produire un message; si tampon plein alors se bloquer; déposer un message; si consommateur bloqué alors réveil du consommateur; fait; Processus consommateur tantque vrai faire si tampon vide alors se bloquer; retirer un message; si producteur bloqué alors réveil du producteur; consommer le message; fait; NFP137 Cours 12 17
18 Producteur-Consommateur Schéma de synchronisation - un sémaphore Nvide initialisé à N pour le contrôle du nombre de cases vides le producteur exécute P(Nvide) pour réserver une case le consommateur exécute V(Nvide) pour libérer une case - un sémaphore Nplein initialisé à 0 pour le contrôle du nombre de messages (cases pleines) le producteur exécute V(Nplein) pour signaler au consommateur 1 nouveau message dans le tampon le consommateur exécute P(Nplein) pour attendre un message NFP137 Cours 12 18
19 Producteur-Consommateur Schéma de synchronisation Contexte commun tampon de N cases vide; Sémaphore Nplein,Nvide; E0(Nplein,0);E0(Nvide,N) Processus producteur message m; tant que vrai faire produire un message(m); P(Nvide); déposer(m); V(Nplein); fait; Processus consommateur message m; tant que vrai faire P(Nplein); retirer(m); V(Nvide); consommer(m); fait; NFP137 Cours 12 19
20 Producteur-Consommateur Respect des propriétés 2- le producteur attend si le tampon est plein : P(Nvide) il est réveillé dès que le tampon n est plus plein : V(Nvide) 3- le consommateur attend si le tampon est vide : P(Nplein) il est réveillé dès que le tampon n est plus vide : V(Nplein) 4- pas d interblocage : le producteur et le consommateur ne peuvent être bloqués simultanément, respectivement sur P(Nvide) et P(Nplein) NFP137 Cours 12 20
21 Producteur-Consommateur Gestion du tampon -Le tampon est géré circulairement, implanté par un tableau -On définit un indice de production queue et un indice de consommation tête -les messages doivent être consommés dans l ordre de leur production, tête et queue sont initialisées à la même valeur Contexte commun Sémaphore Nplein,Nvide; E0(Nplein,0);E0(Nvide,N) Message tampon[n]; NFP137 Cours 12 21
22 Producteur-Consommateur Schéma avec gestion du tampon Processus producteur message m; entier queue=0; tant que vrai faire produire un message(m); P(Nvide); tampon[queue]=m;//déposer(m); V(Nplein); queue=(queue+1)%n; fait; NFP137 Cours 12 22
23 Producteur-Consommateur Schéma avec gestion du tampon Processus consommateur message m; entier tête=0; tant que vrai faire P(Nplein); m=tampon[tête];//retirer(m); V(Nvide); tête=(tête+1)%n; fait NFP137 Cours 12 23
24 Producteur-Consommateur Propriété 1- exclusion mutuelle d accès aux messages Si le producteur et le consommateur travaillent sur la même case c est que tête=queue tête=queue tampon vide alors le producteur est bloqué tête=queue tampon plein alors le consommateur est bloqué NFP137 Cours 12 24
25 Producteurs-Consommateurs Producteurs consommateurs multiples Le schéma de synchronisation assure une exclusion mutuelle entre producteurs et consommateurs - plusieurs producteurs ne doivent pas déposer dans la même case, l indice de production queue est partagé Exclusion mutuelle entre producteurs - plusieurs consommateurs ne doivent pas prélever le même message, l indice de consommation tête est partagé =>exclusion mutuelle entre consommateurs NFP137 Cours 12 25
26 Producteurs-Consommateurs Producteurs consommateurs multiples Contexte commun Sémaphore Nplein,Nvide; E0(Nplein,0);E0(Nvide,N); Sémaphore mutexprod,mutexcons; E0(mutexProd,1); E0(mutexCons,1); Entier tête,queue=0; Message tampon[n]; NFP137 Cours 12 26
27 Producteurs-Consommateurs Producteurs consommateurs multiples Processus producteur message m; tant que vrai faire produire un message(m); P(Nvide); P(mutexProd); tampon[queue]=m;//déposer(m); queue=(queue+1)%n; V(mutexProd) V(Nplein); fait; NFP137 Cours 12 27
28 Producteurs-Consommateurs Producteurs consommateurs multiples Processus consommateur message m; tant que vrai faire P(Nplein); P(mutexCons); m=tampon[tête];//retirer(m); tête=(tête+1)%n; V(mutexCons); V(Nvide); fait; NFP137 Cours 12 28
29 Lecteurs-Rédacteurs Compétition d accès à un ensemble de données par un ensemble de processus - lecteurs accès seulement en lecture - rédacteurs accès en lecture et écriture Objectif Garantir la cohérence des données Spécification - plusieurs lectures simultanément - les écritures sont en exclusion mutuelle NFP137 Cours 12 29
30 Lecteurs-Rédacteurs Hypothèse complémentaire tout processus termine sa lecture ou son écriture au bout d un temps fini Spécification de comportement - Les lectures sont concurrentes et cohérentes, les écritures sont en exclusion mutuelle - Priorité aux lecteurs, équité entre lecteurs et rédacteurs, service à l ancienneté NFP137 Cours 12 30
31 Lecteurs-Rédacteurs Schéma d exécution Processus unlecteur tant que vrai faire début-lecture;//contrôle l accès en lecture lecture; fin-lecture;//libère un accès en lecture ou écriture fait; Processus unrédacteur tant que vrai faire début-écriture;//contrôle l accès en écriture écriture; fin-écriture;//libère un accès en lecture ou écriture fait; NFP137 Cours 12 31
32 Lecteurs-Rédacteurs Schéma de solution - Les rédacteurs doivent écrire en exclusion mutuelle avec un groupe de lecteurs et avec les autres rédacteurs soit mutex_a un sémaphore d exclusion mutuelle Un rédacteur exécute P(mutex_A) pour obtenir l accès Le premier lecteur d un groupe exécute P(mutex_A) pour obtenir l accès pour le groupe Une variable partagée NL permet de compter le nombre de lecteurs : s il y a déjà un lecteur alors autoriser un nouveau lecteur Un sémaphore d exclusion mutuelle mutex_nl permet de gérer l accès à NL et de bloquer tout lecteur non autorisé NFP137 Cours 12 32
33 Lecteurs-Rédacteurs Schéma de solution - Un rédacteur bloqué est réveillé par un autre rédacteur ou par le dernier lecteur qui a fini de lire par V(mutex_A) - Un lecteur bloqué sur P(mutex_A) est réveillé par un rédacteur, s il est bloqué par P(mutex_L) il est réveillé par le premier lecteur en exécutant V(mutex_NL) NFP137 Cours 12 33
34 Lecteurs-Rédacteurs Schéma de solution Contexte commun entier NL=0;Sémaphore mutex_a, mutex_nl; E0(mutex_A,1); E0(mutex_NL,1); Processus unlecteur; tant que vrai faire //début lecture P(mutex_NL); NL=NL+1; si NL=1 alors P(mutex_A); finsi; V(mutex_NL); lectures; //fin lecture P(mutex_NL); NL=NL-1; si NL=0 alors V(mutex_A); V(mutex_NL; fait; Processus unrédacteur; tant que vrai faire //début écriture P(mutex_A); écritures; //fin écriture V(mutex_A); NFP137 Cours fait;
35 Lecteurs-Rédacteurs Schéma de solution Remarque - la solution donne une priorité aux lecteurs si un lecteur à partir du moment où une lecture est déjà en cours : famine possible des rédacteurs Égalité entre les classes de lecteurs et de rédacteurs - les requêtes d accès de tous les processus sont mises dans une seule file d attente sous le contrôle d un sémaphore d exclusion mutuelle FIFO NFP137 Cours 12 35
36 Lecteurs-Rédacteurs Schéma de solution égalité de priorité Contexte commun entier NL=0;sémaphore mutex_a,mutex_nl; E0(mutex_A,1); E0(mutex_NL,1); sémaphore FIFO; E0(FIFO,1); Processus unlecteur; //fin lecture tant que vrai faire P(mutex_NL); //début lecture NL=NL-1; P(FIFO); si NL=0 alors V(mutex_A); P(mutex_NL); V(mutex_NL; fait; NL=NL+1; si NL=1 alors P(mutex_A); finsi; V(mutex_NL); V(FIFO); lectures; NFP137 Cours 12 36
37 Lecteurs-Rédacteurs Schéma de solution égalité de priorités Processus unrédacteur; tant que vrai faire //début écriture P(FIFO); P(mutex_A); V(FIFO); écritures; //fin écriture V(mutex_A); fait; NFP137 Cours 12 37
38 Le repas des philosophes Hypothèses chaque assiette (philosophe) a une place fixe chaque baguette a une place fixe accès à chaque baguette en exclusion mutuelle Propriétés pas d interblocage pas de famine P4 B0 P0 B1 B4 P1 P3 P2 B2 B3 NFP137 Cours 12 38
39 Le repas des philosophes Une première solution prendre les baguettes une par une, la sienne; puis celle de droite Contexte commun Sémaphore baguette[n]; tout i, E0(baguette[i],1); Processus Philosophe i // i identifiant 0..n-1 tant que vrai faire penser; P(baguette[i]);//prendre la baguette i; P(baguette[(i+1)%n])//prendre la baguette de droite; manger; V(baguette[i]);// rendre la baguette i; V(baguette[(i+1)%n])//rendre la baguette de droite; fait; Interblocage possible! NFP137 Cours 12 39
40 Le repas des philosophes Une solution sans interblocage : autoriser seulement n-1 philosophes à demander à manger, il n y a que n-1 chaises! Contexte commun sémaphore baguette[n]; tout i, E0(baguette[i],1); sémaphore chaise; E0(chaise,n-1)) Processus Philosophe i // i identifiant 0..n-1 tant que vrai faire penser; P(chaise); P(baguette[i]);//prendre la baguette i; P(baguette[(i+1)%n])//prendre la baguette de droite; manger; V(baguette[i]);// rendre la baguette i; V(baguette[(i+1)%n]);//rendre la baguette de droite; V(chaise); fait; NFP137 Cours 12 40
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
4. 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
INTRODUCTION 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
Chapitre 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
On 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
Problè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
Introduction à 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
Exclusion 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
L exclusion mutuelle distribuée
L exclusion mutuelle distribuée L algorithme de L Amport L algorithme est basé sur 2 concepts : L estampillage des messages La distribution d une file d attente sur l ensemble des sites du système distribué
NIVEAU 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
03/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
INTRODUCTION À LA PROGRAMMATION CONCURRENTE
INTRODUCTION À LA PROGRAMMATION CONCURRENTE POLYCOPIÉ DU COURS PCO1 Prof. Claude Evéquoz Prof. Yann Thoma HEIG-VD 2009 Table des matières Table des matières 2 1 Introduction à la programmation concurrente
4. 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
Cours 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
É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
Processus! 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
Les 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
Synchro 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
Ordonnancement 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
Cours A7 : Temps Réel
Cours A7 : Temps Réel Pierre.Paradinas / @ / cnam.fr Cnam/Cedric Systèmes Enfouis et Embarqués (SEE) Motivations Du jour : les mécanismes multitâches, la gestion des priorités, l ordonnancement, la gestion
Centre 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
1 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
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
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
DAns 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
Structurer ses données : les tableaux. Introduction à la programmation
Structurer ses données : les tableaux Introduction à la programmation Plan du document Introduction Introduire la notion de type Types primitifs Types composés Tableaux de type primitif Page 2 Notion de
J2SE 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
Ensimag 1ère année Algorithmique 1 Examen 2ième session 24 juin 2010. Algorithmique 1
Algorithmique 1 Durée : 2h Machines électroniques interdites Tous documents papiers autorisés Il est conseillé de traiter les deux parties dans l ordre du sujet. Veuillez respecter les notations introduites
Le langage C. Séance n 4
Université Paris-Sud 11 Institut de Formation des Ingénieurs Remise à niveau INFORMATIQUE Année 2007-2008 Travaux pratiques d informatique Le langage C Séance n 4 But : Vous devez maîtriser à la fin de
Algorithmes récursifs
Licence 1 MASS - Algorithmique et Calcul Formel S. Verel, M.-E. Voge www.i3s.unice.fr/ verel 23 mars 2007 Objectifs de la séance 3 écrire des algorithmes récursifs avec un seul test rechercher un élément
Système de contrôle du trafic d une ligne de métro Dossier de tests
Système de contrôle du trafic d une ligne de métro Dossier de tests Tests NI557/STL/M2/INFO/UPMC Action Date Auteur Statut Création 05/03/2012 P.Manoury En cours 1 Description et exigences fonctionnelles
Introduction aux algorithmes répartis
Objectifs et plan Introduction aux algorithmes répartis Sacha Krakowiak Université Joseph Fourier Projet Sardes (INRIA et IMAG-LSR http://sardes.inrialpes.fr/people/krakowia! Introduction aux algorithmes
Gé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
ET 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
Gestion 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
ORDONNANCEMENT CONJOINT DE TÂCHES ET DE MESSAGES DANS LES RÉSEAUX TEMPS RÉELS 4. QUELQUES EXEMPLES DU DYNAMISME ACTUEL DU TEMPS RÉEL
i LE TEMPS RÉEL 1. PRÉSENTATION DU TEMPS RÉEL 1.1. APPLICATIONS TEMPS RÉEL 1.2. CONTRAINTES DE TEMPS RÉEL 2. STRUCTURES D'ACCUEIL POUR LE TEMPS RÉEL 2.1. EXÉCUTIFS TEMPS RÉEL 2.2. RÉSEAUX LOCAUX TEMPS
Noyau de concurrence par moniteur pour Java ou C# pour une autre sémantique plus fiable et plus performante
Noyau de concurrence par moniteur pour Java ou C# pour une autre sémantique plus fiable et plus performante Claude Kaiser, Jean-François Pradat-Peyre CEDRIC - CNAM Paris 292, rue St Martin, 75003 Paris
Projet 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
REALISATION 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
Exercices 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
DAns un système d exploitation multiprogrammé en temps partagé, plusieurs
Chapitre 6 Synchronisation des processus DAns un système d exploitation multiprogrammé en temps partagé, plusieurs processus s exécutent en pseudo-parallèle ou en parallèle et partagent des objets (mémoires,
Programmation d Applications Concurrentes et Distribuées (INF431)
Programmation d Applications Concurrentes et Distribuées (INF431) Julien Cervelle Albert Cohen Eric Goubault Francesco Zappa Nardelli François Pottier Samuel Mimram Benjamin Werner 1er janvier 2015 2 Table
TD2/TME2 : Ordonnanceur et Threads (POSIX et fair)
UE PC2R page 1/8 TD2/TME2 : Ordonnanceur et Threads (POSIX et fair) Exercice 1 (Modélisation) Chemin de Fer Cet exercice est dédié à l étude d un problème de circulation de trains : Voie! out1 in1 Voie!
Réplication des données
Réplication des données Christelle Pierkot FMIN 306 : Gestion de données distribuées Année 2009-2010 Echange d information distribuée Grâce à un serveur central Une seule copie cohérente Accès à distance
Partie 7 : Gestion de la mémoire
INF3600+INF2610 Automne 2006 Partie 7 : Gestion de la mémoire Exercice 1 : Considérez un système disposant de 16 MO de mémoire physique réservée aux processus utilisateur. La mémoire est composée de cases
Cours de Base de Données Cours n.12
Cours de Base de Données Cours n.12 Gestion des transactions : contrôle de concurrence Elisabetta De Maria - http://www.i3s.unice.fr/ edemaria/ UFR Sciences et Laboratoire I3S, CNRS 2013-2014 Université
Initiation 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
gestion des processus La gestion des processus
1 La Pseudo parallélisme 2 Plusieurs programmes en mémoire Le processeur exécute les instructions tantôt pour l'un tantôt pour l'autre P1 P2 programme de supervision Vu de l'utilisateur => programmes en
<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
Cours 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
Introduction à 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
CI1 - A quel besoin répond un objet technique?
CI1 - A quel besoin répond un objet technique? 1. Distinguer en le justifiant objets naturels et objets techniques. Qu est ce qu un objet naturel? Qu est ce qu un objet technique? Compléter le tableau
Programmation parallèle et distribuée
ppd/mpassing p. 1/43 Programmation parallèle et distribuée Communications par messages Philippe MARQUET Philippe.Marquet@lifl.fr Laboratoire d informatique fondamentale de Lille Université des sciences
Ordonnancement temps réel
Ordonnancement temps réel Ordonnancement centralisé par Francis COTTET Professeur d université (ENSMA, Poitiers Futuroscope) Ingénieur de l Institut national polytechnique de Grenoble Docteur ès sciences
Définitions. Numéro à préciser. (Durée : )
Numéro à préciser (Durée : ) On étudie dans ce problème l ordre lexicographique pour les mots sur un alphabet fini et plusieurs constructions des cycles de De Bruijn. Les trois parties sont largement indépendantes.
L aide pour la constitution d une garantie locative
Version n : 1 Dernière actualisation : 30-10-2009 1) A quoi sert cette fiche? 2) Qu est-ce qu une garantie locative? 3) Est-il obligatoire de constituer une garantie locative? 4) La garantie locative appartient-elle
Bien utiliser la carte bancaire
016 w w w. l e s c l e s d e l a b a n q u e. c o m Le site d informations pratiques sur la banque et l argent Bien utiliser la carte bancaire L e s M i n i - G u i d e s B a n c a i r e s FBF - 18 rue
C++ COURS N 2 : CLASSES, DONNÉES ET FONCTIONS MEMBRES Classes et objets en C++ Membres d'une classe Spécification d'une classe Codage du comportement
C++ COURS N 2 : CLASSES, DONNÉES ET FONCTIONS MEMBRES Classes et objets en C++ Membres d'une classe Spécification d'une classe Codage du comportement des objets d'une classe Utilisation d'une classe Droit
Données Réparties. Thibault BERNARD. thibault.bernard@univ-reims.fr
Données Réparties Thibault BERNARD thibault.bernard@univ-reims.fr Sommaire Introduction Gestion de la concurrence Reprise après panne Gestion des données dupliquées Sommaire Introduction Gestion de la
1. Contexte général page 2. 2. Le compte auprès de la BCGE...page 2 2.1 La procuration 2.2 Les accès e-banking 2.3 Le bon de retrait 2.
1 REPUBLIQUE ET CANTON DE GENEVE Département de l'instruction publique, de la culture et du sport Enseignement primaire Direction générale MANUEL POUR LA TENUE DES COMPTES ÉCOLES COMPTES BCGE - TIERS UNIQUE
Chapitre 2. Les processus. 2.1 Introduction. 2.2 les différents états d un processus
Chapitre 2 Les processus 2.1 Introduction Le processus est un concept clé dans un système d exploitation. Un processus est un programme en cours d exécution. C est-à-dire, un programme à l état actif.
Network musical jammin
Network musical jammin Projet PC2R - 2015 Pour ce projet, nous allons réaliser une application permettant d effectuer des jams sessions en temps-réel entre des musiciens répartis à travers le monde. Le
Systèmes Répartis. Mr. Mehrez Boulares, Mr. Nour Ben Yahia 2013-2014
Systèmes Répartis Mr. Mehrez Boulares, Mr. Nour Ben Yahia 2013-2014 Introduction aux systèmes répartis 2 Les ordinateurs ont subi des changements incroyables depuis leur mise en opération vers 1945: plus
Introduction : les processus. Introduction : les threads. Plan
IN328 Programmation distribuée avec Java et J2EE 2 - Threads en Java Introduction : les processus Un processus est un ensemble d instructions à exécuter, un espace mémoire réservé et éventuellement d autres
Bases de données avancées Concurrence d'accès et reprise
Bases de données avancées Concurrence d'accès et reprise Dan VODISLAV Université de Cergy-Pontoise Master Informatique M1 Cours BDA Plan La notion de transaction Les problèmes de la concurrence Problèmes
La programmation linéaire : une introduction. Qu est-ce qu un programme linéaire? Terminologie. Écriture mathématique
La programmation linéaire : une introduction Qu est-ce qu un programme linéaire? Qu est-ce qu un programme linéaire? Exemples : allocation de ressources problème de recouvrement Hypothèses de la programmation
Support de cours système d exploitation
Support de cours système d exploitation J. Gispert, J. Guizol, J.L. Massat Département d informatique Faculté de Luminy 163, Avenue de Luminy, Case 901, 13288 Marseille, cedex 9 23 février 2012 Chapitre
INF6500 : 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
PROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES
Leçon 11 PROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES Dans cette leçon, nous retrouvons le problème d ordonnancement déjà vu mais en ajoutant la prise en compte de contraintes portant sur les ressources.
Programmation Objet - Cours II
Programmation Objet - Cours II - Exercices - Page 1 Programmation Objet - Cours II Exercices Auteur : E.Thirion - Dernière mise à jour : 05/07/2015 Les exercices suivants sont en majorité des projets à
Architecture des Systèmes d Information Architecture des Systèmes d Information
Plan... Tableaux et tris I3 - Algorithmique et programmation 1 Rappels Nicol Delestre 2 Tableaux à n dimensions 3 Initiation aux tris Tableaux - v2.0.1 1 / 27 Tableaux - v2.0.1 2 / 27 Rappels : tableau
Bien utiliser la carte bancaire
NOVEMBRE 2013 N 16 PAIEMENT LES MINI-GUIDES BANCAIRES www.lesclesdelabanque.com Le site pédagogique sur la banque et l argent Bien utiliser la carte bancaire Ce mini-guide vous est offert par : SOMMAIRE
Bien utiliser la carte bancaire
Novembre 2013 n 16 paiement Les mini-guides bancaires Bien utiliser la carte bancaire sec_01-2 Ce mini-guide vous est offert par : Pour toute information complémentaire, nous contacter : info@lesclesdelabanque.com
TP, première séquence d exercices.
TP, première séquence d exercices. Benoît Valiron benoit.valiron@lipn.univ-paris13.fr 7 novembre 2010 Introduction Vous écrirez les réponses aux questions courtes sur une feuille à rendre à la fin de la
Université Bordeaux 1, Licence Semestre 3 - Algorithmes et struct...
Université Bordeaux 1 table des matières Licence Semestre 3 - Algorithmes et structures de données 1 Dernière mise à jour effectuée le 23 Octobre 2013 Piles et Files Déitions Primitives de piles, exemples
Initiation à LabView : Les exemples d applications :
Initiation à LabView : Les exemples d applications : c) Type de variables : Créer un programme : Exemple 1 : Calcul de c= 2(a+b)(a-3b) ou a, b et c seront des réels. «Exemple1» nom du programme : «Exemple
Surveillance et maintenance prédictive : évaluation de la latence de fautes. Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG)
Surveillance et maintenance prédictive : évaluation de la latence de fautes Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG) SURVEILLANCE Analyser une situation et fournir des indicateurs! Détection de symptômes!
Gestion de mémoire secondaire F. Boyer, Laboratoire Sardes Fabienne.Boyer@imag.fr
Gestion de mémoire secondaire F. Boyer, Laboratoire Sardes Fabienne.Boyer@imag.fr 1- Structure d un disque 2- Ordonnancement des requêtes 3- Gestion du disque - formatage - bloc d amorçage - récupération
L Adhérent s engage à fournir des informations exactes et sera seul responsable de la fourniture d informations erronées.
L Adhérent s engage à fournir des informations exactes et sera seul responsable de la fourniture d informations erronées. Aucune demande d adhésion ne sera prise en compte par téléphone, fax, courrier
Systè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
Sécurité des consommateurs : qualité, traçabilité, gestion de crise
Sécurité des consommateurs : qualité, traçabilité, gestion de crise Bertrand DOYELLE Arnaud POPILLE Qualité, traçabilité et sécurité consommateur : un sujet ECR L exigence de sécurité : une nouvelle attente
Licence Bio Informatique Année 2004-2005. Premiers pas. Exercice 1 Hello World parce qu il faut bien commencer par quelque chose...
Université Paris 7 Programmation Objet Licence Bio Informatique Année 2004-2005 TD n 1 - Correction Premiers pas Exercice 1 Hello World parce qu il faut bien commencer par quelque chose... 1. Enregistrez
Exercices sur le chapitre «Probabilités»
Arnaud de Saint Julien - MPSI Lycée La Merci 2014-2015 1 Pour démarrer Exercices sur le chapitre «Probabilités» Exercice 1 (Modélisation d un dé non cubique) On considère un parallélépipède rectangle de
RESTAURANTS SCOLAIRES COMMUNAUX RESTAURANT DU CENTRE DE LOISIRS SANS HEBERGEMENT «RÉGLEMENTATION RELATIVE AU FONCTIONNEMENT»
Page 1 ANNEE SCOLAIRE 2014/2015 RESTAURANTS SCOLAIRES COMMUNAUX RESTAURANT DU CENTRE DE LOISIRS SANS HEBERGEMENT «RÉGLEMENTATION RELATIVE AU FONCTIONNEMENT» Le Maire de la Commune de Labouheyre, Vu l article
REGLEMENT DEPARTEMENTAL DES SERVICES DE RESTAURATION ET D HEBERGEMENT Collège Joseph PEYRE à Garlin
REGLEMENT DEPARTEMENTAL DES SERVICES DE RESTAURATION ET D HEBERGEMENT Collège Joseph PEYRE à Garlin Vu les articles L.213-2 et L.421-23 II du code de l Education qui confient aux départements la compétence
Recommandation sur la commercialisation des comptes à terme
Recommandation sur la commercialisation des comptes à terme 2012-R-02 du 12 octobre 2012 1 Contexte Dans le cadre de son action de veille sur la publicité et les nouveaux produits, l ACP a constaté sur
Différencier, d accord oui mais comment organiser sa classe.
Différencier, d accord oui mais comment organiser sa classe. Quand on est convaincu que l on ne peut pas travailler tout le temps avec toute sa classe en même temps et que l on souhaite mettre en place
Exé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
Système de Gestion de Fichiers
Chapitre 2 Système de Gestion de Fichiers Le système de gestion de fichiers est un outil de manipulation des fichiers et de la structure d arborescence des fichiers sur disque et a aussi le rôle sous UNIX
SYSTÈME DE GESTION DE FICHIERS
SYSTÈME DE GESTION DE FICHIERS - DISQUE 1 Les couches logiciels réponse requête Requêtes E/S Système E/S Pilote E/S Interruptions utilisateur traitement S.E. commandes S.E. S.E. matériel Contrôleur E/S
Systèmes et exécutifs temps-réel
Systèmes et exécutifs temps-réel Licence professionnelle «Systèmes embarqués dans l automobile» Isabelle PUAUT (Cours + TD) Jean-François DEVERGE et Christophe Pais (TP) 1 Applications temps-réel Systèmes
MODE D EMPLOI LOI POUR LE POUVOIR D ACHAT : Rachat de jours de repos, déblocage anticipé de la participation, prime exceptionnelle...
MODE D EMPLOI Valérie Coutteron LOI POUR LE POUVOIR D ACHAT : Rachat de jours de repos, déblocage anticipé de la participation, prime exceptionnelle... LA LOI N 2008-111 DU 8 FÉVRIER 2008 pour le pouvoir
Algorithmique et programmation : les bases (VBA) Corrigé
PAD INPT ALGORITHMIQUE ET PROGRAMMATION 1 Cours VBA, Semaine 1 mai juin 2006 Corrigé Résumé Ce document décrit l écriture dans le langage VBA des éléments vus en algorithmique. Table des matières 1 Pourquoi
Cours Bases de données 2ème année IUT
Cours Bases de données 2ème année IUT Cours 13 : Organisation d une base de données, ou comment soulever (un peu) le voile Anne Vilnat http://www.limsi.fr/individu/anne/cours Plan 1 Les clusters de table
Correction du baccalauréat ES/L Métropole 20 juin 2014
Correction du baccalauréat ES/L Métropole 0 juin 014 Exercice 1 1. c.. c. 3. c. 4. d. 5. a. P A (B)=1 P A (B)=1 0,3=0,7 D après la formule des probabilités totales : P(B)=P(A B)+P(A B)=0,6 0,3+(1 0,6)
SYSTÈME DE GESTION DE FICHIERS SGF - DISQUE
SYSTÈME DE GESTION DE FICHIERS SGF - DISQUE C.Crochepeyre MPS_SGF 2000-20001 Diapason 1 Les couches logiciels réponse SGF requête matériel matériel Requêtes E/S Système E/S Pilote E/S Interruptions Contrôleur
Guide de l administrateur DOC-OEMCS8-GA-FR-29/09/05
Guide de l administrateur DOC-OEMCS8-GA-FR-29/09/05 Les informations contenues dans le présent manuel de documentation ne sont pas contractuelles et peuvent faire l objet de modifications sans préavis.
Argument-fetching dataflow machine de G.R. Gao et J.B. Dennis (McGill, 1988) = machine dataflow sans flux de données
EARTH et Threaded-C: Éléments clés du manuel de références de Threaded-C Bref historique de EARTH et Threaded-C Ancêtres de l architecture EARTH: Slide 1 Machine à flux de données statique de J.B. Dennis
N 20 14 / 001 14/02/2014
N 20 14 / 001 14/02/2014 Origine : Direction de la Règlementation et des Affaires Juridiques Contact : Département de la Règlementation du Recouvrement Draj.reglementationrecouvrement@rsi.fr Annexes :
Le modèle client-serveur
Le modèle client-serveur Olivier Aubert 1/24 Sources http://www.info.uqam.ca/~obaid/inf4481/a01/plan.htm 2/24 Historique architecture centralisée terminaux passifs (un seul OS, systèmes propriétaires)