Temps réel, tolérance aux fautes et cohérence dans les systèmes distribués PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Temps réel, tolérance aux fautes et cohérence dans les systèmes distribués PDF full book. Access full book title Temps réel, tolérance aux fautes et cohérence dans les systèmes distribués by Pascale Minet. Download full books in PDF and EPUB format.
Author: Pascale Minet
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Get Book Here
Book Description
Author: Pascale Minet
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Get Book Here
Book Description
Author: PASCAL.. CHEVOCHOT
Publisher:
ISBN:
Category :
Languages : fr
Pages : 221
Get Book Here
Book Description
UN SYSTEME TEMPS-REEL STRICT CRITIQUE EST UN DISPOSITIF, COMPOSE DE MATERIELS ET DE LOGICIELS, DONT LES TACHES PEUVENT PROVOQUER DES CONSEQUENCES CATASTROPHIQUES SUR LE MILIEU CONTROLE SI ELLES DEPASSENT LEURS ECHEANCES. UN TEL SYSTEME REPOSE SUR UN ALGORITHME D'ORDONNANCEMENT QUI DETERMINE L'ORDRE D'EXECUTION DES TACHES, ET SUR UN TEST D'ORDONNANCABILITE QUI DETERMINE, AVANT EXECUTION, SI OUI OU NON LES ECHEANCES DES TACHES SERONT TOUJOURS RESPECTEES. LA CONCEPTION D'UN SYSTEME TEMPS-REEL STRICT ET TOLERANT AUX FAUTES EST COMPLEXE, CAR TOUS LES MECANISMES POUR TOLERER LES FAUTES (PAR EXEMPLE LE MAINTIEN DE LA REDONDANCE DES ETATS D'EXECUTION, LA DETECTION ET LE TRAITEMENT DES ERREURS) DOIVENT ETRE PRIS EN COMPTE PAR L'ALGORITHME D'ORDONNANCEMENT ET LE TEST D'ORDONNANCABILITE DU SYSTEME. L'OBJECTIF DE CETTE THESE EST LA SPECIFICATION ET LA MISE EN OEUVRE DE MECANISMES DE TOLERANCE AUX FAUTES PHYSIQUES POUR LES SYSTEMES DISTRIBUES TEMPS-REEL STRICT CRITIQUES. CES MECANISMES DOIVENT PERMETTRE DE LIMITER LES COUTS DE DEVELOPPEMENT ET LES COUTS EN MATERIEL DE CES SYSTEMES. POUR CELA, NOUS PROPOSONS DE TRANSFORMER, AVANT L'EXECUTION D'UN SYSTEME, SES TACHES NON TOLERANTES AUX FAUTES EN TACHES TOLERANTES AUX FAUTES, EN REDONDANT TOUT OU PARTIE DE LEURS TRAITEMENTS. DANS LES TACHES AINSI OBTENUES, LA REDONDANCE DES TRAITEMENTS, ET LA PLUPART DES MECANISMES NECESSAIRES POUR DETECTER ET TRAITER LES ERREURS (PAR EXEMPLE LE CALCUL DE CONSENSUS) SONT EXPRIMES DANS LE MEME MODELE DE TACHES, CE QUI PERMET DE LES PRENDRE EN COMPTE DANS UN TEST D'ORDONNANCABILITE. LES MECANISMES RESTANTS (PAR EXEMPLE UN ALGORITHME DE COMMUNICATION FIABLE) SONT INTEGRES DANS UNE COUCHE LOGICIELLE QUI S'APPUIE SUR UN SYSTEME D'EXPLOITATION SUR ETAGERE. CETTE METHODE DE TRANSFORMATION DES TACHES, QUE NOUS APPELONS REPLICATION HORS LIGNE, EST TRANSPARENTE AU CONCEPTEUR D'UNE APPLICATION, CAR ELLE PEUT ETRE ENTIEREMENT AUTOMATISEE GRACE A UN OUTIL.
Author: Electricité de France. Direction des études et recherches
Publisher:
ISBN:
Category :
Languages : fr
Pages : 43
Get Book Here
Book Description
Author: Youcef Laribi
Publisher:
ISBN:
Category :
Languages : fr
Pages : 183
Get Book Here
Book Description
Les changements de configuration d'un système distribue sont multiples: les pannes, les retraits volontaires, et l'adjonction de nœuds au système sont tous des évènements qui forcent le système a se reconfigurer. Nous traitons ces évènements dans un seul composant, le service d'adhésion, que nous identifions comme un service de base dans un système distribue tolérant les fautes.
Author: Laurent George
Publisher:
ISBN:
Category :
Languages : fr
Pages : 342
Get Book Here
Book Description
Les systèmes distribués temps réel critique sont des systèmes distribués bien spécifiques pour lesquels les techniques d'analyse en moyenne avec ou sans simulation ne sont pas satisfaisantes. Il est nécessaire de garantir que tout au long de la vie du système, les contraintes temporelles associées aux tâches exécutées dans le système seront toujours respectées. A ces contraintes temporelles sont le plus souvent associées des contraintes de haute disponibilité des services fournis par le système. Contraintes pour lesquelles il est nécessaire de mettre en oeuvre des techniques de tolérance aux fautes particulières. Nous nous intéressons aux problèmes de conception et dimensionnement de systèmes ou se conjuguent les problèmes de temps réel, de traitement distribué et de tolérance aux fautes (trdf). Cette thèse montre comment il est possible d'étendre des résultats d'ordonnancement établis en contexte monoprocesseur centralise pour résoudre deux problèmes trdf. nous étudions plus particulièrement les politiques d'ordonnancement à bases de priorités fixes (rate monotonic, deadline monotonic ou arbitraire) et dynamiques (earliest deadline first, fifo notamment) en contexte préemptif et non préemptif. Les différents résultats établis en contexte non préemptif centralise sont ensuite étendus pour résoudre les deux problèmes trdf suivants : diffusion temps réel dans un groupe : (multicast) nous décrivons une famille de protocoles de diffusion atomique uniforme avec un temps de réponse de bout en bout borne. La famille de protocoles utilise l'ordonnancement earliest deadline first (edf). traitement reparti temps réel : Nous traitons un problème d'algorithmique distribuée avec maintien de relation d'ordre (l'ordre d'occurrence des évènements). Nous montrons comment maintenir la cohérence de données reparties en présence d'accès concurrents avec un temps de réponse garanti. Une analyse de faisabilité associée a l'ordonnancement FIFO est réalisée. Cette analyse est basée sur le calcul du pire temps de réponse des tâches du système.
Author: V. Levkov
Publisher:
ISBN:
Category :
Languages : fr
Pages : 43
Get Book Here
Book Description
Author: Maryline Silly
Publisher:
ISBN:
Category :
Languages : fr
Pages : 28
Get Book Here
Book Description
Author: Pierre-Yves THEAUDIERE
Publisher:
ISBN:
Category :
Languages : fr
Pages : 56
Get Book Here
Book Description
Author: SORAYA.. BESTAOUI
Publisher:
ISBN:
Category :
Languages : fr
Pages : 198
Get Book Here
Book Description
LE TRAVAIL DECRIT DANS LE MEMOIRE DE THESE PRESENTE L'INTEGRATION D'UNE TECHNIQUE DE TOLERANCE AUX FAUTES DANS UN MODELE D'EXECUTIF TEMPS REEL REPARTI CONFORMEMENT AU PROJET SCEPTRE 2 DEVELOPPE DANS LE CADRE DE L'APPEL D'OFFRES STRIN (SOLUTIONS TEMPS REEL POUR L'INDUSTRIE). LE CHAPITRE 1 PRESENTE L'ANALYSE BIBLIOGRAPHIQUE DE QUELQUES SYSTEMES D'EXPLOITATION, EN L'OCCURENCE CHORUS, MACH, ALPHA ET DELTA 4, POUR LESQUELS NOUS NOUS SOMMES INTERESSES A LA MISE EN UVRE DE LA SURETE DE FONCTIONNEMENT. NOTRE INTERET S'EST PARTICULIEREMENT PORTE SUR LES METHODES DE TOLERANCE AUX FAUTES CHOISIES PAR CES SYSTEMES. LE CHAPITRE 2 QUANT A LUI INTRODUIT LES CARACTERISTIQUES ESSENTIELLES DE LA PROPOSITION SCEPTRE 2. LE CHAPITRE 3 FIXE LES HYPOTHESES UTILISEES POUR LA MISE EN UVRE DE LA REPLICATION SEMI-ACTIVE DES CAPSULES SCEPTRE 2, TECHNIQUE DE TOLERANCE AUX FAUTES EMPRUNTEE A DELTA 4. CES HYPOTHESES CONCERNENT LES FAUTES ET MODES DE DEFAILLANCE CONSIDERE POUR LES CAPSULES ET LE SYSTEME DE COMMUNICATION. EN OUTRE, NOUS MONTRONS DANS CE CHAPITRE LES PRINCIPES DE LA MISE EN UVRE DE LA REDONDANCE SEMI-ACTIVE. LE CHAPITRE 4 PRESENTE ALORS LES ALGORITHMES ET LES STRUCTURES DE DONNEES NECESSAIRES A LA GESTION D'UNE TELLE REPLICATION. IL FORMALISE DONC LES TECHNIQUES PRESENTEES DANS LE CHAPITRE PRECEDENT DANS UN CONTEXTE DE FONCTIONNEMENT EXEMPT D'ERREURS. LE CHAPITRE 5 COMPLETE CETTE ETUDE EN S'INTERESSANT AUX MECANISMES DE TRAITEMENT DES ERREURS ASSOCIES A NOTRE MODELE DE REPLICATION. CEUX-CI CONCERNENT DANS UN PREMIER TEMPS LA DETECTION DES ERREURS. LE RECOUVREMENT DES ERREURS EST ENSUITE ABORDE. LA MISE EN UVRE DE CES DIFFERENTS MECANISMES DE TRAITEMENT D'ERREURS CONDUIT A NOUVEAU A ENRICHIR ET COMPLETER LES STRUCTURES DE DONNEES ET LES ALGORITHMES PRESENTES AU CHAPITRE PRECEDENTS. ILS SONT PRESENTES AUSSI BIEN DANS LE CHAPITRE 5 QUE DANS LES ANNEXES 1, 2 ET 3
Author: Djemai Kebbal
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
