La cohérence séquentielle dans les ordinateurs est mieux décrite par Leslie Lamport qui a déclaré que les systèmes multiprocesseurs avaient une cohérence séquentielle s'ils : "... Les résultats d'une exécution sont les mêmes que s'ils avaient été effectués dans un ordre séquentiel. Les opérations de chaque processeur apparaissent dans cet ordre en fonction de son programme spécifique. C'est la définition originale du comportement "correct" pour les systèmes de multiprocesseurs symétriques (SMP). Elle a été reformulée sous diverses formes, dont la suivante : Un multiprocesseur à mémoire partagée doit apparaître comme un système multiprocesseur uniprocesseur pour tout programme s'exécutant sur lui. La cohérence séquentielle exige que : 1. Toutes les instructions seront suivies exactement.
2. Chaque opération d'écriture est visible instantanément dans tout le système. La définition de la cohérence séquentielle reconnaissait implicitement que les systèmes SMP pouvaient ne pas être cohérents sur le plan séquentiel. Les machines doivent-elles être cohérentes en séquence ? Près de vingt ans plus tard, les réponses sont mitigées. Certains disent "oui", les machines doivent cacher les complexités d'implémentation afin de rendre les machines aussi faciles à utiliser que possible. D'autres disent "non", que la violation de la SC permet aux machines d'augmenter considérablement les performances tout en ne gênant qu'un nombre infime de programmeurs.
- Logique séquentielle La logique séquentielle est une forme de conception de circuit binaire qui utilise une ou plusieurs entrées et une ou plusieurs sorties, dont les états sont liés par des règles définies qui dépendent, en partie, des états précédents. Chacune des entrées et des sorties peut atteindre l'un des deux états...
- Cohérence quantique Définition - Que signifie la cohérence quantique? Le terme «cohérence quantique» représente l'idée d'une superposition qui est au cœur de la mécanique quantique et de l'informatique quantique. Plus précisément, la cohérence quantique envisage une situation dans laquelle la propriété d'onde d'un objet est divisée en deux et les deux ondes...
- Cohérence du cache Définition - Que signifie la cohérence du cache? La cohérence du cache est la régularité ou la cohérence des données stockées dans la mémoire cache. Le maintien de la cohérence du cache et de la mémoire est impératif pour les multiprocesseurs ou les systèmes de mémoire partagée distribuée (DSM). La...
- Cohérence éventuelle Définition - Que signifie la cohérence éventuelle? La cohérence finale est un aspect du modèle BASE (Basically Available, Soft State, Eventual Consistency) de conception d'opération de données. Le modèle BASE aide à promouvoir différents types d'alternatives pour l'expansion ou l'amélioration des performances des opérations de base de données et des...