Многие помнят публикацию о «Рэйдикс» на Хабре «Как разработчики сидели в Петербурге и тихо ели грибы», в которой партнеры кратко изложили историю появления нашего продукта. Поэтому в первой статье своего Хаброблога мы бы хотели погрузиться в математические основы технологий RAIDIX.



Image: www.nonotak.com

Дисковый массив


Многие промышленные программно-аппаратные системы (системы управления ресурсами предприятия, оперативного анализа данных, управления цифровым контентом и др.) требуют активного обмена данными между компьютерами и внешними накопителями данных. Быстродействие таких накопителей (жёстких дисков) значительно ниже, чем быстродействие оперативной памяти компьютера (а производительность всей системы, как правило, и упирается в самый «медленный» её компонент). В связи с этим возникает задача увеличения скорости доступа к данным, хранимым на внешних устройствах. Поэтому широкое распространение на практике получили подсистемы хранения данных (СХД), объединяющие несколько независимых дисков в единое логическое устройство.

Для повышения производительности в состав СХД включаются несколько дисковых накопителей с возможностью параллельного чтения и записи информации. В настоящее время активно применяется семейство технологий под общим названием RAID: Redundant Array of Independent/Inexpensive Disks — избыточный массив независимых/недорогих жёстких дисков (Chen, Lee, Gibson, Katz, & Patterson, 1993).

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

Введение избыточных дисков позволяет решить проблему надёжности, но влечёт за собой необходимость выполнять дополнительные действия, связанные с вычислением контрольных сумм при каждом чтении/записи данных с дисков. Производительность этих вычислений, в свою очередь, оказывает существенное влияние на производительность СХД в целом. В целях увеличения производительности RAID-вычислений наиболее востребованной на практике является технология RAID-6, позволяющая восстановить два вышедших из строя диска.

В данном материале приводится обзор семейства технологий RAID и обсуждаются детали реализации RAID-6 алгоритмов на платформе Intel 64. Данная информация доступна в открытых источниках (Anvin, 2009), (Intel, 2012), мы же приводим ее в сжатом, удобочитаемом виде. Кроме того, мы представляем результаты сравнения библиотеки помехоустойчивого кодирования СХД RAIDIX с популярными библиотеками, реализующими похожий функционал: ISA-l (Intel), Jerasure (J. Plank).

Уровни RAID


Вычислительные алгоритмы, которые используются при построении RAID-массивов, появлялись постепенно и впервые были классифицированы в 1993 году в работе Chen, Lee, Gibson, Katz, & Patterson, 1993.

В соответствии с этой классификацией массивом RAID-0 именуется массив независимых дисков, в котором не предпринимаются меры по защите информации от утраты. Преимущество таких массивов по сравнению с одиночным диском состоит в возможности существенного увеличения ёмкости и производительности за счёт организации параллельного обмена данными.

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

Технологии RAID-2 и RAID-3 не получили распространения на практике, и мы опустим их описание.

Технология RAID-4 подразумевает использование одного дополнительного диска, на который записывается сумма (XOR) остальных дисков данных СХД:

$P =\sum_{i=0}^{N-1}D_i \begin{aligned} \qquad где\:N\:–\:количество\:дисков\:с\:данными,\\\:D_i\:–\:содержимое\: i\!-\!го\:диска \end{aligned}\qquad (1)$


Контрольная сумма (или синдром) обновляется при выполнении каждой записи данных на диски СХД. Отметим, что для этого нет необходимости вычислять (1) заново, а достаточно прибавить к синдрому разность старого и нового значения изменяемого диска. В случае выхода из строя одного из дисков уравнение (1) может быть решено относительно появившегося неизвестного, т.е. данные с утраченного диска будут восстановлены.

Очевидно, что операции чтения и записи синдрома происходят чаще, чем операции с любым другим диском данных. Этот диск становится самым загруженным элементом массива, т.е. слабым звеном с точки зрения производительности. Кроме того, он быстрее изнашивается. Для решения этой проблемы была предложена технология RAID-5, в которой для хранения синдромов используются части различных дисков системы (Рис. 1). Таким образом, загрузка дисков операциями чтения и записи выравнивается.



Рис. 1. Отличие технологий RAID-4 и RAID-5

Отметим, что технологии RAID-1 — RAID-5 позволяют восстанавливать данные в случае выхода из строя одного из дисков, но в случае утраты двух дисков эти технологии оказываются бессильны. Конечно, вероятность одновременного выхода из строя двух дисков значительно ниже, чем одного. Однако на практике замена отказавшего диска требует определенного времени, в течение которого данные остаются «беззащитными». Этот интервал может оказаться весьма длительным в случае, если системные администраторы работают в одну смену или система расположена в труднодоступном месте.

С другой стороны, при механической замене диска нельзя исключить возможность человеческой ошибки (замены исправного диска вместо неисправного), в результате которой перед нами вновь встает проблема восстановления двух дисков. Для решения указанных задач была предложена технология RAID-6, ориентированная на восстановление двух дисков. Рассмотрим данный алгоритм более подробно.

Технология RAID-6


Алгоритмы вычислений, используемые при построении СХД по спецификации RAID-6, приведены в (Anvin, 2009). Здесь мы изложим их в форме, удобной для использования в рамках настоящего исследования.

С целью увеличения производительности системы данные, поступающие для записи, обычно накапливаются во внутреннем кэше системы хранения данных и записываются на диски в соответствии с внутренней стратегией кэширования, которая существенно влияет на производительность системы в целом. При этом операции записи выполняются большими блоками данных, которые в дальнейшем будем называть страйпами (stripe).

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

Для повышения производительности СХД страйп записывается и читается параллельно на все диски системы. Для этого он разбивается на блоки одинакового размера, которые будем обозначать $ D_0,D_1,…,D_{N-1}$. Количество блоков N равно количеству дисков данных в массиве. Для обеспечения отказоустойчивости в дисковый массив вводятся два дополнительных диска, которые будем обозначать P и Q. В страйп включим блоки, соответствующие массивам $ D_0,D_1,…,D_{N-1}$, а также дискам P и Q (Рис 2.) В случае выхода из строя одного или двух дисков СХД данные в соответствующих блоках восстанавливаются с использованием синдромов.



Рис. 2. Структура страйпа

Отметим, что в RAID-6 для поддержания равномерной нагрузки дисков, так же, как и в технологии RAID-5, синдромы разных страйпов помещаются на разные физические диски. Впрочем, для нашего исследования этот факт не релевантен. В дальнейшем по умолчанию считаем, что все синдромы хранятся в последних блоках страйпа.

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

$\left\{ \begin{aligned} P & = \sum_{i=0}^{N-1}D_i \\ Q & = \sum_{i=0}^{N-1}q_iD_i \end{aligned} \right. \begin{aligned} \qquad где\:N\:–\:количество\:дисков\:в\:системе,\\D_i\:-\:блок \:данных,\:соответствующий\:i-тому\:диску,\\P,Q\:–\:синдромы,\:q_i\:–\:некоторые\:коэффициенты \end{aligned} \qquad (2)$


Тогда в случае утраты дисков с номерами ? и ? можно составить следующую систему уравнений:

$$display$$\left\{ \begin{aligned} D_? + D_? & = P - \sum{}D_i \\ q_?D_? + q_?D_? & = Q - \sum{}q_iD_i \end{aligned} \right. i??,?; ???$$display$$


Если система однозначно разрешима для любых ? и ?, то в страйпе можно восстановить два любых утраченных блока. Введём следующие обозначения:

$$display$$P_{?,?} = \sum_{i=0\\i??\\???}^{N-1}D_i; \bar{P}_{?,?} = P - P_{?,?}$$display$$


$$display$$Q_{?,?} = \sum_{i=0\\i??\\???}^{N-1}q_iD_i; \bar{Q}_{?,?} = Q - Q_{?,?}$$display$$


Тогда имеем:

$$display$$ \left\{ \begin{aligned} D_? + D_? & = \bar{P}_{?,?} \\ q_?D_? + q_?D_? & = \bar{Q}_{?,?} \end{aligned} \right. \Leftrightarrow \left\{ \begin{aligned} D_? &= \bar{P}_{?,?} - D_? \\ D_? & = \frac {q_?\bar{P}_{?,?} - \bar{Q}_{?,?}}{q_? - q_?} \end{aligned} ,??? \right. \qquad (3)$$display$$


Для однозначной разрешимости (3) необходимо обеспечить, чтобы все $q_?$ и $q_?$ были различны и чтобы их разность была обратима в той алгебраической структуре, в которой производятся вычисления. Если в качестве такой структуры выбрать конечное поле $GF(2^n)$ (поле Галуа), то оба эти условия совпадают при правильном выборе примитивного элемента поля.

Если из двух вышедших из строя дисков один содержал данные, а другой — синдром, то восстановить оба диска можно при помощи уцелевшего синдрома. Не будем подробно рассматривать этот случай — математические основания здесь сходные.

Поскольку на практике количество дисков в массиве не очень велико (редко превышает 100), то для повышения производительности мы можем заранее вычислить всевозможные необходимые константы $inline$(q_?-q_? )^{-1},q_?,$inline$, и использовать их в дальнейшем при вычислениях.

Скорость выполнения вычислений в рассматриваемой задаче критически важна для поддержания общей производительности СХД не только в случае выхода из строя двух дисков, но и в «штатном» режиме, когда все диски работоспособны. Это связано с тем, что страйп разбит на блоки, которые физически располагаются на разных дисках. Для чтения страйпа целиком инициируется операция параллельного чтения блоков со всех дисков системы. Когда все блоки прочитаны, из них собирается страйп, и операция чтения страйпа считается завершенной. При этом время чтения страйпа определяется временем чтения последнего блока.

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

Отметим, что в приведённых рассуждениях для нас важно, что номер отказавшего диска заведомо известен. С практической точки зрения это означает, что факт выхода из строя какого-либо диска обнаруживается системами аппаратного контроля, и нам нет необходимости устанавливать его номер. Задача обнаружения «скрытой» потери данных, т.е. искажения данных на дисках, которые система считает работоспособными, в данном материале нами не рассматривалась.

Стоит отметить, что в используемый выше термин «умножение» мы вкладывал особый смысл, отличный от умножения чисел, к которому мы привыкли со школы. Классическое понимание здесь не применимо, т.к. при перемножении двух чисел размерности n бит в результате мы получим размерность 2$n$ бит. Следовательно, с каждым последующим умножением размер значения контрольный суммы будет увеличиваться, а нам требуется, чтобы размер всех блоков страйпа был одинаковым.

Далее рассмотрим, какие операции используются в практических расчетах, в чем их сложность и как их можно оптимизировать.

Арифметические операции в конечных полях


Для детальной оценки трудоёмкости и снижения сложности вычислений в технологии RAID-6 необходимо более подробно рассмотреть вычисления в конечных полях.

Мы остановимся на полях вида $GF(2^n)$, состоящих из $2^n$ элементов. Следуя (Лидл & Нидеррайтер, 1988), представим элементы поля $GF(2^n)$ как многочлены с двоичными коэффициентами степени не выше $n-1$. Такие многочлены удобно записывать в виде машинных слов разрядности $n$. Будем их записывать в шестнадцатеричной системе счисления, например:

$$display$$x^7+x^5+x^2+1>10100101>A5 \\ x^5+x^3+1>101001>29$$display$$


Известно, что для любого n поле $GF(2^n)$ получается путём факторизации кольца многочленов над GF(2) по модулю неприводимого многочлена степени $n$. Назовем такой многочлен порождающим. Таким образом, сложение в поле $GF(2^n)$ можно выполнять как операцию сложения многочленов, а умножение — как операцию умножения многочленов по модулю порождающего многочлена. Т.е. результат умножения двух многочленов делится на порождающий многочлен и остаток от этого деления и оказывается конечным результатом умножения двух элементов поля $GF(2^n)$.

Обширный список неприводимых многочленов приведён в (Seroussi, 1998). Например, в качестве порождающего многочлена для поля $GF(2^8)$ может быть выбран многочлен 171: $(x^8+x^6+x^5+x^4+1)$.

Операция сложения в $GF(2^8)$ выполняется одинаково и не зависит от выбора порождающего многочлена, поскольку степень суммы не может превышать наибольшую из степеней слагаемых. Например:

$A5+29=8C$


В случае, когда степень порождающего многочлена не превышает разрядности машинного слова, операция сложения элементов поля выполняется за одну машинную команду поразрядного исключающего «или».

Операция умножения выполняется в два этапа: элементы поля умножаются как многочлены, а затем находится остаток от деления этого произведения на порождающий многочлен. Например:

$A5?29=6A(mod 171)$


При этом в пересчёте на элементарные машинные операции необходимо произвести до 2(n-1) сложений в зависимости от значения сомножителей. Именно в этой «зависимости» и состоит существенный резерв повышения производительности вычислений. Например, если выбрать
$q_i=x^{N-i-1}$, то вычисление сумм вида $\sum_{q_i D_i}$ можно производить по схеме Горнера:

$\sum_{i=0}^{N-1}x^{N-i-1}D_i = (((D_0x + D_1)x + D_2)x + ... + D_{N-1})$


т. е. в качестве сомножителя в операции умножения при вычислении синдромов P и Q можно зафиксировать многочлен $x$. Умножение на многочлен $x$ сводится к операции сдвига на один разряд влево и сложения результата с модулем, если при сдвиге произошёл перенос. Например:

$A5?2=3B(mod 171)$


$25?2=4A(mod 171)$


С учётом выбора $q_i=x^{N-i-1}$ формулы (2), (3) могут быть переписаны в следующем виде:

Вычисление синдромов

$\left\{ \begin{aligned} P & = \sum{}D_i = D_0 + D_1 + ... + D_{N-1} \\ Q & = \sum{}x^{N-i-1}D_i = (((D_0x + D_1)x + D_2)x + ... + D_{N-1}) \end{aligned} \right. \qquad (2')$


Восстановление двух утраченных дисков данных

$$display$$\left\{ \begin{aligned} D_? &= \bar{P}_{?,?} - D_? \\ D_? & = \frac {\bar{P}_{?,?} - \bar{Q}_{?,?}x^{?-N+1}}{1 - x^{?-?}} \end{aligned} ,??? \right. \qquad (3')$$display$$


Важно отметить, что при расчете контрольных сумм использовались только операции умножения на $x$ и сложения. А при восстановлении данных к этим операциям также добавилось несколько результатов умножения на константы, которые являются элементами поля. Операцию умножения двух произвольных элементов поля, которыми являются многочлены степени меньше $n$, можно переписать в следующем виде:

$a(x)b(x) = (a_{n-1}x^{n-1} + a_{n-2}x^{n-2} + ... + a_1x + a_0)(b_{n-1}x^{n-1} + b_{n-2}x^{n-2} + ... + b_1x + b_0) \\ = (((b_{n-1}a(x)x + b_{n-1}a(x))x + b_{n-3}a(x))x + ... + b_1a(x)) + b_0a(x)$


Отсюда следует, что и при восстановлении данных нам достаточно уметь складывать и умножать на $x$. Эти операции следует осуществлять с максимальной скоростью.

Векторизация вычислений


Тот факт, что для всех блоков данных и кодовых слов в этих блоках мы выполняем одинаковые действия, позволяет применять различные алгоритмы векторизации вычислений, используя такие расширения процессора Intel, как SSE, AVX, AVX2, AVX512. Суть такого подхода состоит в том, что мы загружаем в специальные векторные регистры процессора сразу несколько кодовых слов. Например, при использовании SSE с размером векторного регистра в 128 бит в одном регистре можно разместить 16 элементов поля $GF(2^8)$. Если же процессор поддерживает AVX512, то 64 элемента.



Рис. 3. Расположения данных в векторных регистрах

Такая идея расположения данных в векторных регистрах при вычислении используется в библиотеках ISA-L (Intel) и Jerasure (James Plank). Эти библиотеки помехоустойчивого кодирования очень популярны благодаря широкому функционалу и серьезным оптимизациям. Умножение элементов поля в этих библиотеках использует инструкцию SHUFFLE и вспомогательные предрассчитанные «таблицы умножения». Более подробное описание библиотек можно найти на сайтах Intel и Jerasure.

Когда речь идет о векторизации вычислений, то основным «искусством» разработчика является размещение данных в регистрах. Именно здесь человек пока побеждает компиляторы.

Одно из основных преимуществ RAIDIX состоит в оригинальном подходе, который позволил увеличить скорость кодирования и декодирования данных более чем в два раза по сравнению с другими, уже «разогнанными» векторизацией, библиотеками. Данный подход в «Рэйдикс» называют «побитовым параллелизмом». У компании, кстати, есть патент на соответствующий метод расчета и реализации алгоритма.

В RAIDIX был применен иной подход к векторизации. Суть подхода следующая: мысленно разместим векторные регистры вертикально; считаем с блоков данных 8 значений, равных размеру регистра; используя SSE, получим 8*16 байт, при AVX – 8*32 байт.



Рис. 4. Вертикальное размещение регистров

В рамках данной концепции мы разместили в регистрах столько элементов поля, сколько бит в одном векторном регистре. Умножение на $x$ всех элементов сразу выполняется за счет трех операций XOR и перестановки (переобозначения) этих 8 регистров. Другими словами, мы можем выполнить умножение сразу 128 или 256 элементов поля на х, используя всего несколько простых инструкций!



Рис. 5. Схема векторного умножения на X

Эта процедура повторяется для каждого умножения на $x$ и используется при умножении на константы. Таком подход позволяет выполнять кодирование и декодирование с высочайшей скоростью.

Мы произвели сравнение алгоритмов RAIDIX с наиболее популярными библиотеками помехоустойчивого кодирования ISA-l и Jerasure. Сравнение касалось только скорости работы алгоритма кодирования или декодирования — без учета получения данных с дисков. Сравнение производилось на системе со следующей конфигурацией:

  • OC: Debian 8
  • CPU: Intel Core i7-2600 3.40GHz
  • RAM: 8GB
  • Компилятор gcc 4.8

На рис. 6 показано сравнение скорости кодирования и декодирования данных в RAID-6 на одно вычислительное ядро. Алгоритм RAIDIX обозначен как “rdx”. Приведено аналогичное сравнение для алгоритмов RAID с тремя контрольными суммами (RAID-7.3).



Рис. 6. Сравнение скорости кодирования и декодирования в RAID 6



Рис. 7. Сравнение скорости кодирования и декодирования в RAID 7.3

В отличие от ISA-L и Jerasure, некоторые части которых реализованы на Ассемблере, библиотека RAIDIX полностью написана на С, что позволяет легко переносить код «Рэйдикс» на новые или «экзотические» типы архитектуры.

Еще раз отметим, что достигнутые цифры относятся к одному ядру. Библиотека прекрасно параллелизуется, и скорость растет почти линейно в многоядерных и многосоккетных системах.

Такая реализация операций кодирования и декодирования позволяет RAID-системам обеспечивать производительность реконструкции и записи/чтения в режиме отказа на уровне нескольких десятков гигабайт в секунду.

Так, в качестве базового типа данных при векторизации, как правило, используется __m128i (SSE) или __m256i (AVX). Поскольку алгоритм использует лишь простые операции XOR, то, заменив базовый тип на __m512i (AVX512), инженеры «Рэйдикс» смогли быстро пересобрать, запустить и протестировать алгоритмы на современных многоядерных процессорах Intel Xeon Phi. С другой стороны, при использовании long long (64 бита, стандартный тип С) в качестве базового типа алгоритмы «Рэйдикс» успешно запускаются на российских процессорах «Эльбрус».

Литература


  1. Anvin, H. P. (21 May 2009 г.). The mathematics of RAID-6. Получено 18 Nov 2009 г., из The Linux Kernel Archives: ftp.kernel.org/pub/linux/kernel/people/hpa/raid6.pdf
  2. Chen, P. M., Lee, E. K., Gibson, G. A., Katz, R. H., & Patterson, D. A. (1993). RAID: High-Performance, Reliable Secondary Storage. Technical Report No. UCB/CSD-93-778. Berkeley: EECS Department, University of California.
  3. Intel. (1996-1999). Iometer User's Guide, Version 2003.12.16. Получено 2012, из Iometer project: iometer.svn.sourceforge.net/viewvc/iometer/trunk/IOmeter/Docs/Iometer.pdf?revision=HEAD
  4. Intel. (2012). The Intel 64 and IA-32 Architectures Software Developer's Manual. Vol 1, 2a, 2b, 2c, 3a, 3b, 3c.
  5. Seroussi, G. (1998). Table of Low-Weight Binary Irreducible Polynomials. Hewlett Packard Computer System Laboratory, HPL-98-135.
Поделиться с друзьями
-->

Комментарии (17)


  1. o_serega
    19.04.2017 16:11
    +1

    Каюсь, не осилил(


  1. Taciturn
    19.04.2017 17:41

    Нет ли у вас планов стать чуть более открытыми? Например сделать публичными хоть какие-то цены на сайте, начать раздавать всем желающим демо-версии (пусть даже ограниченные, например с жёстким лимитом в 5 дисков, чтобы этот ваш RAID 7.3 можно было попробовать).


    1. raidixteam
      19.04.2017 18:23

      Мы и так открыты для предоставлении информации желающим :) просто этот процесс у нас структурирован и упорядочен — вы заполняете форму на сайте, а наш специалист дает на него развернутый ответ.

      п.с. демо-версия предоставляется без лимита по дискам, но с ограничением времени тестирования.


    1. o_serega
      20.04.2017 22:40

      Если цен нет публичных, будь готов отвалить прилично) Вот такой вот стих


  1. sergeysakirkin
    19.04.2017 20:43
    -1

    Наши ТОПы при покупке новых железок очень любят сравнивать две пары цифр
    Gb/$
    IOPS/$
    и стоимость расширения через 2-3 года.
    А как в вашем случаи?


    1. raidixteam
      20.04.2017 10:47
      +1

      Наши ТОПы создавали компанию с целью обеспечения лучшего соотношения этих показателей для российского покупателя.

      п.с. думаю, что нам стоит включить в план еще и коммерческие публикации, а то в теме про математику обсуждать такие вопросы немного неуместно :)


  1. YS1
    20.04.2017 10:27

    Заполняете форму на сайте = отказ в обслуживании :)

    PS. Больше недели ушло чтобы просто узнать уровень цен на Netwrix Auditor.


    1. raidixteam
      20.04.2017 11:32

      Не думаю, что открою для вас Америку, но, все-таки, уточню:

      • Цена в таких продукта определяется спецификацией
      • Спецификацию конструктивнее обсуждать индивидуально
      • Индивидуальное обсуждение реализуется контактной формой

      И это работает :)


      1. YS1
        20.04.2017 12:02
        +1

        Не открыли, но ждать неделю, чтобы узнать, что этот продукт не купить — тоже не вариант.


  1. Automatic
    20.04.2017 10:27

    в чем преимущество RAIDIX с отсутствием открытых цен перед storage spaces direct с ценами открытыми и известными? а цены то примерно одинаковы и то и то работает на стандартных х86 серверах, но в случае с MS можно получить кучу фичерсов полноценной серверной операционной системы.


  1. raidixteam
    20.04.2017 11:55

    Не совсем корректно выполнять сравнение RAID систем от RAIDIX и S2D, которые используются в распределенных и гиперконвергентных инфраструктурах и создавались под разные задачи.

    Но все же, вот основные отличия.
    • RAIDIX создавался для инфраструктур, где требуется «перемалывать» максимальное количество данных за единицу времени и требуется который QoS, имеет классическую архитектуру и может достигать производительности более чем 20 ГБ/с на запись и чтение с избыточностью около 20% и на 2х узлах. При этом производительность в режиме отказов остается примерно такой же.
    • A S2D, судя по отзывам, которые, которые, конечно, нужно проверять, (также как и маркетинговые бумажки про 1,5Tib/s и 60Gb/s, распространяемые партнерами MS), очень плохо себя чувствует, когда используется защита данных с контрольными суммами, а не репликация. А использование репликации сильно меняет экономику хранения.
    • RAIDIX, как классическая хранилка лучше вписывается в имеющиеся инфраструктуры, поддерживает большее количество интерфейсов доступа.
    • S2D, конечно, идеально подходит для HCI на основе технологий MS.

    Продукты слишком разные и создавались под разные задачи.

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

    Мы будем писать про тесты производительности и подходы и, если лицензионная политика MS не запрещает, поделимся результатами.


  1. al_ace
    20.04.2017 18:33

    Как сильно влияет время расчета контрольных сумм на общее время операций чтения и записи, если говорить о «типичной» конфигурации?


    1. raidixteam
      21.04.2017 11:37

      Скорость алгоритма кодирования значительно выше, чем скорость дискового массива или интерконнекта, т.е. время расчета контрольных сумм не является узким местом datapath.


      1. al_ace
        21.04.2017 13:16

        Еще вопрос.
        Обычно raid контроллеры используют полином 0x11D и коэффициенты 1, 2, 4, 8,… для подсчета блока Reed-Solomon. Но есть исключения. Как вы думаете с чем это связано? Другой полином и/или другие коэффициенты могут дать какой-то выигрыш при расчете?


        1. raidixteam
          21.04.2017 15:16
          +1

          Такие полиномы или коэффициенты матриц выбирают чтобы упростить умножения в Полях Галуа при кодировании а так же упростить векторизацию. Например, если посмотрите на нашу схему то увидите что количество XOR для умножения на примитивный элемент (х) равняется количеству ненулевых битов образующего поля многочлена, кроме первого и последнего бита. Мы берем полином f=100011101=0x11d. Его же используют и в интеловской библиотеке, но с другой векторизацией. Есть и другие многочлены, но целесообразно брать те, в которых поменьше единиц — так считаться будет быстрее. Вот тут можно найти список лучших неприводимых многочленов степени до 1000 (www.hpl.hp.com/techreports/98/HPL-98-135.pdf)


  1. Taciturn
    20.04.2017 23:26

    http://www.raidix.ru/files/RAIDIX Инструкция по установке и настройке системы.pdf
    Смотрим на страницу № 10 — «Scientific Linux». Смотритм на строницу № 8:

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

    Как это вообще с GPL сочетается?


  1. raidixteam
    24.04.2017 18:10

    Мы бы хотели призвать читателей придерживаться темы статьи и обсуждать, в первую очередь, математические и технологические вопросы, а не коммерческие или лицензионные :-) На последние мы с удовольствием ответим через запрос на сайте «Рэйдикс».

    По существу вопроса отвечаем: страница Инструкции по установке и настройке системы, которую вы упоминаете, содержит скриншот нашего типового лицензионного соглашения с конечным пользователем. Поскольку ПО RAIDIX является проприетарным, ООО «Рэйдикс» как правообладатель вправе устанавливать ограничения использования ПО, в том числе ограничивать его распространение.