Transactiecontrole

Transactiecontrole is een concept dat centraal staat in databasesystemen en gedistribueerde systemen, met als doel het garanderen van de correctheid en consistentie van gegevens, zelfs wanneer meerdere operaties tegelijkertijd plaatsvinden. Het zorgt ervoor dat een reeks bewerkingen, bekend als een transactie, als een enkele, ondeelbare eenheid wordt behandeld. Dit betekent dat ofwel alle bewerkingen binnen de transactie succesvol worden voltooid en de wijzigingen permanent worden gemaakt, ofwel geen enkele bewerking wordt doorgevoerd en het systeem terugkeert naar zijn oorspronkelijke staat. Dit principe staat bekend als atomiteit.

Het hoofddoel van transactiecontrole is het voorkomen van problemen die kunnen ontstaan door gelijktijdige toegang tot gedeelde gegevens. Zonder adequate controle kunnen gelijktijdige transacties leiden tot inconsistenties, zoals verloren updates, vuile lezingen (het lezen van gegevens die nog niet definitief zijn weggeschreven door een andere transactie) of niet-herhaalbare lezingen (het lezen van verschillende waarden voor dezelfde gegevens binnen dezelfde transactie).

Transactiecontrolemechanismen volgen doorgaans de ACID-eigenschappen: Atomicity, Consistency, Isolation en Durability. Atomicity zorgt voor de ondeelbaarheid van transacties. Consistency garandeert dat een transactie het databasesysteem van de ene geldige staat naar de andere brengt. Isolation zorgt ervoor dat gelijktijdige transacties elkaar niet storen, alsof ze sequentieel worden uitgevoerd. Durability zorgt ervoor dat, zodra een transactie is voltooid, de wijzigingen permanent zijn, zelfs in geval van systeemfouten. Implementaties maken vaak gebruik van vergrendelingsmechanismen, multi-versie-concurrente controle (MVCC) of tijdstempelgebaseerde methoden om deze eigenschappen te handhaven.