Многопоточное программирование (Евгений Кирпичёв на ADD-2010)

Короткая ссылка: 125-MultiThread-Programming-add-2010

Ссылки сюда (3) →

Аннотация

Евгений Кирпичёв из компании Grid Dynamics поделился своими знаниями, опытом и мыслями о многопоточном и распределенном программировании:

• Корректность: Формальные методы (и хорошо забытая, но очень полезная "линейная темпоральная логика"), а также несколько паттернов, помогающих порою резко упростить разработку и повысить корректность многопоточных и распределенных систем.
• Cutting-edge технологии: Что интересного и революционного есть в некоторых современных функциональных языках (Haskell, Erlang, Clojure, F#), и что уже стало или вот-вот станет мейнстримом.

Видео

Видео в HD-качестве, смотрите в полноэкранном режиме.

HTML-код включения <iframe src="http://player.vimeo.com/video/18091813?byline=0&portrait=0" width="720" height="405" frameborder="0"></iframe>

Презентация

Примечания

• страничка доклада на сайте конференции

---

Внимание! Данная статья выбрана для репликации во внешнюю базу знаний компании. Пожалуйста, не допускайте в этой статье публикацию конфиденциальной информации, ведения обсуждений в теле статьи, и более ответственно относитесь к качеству самой статьи — проверяйте орфографию, пишите по-русски, избегайте непроверенной вами информации.