E95 – Розбираємо "7 Concurrency Models in 7 Weeks": відокремлення стану від ідентичності

[malor]

1. Знову про проблему: shared mutable state

• Рішення від функціональних мов програмування: позбавитися змін
• Не усі програми можна написати на основі чистих функції
• Рішення від Clojure: відокремлити стан від ідентичності (сутності?)

2. Що робити зі змінами?

• Усе незмінювані значення, навіть композитні типи як структурі і колекції
• Функції працюють зі значеннями і повертають нові значення
• Ефективні зміни за допомогою перситетних структур даних
• Приклад зі зв'язним списком і персистетним вектором

3. Атоми.

• Синхронні зміни однієї сутності
• Приклад із філософами

4. Агенти.

• Асинхронні зміни однієї сутності

5. STM.
   • Синхронні зміни багатьох сутностей
   • Приклад із філософами
6. Висновки.