Johdonmukaisuusmalli

Johdonmukaisuusmalli  on lähestymistapa, jota käytetään hajautetussa järjestelmässä ( hajautettu jaettu muisti , DBMS , tiedostojärjestelmä ) tietojen yhdenmukaisuuden takaamiseksi .

Tärkeimmät johdonmukaisuusmallit:

• tiukka johdonmukaisuus _ _  _
• peräkkäinen johdonmukaisuus _ _  _
• kausaalinen johdonmukaisuus _ _  _
• PRAM- yhteensopivuus _ _  _
• prosessorin yhtenäisyys _ _  _
• heikko konsistenssi _ _  _
• johdonmukaisuus loppujen lopuksi
• vapauta johdonmukaisuus _ _  _
• syötteen johdonmukaisuus _ _  _

Konsistenssimallissa erityinen rooli on ohjelman linearisoitavuuskysymys , jossa luku- ja kirjoitusoperaatioiden sijasta huomioidaan objektien operaatioita (esim. funktioita, proseduureja) ja muistin tila tässä mallissa on esineiden tila. Linearisoitavia ohjelmia käytetään järjestelmissä, joissa on jaetun muistin objektiorganisaatio . Toisin kuin kaikki muut järjestelmät, tällaiset ohjelmat eivät voi suoraan käyttää jaettuja muuttujia (objektien tilaa), vaan vain erityisten funktiomenetelmien (operaatioiden) kautta. Näissä järjestelmissä linearisoitavuus on sama kuin tiukka johdonmukaisuus.

Kirjallisuus

• Kshemkalyani, AD ja Singhal, M. Distributed Computing: Principles, Algorithms and Systems. - Cambridge University Press, 2011. - ISBN 9781139470315 .

Linkit

• Kryukov V. A. Luentokurssi "Hajautetut käyttöjärjestelmät" 6. Hajautettu jaettu muisti