# SYD - Amphis

[Slides SFR](https://moodle.insa-lyon.fr/pluginfile.php/177826/mod_resource/content/1/1-SID-Introduction.pdf)

[Slides DRE](https://cours.reimert.fr/syd.html#/2/1)

###### tags : `SYD` `Amphi`

Panne initiale : panne à priori (capteur défaillant avant installation par exemple)

Panne franche : machine qui s'arrête

## Modèle du système dépendant
La fonction n'est pas adapté aux systèmes distribués (en tant que terme technique)
--> On remplace par **transaction (Tx)**

**Transaction** -> Atomique, Cohérente, Isolable, Durable (ACID) / peut être validée (commit) ou annulée (abort)

**Moniteur Transactionnel (TPMonitor)** :
- Actions unitaires entrelaçables, réordonnables
- Protocole de validation en 2 phases