Тема 16. Модель акторів і фреймворк Microsoft Orleans; теорема CAP та відмовостійкість розподілених систем

Мета: ознайомитися з моделлю акторів, віртуальними акторами Orleans, теоремою CAP, моделями узгодженості й методами забезпечення відмовостійкості розподілених систем; навчитися створювати зерна, силоси та клієнти Orleans на .NET 10, зберігати стан зерен у Redis, використовувати таймери, нагадування й потоки; опанувати побудову кластера з кількох силосів, перевірку відновлення після відмови та клієнтські стратегії повторів і запобіжника.

Зміст лекції

1. Модель акторів і проєкт Orleans — Модель акторів · Віртуальні актори Orleans · Проєкт Orleans на .NET 10
2. Виконання та стан зерен — Модель виконання: ходи та реентрантність · Стан зерен і його збереження
3. Таймери, потоки та кластер Orleans — Таймери, нагадування, потоки та моніторинг · Кластер Orleans і відмови силосів
4. CAP, узгодженість і відмовостійкість — Теорема CAP і PACELC · Моделі узгодженості та кворуми · Консенсус: Paxos і Raft · Відмовостійкість розподілених систем
5. Розбори та типові помилки — Приклади архітектур на акторах · Приклади програм · Типові помилки

Практика та контроль

• Практика — 3 розібрані приклади з повним кодом і результатами виконання
• Завдання — 30 варіантів, кожен має завдання трьох рівнів складності
• Підсумки — висновки, питання для самоперевірки та корисні посилання