Synchronisation de processus partie 2

Cours système d ? exploitation ? ème année IUT de Caen Département d ? Informatique François Bourdon Cours Système d ? Exploitation ?? IUT de Caen François Bourdon CChapitre Synchronisation de Processus partie ?? Cours Système d ? Exploitation ?? IUT de Caen François Bourdon CPlan Système de Gestion des Fichiers Concepts avancés Création et ordonnancement de Processus Synchronisation de Processus Expression de la notion de processus Modèles de représentation des processus Processus séquentiels Systèmes de t? ches et graphes de précédence Automates ?nis Réseaux de Pétri Exemples de mise en oeuvre sur UNIX Interactions de processus Déterminisme d ? un système de t? ches Blocage dans un système de t? ches Synchronisation de processus Section critique Désarmement des interruptions Instruction Test ??and ??Set Les sémaphores Les moniteurs de Hoare Problèmes classiques de synchronisation Producteurs consommateurs Lecteurs rédacteurs Le problème des philosophes Dikkstra Communication entre Processus les Signaux Echange de données entre Processus Communication entre Processus les IPC Cours Système d ? Exploitation ?? IUT de Caen François Bourdon C Interactions de processus Des processus qui agissent en parallèle peuvent coopérer partage d ? information ou accélération d ? un calcul ou être en compétition les uns par rapport aux autres pour acquérir des ressources quand elles sont en quantité insu ?sante La base de l ? interaction est la communication Dans les systèmes centralisés les processus communiquent par l ? intermédiaire de variables et d ? objets partagés Dans les systèmes répartis o? il n ? existe pas de mémoire commune les communications se font par messages et peuvent ne pas être instantanées Des interactions mal contrôlées peuvent être la cause d ? un mauvais fonctionnement du système et d ? une utilisation impropre des ressources Pour cela on peut regarder deux problèmes Déterminisme et blocage Cours Système d ? Exploitation ?? IUT de Caen François Bourdon CDéterminisme d ? un système de t? ches Dé ?nition C ? est l ? étude de la possibilité de décider si un système de t? ches donné fournit pour chacun de ses composants la même suite de résultats Soit par exemple deux processus qui accèdent sans contrôle à une même cellule mémoire M contenant la valeur le premier pour y ajouter le deuxième pour doubler la valeur contenue dans M Suivant l ? ordre d ? accès à M des deux processus on obtient comme valeur ?nale soit soit Cours Système d ? Exploitation ?? IUT de Caen François Bourdon CCe problème est inhérent aux systèmes multi ?? programmés puisque les processus peuvent être mis en attente à des instants quelconques pour des durées qui dépendent de paramètres extérieurs Lorsque l ? on sait résoudre ce problème notion d ? interférence on peut envisager de transformer un processus séquentiel une cha? ne de t? ches en un système équivalent o? certaines t? ches sont exécutées en parallèle parallélisme maximal Cours Système d ? Exploitation ?? IUT de Caen François Bourdon CBlocage dans un système de t? ches Dé ?nition Un blocage

Documents similaires
Operations unitaires plan pdf 0 0
1 Liste des Agréments au Code des Investissements N° Raison sociale Domaine d’a 0 0
ps1s svt tle c sek 22 23 CEG SEKANDJI MESTFP DDESTFP-OUEME RÉPUBLIQUE DU BÉNIN Année scolaire - Classe Tle C Durée Heures PREMIERE SERIE DE PRODUCTION SCOLAIRE DU PREMIER SEMESTRE COMPETENCES A EVALUER EPREUVE DES SVT CRITERES D ? APPRECIATION DE TA COPIE 0 0
CIP No. 10143 Hillsborough County PUD-WRD SCAWTP Expansion August 2011 Issued f 0 0
Capes d x27 italien 2014 Concours du second degré Rapport de jury Concours CAPES et CAFEP- CAPES Section ITALIEN Session Rapport de jury présenté par Mme Myriem BOUZAHER Présidente du jury ? www education gouv fr C Le jury est composé de Directoire Madame 0 0
Sociologie de la litterature angenot 0 0
Diakite diss su DE LA PAGE D ? ÉCRITURE ET DU MYTHE DE L ? ANCÊTRE REBELLE LA PROBLÉMATIQUE DE L ? ÉCRIT ET DE LA PAROLE DANS LE ROMAN FRANCOPHONE OUEST AFRICAIN A Dissertation Submitted to the Graduate Faculty of the Louisiana State University and Agricu 0 0
JOHN BROOKS COMPANY LIMITED PROUDLY S ERV I N G C ANAD I A N I NDUS T RY FOR OV 0 0
Marie yolande Etudes des personnages Les personnages sont les agents du récit Dans une situation narrative ils assurent la progression de la croqueuse de diamant on distingue deux catégories de personnages qui sont le personnage principale et les personna 0 0
Brochure 2010 MÉTHODOLOGIE EN SCIENCES HUMAINES Fillettes tribales Sanjay Gandhi National Park Mumbai Inde M-C Saglio-Yatzimirsky APPRENDRE COMPRENDRE ANALYSER Année - Jean-Michel Butel Jean-François Klein Sarah Mohamed-Gaillard Marie-Caroline Saglio- Yat 0 0
  • 98
  • 0
  • 0
Afficher les détails des licences
Licence et utilisation
Gratuit pour un usage personnel Aucune attribution requise
Partager