Les applications serverless sont construites à l'aide de frameworks asynchrones basés sur des messages qui permettent aux utilisateurs de composer de manière abstraite des fonctions dans le cloud. Ces fonctions serverless stockent leurs états dans une base de données distribuée.
Ce scénario architectural courant est fragile, car les garanties de cohérence des données pour la composition des messages et de la couche de base de données ne sont pas bien définies. Cela peut entraîner des incohérences, des pannes et des pertes de données. Les approches existantes sont ad hoc et ne garantissent pas la cohérence.
En nous basant sur un modèle bien connu basé sur les messages (acteurs) et un modèle à état (mémoire partagée transactionnelle), nous proposons un modèle de communication unifié, appelé Transactional Turn Causal Consistency (TTCC). TTCC est asynchrone et préserve l'isolation en interne et garantit que les messages et la vue de la mémoire sont mutuellement cohérents.