Concurrent, Parallel and Distributed Computing

Эта книга представляет собой фундаментальное руководство по современным парадигмам вычислений, выходящим за рамки последовательного выполнения. Она подробно исследует три ключевые концепции: конкурентные, параллельные и распределённые вычисления.

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

Книга также прослеживает эволюцию этих подходов, исследуя их историческое развитие и современное состояние. В ней рассматриваются ключевые элементы построения таких систем, включая модели, абстракции и примитивы синхронизации. Особое внимание уделяется важным свойствам, таким как линейность (линеаризуемость) в конкурентных системах, композиция сложных систем и гарантии прогресса.

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