Дедлоки в корпоративных системах: источники, влияние, управление
День 1 / 17:00 / Зал 5 / Язык: RUЦель доклада: поделиться практическими примерами борьбы с дедлоками в корпоративных системах, ориентированных на многопользовательское обслуживание в режиме 24x7.
Проблема: многокомпонентная корпоративная система подвержена возникновению дедлоков больше, чем отдельное приложение. Рекомендации, которые работают для отдельных приложений, не всегда применимы к корпоративным системам. Поэтому полное предотвращение дедлоков становится невозможным даже при идеальном следовании рекомендациям.
Решение: обсудим, как выявлять возникающие дедлоки, как минимизировать их последствия и предотвращать возникновение аварий. На примерах из практики создания систем 24x7 для телекоммуникаций и финансовой сферы.
Содержание:
- Синхронизация в Java: источники дедлоков. Типы дедлоков: рекурсивные, взаимные, кольцевые.
- Базовые правила избежания дедлока.
- Почему дедлоков нельзя избежать в корпоративных приложениях: разнообразие ресурсов, использование внешнего кода, динамические сценарии.
- Избежание дедлоков через уменьшение использования эксклюзивных блокировок.
- Обнаружение дедлока в корпоративных приложениях: тестовые запросы, счетчики, тактовые сигналы.
- Тестирование приложений для выявления дедлоков: динамические и стохастические сценарии.
- Выводы. Практические примеры из систем массового обслуживания в телекоммуникациях и финансовых приложениях с SLA 24x7, с нагрузкой в тысячи запросов в секунду.
Святослав Штумпф, Crossover (GFI)
В ИТ 20 лет. Основная специализация — системы массового обслуживания и самообслуживания. Технологическая основа — Java-стек. В профессиональном опыте — разработка и проектирование решений, управление проектами и командами разработки, комплексный анализ «бизнес+техника». Работал в разных парадигмах и процессах разработки, от классического водопада советской школы до современных гибких подходов. В настоящее время управляет коллективами разработчиков в сверх-распределенной модели, методология разработки основана на детальном анализе эффективности производственной цепочки. Второе направление работы — применение математического моделирования и программных систем в развитии лазерных технологий, исследовании взаимодействия предельно коротких лазерных импульсов с оптическими волокнами. В настоящее время трудится в GFI Software (системы безопасности, корпоративные приложения). Научная работа — в Университете ИТМО, Санкт-Петербург.