workshop/agenda-2-day.md at master · exactly-once/workshop · GitHub

Prerequisites

VS 2019 and .net472
Visual Studio Code and TLA+ extension
NServiceBus 7
CosmosDB Emulator

Agenda

Day 1
- Block 1
  - Introduction
  - Why distributed and asynchronous script
  - Intro to the project with Exercise 1
  - Break
- Block 2
  - Sources of duplication script
  - Receiver-side duplication - Exercise 2
  - Sender-side duplication - Exercise 3
  - Simulated duplication - Exercise 4
  - Break
- Block 3
  - DB failure simulation - Exercise 5
  - Broker failure simulation - Exercise 6
  - Partial failures script
  - Follow-up to Exercise 6
  - Lunch Break
- Block 4
  - Messages are delivered in-order script
  - Out of order - Exercise 7
  - Message ID script
  - Id-based deduplication - Exercise 8
  - Break
- Block 5
  - Follow up - Ex 8 - Exercise 8
  - Deterministic ID - Exercise 9
  - Non-deterministic messages - Exercise 10
  - Outbox
Day 2
- Block 1
  - Deterministic message generation - Exercise 11
  - Integration testing messaging systems
  - Predictable integration tests - Exercise
- Block 2
  - Introduction to model-checking with TLA+
  - Model-checking outbox - Exercise
- Block 3
  - Generic Outbox - Exercise 12
  - Inbox - Exercise 13
  - Sync-async boundary
- Block 4
  - Token-based deduplication - Exercise 14
  - Out of document Outbox. Part 1 - Exercise 15
  - Out of document Outbox. Part 2 - Exercise 16
- Block 5