oracles et middleware
oracles et middleware
suivant: réalisation des détecteurs de
monter: perspectives
précédent: perspectives
  table des matières
oracles et middleware
de même, on peut étendre cette démarche avec
la notion d'oracle dépendant du
schéma de pannes qui est une généralisation du concept de détecteur de
défaillances.
n'oublions pas que les primitives utiles pour la résistance aux
défaillances des divers systèmes de
middleware peuvent être considérées comme des oracles.
grâce à ces derniers, on a un cadre général formel pour définir et
étudier
ces primitives.
comme l'atteste, par exemple, le grand nombre de systèmes de middleware
reposant sur le concept parfois imprécis de virtual synchrony existant
actuellement, une certaine clarification est nécessaire dans ce
domaine. pour l'instant, les outils pour les étudier et
les comparer sont
encore limités.
pourtant cette comparaison est utile aussi bien d'un
point de vue théorique (quel est le meilleur des mondes ?)
que pratique (quel est le meilleur des mondes possible ?).
il faut donc continuer à développer des
modèles formels qui
pourraient, un jour, permettre d'appliquer
certains des résultats et des pratiques issus du domaine de la
vérification à l'algorithmique distribuée tolérante aux pannes.
cela concerne aussi la prise en compte du temps réel qui est
nécessaire pour de nombreuses applications.
suivant: réalisation des détecteurs de
monter: perspectives
précédent: perspectives
  table des matières
2004-04-07
oracles et middleware Précédent 84 Précédent 83 Précédent 82 Précédent 81 Précédent 80 Précédent 79 Précédent 78 Précédent 77 Précédent 76 Précédent 75 Précédent 74 Précédent 73 Précédent 72 Précédent 71 Précédent 70 Précédent 69 Précédent 68 Précédent 67 Précédent 66 Précédent 65 Précédent 64 Précédent 63 Précédent 62 Précédent 61 Précédent 60 Précédent 59 Précédent 58 Précédent 57 Précédent 56 Précédent 55 Suivant 86 Suivant 87 Suivant 88 Suivant 89 Suivant 90 Suivant 91 Suivant 92 Suivant 93 Suivant 94 Suivant 95 Suivant 96 Suivant 97 Suivant 98 Suivant 99 Suivant 100 Suivant 101 Suivant 102 Suivant 103 Suivant 104 Suivant 105 Suivant 106 Suivant 107 Suivant 108 Suivant 109 Suivant 110 Suivant 111 Suivant 112 Suivant 113 Suivant 114 Suivant 115