Способ организации умножения чисел с плавающей запятой, представленных в системе остаточных классов

Изобретение относится к вычислительной технике и предназначено для построения быстродействующих параллельно-конвейерных умножителей. Техническим результатом является повышение скорости вычисления. Способ содержит этапы: осуществляют параллельную запись остатка по основанию p₁ множимого в элементы памяти, параллельно выполняют подсчет количества единиц b_i в каждом столбце i-ой матрицы, сдвигают двоичное число b₁ на один разряд вправо, суммируют с числом b₂, полученную сумму $$b_2^s$$ сдвигают на один разряд вправо и суммируют с числом b₃. Аналогичным образом осуществляют сдвиг полученных сумм и суммирование их с последующими числами до получения суммы $$b_{2*m-1}^s$$ , при этом младший разряд числа b₁ является первым разрядом s₁ произведения, младший разряд каждой полученной суммы $$b_i^s$$ является i-ым разрядом произведения. Сдвигают двоичное число $$b_{2*m-1}^s$$ , младший разряд полученного числа является (2*m)-м разрядом искомого произведения S_2*m. В случае если s больше p₁, производится коррекция полученного произведения s путем последовательного вычитания из s основания p₁ до тех пор, пока s не станет меньше p₁, иначе коррекция не производится, аналогично вычисляются и корректируются произведения m-разрядных остатков по остальным основаниям, одновременно суммируют порядки сомножителей, полученная сумма является порядком искомого произведения. 2 ил.

 

Изобретение относится к вычислительной технике и предназначено для построения быстродействующих параллельно-конвейерных умножителей, обрабатывающих массивы положительных чисел с плавающей запятой в системе остаточных классов (СОК).

Операция умножения производится параллельно по нескольким основаниям p_i, их количество n определяется диапазоном P представления чисел: Р=p₁*p₂*…*p_n. Представление числа в СОК обеспечивается наименьшими неотрицательными остатками A_i по системе взаимно простых оснований p_i (i∈[1,n]).

Числа в системе остаточных классов представляют собой позиционный порядок и мантиссу, состоящую из набора остатков по основаниям p_i.

Известен итерационный способ умножения целых чисел с плавающей запятой, который применим к числам, представленным как в позиционной системе счисления, так и в системе остаточных классов. В этом способе умножение сводится к последовательности сложений с накоплением, которые выполняются последовательно. При сдвигах множителя освободившиеся разряды заполняются нулями. Если первый бит m-разрядного множителя равен единице, то первое слагаемое является множимым, иначе первое слагаемое равно нулю. Если второй бит множителя равен единице, то второе слагаемое является множимым, сдвинутым на один разряд влево, иначе второе слагаемое равно нулю. К сумме первого и второго слагаемого прибавляется множимое, сдвинутое на два разряда влево, если второй бит множителя равен единице, иначе прибавляется нуль. Затем к полученной сумме прибавляется множимое, сдвинутое на три разряда влево, если третий бит множителя равен единице, иначе прибавляется нуль. И так далее до k-ого разряда множителя, к накопленной сумме прибавляется множимое, сдвинутое на k разрядов влево, если k-ый бит множителя равен единице, иначе прибавляется нуль. И так далее до m-ого разряда множителя, к накопленной сумме прибавляется множимое, сдвинутое на n разрядов влево, если m-ый бит множителя равен единице, иначе прибавляется нуль. В итоге накопленная сумма является искомым произведением сомножителей. Недостаток состоит, в том что, во-первых, при итерационном способе умножения чисел выполняется m-1 операций суммирования, а с учетом последовательного способа переносов в старшие разряды - количество тактов суммирования равно (m-1)*2*m. Во-вторых, процесс формирования суммы является последовательным процессом.

Техническим результатом от использования способа организации умножения чисел с плавающей запятой, представленных в системе остаточных классов, является повышение скорости вычисления за счет замены серии из m-1 арифметических операций сложения 2*(m-1) параллельно исполняемыми операциями подсчета количества единичных бит в разрядных срезах, формируемых из разрядов множимого. Данная операция выполняется параллельно для всех остатков по основаниям системы остаточных классов, формирующих сомножители. На основании анализа и модификации полученных значений сумм количества единиц во всех разрядных срезах выполняется формирование значения двоичного числа, являющегося значением искомого произведения. В результате количество тактов, необходимых для формирования значения суммы массива целых двоичных чисел - произведения, будет равно (log₂m)*2*m тактов. Таким образом, предлагаемый способ обеспечивает выполнение операции формирования произведения быстрее известного итерационного способа в ((m-1)*2*m)/((log₂m)*2*m)=(m-1)/log₂m раз, например, при m=64 вычисления будут выполняться в 8 раз быстрее.

Описание работы устройства: каждый i-ый двоичный позиционный остаток по основанию p_i можно представить в виде последовательности бит A_i(a_m, a_m-1, …, a₂, a₁), где m - разрядность остатка, i∈[1,n].

Происходит параллельная запись остатка по основанию p₁ множимого в ячейки матрицы на элементах памяти, размерность матрицы составляет (2*m-1) столбцов и m строк, где m - разрядность первого основания системы остаточных классов. В ячейки с 1 по m первой строки матрицы записывается m-разрядный остаток по основанию p_i множимого в том случае, когда первый разряд множителя равен единице, иначе записываются нули.

В ячейки с 2 по m+1 второй строки матрицы записывается m-разрядный остаток по основанию pi множимого в том случае, когда второй разряд множителя равен единице, иначе записываются нули.

И так далее, в ячейки с k по (m+k-1) k-ой строки матрицы записывается m-разрядный остаток по основанию p₁ множимого в том случае, когда k-ый разряд множителя равен единице, иначе записываются нули.

И так далее, в ячейки с m по (2*m-1) второй строки матрицы записывается поразрядный остаток по основанию p₁ множимого в том случае, когда m-ый разряд множителя равен единице, иначе записываются нули.

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

$$\left(\begin{array}{c}\mathrm{0,0,}\dots ,a_{\mathrm{1,}m},a_{\mathrm{1,}m-1},\dots ,a_{\mathrm{1,1}}\\ \mathrm{0,0,}\dots ,a_{\mathrm{2,}m},a_{\mathrm{2,}m-1},\dots ,a_{\mathrm{2,1}}\mathrm{,0}\\ \mathrm{0,0,}\dots ,a_{\mathrm{3,}m},a_{\mathrm{3,}m-1},\dots ,a_{\mathrm{3,1}}\mathrm{,0,0}\\ \dots \\ \mathrm{0,}{a}_{m-\mathrm{1,}m},a_{m-\mathrm{1,}m-1},\dots ,a_{m-\mathrm{1,1}}\mathrm{,0,}\dots \mathrm{,0}\\ a_{m,m},a_{m,m-1},\dots ,a_{m\mathrm{,1}}\mathrm{,0,}\dots \mathrm{,0}\end{array}\right)$$

Затем производится параллельный подсчет количества единиц в 2*m-1 двоичных векторах, являющихся столбцами приведенной выше матрицы. В результате формируется 2*m-1 двоичных чисел b_i - значений количества единиц в соответствующих m-разрядных векторах, где i∈[1,2*m-1].

В результате параллельного подсчета количества единиц в (2*m-1) столбцах матрицы формируется (2*m-1) двоичных чисел - значений количества единиц в соответствующих m-разрядных столбцах матрицы, причем, первое двоичное число b₁ - значение количества единиц в первом m-разрядном столбце матрицы, второе двоичное число b₂ - значение количества единиц во втором m-разрядном столбце матрицы, k-ое двоичное число b_k - значение количества единиц в k-ом m-разрядном столбце матрицы, …, m-ое двоичное число b_2*m-1 - значение количества единиц в (2*m-1)-ом m-разрядном столбце матрицы.

Младший разряд числа b₁ является первым разрядом s₁ произведения m-разрядных остатков по основанию p₁ исходных чисел;

затем выполняется сдвиг двоичного числа b₁ на один разряд вправо, после чего полученный результат суммируется с числом b₂, где младший разряд полученной суммы $$b_2^s$$ является вторым разрядом s₂ произведения m-разрядных остатков по основанию p₁ исходных чисел;

затем выполняется сдвиг двоичного числа $$b_2^s$$ на один разряд вправо, после чего полученный результат суммируется с числом b₃, младший разряд полученной суммы $$b_3^s$$ является третьим разрядом s₃ произведения m-разрядных остатков по основанию p₁ исходных чисел.

И так далее вычисления продолжаются аналогичным образом до вычисления суммы $$b_k^s$$ , младший разряд которой является k-м разрядом s_k произведения m-разрядных остатков по основанию p₁ исходных чисел.

Затем выполняется сдвиг двоичного числа $$b_k^s$$ , на один разряд вправо, после чего полученный результат суммируется с числом b_k+1, младший разряд полученной суммы $$b_{k+1}^s$$ является (k+1)-м разрядом s_k+1 произведения m-разрядных остатков по основанию p₁ исходных чисел.

И так далее вычисления продолжаются аналогичным образом до вычисления суммы $$b_{2*m-1}^s$$ , младший разряд которой является (2*m-1)-м разрядом s_2*m-1 произведения m-разрядных остатков по основанию p₁ исходных чисел.

Выполняется сдвиг двоичного числа $$b_{2*m-1}^s$$ на один разряд вправо и полученное число является значением старшего разряда искомого произведения s_2*m.

В итоге будет сформировано произведение m-разрядных остатков по основанию p₁ исходных чисел - число s₁, s₂, …, s_k, …, s_2*m.

Одновременно с вычислением произведения m-разрядных остатков исходных чисел по основанию p₁ аналогичным образом вычисляются произведения m-разрядных остатков исходных чисел по основаниям p₂, p₃, …, p_k, …, p_n.

Одновременно с вычислением произведения m-разрядных остатков суммируются порядки сомножимых, полученная сумма является порядком искомого произведения.

Пример: необходимо умножить два бинарных трехбитных (m=3) операнда: множимое a₁=111, множитель a₂=101 по основанию p=10001. Запишем их в виде матрицы размерностью m=3 строк и 2*m-1=5 столбцов, в ячейки с 1 по m=3 первой строки записывается множимое, так как первый бит множимого равен единице. В ячейки с 2 по m+1=4 второй строки записываются нули, так как второй бит множимого равен нулю. В ячейки с 3 по 2*m-1=5 третьей строки записывается множимое, так как третий бит множителя равен единице. Во все остальные ячейки матрицы записываются нули:

$$\left(\begin{array}{c}00111\\ 00000\\ 11100\end{array}\right)$$

Затем параллельно подсчитывается число единиц в столбцах матрицы: b₁=001, b₂=001, b₃=010, b₄=001, b₅=001. Так как младший бит b₁ равен единице, то бит результата s₁=1.

Число b₁ сдвигается на один разряд вправо и результат сдвига $$b_1^{\text{'}}=000$$ суммируется с числом b₂=001. Сумма $$b_2^s=001$$ , ее младший разряд является вторым битом результата s₂=1.

Число $$b_2^s$$ сдвигается на один разряд вправо и результат сдвига $$b_2^{s\text{'}}=000$$ суммируется с числом b₃=010. Сумма $$b_3^s=010$$ , ее младший разряд является третьим битом результата s₃=0.

Число $$b_3^s$$ сдвигается на один разряд вправо и результат сдвига $$b_3^{s\text{'}}=001$$ суммируется с числом b₄=001. Сумма $$b_4^s=010$$ , ее младший разряд является четвертым битом результата s₄=0.

Число $$b_4^s$$ сдвигается на один разряд вправо и результат сдвига $$b_4^{s\text{'}}=001$$ суммируется с числом b₅=001. Сумма $$b_5^s=010$$ , ее младший разряд является пятым битом результата s₅=0.

Число $$b_5^s$$ сдвигается на один разряд вправо и младший разряд результата сдвига $$b_5^{s\text{'}}=001$$ является шестым битом результата s₆=1. В итоге получено операндов произведение s=(s₆, s₅, s₄, s₃, s₂, s₁)=100011. Так как s>p, необходима коррекция произведения, заключающаяся в вычитании из s основания p, то есть s'=s-p=100011-10001=10010, так как s'<p, то s' является искомым произведением исходных операндов по модулю p.

Если принять за время сложения пары m-разрядных остатков m тактов работы устройства, то время вычисления произведения в устройстве на базе описанного способа равно р*2*m тактов, где p=log₂m, в то время как время умножения итерационным способом равно 2*(m-1)*m тактов. Таким образом, быстродействие устройства на базе описанного способа в (m-1)/log₂m раз выше по сравнению с быстродействием устройства на базе известного итерационного способа умножения.

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

На фиг.1 представлен вариант структурной схемы устройства, реализующего операцию вычисления произведения остатков по основанию в общем виде, где 1 - счетчик единичный бит в двоичных векторах, 2 - р-разрядный двухплечевой сумматор, где p=log₂n, 3 - сдвиговый р-разрядный регистр, a₁-a_n - m-разрядные информационные входы схемы, s₁-s_m - одноразрядные информационные выходы схемы, b₁-b_m - р-разрядные выходы счетчиков 1, $$b_1^s-b_m^s$$ - (р+1)-разрядные выходы сумматоров 2.

На фиг.2 представлен вариант структурной схемы матрицы на элементах памяти для трехбитного остатка (m=3), где 1 - логический элемент И, 2 - информационный триггер с одним входом данных, одним входом синхронизации и одним выходом данных, 3 - информационный вход триггера, 4 - вход синхронизации триггера, 5 - информационный выход триггера, x₁-х₃ - входы схемы, на которые подается остаток множимого по трехбитному основанию, y₁-y₃ - входы схемы, на которые подается остаток множителя по трехбитному основанию, a_i,j - выходы матрицы на элементах памяти.

Способ организации умножения двоичных чисел с плавающей запятой, представленных в системе остаточных классов по основаниям p₁, p₂, …, p_k, …, p_n, заключающийся в том, что в умножающем устройстве:
происходит параллельная запись остатка по основанию p₁ множимого в ячейки матрицы на элементах памяти, размерность матрицы составляет (2·m-1) столбцов и m строк, где m - разрядность первого основания системы остаточных классов, причем
в ячейки с 1 по m первой строки матрицы записывается m-разрядный остаток по основанию p₁ множимого в том случае, когда первый разряд множителя равен единице, иначе записываются нули,
в ячейки с 2 по m+1 второй строки матрицы записывается m-разрядный остаток по основанию p₁ множимого в том случае, когда второй разряд множителя равен единице, иначе записываются нули, …,
в ячейки с k по (m+k-1) k-й строки матрицы записывается m-разрядный остаток по основанию p₁ множимого в том случае, когда k-й разряд множителя равен единице, иначе записываются нули, …,
в ячейки с m по (2·m-1) m-й строки матрицы записывается m-разрядный остаток по основанию p₁ множимого в том случае, когда n-й разряд множителя равен единице, иначе записываются нули,
во все остальные ячейки матрицы записываются нули,
затем параллельно выполняется подсчет количества единиц в первом столбце матрицы, втором столбце матрицы, …, k-м столбце матрицы, …, (2·m-1)-м столбце матрицы; в результате параллельного подсчета количества единиц в (2·m-1) столбцах матрицы формируется (2·m-1) двоичных чисел - значений количества единиц в соответствующих m-разрядных столбцах матрицы, причем первое двоичное число b₁ - значение количества единиц в первом m-разрядном столбце матрицы, второе двоичное число b₂ - значение количества единиц во втором m-разрядном столбце матрицы, …, k-е двоичное число b_k - значение количества единиц в k-м m-разрядном столбце матрицы, …, m-е двоичное число b_2·m-1 - значение количества единиц в (2·m-1)-м m-разрядном столбце матрицы;
младший разряд числа b ₁ является первым разрядом s ₁ произведения m-разрядных остатков по основанию p ₁ исходных чисел;
затем выполняется сдвиг двоичного числа b ₁ на один разряд вправо, после чего полученный результат суммируется с числом b₂, где младший разряд полученной суммы $$b_2^s$$ является вторым разрядом s ₂ произведения m-разрядных остатков по основанию p ₁ исходных чисел;
затем выполняется сдвиг двоичного числа $$b_2^s$$ на один разряд вправо, после чего полученный результат суммируется с числом b₃, младший разряд полученной суммы $$b_3^s$$ является третьим разрядом s ₃ произведения m-разрядных остатков по основанию p ₁ исходных чисел;
и так далее вычисления продолжаются аналогичным образом до вычисления суммы $$b_k^s$$ , младший разряд которой является k-м разрядом s _k произведения m-разрядных остатков по основанию p ₁ исходных чисел;
затем выполняется сдвиг двоичного числа $$b_k^s$$ на один разряд вправо, после чего полученный результат суммируется с числом b _k+1 , младший разряд полученной суммы $$b_{k+1}^s$$ является (k+1)-м разрядом s _k+1 произведения m-разрядных остатков по основанию p ₁ исходных чисел;
и так далее вычисления продолжаются аналогичным образом до вычисления суммы $$b_{2\cdot m-1}^s,$$ младший разряд которой является (2·m-1)-м разрядом s_2·m-1 произведения m-разрядных остатков по основанию p ₁ исходных чисел;
затем выполняется сдвиг двоичного числа $$b_{2\cdot m-1}^s$$ на один разряд вправо, и полученное число является значением старшего разряда искомого произведения S _2·m ,
в итоге будет сформировано произведение m-разрядных остатков по основанию p₁ исходных чисел - число s₁, s₂, …, s_k, …, S_2·m;
в том случае, если s больше p ₁ , производится коррекция полученного произведения s, для невыхода за пределы основания, путем последовательного вычитания из s основания p ₁ до тех пор, пока s не станет меньше p ₁ , иначе коррекция не производится,
одновременно с вычислением и коррекцией произведения m-разрядных остатков исходных чисел по основанию p ₁ аналогичным образом вычисляются и корректируются произведения m-разрядных остатков исходных чисел по основаниям p₂, p₃, …, p_k, …, p_n;
одновременно с вычислением произведения m-разрядных остатков суммируются порядки сомножимых, полученная сумма является порядком искомого произведения.