Искусство многопроцессорного программирования

Книга «Искусство многопроцессорного программирования» является классическим и фундаментальным трудом в области параллельного и конкурентного программирования. Второе издание обновлено с учётом современных архитектур и практик. Авторы, признанные эксперты в области, представляют глубокое и систематическое изложение принципов проектирования корректных, эффективных и масштабируемых параллельных алгоритмов и структур данных.

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

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

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