Многопоточное программирование — теория и практика

Многоядерные процессоры используются во всех серверах, рабочих станциях и мобильных устройствах. Написание многопоточных программ необходимо для обеспечения вертикальной масштабируемости, но, в отличие от однопоточных программ, их намного сложней отладить и протестировать, чтобы убедиться в корректности. Важно понимать какие именно гарантии дают те или иные конструкции языка и библиотеки при их многопоточном исполнении и какие подводные камни могут нарушить корректность кода. Доклад будет содержать краткое введение в теорию многопоточного программирования. Мы рассмотрим теоретические модели, которые используются для описания поведения многопоточных программ. Будут рассмотрены понятия последовательной согласованности и линеаризуемости (с примерами) и объяснено зачем это все-нужно программисту-практику. Будет показано как эти понятия применяются в модели памяти Java с примерами кода приводящего к неожиданным результатам с точки зрения человека, который с ней не знаком.

Роман Елизаров, Devexperts

Роман Елизаров занимается профессиональной разработкой программного обеспечения для биржевой и брокерской деятельности более 15 лет. В роли технического директора в компании Devexperts, участвует в разработке торговых платформ и терминалов для ведущих брокеров мира. Будучи экспертом по высокопроизводительной обработке и распространению больших объемов данных и по вопросам оптимизации производительности на современных архитектурах, Роман регулярно выступает с соответствующими докладами на различных конференциях. Является экспертом по платформе Java. В 2000 году Роман с отличием закончил СПбГУ ИТМО, где в настоящее время преподает курс параллельного и распределенного программирования. Во время учебы в университете участвовал в международных командных соревнованиях студентов по программированию ACM ICPC в составе команды ИТМО. С 1997 года и по настоящее время является председателем жюри соревнований Северо-восточного Европейского Региона (NEERC) ACM.