Quali requisiti sono richiesti alle transazioni nel contesto dello sviluppo software?

Le transazioni devono soddisfare le proprietà ACID:

• Atomicità: La transazione deve essere completata interamente o annullata completamente. Se una parte della transazione fallisce, l’intera transazione viene annullata al suo stato originale.
• Consistenza: La transazione porta il database da uno stato consistente a un altro. Non deve violare l’integrità dei dati o le regole di vincolo.
• Isolamento: Le transazioni eseguite in parallelo non devono influenzarsi a vicenda. Il risultato di più transazioni dovrebbe essere lo stesso che se fossero state eseguite in sequenza. I problemi di isolamento includono:
  • Lettura sporca: Lettura di dati che non sono ancora stati confermati (committed) da un’altra transazione.
  • Lettura non ripetibile: Leggere gli stessi dati più volte all’interno di una stessa transazione e ottenere valori diversi perché un’altra transazione li ha modificati e confermati nel frattempo.
  • Lettura fantasma: Quando si riesegue una query con condizione all’interno di una stessa transazione, si ottiene un insieme diverso di righe perché un’altra transazione ha aggiunto o rimosso righe che soddisfano la condizione.
• Durabilità: Dopo che una transazione è stata completata con successo (confermata), le modifiche da essa apportate devono essere permanenti e resistere ai guasti del sistema (ad esempio, interruzioni di corrente).

In Java, per gestire le transazioni, si utilizzano spesso framework come Spring Framework con la sua gestione dichiarativa delle transazioni (@Transactional) o Java Transaction API (JTA).

Esempio di utilizzo di @Transactional:

@Transactional  
public void processOrder(Order order) {  
    // Logica di elaborazione dell’ordine  
    // Ad esempio, addebito di fondi sul conto  
    accountService.debit(order.getCustomerId(), order.getAmount());  

    // Aggiornamento dello stato dell’ordine  
    orderRepository.updateStatus(order.getId(), "Processed");  

    // In caso di errore (ad esempio, fondi insufficienti)  
    // l’intera transazione verrà automaticamente annullata,  
    // a meno che non venga specificato diversamente (@Transactional(noRollbackFor = ...))  
}