Как блоки / деформации / потоки CUDA отображаются на ядра CUDA?


147

Я использую CUDA несколько недель, но у меня есть некоторые сомнения по поводу распределения блоков / деформаций / потоков. Я изучаю архитектуру с дидактической точки зрения (университетский проект), поэтому достижение максимальной производительности - не моя забота.

Прежде всего, я хотел бы понять, правильно ли я понял эти факты:

  1. Программист пишет ядро ​​и организует его выполнение в виде сетки блоков потоков.

  2. Каждый блок закреплен за потоковым мультипроцессором (SM). После назначения он не может перейти на другой SM.

  3. Каждый SM разбивает свои блоки на Warps (в настоящее время максимальный размер 32 потока). Все потоки в основе выполняются одновременно на ресурсах SM.

  4. Фактическое выполнение потока выполняется ядрами CUDA, содержащимися в SM. Нет никакого конкретного сопоставления между потоками и ядрами.

  5. Если деформация содержит 20 потоков, но в настоящее время доступно только 16 ядер, деформация не будет выполняться.

  6. С другой стороны, если блок содержит 48 потоков, он будет разделен на 2 деформации, и они будут выполняться параллельно при условии, что доступно достаточно памяти.

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

Они правы?

Теперь у меня есть GeForce 560 Ti, поэтому, согласно спецификациям, он оснащен 8 SM, каждый из которых содержит 48 ядер CUDA (всего 384 ядра).

Моя цель - убедиться, что каждое ядро ​​архитектуры выполняет ОДИНАКОВЫЕ инструкции. Предполагая, что моему коду не потребуется больше регистров, чем доступно в каждом SM, я придумал разные подходы:

  1. Я создаю 8 блоков по 48 потоков в каждом, так что каждому SM нужно выполнить 1 блок. В этом случае будут ли 48 потоков выполняться в SM параллельно (используя все 48 ядер, доступных для них)?

  2. Есть ли разница, если я запускаю 64 блока по 6 потоков? (Предполагая, что они будут равномерно отображены среди SM)

  3. Если я «погружаю» графический процессор в запланированную работу (например, создавая 1024 блока по 1024 потока в каждом), можно ли предположить, что все ядра будут использоваться в определенный момент и будут выполнять одни и те же вычисления (при условии, что потоки никогда не глохнет)?

  4. Есть ли способ проверить эти ситуации с помощью профилировщика?

  5. Есть ли ссылка на этот материал? Я прочитал Руководство по программированию CUDA и главы, посвященные архитектуре оборудования, в статьях «Программирование массивно-параллельных процессоров» и «Проектирование и разработка приложений CUDA»; но я не мог получить точного ответа.


Я хотел бы добавить в качестве комментария, что такое «ядро CUDA». «Ядро CUDA» или «Блок выполнения» - это полностью конвейерный целочисленный ALU и FPU, который выполняет одну инструкцию арифметической инструкции за такт в одном потоке cuda.
bruziuz

Ответы:


126

Две из лучших ссылок:

  1. Технический документ по вычислительной архитектуре NVIDIA Fermi
  2. GF104 Обзоры

Постараюсь ответить на каждый ваш вопрос.

Программист делит работу на потоки, потоки на блоки потоков и блоки потоков на сетки. Распределитель вычислительной работы выделяет блоки потоков для потоковых мультипроцессоров (SM). Как только блок потока распределяется по SM, ресурсы для блока потока выделяются (деформации и общая память), и потоки делятся на группы по 32 потока, называемые деформациями. Как только варп выделен, он называется активным варпом. Два планировщика деформации выбирают две активные деформации за цикл и отправляют деформации исполнительным единицам. Подробнее о исполнительных единицах и отправке инструкций см. 1 стр.7-10 и 2 .

4 ' . Существует соответствие между laneid (индекс потоков в основе) и ядром.

5 ' . Если деформация содержит менее 32 потоков, она в большинстве случаев будет выполняться так же, как если бы в ней было 32 потока. Деформации могут иметь менее 32 активных потоков по нескольким причинам: количество потоков в блоке не делится на 32, программа выполняет расходящийся блок, поэтому потоки, которые не прошли текущий путь, помечаются как неактивные, или поток в деформации завершился.

6 ' . Блок потока будет разделен на WarpsPerBlock = (ThreadsPerBlock + WarpSize - 1) / WarpSize Планировщикам деформации не требуется выбирать две деформации из одного блока потока.

7 ' . Исполнительный модуль не останавливается на операции с памятью. Если ресурс недоступен, когда инструкция готова к отправке, инструкция будет отправлена ​​снова в будущем, когда ресурс станет доступен. Деформации могут останавливаться у барьеров, операций с памятью, операций с текстурами, зависимостей данных и т. Д. Застрявшая деформация не может быть выбрана планировщиком деформации. На Fermi полезно иметь не менее 2 подходящих перекосов за цикл, чтобы планировщик перекосов мог выдать команду.

См. Ссылку 2, чтобы узнать о различиях между GTX480 и GTX560.

Если вы прочитаете справочный материал (несколько минут), я думаю, вы обнаружите, что ваша цель не имеет смысла. Я постараюсь ответить на ваши вопросы.

1 ' . Если вы запустите ядро ​​<<< 8, 48 >>>, вы получите 8 блоков по 2 основы по 32 и 16 потоков. Нет гарантии, что эти 8 блоков будут назначены разным SM. Если SM выделены 2 блока, то возможно, что каждый планировщик деформации может выбрать деформацию и выполнить деформацию. Вы будете использовать только 32 из 48 ядер.

2 ' . Существует большая разница между 8 блоками по 48 потоков и 64 блоками по 6 потоков. Предположим, у вашего ядра нет расхождений, и каждый поток выполняет 10 инструкций.

  • 8 блоков с 48 потоками = 16 основ * 10 инструкций = 160 инструкций
  • 64 блока с 6 потоками = 64 деформации * 10 инструкций = 640 инструкций

Для достижения оптимальной эффективности разделение работы должно быть кратным 32 потокам. Аппаратные средства не будут объединять нити с разных основ.

3 ' . GTX560 может иметь 8 блоков SM * 8 = 64 блока за раз или 8 блоков SM * 48 = 512 деформаций, если ядро ​​не исчерпывает максимум регистров или разделяемой памяти. В любой момент времени часть работы будет активна на SM. Каждый SM имеет несколько исполнительных блоков (больше, чем ядер CUDA). Какие ресурсы используются в любой момент времени, зависит от планировщиков деформации и набора команд приложения. Если вы не выполняете операции TEX, модули TEX будут бездействовать. Если вы не выполните специальную операцию с плавающей запятой, блоки SUFU будут бездействовать.

4 ' . Параллельный Nsight и шоу Visual Profiler

а. выполнен IPC

б. выдал МПК

c. активных деформаций за активный цикл

d. подходящие варпы за активный цикл (только Nsight)

е. Причины срыва варпа (только Nsight)

f. активных потоков на выполненную инструкцию

Профилировщик не показывает процент использования любого из исполнительных модулей. Для GTX560 приблизительная оценка будет выдана IPC / MaxIPC. Для MaxIPC предположим, что GF100 (GTX480) - 2, GF10x (GTX560) - 4, но цель - 3 - лучшая цель.


1
Спасибо за ваш ответ. Я прочитал ссылки, но есть несколько вещей, которых я не понимаю в вашем ответе. В следующих вопросах я предполагаю, что мы используем архитектуру Fermi с 48 ядрами (16 ядер * 3 «основные группы»): 1. Вы упомянули отображение между ядрами и laneid. Что это за маппинг? 2. Из справок я понял, что каждая «основная группа» выполняет не более полу-деформации (16 потоков) за такт. Таким образом, теоретически, если у нас есть 48 потоков в одном блоке, они будут организованы в 3 полуворпуса и будут выполняться параллельно на 48 ядрах. Я прав?
Дедал

1
Ядра CUDA - это количество единиц FP с одинарной точностью. Думать о выполнении в терминах ядер CUDA неверно. Каждая основа имеет 32 нити. Эти потоки будут переданы группе исполнительных модулей (например, 16 ядер cuda). Для выдачи всем 48 ядрам за один такт одному из двух планировщиков деформации необходимо выбрать деформацию, отвечающую требованию суперскалярной пары, и обе инструкции должны иметь тип, выполняемый ядрами CUDA. Кроме того, другой планировщик деформации должен выбрать деформацию, следующая инструкция которой будет выполняться ядрами CUDA.
Грег Смит

1
Не требуется, чтобы деформации были в одном блоке или чтобы деформации в блоке имели один и тот же программный счетчик.
Грег Смит

3
В вашем примере каждый планировщик выбирает деформацию и выдает 1 инструкцию. В этом случае будут использоваться только 2 группы исполнительных единиц. Чтобы использовать больше исполнительных модулей, 1 из планировщиков должен выполнять двойную задачу. Как указано в справочных материалах, существует несколько типов исполнительных модулей (а не только то, что придумано ядрами cuda), и существуют правила объединения команд (не очень хорошо документированные), которые должны соблюдаться для того, чтобы планировщики выполняли двойную задачу.
Грег Смит

1
@GregSmith Я ищу по всему Интернету, чтобы узнать, откуда берутся эти 8 активных блоков на SM в архитектуре Fermi. Об этом даже не упоминается в техническом описании Fermi. У вас есть еще какие-нибудь упоминания об этом?
Greg K.

8

«E. Если варп содержит 20 потоков, но в настоящее время доступно только 16 ядер, варп не будет запущен».

это неверно. Вы сбиваете с толку ядра в их обычном смысле (также используемом в процессорах) - количество «мультипроцессоров» в графическом процессоре с ядрами в маркетинговом выражении nVIDIA («наша карта имеет тысячи ядер CUDA»).

Сама деформация может быть запланирована только на одном ядре (= мультипроцессоре) и может одновременно запускать до 32 потоков; он не может использовать более одного ядра.

Число «48 деформаций» - это максимальное количество активных деформаций (деформаций, которые могут быть выбраны для планирования работы в следующем цикле в любом заданном цикле) на мультипроцессор на графических процессорах NVIDIA с вычислительными возможностями 2.x; и это число соответствует 1536 = 48 x 32 потока.

Ответ на основе этого вебинара


@GregSmith: Отредактировал ответ, чтобы решить эту проблему. Хорошо, что вы были терпеливы, но - прошло пять лет ...
einpoklum

одноядерный (= многопроцессорный)? Я думаю, что вопрос предполагает терминологию одноядерный = процессор, а не многопроцессорность. С вашей терминологией ваш ответ правильный.
Адарш
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.