- first-service (Javalin, Exposed)
- generates a correlation id
- inserts a row to
First
table - calls second-service
- fails and rollbacks with low probability
- second-service (Micronaut)
- inserts a row to
Second
table - fails and rollbacks with low probability
- inserts a row to
- third-service (Quarkus)
Invariant condition: Tables First
, Second
and Third
have the same number of corresponding
rows.