Synchronisations : protocoles d’accès aux ressources partagées

Serge Midonnet 1 Frédéric Fauberteau 2
1 LIGM - Laboratoire d'Informatique Gaspard-Monge
2 LACSC - Laboratoire d'Analyse et Contrôle des Systèmes Complexes [Paris]
Abstract : This chapter provides different concepts related to the synchronization of processes rather than to give an exhaustive description of the existing protocols. It describes the essential protocols such as priority inheritance protocol (PIP), priority ceiling protocol (PCP), stack resource policy (SRP) protocol, multiprocessor priority ceiling protocol (MPCP), spinning processor executes for preempted processor protocol (SPEPP) and Multiprocessor Stack Resource Policy protocol (MSRP) as much in the case of uniprocessor systems as in the case of multiprocessor systems. The chapter shows the undesirable consequences of synchronizations such as unbounded priority inversion, dead lock and chained blocking in the scheduling of systems. It discusses consequences of various blocks on the analysis of systems and how to estimate the blocking factor of the tasks.
Type de document :
Chapitre d'ouvrage
Maryline Chetto. Ordonnancement dans les systèmes temps réel, ISTE Editions, pp.123-154, 2014, Collection Réseaux et télécommunications
Liste complète des métadonnées
https://hal-upec-upem.archives-ouvertes.fr/hal-01118541
Contributeur : Admin Ligm <>
Soumis le : jeudi 19 février 2015 - 12:21:44
Dernière modification le : mercredi 11 avril 2018 - 12:12:03

Identifiants

  • HAL Id : hal-01118541, version 1

Collections

UPEC-UPEM | ENPC | PARISTECH | LIGM_LRT | LIGM

Citation

Serge Midonnet, Frédéric Fauberteau. Synchronisations : protocoles d’accès aux ressources partagées. Maryline Chetto. Ordonnancement dans les systèmes temps réel, ISTE Editions, pp.123-154, 2014, Collection Réseaux et télécommunications. 〈hal-01118541〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

164

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD