WikiDer > Параллельный массив

Parallel array

В вычисление, группа параллельные массивы (также известный как структура массивов или SoA) представляет собой форму неявная структура данных который использует несколько массивы представлять особый массив записи. Он держит отдельный, однородные данные массив для каждого поля записи, каждое из которых имеет одинаковое количество элементов. Тогда объекты, расположенные в одном и том же индексе в каждом массиве, неявно являются полями одной записи. Указатели от одного объекта к другому заменяются индексами массива. Это контрастирует с обычным подходом к хранению всех полей каждой записи вместе в памяти (также известной как массив структур или AoS). Например, можно объявить массив из 100 имен, каждое из которых является строкой, и 100 возрастов, каждое из которых является целым числом, связав каждое имя с возрастом, имеющим тот же индекс.

Примеры

Пример в C с использованием параллельных массивов:

int  возраст[]   = {0,          17,        2,          52,         25};char *имена[] = {"Никто",     "Майк",    "Билли",    "Том",      "Стэн"};int  родитель[] = {0 /*Никто*/, 3 /*Том*/, 1 /*Майк*/, 0 /*Никто*/, 3 /*Том*/};за (я = 1; я <= 4; я++) {    printf("Имя:% s, Возраст:% d, Родитель:% s  п",           имена[я], возраст[я], имена[родитель[я]]);}

в Perl (с использованием хэша массивов для хранения ссылок на каждый массив):

мой %данные = (    имя   => ['Джо',  'Боб',  'Откровенный',  'Ганс'    ],    фамилия    => ['Смит','Сегер','Синатра','Шульце'],    height_in_cm => [169,     158,    201,      199      ]);за $ i (0..$#{$ данные{имя}}) {    printf "Имя:% s% s  n", $ данные{имя}[$ i], $ данные{фамилия}[$ i];    printf "Высота в см:% i  n", $ данные{height_in_cm}[$ i];}

Или в Python:

first_names   = ["Джо",  "Боб",  "Откровенный",  "Ганс"    ]фамилии    = ["Смит",«Сегер»,«Синатра»,"Шульце"]heights_in_cm = [169,     158,    201,      199      ]за я в классифицировать(len(first_names)):    Распечатать("Имя: % s% s" % (first_names[я], фамилии[я]))    Распечатать("Высота в см: % s" % heights_in_cm[я])# Используя zip:за имя, фамилия, height_in_cm в застегивать(first_names, фамилии, heights_in_cm):    Распечатать(ж"Имя: {имя}{фамилия}")    Распечатать(ж"Высота в см: {height_in_cm}")

За и против

Параллельные массивы имеют ряд практических преимуществ перед обычным подходом:

  • Их можно использовать на языках, которые поддерживают только массивы примитивных типов, но не записей (или, возможно, не поддерживают записи вообще).[пример необходим]
  • Параллельные массивы просты для понимания, особенно для новичков, которые могут не полностью понимать записи.
  • В некоторых случаях они могут сэкономить значительное количество места, избегая проблем с выравниванием. Например, некоторые архитектуры работают лучше всего, если 4-байтовые целые числа всегда хранятся, начиная с ячеек памяти, кратных 4. Если предыдущее поле было однобайтным, 3 байта могут быть потрачены впустую. Многие современные компиляторы могут автоматически избегать таких проблем, хотя в прошлом некоторые программисты явно объявляли поля в порядке уменьшения ограничений выравнивания.
  • Если количество элементов невелико, индексы массива могут занимать значительно меньше места, чем полные указатели, особенно на некоторых архитектурах.
  • Последовательное изучение одного поля каждой записи в массиве очень быстро на современных машинах, так как это равносильно линейному обходу одного массива, демонстрируя идеальный местонахождение ссылки и поведение кеша.
  • Они могут обеспечить эффективную обработку с Инструкции SIMD в определенных архитектуры наборов команд

Некоторые из этих преимуществ сильно зависят от конкретного языка программирования и используемой реализации.

Однако у параллельных массивов также есть несколько сильных недостатков, которые объясняют, почему они обычно не являются предпочтительными:

  • У них значительно хуже местонахождение ссылки при непоследовательном посещении записей и проверке нескольких полей каждой записи, поскольку различные массивы могут храниться произвольно далеко друг от друга.
  • Они скрывают связь между полями одной записи (например, никакая информация о типе не связывает индекс между ними, индекс может использоваться ошибочно).
  • У них мало прямой поддержки языка (язык и его синтаксис обычно не выражают взаимосвязи между массивами в параллельном массиве и не могут обнаруживать ошибки).
  • Поскольку набор полей не является чем-то особенным, его передача утомительна и подвержена ошибкам. Например, вместо того, чтобы вызывать функцию для выполнения каких-либо действий с одной записью (или структурой, или объектом), функция должна принимать поля как отдельные аргументы. Когда новое поле добавляется или изменяется, многие списки параметров должны измениться, а передача объектов целиком позволит полностью избежать таких изменений.
  • Их увеличивать или уменьшать дорого, поскольку необходимо перераспределить каждый из нескольких массивов. Многоуровневые массивы могут решить эту проблему, но влияют на производительность из-за дополнительного косвенного обращения, необходимого для поиска нужных элементов.
  • Возможно, что хуже всего, они значительно повышают вероятность ошибок. Любая вставка, удаление или перемещение всегда должны применяться согласованно ко всем массивам, иначе массивы больше не будут синхронизироваться друг с другом, что приведет к странным результатам.

В некоторых случаях плохая локальность ссылки может быть уменьшена: если структура может быть разделена на группы полей, к которым обычно осуществляется совместный доступ, для каждой группы может быть построен массив, а его элементы представляют собой записи, содержащие только эти подмножества более крупной структуры. поля. (видеть ориентированный на данные дизайн). Это ценный способ ускорить доступ к очень большим структурам с большим количеством элементов, сохраняя при этом части структуры связанными вместе. Альтернативой связыванию их вместе с использованием индексов массива является использование Рекомендации чтобы связать части вместе, но это может быть менее эффективным во времени и пространстве.

Другой альтернативой является использование одного массива, где каждая запись представляет собой структуру записи. Многие языки предоставляют способ объявлять фактические записи и их массивы. На других языках это можно смоделировать, объявив массив размером n * m, где m - размер всех полей вместе, упаковав поля в то, что фактически является записью, даже если в конкретном языке отсутствует прямая поддержка для записи. Немного оптимизация компилятора, особенно для векторные процессоры, могут выполнять это преобразование автоматически при создании в программе массивов структур.[нужна цитата]

Смотрите также

Рекомендации

  • Томас Х. Кормен, Чарльз Э. Лейзерсон, Рональд Л. Ривест, и Клиффорд Штайн. Введение в алгоритмы, Второе издание. MIT Press и McGraw-Hill, 2001. ISBN 0-262-03293-7. Страница 209 раздела 10.3: Реализация указателей и объектов.
  • Скит, Джон (3 июня 2014 г.). «Антипаттерн: параллельные коллекции». Получено 28 октября 2014.