Quelles exigences sont imposées aux transactions dans le contexte du développement logiciel?

Les transactions doivent satisfaire aux propriétés ACID:

• Atomicité: La transaction doit être entièrement réalisée ou annulée en totalité. Si une partie de la transaction échoue, toute la transaction est annulée et revient à son état initial.
• Cohérence: La transaction doit faire passer la base de données d’un état cohérent à un autre. Elle ne doit pas violer l’intégrité des données ou les règles de contrainte.
• Isolation: Les transactions exécutées simultanément ne doivent pas s’influencer mutuellement. Le résultat de plusieurs transactions doit être le même que si elles avaient été exécutées séquentiellement. Les problèmes d’isolation incluent:
  • Lecture sale: Lecture de données qui n’ont pas encore été validées (commit) par une autre transaction.
  • Lecture non répétable: Lire plusieurs fois les mêmes données dans une même transaction et obtenir des valeurs différentes parce qu’une autre transaction les a modifiées et validées entre-temps.
  • Lecture fantôme: Lors de la réexécution d’une requête avec une condition dans une même transaction, un ensemble différent de lignes est renvoyé parce qu’une autre transaction a ajouté ou supprimé des lignes correspondant à la condition.
• Durabilité: Après qu’une transaction a été complétée avec succès (validée), les modifications qu’elle a apportées doivent être permanentes et résister aux défaillances du système (par exemple, coupure de courant).

En Java, pour gérer les transactions, on utilise souvent des frameworks comme Spring Framework avec sa gestion déclarative des transactions (@Transactional) ou Java Transaction API (JTA).

Exemple d’utilisation de @Transactional:

@Transactional  
public void processOrder(Order order) {  
    // Logique de traitement de la commande  
    // Par exemple, débit de fonds du compte  
    accountService.debit(order.getCustomerId(), order.getAmount());  

    // Mise à jour du statut de la commande  
    orderRepository.updateStatus(order.getId(), "Processed");  

    // En cas d’erreur (par exemple, fonds insuffisants)  
    // toute la transaction sera automatiquement annulée,  
    // sauf indication contraire (@Transactional(noRollbackFor = ...))  
}