Building Parallel, Embedded, and Real-Time Applications with Ada

Building Parallel, Embedded, and Real-Time Applications with Ada — это учебник, написанный Джоном У. Маккормиком, Франком Сингхоффом и Жеромом Югом и изданный Cambridge University Press в 2011 году. Книга предназначена для студентов и программистов, знакомых с последовательным программированием, и помогает им освоить параллельные, встраиваемые, реального времени и распределённые вычисления.

Основное внимание уделяется языку Ada как инструменту для разработки надёжных систем, однако книга не ограничивается синтаксисом: она охватывает теоретические основы анализа планирования реального времени, что делает её полезной для практических приложений. Авторы — признанные преподаватели, поэтому материал подан на уровне, подходящем для бакалавров и начинающих магистрантов.

Книга начинается с введения в параллельное, распределённое и реального времени программирование, затем следует подробное изложение последовательного программирования на Ada, включая типы, исключения, объектно-ориентированное и низкоуровневое программирование. Далее рассматриваются задачи (tasks), их жизненный цикл, иерархии и реализация.

Значительная часть посвящена коммуникации и синхронизации на основе разделяемых объектов, защищённым объектам и механизмам взаимного исключения. Завершают книгу темы, связанные с распределёнными системами и анализом планирования реального времени. Книга содержит множество законченных примеров, которые читатели могут собирать, модифицировать и запускать.

Издание будет полезно как учебное пособие по параллельному и встраиваемому программированию, а также как справочник для разработчиков, использующих Ada в ответственных системах, таких как аэрокосмическая отрасль.