Персональные инструменты
 

Многопоточное программирование (Евгений Кирпичёв на ADD-2010) — различия между версиями

Материал из CustisWiki

Перейти к: навигация, поиск
м (Аннотация)
Строка 1: Строка 1:
 
== Аннотация ==
 
== Аннотация ==
 +
[[Категория:Евгений Кирпичёв]]
 
<blockquote>
 
<blockquote>
[http://antilamer.moikrug.ru/ Евгений Кирпичёв] из компании <tt>Grid Dynamics</tt> поделился своими знаниями, опытом и мыслями о многопоточном и распределенном программировании:
+
[[:Категория:Евгений Кирпичёв|Евгений Кирпичёв]] из компании <tt>Grid Dynamics</tt> поделился своими знаниями, опытом и мыслями о многопоточном и распределенном программировании:
  
 
* Корректность: Формальные методы (и хорошо забытая, но очень полезная "линейная темпоральная логика"), а также несколько паттернов, помогающих порою резко упростить разработку и повысить корректность многопоточных и распределенных систем.
 
* Корректность: Формальные методы (и хорошо забытая, но очень полезная "линейная темпоральная логика"), а также несколько паттернов, помогающих порою резко упростить разработку и повысить корректность многопоточных и распределенных систем.
Строка 31: Строка 32:
 
{{replicate-from-custiswiki-to-lib}}
 
{{replicate-from-custiswiki-to-lib}}
 
[[Категория:ADD-2010]]
 
[[Категория:ADD-2010]]
[[Категория: Программирование (доклады)]]
+
[[Категория: Параллельное программирование (доклады)]]

Версия 22:15, 18 октября 2011

Аннотация

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

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

Видео


Подкаст

Презентация

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


Примечания



Любые правки этой статьи будут перезаписаны при следующем сеансе репликации. Если у вас есть серьезное замечание по тексту статьи, запишите его в раздел «discussion».

Репликация: База Знаний «Заказных Информ Систем» → «Многопоточное программирование (Евгений Кирпичёв на ADD-2010)»