Что означают ядра в процессоре
Что такое центральный процессор?
Наверное, каждый пользователь мало знакомый с компьютером сталкивался с кучей непонятных ему характеристик при выборе центрального процессора: техпроцесс, кэш, сокет; обращался за советом к друзьям и знакомым, компетентным в вопросе компьютерного железа. Давайте разберемся в многообразии всевозможных параметров, потому как процессор – это важнейшая часть вашего ПК, а понимание его характеристик подарит вам уверенность при покупке и дальнейшем использовании.
Центральный процессор
Процессор персонального компьютера представляет собой микросхему, которая отвечает за выполнение любых операций с данными и управляет периферийными устройствами. Он содержится в специальном кремниевом корпусе, называемом кристаллом. Для краткого обозначения используют аббревиатуру — ЦП (центральный процессор) или CPU (от англ. Central Processing Unit – центральное обрабатывающее устройство). На современном рынке компьютерных комплектующих присутствуют две конкурирующие корпорации, Intel и AMD, которые беспрестанно участвуют в гонке за производительность новых процессоров, постоянно совершенствуя технологический процесс.
Техпроцесс
Техпроцесс — это размер, используемый при производстве процессоров. Он определяет величину транзистора, единицей измерения которого является нм (нанометр). Транзисторы, в свою очередь, составляют внутреннюю основу ЦП. Суть заключается в том, что постоянное совершенствование методики изготовления позволяет уменьшать размер этих компонентов. В результате на кристалле процессора их размещается гораздо больше. Это способствует улучшению характеристик CPU, поэтому в его параметрах всегда указывают используемый техпроцесс. Например, Intel Core i5-760 выполнен по техпроцессу 45 нм, а Intel Core i5-2500K по 32 нм, исходя из этой информации, можно судить о том, насколько процессор современен и превосходит по производительности своего предшественника, но при выборе необходимо учитывать и ряд других параметров.
Архитектура
Также процессорам свойственно такая характеристика, как архитектура — набор свойств, присущий целому семейству процессоров, как правило, выпускаемому в течение многих лет. Говоря другими словами, архитектура – это их организация или внутренняя конструкция ЦП.
Количество ядер
Ядро – самый главный элемент центрального процессора. Оно представляет собой часть процессора, способное выполнять один поток команд. Ядра отличаются по размеру кэш памяти, частоте шины, технологии изготовления и т. д. Производители с каждым последующим техпроцессом присваивают им новые имена (к примеру, ядро процессора AMD – Zambezi, а Intel – Lynnfield). С развитием технологий производства процессоров появилась возможность размещать в одном корпусе более одного ядра, что значительно увеличивает производительность CPU и помогает выполнять несколько задач одновременно, а также использовать несколько ядер в работе программ. Многоядерные процессоры смогут быстрее справиться с архивацией, декодированием видео, работой современных видеоигр и т.д. Например, линейки процессоров Core 2 Duo и Core 2 Quad от Intel, в которых используются двухъядерные и четырехъядерные ЦП, соответственно. На данный момент массово доступны процессоры с 2, 3, 4 и 6 ядрами. Их большее количество используется в серверных решениях и не требуется рядовому пользователю ПК.
Частота
Помимо количества ядер на производительность влияет тактовая частота. Значение этой характеристики отражает производительность CPU в количестве тактов (операций) в секунду. Еще одной немаловажной характеристикой является частота шины (FSB – Front Side Bus) демонстрирующая скорость, с которой происходит обмен данных между процессором и периферией компьютера. Тактовая частота пропорциональна частоте шины.
Сокет
Чтобы будущий процессор при апгрейде был совместим с имеющейся материнской платой, необходимо знать его сокет. Сокетом называют разъем, в который устанавливается ЦП на материнскую плату компьютера. Тип сокета характеризуется количеством ножек и производителем процессора. Различные сокеты соответствуют определенным типам CPU, таким образом, каждый разъём допускает установку процессора определённого типа. Компания Intel использует сокет LGA1156, LGA1366 и LGA1155, а AMD — AM2+ и AM3.
Кэш — объем памяти с очень большой скоростью доступа, необходимый для ускорения обращения к данным, постоянно находящимся в памяти с меньшей скоростью доступа (оперативной памяти). При выборе процессора, помните, что увеличение размера кэш-памяти положительно влияет на производительность большинства приложений. Кэш центрального процессора различается тремя уровнями (L1, L2 и L3), располагаясь непосредственно на ядре процессора. В него попадают данные из оперативной памяти для более высокой скорости обработки. Стоит также учесть, что для многоядерных CPU указывается объем кэш-памяти первого уровня для одного ядра. Кэш второго уровня выполняет аналогичные функции, отличаясь более низкой скоростью и большим объемом. Если вы предполагаете использовать процессор для ресурсоемких задач, то модель с большим объемом кэша второго уровня будет предпочтительнее, учитывая что для многоядерных процессоров указывается суммарный объем кэша L2. Кэшем L3 комплектуются самые производительные процессоры, такие как AMD Phenom, AMD Phenom II, Intel Core i3, Intel Core i5, Intel Core i7, Intel Xeon. Кэш третьего уровня наименее быстродействующий, но он может достигать 30 Мб.
Энергопотребление
Энергопотребление процессора тесно связано с технологией его производства. С уменьшением нанометров техпроцесса, увеличением количества транзисторов и повышением тактовой частоты процессоров происходит рост потребления электроэнергии CPU. Например, процессоры линейки Core i7 от Intel требуют до 130 и более ватт. Напряжение подающееся на ядро ярко характеризует энергопотребление процессора. Этот параметр особенно важен при выборе ЦП для использования в качестве мультимедиа центра. В современных моделях процессоров используются различные технологии, которые помогают бороться с излишним энергопотреблением: встраиваемые температурные датчики, системы автоматического контроля напряжения и частоты ядер процессора, энергосберегающие режимы при слабой нагрузке на ЦП.
Дополнительные возможности
Современные процессоры приобрели возможности работы в 2-х и 3-х канальных режимах с оперативной памятью, что значительно сказывается на ее производительности, а также поддерживают больший набор инструкций, поднимающий их функциональность на новый уровень. Графические процессоры обрабатывают видео своими силами, тем самым разгружая ЦП, благодаря технологии DXVA (от англ. DirectX Video Acceleration – ускорение видео компонентом DirectX). Компания Intel использует вышеупомянутую технологию Turbo Boost для динамического изменения тактовой частоты центрального процессора. Технология Speed Step управляет энергопотреблением CPU в зависимости от активности процессора, а Intel Virtualization Technology аппаратно создает виртуальную среду для использования нескольких операционных систем. Также современные процессоры могут делиться на виртуальные ядра с помощью технологии Hyper Threading. Например, двухъядерный процессор способен делить тактовую частоту одного ядра на два, что способствует высокой производительности обработки данных с помощью четырех виртуальных ядер.
Размышляя о конфигурации вашего будущего ПК, не забывайте про видеокарту и ее GPU (от англ. Graphics Processing Unit – графическое обрабатывающее устройство) – процессор вашей видеокарты, который отвечает за рендеринг (арифметические операции с геометрическими, физическими объектами и т.п.). Чем больше частота его ядра и частота памяти, тем меньше будет нагрузки на центральный процессор. Особенное внимание к графическому процессору должны проявить геймеры.
Руководство: сколько ядер нужно процессору в вашем компьютере
Современные процессоры для ПК и ноутбуков имеют как минимум два ядра — одноядерные чипы выпускаются разве что для сверхкомпактных компьютеров, которые управляют всевозможной электроникой и не нуждаются даже в сравнтельно небольшой вычислительной мощности. Какой же процессор выбрать для офисного или домашнего ПК? Сколько ядер хватит для выполнения повседневных задач без заметных замедлений? Что такое Hyper Threading и bottlenecking? Постараемся ответить на все эти вопросы в нашей статье.
Краткие ответы и советы
Если вы подбираете процессор для компьютера, который будет выполнять обычную офисную работу, серфить в интернете и воспроизводить видео, хватит четырехъядерного чипа. Даже самые скромные Intel Core i3 и Ryzen 3 последних поколений — четырехъядерные. Конечно, можно выбрать совсем уж бюджетный Celeron или Athlon — в рамках этих линеек до сих выпускают сверхдешевые CPU, которые подойдут для ПК, исполняющего роль «печатной машинки». Но лучше все-таки обратить внимание на четырехъядерные варианты — с ними точно не будет никаких проблем.
Для домашнего ПК, который используется в том числе и для игр, оптимальный вариант в 2019 году — это шестиядерный процессор. Да, многие четырехъядерные CPU (особенно Core i5 и Core i7 с поддержкой Hyper Threading, о которой поговорим чуть дальше) вполне справятся с большинством современных игр благодаря достаточно высокой тактовой частоте, но лучше сделать хоть какой-то задел на будущее. Ну а восемь ядер — это и вовсе идеальный вариант, который позволит не беспокоиться о замене процессора (и материнской платы — это немаловажно!) еще несколько лет.
Рабочие станции, которые выполняют серьезные вычисления (3D-рендеринг, нейросети, кодирование видео, математика, профессиональная работа с фотографиями и так далее), обычно оснащаются так называемыми HEDT-процессорами (High-end Desktop). Каждое их ядро не так быстро, как ядра топовых процессоров для игровых ПК, но этих ядер обычно больше. Благодаря тому, что практически все профессиональные пакеты ПО отлично справляются с задачей распределения вычислений на процессоре с большим количеством ядер, итоговая производительность в этом случае выше.
В любом случае, при выборе конкретной модели нужно опираться не только на количество ее ядер, но и на результаты независимых тестов производительности — именно в тех задачах, в которых вы будете задействовать свой ПК.
Отдельно нужно рассказать о ноутбуках. Из-за ограничений, которые накладывают компактные корпусы, охладить компоненты которых далеко не так просто, как в полноценных корпусах настольных ПК, их процессоры заметно слабее и часто используют меньше ядер. Двухъядерные Core i3 в бюджетных рабочих лаптопах — это вполне нормально. Впрочем, в этом году в продаже начали появляться очень привлекательные модели с Ryzen, у которых довольно производительных ядер уже как минимум четыре.
Что такое ядро процессора?
Если не вдаваться в технические подробности, то количество ядер процессора означает то, сколько задач он может выполнять одновременно. Одноядерный процессоры, которые использовались много лет назад, для работы с несколькими программами очень быстро переключались между ними, что приводило к серьезным замедлениям.
В 2005 году все изменилось — именно тогда в продаже появились первые двухъядерные CPU AMD Athlon 64 x2 и Intel Pentium D. На протяжении следующих десяти лет эти компании начали выпускать четырех-, шести- и даже восьмиядерные модели. Не так давно AMD представила 24-ядерный Threadripper 3970X, предназначенный для серверов и высокопроизводительных рабочих станций, а в 2020 и вовсе собирается выпустить 64-ядерный CPU — Threadripper 3990WX.
Кстати, в сфере специализированных серверных процессоров уже есть и еще более впечатляющие экземпляры, чем 3970X — например, 32-ядерные AMD Epyc. Впрочем, устанавливать их в обычные ПК никакого смысла нет.
Что ж, прямая зависимость скорости работы профессионального ПО от количества ядер процессора очевидна. А что насчет игр?
Производительность одного и нескольких ядер в играх
Когда самыми распространенными были одноядерные процессоры, игры разрабатывались именно для них — они никак не использовали мощь дополнительных ядер, и покупать многоядерные CPU ради увеличения производительности было незачем. Но эти времена давно в прошлом.
Взрывная популярность двух- и четырехъядерных процессоров позволила разработчикам игр эффективно разделить вычислительные процессы и добиться куда более интересных результатов, чем раньше. Стоит отметить, что очень важную роль в этом процессе сыграли консоли — в 2013 Microsoft и Sony выпустили Xbox One и PlayStation 4, которые используют восьмиядерные чипсеты AMD. Вскоре после этого четырехъядерные процессоры стали «золотым стандартом» на ПК, а топовые восьмиядерные — идеальным выбором геймеров.
Впрочем, мощность каждого из ядер до сих пор остается более важной, чем их количество. Достаточно взглянуть на результаты внутриигровых тестов флагманских Intel Core i9-9900K и AMD Ryzen 9 3950X — хоть у последнего и вдвое больше ядер, первый немного выигрывает за счет их прозводительности.
Таким образом, если вы хотите любой ценой получить самый мощный игровой ПК, в данный момент лучшим выбором является платформа Intel. С другой стороны, AMD предлагает куда более сбалансированные процессоры, которые отлично себя показывают во всех задачах (в играх они уступают совсем немного) и стоят заметно дешевле.
Если же вы хотите собрать не слишком дорогой компьютер, то стоит обратить внимание на шестиядерные CPU — например, Intel Core i5-9600K и AMD Ryzen 5 3600X.
Ну и, конечно, не стоит думать, что четырехъядерные процессоры совсем для игр не годятся — это вполне себе бюджетный вариант, который прослужит еще пару лет. Но и только — не стоит ждать от них хорошей производительности в играх, которые будут выпускать для консолей следующего поколения.
Если же говорить о CPU с восемью ядрами и более, они используются в дорогих ПК, но только в связке с достаточно мощной видеокартой. Нет никакого смысла в сочетании i9-9900K и GeForce GTX 1660 — для него понадобится что-то уровня хотя бы RTX 2070.
Отдельно нужно сказать о стриминге и записи видео во время игр. Если вы хотите заниматься этими вещами и стать новым Shroud или хотя бы Lirik, то в идеале вам понадобится отдельный ПК с мощным восьмиядерным CPU для кодирования видео в реальном времени. Если возможности купить второй дорогой компьютер нет, нужно выбирать CPU с восемью или более ядрами для первого — ему придется одновременно работать и с игрой, и с программой для стриминга / записи, а это необыкновенно сложная комбинация (впрочем, многое зависит от выбранной игры — если она совсем не «прожорлива» по отношению к CPU, может хватить и четырех ядер).
Физические и логические ядра CPU
Стоит поговорить о важном различии между физическими и логическими ядрами. Технологии Intel Hyper-threading и AMD Simultaneous Multithreading позволяют каждому ядру современных процессоров (по крайней мере, более-менее дорогих) одновременно работать с двумя потоками данных. Таким образом, поддержка HT и SMT означает удваивание количества ядер — например, с четырех физических до восьми логических.
Пригодится ли эта функция в играх и «тяжелом» ПО? Ответ однозначен: еще как!
SMT поддерживается большей частью процессоров, которые выпускает AMD — даже недорогими Ryzen 5. В случае с Intel поддержка HT есть только у топовых Core i7 и Core i9.
В 3D-ренедринге, кодировании видео, обработке задач, связанных с нейросетями и так далее дополнительные вычислительные потоки выгодны всегда. В играх они тоже практически всегда дают прирост производительности, но его далеко не во всех случаях можно назвать существенным — все опять-таки зависит от разработчиков и их способностей к оптимизации.
Bottlenecking — «узкое место»
Это очень важный термин, который нужно понимать, если вы хотите собрать сбалансированный ПК для игр. Если говорить кратко, то при неправильном подборе компонентов (в частности, процессора и видеокарты) один из них при полной загрузке будет работать «впустую» — другие просто не будут справляться с потоком готовых данных, которые он посылает дял дальнейшей обработки.
В качестве примера можно привести уже упомянутую выше воображаемую систему с CPU Core i9-9900K и GPU GeForce GTX 1660. Первый будет регулярно «простаивать» из-за того, что GTX 1660 — это среднебюджетная модель, предназначенная для недорогих компьютеров. Таким образом, в этом случае тратить лишние деньги на Core i9 было незачем (отметим, однако, что в большинстве случаев это касается только игр).
Точный совет тут дать сложно, но старайтесь подбирать к бюджетным процессорам бюджетные видеокарты, а к дорогим — дорогие. Скажем, AMD Ryzen 3 и Intel Core i3 хорошо покажут себя в GPU вроде AMD Radeon RX 570 или Nvidia GeForce GTX 1650, Ryzen 5 и Core i5 — с Radeon RX 5700 и RTX 2060, Ryzen 7 и Core i7 — с RTX 2080, а Ryzen 9 и Core i9 — с RTX 2080 Ti, Titan или даже двумя мощными GPU одновременно.
Заключение
Итак, простой и быстрый ответ на вопрос, заданный в заголовке статьи, дать можно, но лучше разобраться в вопросе более внимательно.
Еще несколько лет назад двухъядерные процессоры можно было назвать удовлетворительными, но к 2019 они остались уделом сверхбюджетных офисных ПК. Совсем скоро в таком же положении окажутся четырехъядерные модели без поддержки Hyper-threading и Simultaneous Multithreading.
Если вам нужен недорогой компьютер для обычной офисной работы или игр, выбирайте четыреъядерные CPU. Если хотите оптимальную производительность в играх, остановитесь на какой-нибудь из шестиядерных моделей. Если же нужна высокая производительность (что в играх, что в «тяжелых» пакетах ПО для серьезной работы со сложными вычислениями), покупайте процессор с восемью ядрами или более.
Процессоры, ядра и потоки. Топология систем
В этой статье я попытаюсь описать терминологию, используемую для описания систем, способных исполнять несколько программ параллельно, то есть многоядерных, многопроцессорных, многопоточных. Разные виды параллелизма в ЦПУ IA-32 появлялись в разное время и в несколько непоследовательном порядке. Во всём этом довольно легко запутаться, особенно учитывая, что операционные системы заботливо прячут детали от не слишком искушённых прикладных программ.
Используемая далее терминология используется в документации процессорам Intel. Другие архитектуры могут иметь другие названия для похожих понятий. Там, где они мне известны, я буду их упоминать.
Цель статьи — показать, что при всём многообразии возможных конфигураций многопроцессорных, многоядерных и многопоточных систем для программ, исполняющихся на них, создаются возможности как для абстракции (игнорирования различий), так и для учёта специфики (возможность программно узнать конфигурацию).
Процессор
Конечно же, самый древний, чаще всего используемый и неоднозначный термин — это «процессор».
В современном мире процессор — это то (package), что мы покупаем в красивой Retail коробке или не очень красивом OEM-пакетике. Неделимая сущность, вставляемая в разъём (socket) на материнской плате. Даже если никакого разъёма нет и снять его нельзя, то есть если он намертво припаян, это один чип.
Мобильные системы (телефоны, планшеты, ноутбуки) и большинство десктопов имеют один процессор. Рабочие станции и сервера иногда могут похвастаться двумя или больше процессорами на одной материнской плате.
Поддержка нескольких центральных процессоров в одной системе требует многочисленных изменений в её дизайне. Как минимум, необходимо обеспечить их физическое подключение (предусмотреть несколько сокетов на материнской плате), решить вопросы идентификации процессоров (см. далее в этой статье, а также мою предыдущую заметку), согласования доступов к памяти и доставки прерываний (контроллер прерываний должен уметь маршрутизировать прерывания на несколько процессоров) и, конечно же, поддержки со стороны операционной системы. Я, к сожалению, не смог найти документального упоминания момента создания первой многопроцессорной системы на процессорах Intel, однако Википедия утверждает, что Sequent Computer Systems поставляла их уже в 1987 году, используя процессоры Intel 80386. Широко распространённой поддержка же нескольких чипов в одной системе становится доступной, начиная с Intel® Pentium.
Если процессоров несколько, то каждый из них имеет собственный разъём на плате. У каждого из них при этом имеются полные независимые копии всех ресурсов, таких как регистры, исполняющие устройства, кэши. Делят они общую память — RAM. Память может подключаться к ним различными и довольно нетривиальными способами, но это отдельная история, выходящая за рамки этой статьи. Важно то, что при любом раскладе для исполняемых программ должна создаваться иллюзия однородной общей памяти, доступной со всех входящих в систему процессоров.
К взлёту готов! Intel® Desktop Board D5400XS
Исторически многоядерность в Intel IA-32 появилась позже Intel® HyperThreading, однако в логической иерархии она идёт следующей.
Казалось бы, если в системе больше процессоров, то выше её производительность (на задачах, способных задействовать все ресурсы). Однако, если стоимость коммуникаций между ними слишком велика, то весь выигрыш от параллелизма убивается длительными задержками на передачу общих данных. Именно это наблюдается в многопроцессорных системах — как физически, так и логически они находятся очень далеко друг от друга. Для эффективной коммуникации в таких условиях приходится придумывать специализированные шины, такие как Intel® QuickPath Interconnect. Энергопотребление, размеры и цена конечного решения, конечно, от всего этого не понижаются. На помощь должна прийти высокая интеграция компонент — схемы, исполняющие части параллельной программы, надо подтащить поближе друг к другу, желательно на один кристалл. Другими словами, в одном процессоре следует организовать несколько ядер, во всём идентичных друг другу, но работающих независимо.
Первые многоядерные процессоры IA-32 от Intel были представлены в 2005 году. С тех пор среднее число ядер в серверных, десктопных, а ныне и мобильных платформах неуклонно растёт.
В отличие от двух одноядерных процессоров в одной системе, разделяющих только память, два ядра могут иметь также общие кэши и другие ресурсы, отвечающие за взаимодействие с памятью. Чаще всего кэши первого уровня остаются приватными (у каждого ядра свой), тогда как второй и третий уровень может быть как общим, так и раздельным. Такая организация системы позволяет сократить задержки доставки данных между соседними ядрами, особенно если они работают над общей задачей.
Микроснимок четырёхядерного процессора Intel с кодовым именем Nehalem. Выделены отдельные ядра, общий кэш третьего уровня, а также линки QPI к другим процессорам и общий контроллер памяти.
Гиперпоток
До примерно 2002 года единственный способ получить систему IA-32, способную параллельно исполнять две или более программы, состоял в использовании именно многопроцессорных систем. В Intel® Pentium® 4, а также линейке Xeon с кодовым именем Foster (Netburst) была представлена новая технология — гипертреды или гиперпотоки, — Intel® HyperThreading (далее HT).
Ничто не ново под луной. HT — это частный случай того, что в литературе именуется одновременной многопоточностью (simultaneous multithreading, SMT). В отличие от «настоящих» ядер, являющихся полными и независимыми копиями, в случае HT в одном процессоре дублируется лишь часть внутренних узлов, в первую очередь отвечающих за хранение архитектурного состояния — регистры. Исполнительные же узлы, ответственные за организацию и обработку данных, остаются в единственном числе, и в любой момент времени используются максимум одним из потоков. Как и ядра, гиперпотоки делят между собой кэши, однако начиная с какого уровня — это зависит от конкретной системы.
Я не буду пытаться объяснить все плюсы и минусы дизайнов с SMT вообще и с HT в частности. Интересующийся читатель может найти довольно подробное обсуждение технологии во многих источниках, и, конечно же, в Википедии. Однако отмечу следующий важный момент, объясняющий текущие ограничения на число гиперпотоков в реальной продукции.
Ограничения потоков
В каких случаях наличие «нечестной» многоядерности в виде HT оправдано? Если один поток приложения не в состоянии загрузить все исполняющие узлы внутри ядра, то их можно «одолжить» другому потоку. Это типично для приложений, имеющих «узкое место» не в вычислениях, а при доступе к данным, то есть часто генерирующих промахи кэша и вынужденных ожидать доставку данных из памяти. В это время ядро без HT будет вынуждено простаивать. Наличие же HT позволяет быстро переключить свободные исполняющие узлы к другому архитектурному состоянию (т.к. оно как раз дублируется) и исполнять его инструкции. Это — частный случай приёма под названием latency hiding, когда одна длительная операция, в течение которой полезные ресурсы простаивают, маскируется параллельным выполнением других задач. Если приложение уже имеет высокую степень утилизации ресурсов ядра, наличие гиперпотоков не позволит получить ускорение — здесь нужны «честные» ядра.
Типичные сценарии работы десктопных и серверных приложений, рассчитанных на машинные архитектуры общего назначения, имеют потенциал к параллелизму, реализуемому с помощью HT. Однако этот потенциал быстро «расходуется». Возможно, по этой причине почти на всех процессорах IA-32 число аппаратных гиперпотоков не превышает двух. На типичных сценариях выигрыш от использования трёх и более гиперпотоков был бы невелик, а вот проигрыш в размере кристалла, его энергопотреблении и стоимости значителен.
Другая ситуация наблюдается на типичных задачах, выполняемых на видеоускорителях. Поэтому для этих архитектур характерно использование техники SMT с бóльшим числом потоков. Так как сопроцессоры Intel® Xeon Phi (представленные в 2010 году) идеологически и генеалогически довольно близки к видеокартам, на них может быть четыре гиперпотока на каждом ядре — уникальная для IA-32 конфигурация.
Логический процессор
Из трёх описанных «уровней» параллелизма (процессоры, ядра, гиперпотоки) в конкретной системе могут отсутствовать некоторые или даже все. На это влияют настройки BIOS (многоядерность и многопоточность отключаются независимо), особенности микроархитектуры (например, HT отсутствовал в Intel® Core™ Duo, но был возвращён с выпуском Nehalem) и события при работе системы (многопроцессорные сервера могут выключать отказавшие процессоры в случае обнаружения неисправностей и продолжать «лететь» на оставшихся). Каким образом этот многоуровневый зоопарк параллелизма виден операционной системе и, в конечном счёте, прикладным приложениям?
Далее для удобства обозначим количества процессоров, ядер и потоков в некоторой системе тройкой (x, y, z), где x — это число процессоров, y — число ядер в каждом процессоре, а z — число гиперпотоков в каждом ядре. Далее я буду называть эту тройку топологией — устоявшийся термин, мало что имеющий с разделом математики. Произведение p = xyz определяет число сущностей, именуемых логическими процессорами системы. Оно определяет полное число независимых контекстов прикладных процессов в системе с общей памятью, исполняющихся параллельно, которые операционная система вынуждена учитывать. Я говорю «вынуждена», потому что она не может управлять порядком исполнения двух процессов, находящихся на различных логических процессорах. Это относится в том числе к гиперпотокам: хотя они и работают «последовательно» на одном ядре, конкретный порядок диктуется аппаратурой и недоступен для наблюдения или управления программам.
Чаще всего операционная система прячет от конечных приложений особенности физической топологии системы, на которой она запущена. Например, три следующие топологии: (2, 1, 1), (1, 2, 1) и (1, 1, 2) — ОС будет представлять в виде двух логических процессоров, хотя первая из них имеет два процессора, вторая — два ядра, а третья — всего лишь два потока.
Windows Task Manager показывает 8 логических процессоров; но сколько это в процессорах, ядрах и гиперпотоках?
Linux top показывает 4 логических процессора.
Это довольно удобно для создателей прикладных приложений — им не приходится иметь дело с зачастую несущественными для них особенностями аппаратуры.
Программное определение топологии
Конечно, абстрагирование топологии в единственное число логических процессоров в ряде случаев создаёт достаточно оснований для путаницы и недоразумений (в жарких Интернет-спорах). Вычислительные приложения, желающие выжать из железа максимум производительности, требуют детального контроля над тем, где будут размещены их потоки: поближе друг к другу на соседних гиперпотоках или же наоборот, подальше на разных процессорах. Скорость коммуникаций между логическими процессорами в составе одного ядра или процессора значительно выше, чем скорость передачи данных между процессорами. Возможность неоднородности в организации оперативной памяти также усложняет картину.
Информация о топологии системы в целом, а также положении каждого логического процессора в IA-32 доступна с помощью инструкции CPUID. С момента появления первых многопроцессорных систем схема идентификации логических процессоров несколько раз расширялась. К настоящему моменту её части содержатся в листах 1, 4 и 11 CPUID. Какой из листов следует смотреть, можно определить из следующей блок-схемы, взятой из статьи [2]:
Я не буду здесь утомлять всеми подробностями отдельных частей этого алгоритма. Если возникнет интерес, то этому можно посвятить следующую часть этой статьи. Отошлю интересующегося читателя к [2], в которой этот вопрос разбирается максимально подробно. Здесь же я сначала кратко опишу, что такое APIC и как он связан с топологией. Затем рассмотрим работу с листом 0xB (одиннадцать в десятичном счислении), который на настоящий момент является последним словом в «апикостроении».
APIC ID
В настоящий момент ширина числа, хранящегося в APIC ID, достигла полных 32 бит, хотя в прошлом оно было ограничено 16, а ещё раньше — только 8 битами. Нынче остатки старых дней раскиданы по всему CPUID, однако в CPUID.0xB.EDX[31:0] возвращаются все 32 бита APIC ID. На каждом логическом процессоре, независимо исполняющем инструкцию CPUID, возвращаться будет своё значение.
Выяснение родственных связей
Значение APIC ID само по себе ничего не говорит о топологии. Чтобы узнать, какие два логических процессора находятся внутри одного физического (т.е. являются «братьями» гипертредами), какие два — внутри одного процессора, а какие оказались и вовсе в разных процессорах, надо сравнить их значения APIC ID. В зависимости от степени родства некоторые их биты будут совпадать. Эта информация содержится в подлистьях CPUID.0xB, которые кодируются с помощью операнда в ECX. Каждый из них описывает положение битового поля одного из уровней топологии в EAX[5:0] (точнее, число бит, которые нужно сдвинуть в APIC ID вправо, чтобы убрать нижние уровни топологии), а также тип этого уровня — гиперпоток, ядро или процессор, — в ECX[15:8].
У логических процессоров, находящихся внутри одного ядра, будут совпадать все биты APIC ID, кроме принадлежащих полю SMT. Для логических процессоров, находящихся в одном процессоре, — все биты, кроме полей Core и SMT. Поскольку число подлистов у CPUID.0xB может расти, данная схема позволит поддержать описание топологий и с бóльшим числом уровней, если в будущем возникнет необходимость. Более того, можно будет ввести промежуточные уровни между уже существующими.
Важное следствие из организации данной схемы заключается в том, что в наборе всех APIC ID всех логических процессоров системы могут быть «дыры», т.е. они не будут идти последовательно. Например, во многоядерном процессоре с выключенным HT все APIC ID могут оказаться чётными, так как младший бит, отвечающий за кодирование номера гиперпотока, будет всегда нулевым.
Отмечу, что CPUID.0xB — не единственный источник информации о логических процессорах, доступный операционной системе. Список всех процессоров, доступный ей, вместе с их значениями APIC ID, кодируется в таблице MADT ACPI [3, 4].
Операционные системы и топология
Операционные системы предоставляют информацию о топологии логических процессоров приложениям с помощью своих собственных интерфейсов.
В FreeBSD топология сообщается через механизм sysctl в переменной kern.sched.topology_spec в виде XML:
В MS Windows 8 сведения о топологии можно увидеть в диспетчере задач Task Manager.
Также их предоставляет консольная утилита Sysinternals Coreinfo и API вызов GetLogicalProcessorInformation.
Полная картина
Проиллюстрирую ещё раз отношения между понятиями «процессор», «ядро», «гиперпоток» и «логический процессор» на нескольких примерах.
Система (2, 2, 2)
Система (2, 4, 1)
Система (4, 1, 1)
Прочие вопросы
В этот раздел я вынес некоторые курьёзы, возникающие из-за многоуровневой организации логических процессоров.
Как я уже упоминал, кэши в процессоре тоже образуют иерархию, и она довольно сильно связано с топологией ядер, однако не определяется ей однозначно. Для определения того, какие кэши для каких логических процессоров общие, а какие нет, используется вывод CPUID.4 и её подлистов.
Лицензирование
Некоторые программные продукты поставляются числом лицензий, определяемых количеством процессоров в системе, на которой они будут использоваться. Другие — числом ядер в системе. Наконец, для определения числа лицензий число процессоров может умножаться на дробный «core factor», зависящий от типа процессора!
Виртуализация
Системы виртуализации, способные моделировать многоядерные системы, могут назначить виртуальным процессорам внутри машины произвольную топологию, не совпадающую с конфигурацией реальной аппаратуры. Так, внутри хозяйской системы (1, 2, 2) некоторые известные системы виртуализации по умолчанию выносят все логические процессоры на верхний уровень, т.е. создают конфигурацию (4, 1, 1). В сочетании с особенностями лицензирования, зависящими от топологии, это может порождать забавные эффекты.