Semestre Licence miage Université Lille 1 Pour toutes remarques : Synchronisation de processus
|
|
- Catherine Grenon
- il y a 7 ans
- Total affichages :
Transcription
1 V-2 ( ) Licence miage Université Lille 1 Pour toutes remarques : Alexandre.Sedoglavic@univ-lille1.fr Semestre
2 Effet de l ordonnancement Le segment de code d un est constitué de plusieurs instructions. Par exemple, on peut considérer un A dont les instructions constituant le code seraient : IA1 IA2 IA3 IA4 IA5 IA6 IA7... et un B avec comme code les instructions : IB1 IB2 IB3 IB4 IB5 IB6 IB7... Du fait d interruption et d attente d entrée-sortie, le processeur exécute les instructions par intermittence : IB1 IA1 IA2 IB2 IB3 IB4 IA3...
3 Problème de concurrence Considérons une ressource ici une variable int cpt=2000 que l on désire mettre à 1000 en utilisant 2 (qui sont supposés se partager la ressource) : EA1 EA2 EA3 EA4 A charger(vara2,1000) charger(vara1,cpt) resa=add(vara1,vara2) ranger(resa,cpt) EB1 EB2 EB3 EB4 Supposons que l on ait la succession d actions : EB1, EB2, EA1, EA2, EA3, EA4, EB3, EB4, le résultat de cette séquence est cpt=0. Supposons que l on ait la succession d actions : B charger(varb2,2000) charger(varb1,cpt) resb=sub(varb1,varb2) ranger(resb,cpt) EB1, EA1, EA2, EB2, EA3, EB3, EB4, EA4, cette fois le résultat de cette séquence est cpt=3000.
4 Notion de section critique : définition La mise-à-jour de cpt doit s effectuer à l exclusion de toute autre action : il s agit d une section critique. Un seul à la fois peut modifier cpt ; l autre doit attendre que le en cours ait fini. De plus, ces opérations ne peuvent se faire dans n importe quel ordre. Peut importe l ordre dans lequel se font les instructions EA1 et EB1 ; ces instructions ne font pas partie de la section critique. SCA = EA2, EA3, EA4 forment la section critique du A. SCB = EB2, EB3, EB4 forment la section critique du B. Problème : comment coordonner ces sections critiques? Solution : exclusion mutuelle. Il nous suffit d exclure l exécution d une section critique par un pendant qu un autre peut effectuer cette exécution.
5 Solution logiciel (fausse puis vrai) : utilisation d un verrou On peut mettre un verrou sur la ressource. Il s agit d une variable partagée par tous les. Un doit tester ce verrou avant d entrer en section critique : si le verrou est à 0, le le met à 1 et entre dans la section critique ; Si le verrou est à 1, le attend qu il soit à 0 pour s emparer de la ressource. Problème : si un voit le verrou à 0 et s endort avant de le mettre à 1, un autre peut se mettre sur les rangs et lui ravir la ressource. Lors du réveil du premier, celui-ci croit la ressource à sa disposition et entre en section critique alors que le second y est déjà. Le verrou constitue une ressource partagée.
6 Illustration Considérons l utilisation d un seul booléen initialisé à vrai (C := vrai) qui est une ressource partagée par deux : EA1 EA11 EA12 SCA EA5 A charger(vara2,1000) tant que non C attendre C := faux Section Critique C := vrai EB1 EB11 EB12 SCB EB5 B charger(varb2,2000) tant que non C attendre C := faux Section Critique C := vrai
7 Solution logiciel correcte : algorithme de Deckker On peut assurer l alternance grâce à une variable tour commune à tous les et initialisée à 0. Si tour est égal à i alors le i est autorisé à exécuter sa section critique. Les autres font une boucle basée sur un test sur tour et attendent que leur tour arrive. Pour le i, on a donc while(1){ while(tour!=i) ; /* attendre */ section_critique() ; tour = i + 1 ; section_non_critique() ; } Combinaison du verrou et du tour : on peut combiner ces deux approches.
8 Comme précédemment, les A et B doivent partager des variables qu il faut initialiser comme suit : int c[2]; int tour; c[0] = FALSE; c[1] = FALSE; tour = 0; On considère que i est associé au courant et j à l autre c[i] = TRUE; tour = j; while ((c[j]) && (tour == j)) {}; c[i] = FALSE; Inconvénient : même si le ne fait rien, il monopolise le processeur. On peut aussi empêcher les interruptions afin de monopoliser le processeur physiquement.
9 Description du problème : cinq philosophes chinois sont assis autour d une table ronde. Chacun d eux a devant lui un plat. Une baguette sépare deux assiettes mitoyennes. Un philosophe partage son temps entre deux actions : manger et penser. Lorsqu un philosophe a faim, il tente de s emparer de deux baguettes ; s il les obtient il mange un certain temps avant de reposer ces baguettes et de se remettre à penser. Conséquence de la loi de Murphy : un philosophe peut ne jamais avoir deux baguettes ; chaque philosophe peut en avoir une. Objectif : organiser le comportement de chaque philosophe pour éviter les privations et les blocages.
10 Dans ce problème, il existe des produits et des cases. Chaques cases pouvant contenir un produit. De plus, un producteur dispose de deux primitives : produire(produit) et deposer(case,produit). Il ne peut déposer son produit que si la case correspondante n est pas pleine ; un dispose de deux primitives : consommer(produit) et retirer(case,produit). Le ne peut consommer que si la case est pleine. Les deux ne doivent pas accéder en même temps au tampon. Conséquences de la loi de Murphy : le producteur peut déposer un produit alors que le n a pas retiré le précédent ou retirer un produit alors que le producteur n a rien déposé. Objectif : organiser les comportements des deux partenaires.
11 Ce problème modélise les accès à une base de données : un ensemble de tente constamment d accéder à la base de données soit pour écrire, soit pour lire des informations. Afin d assurer une certaine cohérence des données de la base, il faut interdire l accès (en lecture et en écriture) à l ensemble des, si un est en train de modifier la base (accède à la base en mode écriture). Par contre, plusieurs peuvent accéder à la base, en même temps, en mode lecture. Dans ce cadre : les rédacteurs représentent les qui demandent des accès en écriture à la base de données ; les lecteurs représentent les qui demandent des accès en lecture à la base de données.
12 Définition et utilisation des En 1965, Dijkstra introduit la notion de sémaphore ; cette structure de donnée est composée : d un compteur pouvant prendre des valeurs entières (négatives, positives ou nulles) ; d une liste de en attente ; deux primitives atomiques manipulant le sémaphore : wait décrémente le compteur associé au sémaphore. Si sa valeur est négative, le se bloque dans la file d attente ; signal incrémente le compteur associé au sémaphore. Si le compteur est négatif ou nul, un est choisi dans la file d attente est devient actif. Plusieurs terminologies sont utilisées : wait down P signal up V Ces opérations sont ininterruptibles et ont lieu séquentiellement.
13 Exclusion mutuelle l accès à une ressource unique (fichier, variable, imprimante, etc). Le sémaphore s est initialisé à 1. Utilisation : Chaque a une section critique où il utilise la ressource. Dans ce cas, chacun peut utiliser le sémaphore comme suit : wait(s) signal(s)
14 Synchronisation Dans ce cas, un doit en attendre un autre pour continuer (ou commencer) son exécution. Le sémaphore s est initialisé à 0. Utilisation : dans le cas de deux, le sémaphore est manipulé comme suit : Processus 1 Processus 2 wait(s) // attente 1 signal(s) // réveil 2
15 Les rendez-vous Le rendez-vous est une généralisation de la synchronisation. Un RDV doit attendre que n autres soient parvenus à un endroit précis pour poursuivre son exécution. Ceci fait, les autres poursuivent eux aussi leurs exécutions. On utilise : un sémaphore Ssync initialisé à 0 un sémaphore mutex initialisé à 1 un sémaphore Sattend initialisé à 0 un entier nb initialisé à 0 (une ressource partagée). Il ne reste plus qu à programmer les : Processus i Processus RdV P(mutex) ;... nb = nb + 1 ; P(Ssync) ; si nb = n alors V(Ssync) ; nb = 0 ; V(Sattend, n) ; V(mutex) ;... P(Sattend) ;
16 Le problème d interblocage Supposons que SemA et SemB soient deux d exclusion mutuelle initialisés à 1 et que l on dispose d au moins deux : Processus i Processus j P(semA) ; P(semB) ; P(semB) ; P(semA) ; V(semB) ; V(semA) ; V(semA) ; V(semB) ; Il y a interblocage en programmant le problème des philosophes par : penser(); P(fourchette i); P(fourchette (i+1) mod 5); manger(); V(fourchette i); V(fourchette (i+1) mod 5);
17 Il existe deux remèdes différents pour s affranchir des interblocages : 1. Prévention : exécuter les P() toujours dans le même ordre ; déclarer quelles sont les ressources que l on va utiliser et utiliser un algorithme qui en tient compte. 2. Détection Guérison : 2.1 construire le graphe des conflits (périodiquement) ; 2.2 si un circuit est trouvé alors il y a interblocage ; 2.3 tuer un puis effectuer les V() manquants.
18 #define N 100 /* nombre de places dans le tampon */ semaphore_t mutex=sema_init(1); /* contr\^ole d acc\ es au tampon */ semaphore_t vide =sema_init(n); /* nb de places libres */ semaphore_t plein=sema_init(0); /* nb de places occup\ ees */ void producteur (void) { objet_t objet ; while (TRUE) { produire_objet (&objet) ; /* produire l objet suivant */ down (&vide) ; /* d\ ec. nb places libres */ down (&mutex) ; /* entr\ ee en section critique */ mettre_objet (objet) ; /* mettre l objet dans le tampon */ up (&mutex) ; /* sortie de section critique */ up (&plein) ; /* inc. nb places occup\ ees */ } }
19 void (void) { objet_t objet ; while (TRUE) { down (&plein) ; /* d\ ec. nb emplacements occup\ es */ down (&mutex) ; /* entr\ ee section critique */ retirer_objet (&objet) ; /* retire un objet du tampon */ up (&mutex) ; /* sortie de la section critique */ up (&vide) ; /* inc. nb emplacements libres */ utiliser_objet (objet) ; /* utiliser l objet */ } }
20 Pour contrôler les accès à la base, on doit connaître le nombre nbl de lecteur en train de lire. unsigned int nbl = 0 ; /* c est une ressource partag\ ee */ semaphore_t mutex=sema_init(1);/* contr\^ole d acc\ es \ a la base */ semaphore_t redac=sema_init(1);/* contr\^ole d acc\ es \ ecrivain */ void lecteur (void) { do{ down(mutex) ; if(!nbl) down(redac);/* le premier lecteur emp\^eche l \ ecriture * nbl++ ; up(mutex) ; LectureDeLaBase() ; down(mutex) ; nbl-- ; if(!nbl) up(redac);/* le dernier lecteur autorise l \ ecriture */ up(mutex) ; } while(1) ; } void redacteur(void){ do{down(redac); ModificationDeLaBase(); up(redac);} while(1); }
21 #define N 5 /* nombre de philosophes */ #define GAUCHE(i-1)%N /* on construit un tore */ #define DROITE(i+1)%N #define penser 0 /* les actions du philosophe */ #define faim 1 #define manger 2 typedef int semaphore ; int etat[n] ; /* on suppose ce tableau initialis\ e */ semaphore mutex = 1 ; /* s\ emaphore d exclusion mutelle */ semaphore s[n] ; /* un s\ emaphore est attach\ e \ a chaque philosope, il est initialis\ e \ a 0 */ void philosophe(int i){ while(1){ penser() ; prendre_baguettes(i) ; manger(); poser_baguettes(i) ; } }
22 void test(int i) { if ( etat[i] == faim && etat[gauche(i)]!= manger && etat[droite(i)]!= manger ){ etat[i] = manger ; up(s[i]) ; } } void prendre_baguettes(int i) void poser_baguettes(int i) { { down (&mutex) ; down(&mutex) ; etat[i] = faim ; etat[i] = penser ; test(i) ; test(gauche(i)) ; up(&mutex) ; test(droite(i)) ; down(s[i]); up(&mutex) ; } }
23 Primitive de manipulation des (System V) Un sémaphore est implanté dans linux par la structure de donnée ci-contre. Un tableau de valeurs est associé au sémaphore ainsi qu une file d attente sem queue. sem undo permet de rétablir le sémaphore au cas ou le le manipulant est corrompu.
24 La primitive semget d obtention de sémaphore #include <sys/types.h> #include <sys/ipc.h> key_t ftok(const char *pathname, int proj_id); #include <sys/sem.h> int semget(key_t key, int nsems, int semflg); La fonction ftok retourne une clef supposée unique construite à partir d un chemin d accès et d un entier. Cette clef est associée à une ressource et permet de la désigner. La fonction semget retourne l identificateur d un tableau de nsems valeurs associées au sémaphore lui même associé à la clef key. Une structure de données associée à un sémaphore est créée si le drapeau semflg est IPC CREAT et qu aucun sémaphore n est associé à la clef key.
25 La primitive semctl de contrôle de sémaphore #include <sys/types.h> #include <sys/ipc.h> #include <sys/sem.h> int semctl(int semid, int semnum, int cmd, union semun arg); union semun { int val; unsigned short *array ; struct semid_ds *buf; struct seminfo * buf; } ; L entier cmd détermine l action de la fonction semctl suivant les valeurs : IPC STAT copie les informations du semaphore dans arg.buf ; IPC SET affecte les informations du semaphore à partir de arg.buf ; IPC RMID détruit le sémaphore.
26 La primitive semop de manipulation de sémaphore #include<sys/types.h> /* semid~: identificateur du s\ emaphore */ #include<sys/ipc.h> /* nsops~: nb d \ el\ ements du tableau de s\ #include<sys/sem.h> int semop(int semid, struct sembuf *sops, unsigned nsops); struct sembuf{ unsigned short int sem_num; /* semaphore number */ short int sem_op; /* semaphore operation */ short int sem_flg; /* operation flag */ }; L action de l appel semop dépend du champs sem op. S il est : strictement positif : une opération up est exécutée sur le sémaphore ; strictement négatif : une opération down est exécutée sur le sémaphore ; nul : une opération d attente est exécutée et se termine quand l ensemble des désignés par dipc sont nul.
27 s de léger (sémaphore POSIX) La gestion des conformémant à la norme POSIX se fait par l intermédiaire des appels : #include <semaphore.h> int sem_init(sem_t *sem, int pshared, unsigned int value); int sem_wait(sem_t * sem); int sem_trywait(sem_t * sem); int sem_post(sem_t * sem); int sem_getvalue(sem_t * sem, int * sval); int sem_destroy(sem_t * sem); Ces appels ne s appliquent qu aux légers () et ne peuvent donc pas servir à la communication de lourd.
28 Autres méthodes de synchronisation que les : moniteurs et compteurs Au lieu de se servir de sémaphore, on peut regrouper l ensemble des sections critiques d un Problème dans un module nommé moniteur. Ce moniteur est un ensemble de fonctions, de variables et de structures de données qui permettent de manipuler une ressource. Les peuvent appeler les fonctions du moniteur mais ne peuvent accéder à sa structure interne. Pour assurer l exclusion mutuelle, il suffit qu à tout moment, il n y ait qu un actif utilisant le moniteur. Pour ce faire, si un actif utilise le moniteur, un appelant le moniteur est bloqué. Lorsque le actif quitte le moniteur, il le libère. Les moniteurs existent dans les langages orientés objet (JAVA, C++).
29 Compteurs d événements Un compteur peut être associé à un événement et indiqué le nombre d occurrences de cet événement. Ce compteur peut servir à synchroniser des : un attend jusqu à ce qu une valeur du compteur soit atteinte. Trois opérations doivent être définies pour chaque compteur : eval(cpt) donne la valeur du compteur cpt ; inc(int *cpt) incrémente la valeur de cpt. Attention, l exécution de cette fonction ne doit pas être interrompue ; wait(cpt,val) attend que cpt dépasse la valeur val. Un compteur d événement peut être utilisé dans le problème du producteur.
30 Une solution du problème des producteurs et s par compteur d événement #define N 100 /* taille du tampon i.e. nb de cases */ int in = 0 ; /* incr\ ement\ e par le producteur */ int out = 0 ; /* incr\ ement\ e par le */ void producteur (void){ void (void){ int objet, sequence=0, pos=0 ; int objet, sequence=0, pos=0 ; while(1){ while(1){ objet++ ; sequence++ ; sequence++ ; /* attendre que le tampon /* attendre que le tampon devienne non vide */ devienne non plein */ wait(in,sequence) ; wait(out, sequence-n) ; objet = tampon[pos] tampon[pos] = objet ; /* incr\ ementer le compteur pos = (pos+1)%n ; de retraits */ /* incr\ ementer le nombre inc(&out) ; de d\ ep\^ots */ printf("objet consomm\\ e [%d]: inc(&int) ; pos, objet) ; } pos = (pos+1)%n ; } } }
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é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étailChapitre 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.
Plus en détailProgrammation système
Programmation système Christine Solnon Table des matières 1 Les processus 2 1.1 Etats d un processus................................... 2 1.2 Descripteur d un processus (PCB)...........................
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 à 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é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é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é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 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é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é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é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é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é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é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étailExceptions. 1 Entrées/sorties. Objectif. Manipuler les exceptions ;
CNAM NFP121 TP 10 19/11/2013 (Séance 5) Objectif Manipuler les exceptions ; 1 Entrées/sorties Exercice 1 : Lire un entier à partir du clavier Ajouter une méthode readint(string message) dans la classe
Plus en détailProgramme Compte bancaire (code)
using System; using System.Collections.Generic; using System.Linq; using System.Text; using System.Threading.Tasks; Programme Compte bancaire (code) namespace compte_bancaire /// Classe Program public
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é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é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é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 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é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étailDAns 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,
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é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é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étailCours d Algorithmique et de Langage C 2005 - v 3.0
Cours d Algorithmique et de Langage C 2005 - v 3.0 Bob CORDEAU cordeau@onera.fr Mesures Physiques IUT d Orsay 15 mai 2006 Avant-propos Avant-propos Ce cours en libre accès repose sur trois partis pris
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é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étailINTRODUCTION À 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
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é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é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étailUE Programmation Impérative Licence 2ème Année 2014 2015
UE Programmation Impérative Licence 2 ème Année 2014 2015 Informations pratiques Équipe Pédagogique Florence Cloppet Neilze Dorta Nicolas Loménie prenom.nom@mi.parisdescartes.fr 2 Programmation Impérative
Plus en détailINTRODUCTION A JAVA. Fichier en langage machine Exécutable
INTRODUCTION A JAVA JAVA est un langage orienté-objet pur. Il ressemble beaucoup à C++ au niveau de la syntaxe. En revanche, ces deux langages sont très différents dans leur structure (organisation du
Plus en détailReprésentation d un entier en base b
Représentation d un entier en base b 13 octobre 2012 1 Prérequis Les bases de la programmation en langage sont supposées avoir été travaillées L écriture en base b d un entier est ainsi défini à partir
Plus en détailGESTION DES FICHIERS C/UNIX
Licence IG Page 1 sur 6 GESTION DES FICHIERS C/UNIX Introduction Deux modes d appel - Par la bibliothèque standard C (appel de haut niveau) - Par appels système (bas niveau) Nécessite les includes suivant
Plus en détailTD2/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!
Plus en détailPROJET ALGORITHMIQUE ET PROGRAMMATION II
PROJET 1 ALGORITHMIQUE ET PROGRAMMATION II CONTENU DU RAPPORT A RENDRE : o Fiche signalétique du binôme o Listing des différents fichiers sources o CD sources o Il sera tenu compte de la présentation du
Plus en détailCours de C++ François Laroussinie. 2 novembre 2005. Dept. d Informatique, ENS de Cachan
Cours de C++ François Laroussinie Dept. d Informatique, ENS de Cachan 2 novembre 2005 Première partie I Introduction Introduction Introduction Algorithme et programmation Algorithme: méthode pour résoudre
Plus en détailChapitre 1 : La gestion dynamique de la mémoire
Chapitre 1 : La gestion dynamique de la mémoire En langage C un programme comporte trois types de données : Statiques; Automatiques ; Dynamiques. Les données statiques occupent un emplacement parfaitement
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é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étailIntroduction au langage C
Introduction au langage C Cours 1: Opérations de base et premier programme Alexis Lechervy Alexis Lechervy (UNICAEN) Introduction au langage C 1 / 23 Les premiers pas Sommaire 1 Les premiers pas 2 Les
Plus en détailDE L ALGORITHME AU PROGRAMME INTRO AU LANGAGE C 51
DE L ALGORITHME AU PROGRAMME INTRO AU LANGAGE C 51 PLAN DU COURS Introduction au langage C Notions de compilation Variables, types, constantes, tableaux, opérateurs Entrées sorties de base Structures de
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é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é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étailTravaux pratiques. Compression en codage de Huffman. 1.3. Organisation d un projet de programmation
Université de Savoie Module ETRS711 Travaux pratiques Compression en codage de Huffman 1. Organisation du projet 1.1. Objectifs Le but de ce projet est d'écrire un programme permettant de compresser 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é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étailPrénom : Matricule : Sigle et titre du cours Groupe Trimestre INF1101 Algorithmes et structures de données Tous H2004. Loc Jeudi 29/4/2004
Questionnaire d'examen final INF1101 Sigle du cours Nom : Signature : Prénom : Matricule : Sigle et titre du cours Groupe Trimestre INF1101 Algorithmes et structures de données Tous H2004 Professeur(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é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étailUEO11 COURS/TD 1. nombres entiers et réels codés en mémoire centrale. Caractères alphabétiques et caractères spéciaux.
UEO11 COURS/TD 1 Contenu du semestre Cours et TDs sont intégrés L objectif de ce cours équivalent a 6h de cours, 10h de TD et 8h de TP est le suivant : - initiation à l algorithmique - notions de bases
Plus en détailArgument-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
Plus en détailProgrammation système de commandes en C
Programmation système de commandes en C Cours de Programmation système Tuyêt Trâm DANG NGOC Université de Cergy-Pontoise 2012 2013 Tuyêt Trâm DANG NGOC Programmation système de commandes
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étailUE C avancé cours 1: introduction et révisions
Introduction Types Structures de contrôle Exemple UE C avancé cours 1: introduction et révisions Jean-Lou Desbarbieux et Stéphane Doncieux UMPC 2004/2005 Introduction Types Structures de contrôle Exemple
Plus en détailLe prototype de la fonction main()
Le prototype de la fonction main() 1. Introduction...1 2. Paramètres et type de retour de la fonction main()...1 3. Exemple 1...2 4. La fonction exit() du C...2 5. Détecter le code de retour d un programme
Plus en détailIN 102 - Cours 1. 1 Informatique, calculateurs. 2 Un premier programme en C
IN 102 - Cours 1 Qu on le veuille ou non, les systèmes informatisés sont désormais omniprésents. Même si ne vous destinez pas à l informatique, vous avez de très grandes chances d y être confrontés en
Plus en détailCahier des charges. driver WIFI pour chipset Ralink RT2571W. sur hardware ARM7
Cahier des charges driver WIFI pour chipset Ralink RT2571W sur hardware ARM7 RevA 13/03/2006 Création du document Sylvain Huet RevB 16/03/2006 Fusion des fonctions ARP et IP. SH Modification des milestones
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é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é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é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é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étailCours 6 : Tubes anonymes et nommés
Cours 6 : Tubes anonymes et nommés Mécanisme de communications du système de fichiers I-node associé. Type de fichier: S_IFIFO. Accès au travers des primitives read et write. Les tubes sont unidirectionnels
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étailTP : Gestion d une image au format PGM
TP : Gestion d une image au format PGM Objectif : L objectif du sujet est de créer une classe de manipulation d images au format PGM (Portable GreyMap), et de programmer des opérations relativement simples
Plus en détailGestion distribuée (par sockets) de banque en Java
Gestion distribuée (par sockets) de banque en Java Université Paris Sud Rappel sur la solution locale de gestion simple de banque L objet de cet exercice était de créer une application java qui implante
Plus en détailLe Langage C Version 1.2 c 2002 Florence HENRY Observatoire de Paris Université de Versailles florence.henry@obspm.fr
Le Langage C Version 1.2 c 2002 Florence HENRY Observatoire de Paris Université de Versailles florence.henry@obspm.fr Table des matières 1 Les bases 3 2 Variables et constantes 5 3 Quelques fonctions indispensables
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é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étailIRL : Simulation distribuée pour les systèmes embarqués
IRL : Simulation distribuée pour les systèmes embarqués Yassine El Khadiri, 2 ème année Ensimag, Grenoble INP Matthieu Moy, Verimag Denis Becker, Verimag 19 mai 2015 1 Table des matières 1 MPI et la sérialisation
Plus en détailStructurer 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
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étailStructure d un programme et Compilation Notions de classe et d objet Syntaxe
Cours1 Structure d un programme et Compilation Notions de classe et d objet Syntaxe POO 1 Programmation Orientée Objet Un ensemble d objet qui communiquent Pourquoi POO Conception abstraction sur les types
Plus en détailTravaux Dirigés n 1 : chaînes de caractères
UE LE315 Travaux Dirigés n 1 : chaînes de caractères Exercice 1 Ecrire une fonction int nombre_caract(char *chaîne) qui retourne la taille d une chaîne de caractères. Exercice 2 Ecrire la fonction void
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é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étailClaude Delannoy. 3 e édition C++
Claude Delannoy 3 e édition Exercices Exercices C++ en en langage langage delc++ titre 4/07/07 15:19 Page 2 Exercices en langage C++ AUX EDITIONS EYROLLES Du même auteur C. Delannoy. Apprendre le C++.
Plus en détailas Architecture des Systèmes d Information
Plan Plan Programmation - Introduction - Nicolas Malandain March 14, 2005 Introduction à Java 1 Introduction Présentation Caractéristiques Le langage Java 2 Types et Variables Types simples Types complexes
Plus en détailResolution limit in community detection
Introduction Plan 2006 Introduction Plan Introduction Introduction Plan Introduction Point de départ : un graphe et des sous-graphes. But : quantifier le fait que les sous-graphes choisis sont des modules.
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é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étailRappels Entrées -Sorties
Fonctions printf et scanf Syntaxe: écriture, organisation Comportement Données hétérogènes? Gestion des erreurs des utilisateurs 17/11/2013 Cours du Langage C ibr_guelzim@yahoo.fr ibrahimguelzim.atspace.co.uk
Plus en détailTP3 : Manipulation et implantation de systèmes de fichiers 1
École Normale Supérieure Systèmes et réseaux Année 2012-2013 TP3 : Manipulation et implantation de systèmes de fichiers 1 1 Répertoire de travail courant Le but de l exercice est d écrire une commande
Plus en détailCours Programmation Système
Cours Programmation Système Filière SMI Semestre S6 El Mostafa DAOUDI Département de Mathématiques et d Informatique, Faculté des Sciences Université Mohammed Premier Oujda m.daoudi@fso.ump.ma Février
Plus en détail(Third-Man Attack) PASCAL BONHEUR PASCAL BONHEUR@YAHOO.FR 4/07/2001. Introduction. 1 Domain Name Server. 2 Commandes DNS. 3 Hacking des serveurs DNS
Détournement de serveur DNS (Third-Man Attack) PASCAL BONHEUR PASCAL BONHEUR@YAHOO.FR 4/07/2001 Introduction Ce document traite de la possibilité d exploiter le serveur DNS pour pirater certains sites
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étailProjet de programmation (IK3) : TP n 1 Correction
Projet de programmation (IK3) : TP n 1 Correction Semaine du 20 septembre 2010 1 Entrées/sorties, types de bases et structures de contrôle Tests et types de bases Tests et types de bases (entiers) public
Plus en détailProgrammation en langage C
Programmation en langage C Anne CANTEAUT INRIA - projet CODES B.P. 105 78153 Le Chesnay Cedex Anne.Canteaut@inria.fr http://www-rocq.inria.fr/codes/anne.canteaut/cours C 2 Table des matières 3 Table des
Plus en détailCours d algorithmique pour la classe de 2nde
Cours d algorithmique pour la classe de 2nde F.Gaudon 10 août 2009 Table des matières 1 Avant la programmation 2 1.1 Qu est ce qu un algorithme?................................. 2 1.2 Qu est ce qu un langage
Plus en détailProgrammer en JAVA. par Tama (tama@via.ecp.fr( tama@via.ecp.fr)
Programmer en JAVA par Tama (tama@via.ecp.fr( tama@via.ecp.fr) Plan 1. Présentation de Java 2. Les bases du langage 3. Concepts avancés 4. Documentation 5. Index des mots-clés 6. Les erreurs fréquentes
Plus en détailSUPPORT DE COURS. Langage C
Dpt Informatique 2010-2011 SUPPORT DE COURS Langage C Semestre 1 par : «CaDePe» Marie-Françoise Canut Marianne de Michiel André Péninou Table des Matières 1 Généralités...8 1.1 Introduction aux langages
Plus en détailSTS SE. FreeRTOS. Programmation réseau WIFI. Programmation réseau. Socket Tcp. FlyPort smart Wi-Fi 802.11 module
François SCHNEIDER Lycée Victor-Hugo BESANÇON. STS SE FreeRTOS Programmation réseau WIFI Programmation réseau Socket Tcp FlyPort smart Wi-Fi 802.11 module Prérequis : langage C, connaissance réseau : Ip,
Plus en détail