Вводный рассказ про то, как с течением времени развивались принципы и примитивы многопоточной разработки. Октябрь 2012, Mainstreamless, Новосибирск

1. Caesar++
Как сделать много вещей
сразу и хорошо

2. Caesar++
На самом деле, такого языка нет.
И он, вообще говоря, не нужен.
И вообще, половина
существующих языков не нужна.

3. Caesar++
Объяснять что-то без примеров —
зло, гори в аду.
Привязывать все примеры к
одному языку — зло, гори в аду.

4. Caesar++
Для фундаментальных вещей лучше
применять абстракции и
метафоры.
Примеры на модельном языке
хороши тем, что не зажимают нас
ограничениями платформы.

5. Лихие 80-е
Ассемблер.
Ассемблер-light (C, C++).
Прерывания.

6. Прерывания
irrue 21h!
Все, никто никуда не
идет, обрабатываем
прерывание.
Вышли — продолжаем
там, где прервались.

7. Лихие 90-е
Переключение контекста.
Сохраняем все регистры
Кэш и прочий трэш (TLB,
конвейер) — горят в аду.

8. Переключение контекста
trcdCntxtm!
И так каждый раз,
когда управление
переходит к другому
потоку.

9. Переключение контекста
Это жутко дорого.
Все оптимизации идут лесом.
Предсказания переходов? Длинный
конвейер процессора? Горите в аду!

10. Многозадачность
Много процессоров или
ядер — вот тут-то и
начинается
многозадачность.
Каждый делает свое и
по какому-то протоколу
они общаются.

11. Многозадачность для бедных
Невытесняющая
Кооперативная
Вытесняющая

12. Событийно-ориентированное
программирование
Почти во всех интерактивных
системах.
Подписываемся на сообщения, они
к нам приходят и мы их
обрабатываем.
Ай какие мы молодцы!!!

13. Ай какие мы молодцы!!!

14. Событийно-ориентированное
программирование
Кнопкама нажаль
Прерывание прилетель
Виндосама труба шаталь, окно
нашель, сообщение в очередь
записаль
Мажильбе!!! onClick!

15. Событийно-ориентированное
программирование
Весь процесс работы программы
— вытягивание из очереди
сообщений и обработка их.
Закончились (пришло сообщение о
завершении работы) — все, никто
никуда не идет.

16. Событийно-ориентированное
программирование
Можем обрабатывать синхронно и
асинхронно.
В синхронном случае того, кто
отослал сообщение не отпускает,
пока его не обработают
В асинхронном он узнает косвенно
(коллбеки, арргх)

17. Акторы
Все есть акторы.
Акторы — те же объекты, только
акторы.
Акторы слушают сообщения.
Акторы отправляют сообщения.
Акторы создают акторов.

18. Как же мне это слово за
один слайд надоело…

19. Акторы
Все взаимодействия — через
асинхронные сообщения.
Актор знает только тех, кого
создал сам или тех, кто ему что-то
прислал.

20. Акторы
Scenicus==>litera
Scenicus(litera) <
делаем что-то, радоваемся
>

21. Fork-join
Ближе для
императивных
языков.
Нафоркали
независимых
вычислителей, ждем,
пока все не
закончатся (в
случайном порядке).

22. Коммуникация потоков
Сообщения
Отослали и не волнуемся
Куча копирований, плодим данные, все
тупит.
Разделяемая память
Все ок, в одном экземпляре.
Синхронизация, мьютексы, боль,
унижения, жизнь ужасна.

23. Разделение контекста
Или один общий контекст в рамках
процесса.
Или все данные, что мы можем узнать о
другом потоке/вычислителе/акторе —
предоставляются им самим абсолютно
добровольно по какому-то протоколу.

24. На этом моменте муза
меня покинула…

25. Дальше слайдов не
будет…

26. Дальше
содержательных
слайдов не будет…

27. Спасибо за внимание