Les propriétés ACID des transactions
Les propriété ACID garantissent que l’exécution d’une transaction est réalisée de façon fiable. Dans Generic System, la gestion de la concurrence est entièrement régie par une règle fondamentale, qui peut être énoncée très simplement :
Toute lecture d’un objet ou d’un ensemble d’objets réalisée à un instant t est reproductible.
Les lectures au sens large sont en quelque sorte gravées dans le marbre dès lors qu’elles ont été effectivement réalisées. En effet, toute écriture réalisée pour un instant t’, ne saurait remettre en cause une tentative à venir de reproduire une lecture déjà réalisée pour un instant t. Ainsi t’ doit être ultérieur à t pour que l’écriture soit validée. Au contraire, si t’ est antérieur à t la suppression échouera car elle remettrait en cause le résultat d’une nouvelle lecture à l’instant t.
