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
Cv p 2 1 PERREAULT Agathe chemin des Dames Montesson Tel Agathep gmail com Née le Mai Permis B véhiculée Portable CURRICULUM VITAE ETUDES Année - Préparation aux Ecoles de Journalisme ?? Institut Catholique de Paris - Année - D U Ecriture Créative ?? Univ 0 0
Evaluation 5eme C R E Ben Arous I E P Langue française Circonscription Boumhel Mornag Année scolaire - Elaboré par Les assistants pédagogiques Mr Naoufel Mahfoudh Mme Naima Atigui Encadré par Mr Fayçal Hachicha Inspecteur des écoles primaires CDossier d ? 0 0
Expose theme tpe ECOLE NATIONALE SUPERIEURE DES SCIENCES AGRO INDUSTRIELLES CYCLE MASTER BP NGAOUNDERE TPE DE MODELISATION DES SYSTEMES Master recherche IEA THEME MODELISATION EN UML Réalisé par OBAYA MUREILLE Laure ISOWA Ivan Brice WONG Caroline Félicité 0 0
Comment creer une entreprise 0 0
Risque REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE MINISTERE DE L ? ENSEIGNEMENT SUPERIEUR ET DE LA RECHERCHE SCIENTIFIQUE Université des Sciences et de la Technologie Houari Boumediene U S T H B Faculté de Génie Mécanique et Génie des Procédés Départ 0 0
Module 0 Module Module Linux Fundamentals Code management with Git GitHub and the GitFlow pattern Réalisé par Baihat Maryem CSommaire I Realisation de Projet Knowledge Check Project Task Where am I Task There is no place like home Task Hidden ?les Task Le 0 0
Programmations detaillees 2018 2019 0 0
Guide de lecture de la reglementation europeenne sur l x27 agriculture biologique 0 0
Tp 1 Ministere De L'enseignement Supérieur Et De La Recherche Scienti ?que Université Djillali Liabes De Sidi Bel Abbes Faculté Des Sciences Et Technologie Département De Génie Mécanique Spécialité Énergétique er année Master Module Instrumentations et Me 0 0
Bibliografie net BIBLIOGRAFIE Dr ?gan Gb Tehnica tensiunilor ? nalte Editura Tehnic ? volumul I Bucure ti Dr ?gan Gb Tehnica tensiunilor ? nalte volumul III Editura Academiei Rom? ne Bucure ti oo Negru V Tehnica tensiunilor ? nalte Supratensiuni interne U 0 0
  • 33
  • 0
  • 0
Afficher les détails des licences
Licence et utilisation
Gratuit pour un usage personnel Aucune attribution requise
Partager