(не показано 13 промежуточных версий 2 участников)
Строка 1:
Строка 1:
−
== Аннотация ==
+
== Аннотация ==
+
[[Категория:Евгений Кирпичёв]]
<blockquote>
<blockquote>
−
[http://antilamer.moikrug.ru/ Евгений Кирпичёв] из компании <tt>Grid Dynamics</tt> поделился своими знаниями, опытом и мыслями о многопоточном и распределенном программировании:
+
[[:Категория:Евгений Кирпичёв|Евгений Кирпичёв]] из компании <tt>Grid Dynamics</tt> поделился своими знаниями, опытом и мыслями о многопоточном и распределенном программировании:
* Корректность: Формальные методы (и хорошо забытая, но очень полезная "линейная темпоральная логика"), а также несколько паттернов, помогающих порою резко упростить разработку и повысить корректность многопоточных и распределенных систем.
* Корректность: Формальные методы (и хорошо забытая, но очень полезная "линейная темпоральная логика"), а также несколько паттернов, помогающих порою резко упростить разработку и повысить корректность многопоточных и распределенных систем.
Строка 11:
Строка 12:
{{vimeoembed|18091813|720|405}}
{{vimeoembed|18091813|720|405}}
−
+
{{ActualBanner2}}
== Подкаст ==
== Подкаст ==
Строка 17:
Строка 18:
== Презентация ==
== Презентация ==
−
[[Файл:Многопоточное программирование (Евгений Кирпичёв на ADD-2010).pdf|center|640px]]
+
[[Файл:Многопоточное программирование (Евгений Кирпичёв на ADD-2010).pdf|left|page=-12|300px]]
−
== Стенограмма ==
+
<!-- == Стенограмма ==
<blockquote>
<blockquote>
Стенограмму по видеозаписи записал [[User:StasFomin|Стас Фомин]].
Стенограмму по видеозаписи записал [[User:StasFomin|Стас Фомин]].
−
</blockquote>
+
</blockquote> -->
== Примечания ==
== Примечания ==
* [http://addconf.ru/event.sdf/ru/add_2010/authors/141/177 страничка доклада на сайте конференции]
* [http://addconf.ru/event.sdf/ru/add_2010/authors/141/177 страничка доклада на сайте конференции]
+
* [http://www.lektorium.tv/speaker/?id=2843 Лекции Евгения по ФП, параллельному программированию и всему такому]
Евгений Кирпичёв из компании Grid Dynamics поделился своими знаниями, опытом и мыслями о многопоточном и распределенном программировании:
Корректность: Формальные методы (и хорошо забытая, но очень полезная "линейная темпоральная логика"), а также несколько паттернов, помогающих порою резко упростить разработку и повысить корректность многопоточных и распределенных систем.
Cutting-edge технологии: Что интересного и революционного есть в некоторых современных функциональных языках (Haskell, Erlang, Clojure, F#), и что уже стало или вот-вот станет мейнстримом.
Многопоточное программирование (Евгений Кирпичёв на ADD-2010)
Был интересный доклад в формате лекции, что мне сильно понравилось.
Гораздо лучше меня рассказал про структуру Крипке, темпоральные логики. Рассказал про LTL-логику и пример нескольких утверждений. К сожалению, дал неправильные данные, о сложности верификации LTL-логики, мне даже пришлось поправить:). К сожалению, на определениях все и закончилось. Рассказал про Spin и Java PathFinder. Последняя утилита вроде находит по java-программе все dead-lock-и.
Далее рассказывал, как небольшими изменениями в дизайне можно снизить сложность многопоточного ПО. Я и так, практически, всех шаблонов придерживался интуитивно. Что запомнилось:
Если надо организовать отправку писем — сделайте абстрактную многопоточную очередь, и используйте ее. Ровно так месяца три назад я и сделал.
Можно использовать догоняющую стратегию, сделав инфраструктуру для исполнения догоняющих заданий. Это наши Job-ы.
Были антипатерны, такие, что в жизни я их не встречал. Вообще, я согласен, что большая часть сложности многопоточных программ очень сильно снижается правильной организацией системы.
Было что-то про векторизацию. Интересный факт — набор ассоциативных операций можно векторизовать, точнее не сам набор операций (с этим все понятно), а последовательный возрастающий фрагменты вычислений (лениво расписывать). Так самая быстрая сортировки — векторный radix-sort. Было очень интересно, но докладчик не стал углубляться, и опять остановился на уровне определений. Еще код в Хаскеле тоже местами векторизуется.
Что-то про функциональное программирование. Там с параллелизмом все круто — ну мы и не сомневались особо. Рассказывал про STM (Software transaction memory). Это дается бесплатно в ФП, но в обычных языках практически невозможно.
Мне понравилось, что доклад был в стиле лекции. Но не хватало полноценных разборов алгоритмов, оценок, доказательств, ну хоть на пальцах.
Любые правки этой статьи будут перезаписаны при следующем сеансе репликации. Если у вас есть серьезное замечание по тексту статьи, запишите его в раздел «discussion».