Симметричная многопроцессорность

Симметричная многопроцессорность (SMP, от англ. Symmetric Multi-Processing) — это архитектура многопроцессорных вычислительных систем, в которой два или более идентичных процессора имеют равный доступ к общей оперативной памяти и всем устройствам ввода-вывода. В такой системе все процессоры работают под управлением единой копии операционной системы и могут выполнять любые задачи, включая системные и пользовательские процессы, без выделения какого-либо процессора в качестве главного. Ключевым свойством SMP является однородность доступа к памяти (UMA, Uniform Memory Access), при котором время доступа к любой ячейке памяти одинаково для всех процессоров.

История

Первые коммерческие SMP-системы появились в конце 1980-х — начале 1990-х годов. Одним из пионеров стала компания Sequent Computer Systems, выпустившая в 1987 году систему Balance 21000, работавшую под управлением модифицированной версии UNIX. В 1990 году компания Intel представила спецификацию Multiprocessor Specification (MPS) для x86-архитектуры, что стандартизировало построение SMP-систем на базе процессоров Intel 486 и Pentium. В 1990-е годы SMP стала доминирующей архитектурой для серверов среднего и высокого уровня, а также для рабочих станций. С развитием многоядерных процессоров в начале 2000-х годов принципы SMP были перенесены на уровень одного кристалла: многоядерные процессоры, по сути, являются SMP-системами на кристалле (CMP, Chip Multi-Processor).

Архитектура и принцип работы

Аппаратная реализация

Основой SMP-системы является общая системная шина (или коммутатор), к которой подключены все процессоры, контроллер памяти и контроллеры ввода-вывода. Каждый процессор имеет собственную кэш-память (L1, L2, иногда L3), но разделяет общую оперативную память. Для обеспечения согласованности кэшей (cache coherence) применяются протоколы когерентности, наиболее распространённым из которых является протокол MESI (Modified, Exclusive, Shared, Invalid). Этот протокол отслеживает состояние строк кэша и предотвращает ситуации, когда разные процессоры видят разные значения одной и той же ячейки памяти.

Программная поддержка

Операционная система, работающая на SMP-системе, должна быть многопроцессорной (многозадачной). Она использует механизмы синхронизации (семафоры, мьютексы, спин-блокировки) для координации доступа к разделяемым ресурсам. Планировщик операционной системы распределяет потоки (threads) и процессы между доступными процессорами, стремясь к равномерной загрузке. Приложения могут быть написаны с использованием многопоточности (например, через POSIX Threads или OpenMP) для параллельного выполнения вычислений на нескольких процессорах.

Классификация

SMP относится к классу систем с общей памятью (shared memory systems). В более широкой классификации параллельных вычислительных систем (таксономия Флинна) SMP-системы обычно соответствуют модели MIMD (Multiple Instruction, Multiple Data) — множественный поток команд, множественный поток данных. Внутри класса MIMD SMP является подклассом систем с симметричным доступом к памяти.

Преимущества и недостатки

Преимущества

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

Недостатки

• Ограниченная масштабируемость: из-за конкуренции за общую шину и память производительность растёт нелинейно. При увеличении числа процессоров свыше 8–16 (в зависимости от реализации) накладные расходы на когерентность кэша и синхронизацию начинают снижать эффективность.
• Узкое место памяти: общая оперативная память и шина становятся критическим ресурсом. При большом числе процессоров пропускная способность памяти может оказаться недостаточной.
• Сложность аппаратной реализации: поддержка когерентности кэша требует сложных и дорогих схем, особенно при большом количестве процессоров.
• Отказоустойчивость: сбой одного процессора или его кэша может привести к нестабильной работе всей системы, так как все процессоры разделяют общее состояние.

Применение

SMP-системы широко применяются в следующих областях:

• Серверы баз данных: системы управления базами данных (СУБД), такие как Oracle, PostgreSQL, MySQL, эффективно используют SMP для обработки множества параллельных запросов.
• Веб-серверы и серверы приложений: обработка большого числа одновременных соединений (например, Apache, Nginx, Tomcat).
• Научные и инженерные расчёты: задачи, требующие интенсивных вычислений, такие как моделирование, обработка изображений, численное моделирование (с использованием библиотек, поддерживающих многопоточность, например, Intel MKL).
• Рабочие станции для CAD/CAM и видеомонтажа: приложения, интенсивно использующие многопоточность для рендеринга, симуляции и обработки медиа.
• Виртуализация: гипервизоры (например, VMware ESXi, KVM, Hyper-V) распределяют виртуальные машины между процессорами SMP-системы.

Эволюция и современное состояние

С начала 2000-х годов SMP-архитектура в чистом виде (с отдельными процессорами на общей шине) уступила место более сложным иерархическим архитектурам, таким как NUMA (Non-Uniform Memory Access), где время доступа к памяти зависит от расположения процессора и памяти. Однако принципы SMP остаются основой для многоядерных процессоров, где ядра на одном кристалле обмениваются данными через общую кэш-память и когерентную шину. Современные процессоры (например, Intel Core i9, AMD Ryzen) содержат до 16 и более ядер, каждое из которых может выполнять два потока (Hyper-Threading), что фактически представляет собой SMP-систему на кристалле. Для серверов и высокопроизводительных вычислений используются системы с десятками и сотнями ядер, объединённых в NUMA-кластеры, но на уровне отдельного узла (сокета) сохраняется SMP-подобная организация.

Критика

Основная критика SMP-архитектуры связана с её ограниченной масштабируемостью. Закон Амдала утверждает, что ускорение от распараллеливания ограничено долей последовательных вычислений в программе. В SMP-системах к этому добавляются аппаратные ограничения — конкуренция за шину и память. Для задач с высокой степенью параллелизма и низкой связностью (например, некоторые виды научных расчётов) SMP может быть эффективна, но для задач с интенсивным обменом данными между потоками (например, обработка графов) производительность может падать при увеличении числа процессоров. Кроме того, сложность написания корректных многопоточных программ (гонки данных, взаимные блокировки) является серьёзным вызовом для разработчиков.

Источники

• Hennessy, J. L., & Patterson, D. A. (2011). Computer Architecture: A Quantitative Approach (5th ed.). Morgan Kaufmann.
• Tanenbaum, A. S., & Bos, H. (2015). Modern Operating Systems (4th ed.). Pearson.
• Intel Corporation. (1995). Multiprocessor Specification Version 1.4.
• Culler, D. E., Singh, J. P., & Gupta, A. (1999). Parallel Computer Architecture: A Hardware/Software Approach. Morgan Kaufmann.
• Stallings, W. (2017). Operating Systems: Internals and Design Principles (9th ed.). Pearson.