Параллельное программирование многопоточных систем с разделяемой памятью: учебное пособие для вузов
Тормасов А. Г.
Предлагаемая книга не является заменой существующим учебникам по традиционному параллельному программированию и ориентирована больше на практический подход — как собственно в программировании, так и в требуемых математических основах, которым в книге уделяется значительное внимание. Обсуждаются вопросы основ аппаратного и программного обеспечения, связанных с работой параллельных программ на разделяемой памяти, методики организации корректного выполнения параллельных программ с точки зрения высоко- и низкоуровневых примитивов синхронизации аппаратной платформы. Вводятся формальные понятия, необходимые для математического описания проблем; рассматривается математическая задача о консенсусе в системах со сбоями. На конкретных примерах проводится обзор методов и подходов (неблокирующие алгоритмы, алгоритмы с быстрым и медленным путями исполнений и др.), рассматриваются практические алгоритмы из таких систем, как ядро ОС Linux. Представлены методики доказательства корректности неблокирующих алгоритмов и использования конечных автоматов для их описания. Также приводятся разработанные автором методики статического анализа исходного кода программ на наличие условий неразрешенных гонок, обусловленных аппаратными особенностями современных вычислительных систем, учитывающих наличие трансляции исходного кода с языков высокого уровня в инструкции целевой аппаратной платформы.
- Издательство:
- Физматкнига
- УДК:
- 004.272
- Год издания:
- 2014
- Количество страниц:
- 208
- ISBN:
- 978-5-89155-235-7