Eheyslogiikka

Eheyslogiikka on suomenkielinen termi, jota käytetään tietotekniikassa kuvaamaan logiikkaa ja mekanismeja, joiden avulla järjestelmien eheys ja tilan johdonmukaisuus säilyvät. Siinä keskitytään sekä tiedon eheyteen että järjestelmän tilan oikeellisuuden ylläpitämiseen osittaisten virheiden, häiriöiden tai palautumistilanteiden jälkeen. Käytännössä eheyslogiikka pyrkii varmistamaan, että järjestelmän tilat voivat palautua oikeaan, konsistenttiin tilaan ja että tietovirrat pysyvät virheettöminä.

Eheyslogiikka kattaa useita periaatteita ja teknisiä keinoja, kuten tietokannan eheysrajoitteet (esimerkiksi avain- ja viite-eheyden säännöt), syötteen validoinnin, virheentunnistuksen ja virheenkorjauksen (checksumit, hashit, digitaaliset allekirjoitukset). Siihen sisältyy myös tilan vahvistaminen, versionhallinta sekä transaktioprosessit, kuten ACID-periaate ja kaksivaiheinen commit. Hajautetuissa järjestelmissä eheyslogiikka nojautuu konsensusmenetelmiin ja tapahtumien järjestykseen, jotta kaikkien solmujen tilat pysyvät yhdenmukaisina.

Sovellusalueet ovat tietokannat, tiedostojärjestelmät, pilvipalvelut sekä hajautetut sovellukset. Haasteita ovat osittaiset epäonnistumiset, verkkoeron vaikutukset sekä virheiden leviäminen, mikä korostaa tarvetta vahvalle eheyslogiikalle. Termi linkittyy läheisesti turvallisuusnäkökulmiin ja laadunvarmistukseen: eheyden lisäksi korostuvat autentikointi, tietojen alkuperän todentaminen ja tilojen säännönmukainen tarkastaminen. Käytännössä eheyslogiikka toteutetaan muun muassa redundanssilla, monitoroinnilla ja säännöllisillä eheystarkistuksilla.