Seven Concurrency Models in Seven Weeks (functional programming)

[malor]

1. Мотивація

• проблема: shared mutable state (функціональне програмування пропонує immutable; модель акторів пропонує не мати доступ до даних із різних потоків)
• приклади:
  • прихований стан: SimpleDataFormat в Java
  • стан, що "втікає" за межі критичної секції: повернення ітератора
• функціональне програмування:
  • декларативність
  • незмінність даних
  • чисті функції
  • функції вищих порядків

2. Функціональне програмування:

• Clojure (функціональний LISP, JVM, динамічна типізація, не обов'язково чисті функції)
• Як щось змінити, коли немає змінних? Приклад із обчисленням суми за допомогою рекурсії
• Приклад із параллелізмом за допомогою fold
• Приклад із рахуванням слів
  • "ліниві" послідовності
  • map/filter/reduce
  • асоціативні масиви

3. Функціональний параллелізм:
   • продовження прикладу
   • pmap
   • reducers і fold
     • зручність обробки даних за допомогою map/filter/reduce
     • проблема із послідовним reduce
     • проблема із лінивими послідовностями (sequences)
   • коли треба використовувати який із цих методів
     • "гранулярність" параллелізму
     • ліниві обчислення
4. Конкуретність:

• Прозорість посилань (referential transparency)
• futures
• promises
• приклад із web-сервісом для перекладів

5. Підсумки