[논문 리뷰] On the Mesh Array for Matrix Multiplication

Subhash Kak|arXiv (Cornell University)|2010. 10. 26.

Cellular Automata and Applications참고 문헌 12인용 수 10

한 줄 요약

이 논문은 n×n 행렬 곱셈을 2n−1단계 내에 완료하는 메시 어레이 아키텍처를 소개한다. 이는 표준 시스톨릭 어레인지의 3n−2단계보다 훨씬 빠른 속도이다. 메시 어레인지의 출력 구조에 내재된 대칭성을 규명하여 대칭 행렬 및 유니터리 행렬에 대한 최적화된 계산을 가능하게 하며, 4×4 행렬의 경우 주기 7, 5×5 행렬의 경우 주기 20를 가지는 스캐러빙 변환으로서의 유용성을 입증한다.

ABSTRACT

This article presents new properties of the mesh array for matrix multiplication. In contrast to the standard array that requires 3n-2 steps to complete its computation, the mesh array requires only 2n-1 steps. Symmetries of the mesh array computed values are presented which enhance the efficiency of the array for specific applications. In multiplying symmetric matrices, the results are obtained in 3n/2+1 steps. The mesh array is examined for its application as a scrambling system.

연구 동기 및 목표

• 메시 어레인지의 행렬 곱셈 과정에서 발생하는 출력 구조에 내재된 새로운 구조적 대칭성을 분석하고 규명하는 것.
• 메시 어레인지의 내재된 대칭성을 활용하여 대칭 행렬 및 유니터리 행렬에 대한 계산 효율을 향상시키는 것.
• 암호화 및 프라이버시 응용 분야에서 스캐러핑 변환으로서의 메시 어레인지 잠재력을 탐구하는 것.
• 다양한 행렬 크기에 대해 스캐러핑 변환의 순환 차수를 규명하는 것.

제안 방법

• 메시 어레인지에서는 2차원 처리 노드 격자 구조를 사용하여 행렬 곱셈 C = AB를 계산하며, 각 노드는 시간 단계에 따라 부분 누적을 수행한다.
• 입력 행렬을 재배열하여 0 패딩이 필요 없도록 하여, 계산 시간을 표준 시스톨릭 어레인지의 3n−2단계에서 2n−1단계로 감소시킨다.
• 출력 행렬의 대칭성—예를 들어 거울상 행 패턴 및 대각선 기반 값 전파—를 식별하고 최적화에 활용한다.
• 스캐러핑 변환 S는 항등행렬과의 곱셈 이후 요소 재배열을 정의하여 비표준 출력 순서를 생성한다.
• 요소 순열을 반복적으로 추적함으로써 순환 분해를 사용하여 스캐러핑 변환의 주기를 분석한다.
• n×n에서 (n+1)×(n+1) 어레인지로의 전이가 행 및 대각선 패턴의 관찰된 대칭성을 통해 예측 가능함을 보여준다.

실험 결과

연구 질문

• RQ1 메시 어레인지의 행렬 곱셈 출력 행렬에 존재하는 대칭성은 무엇인가?
• RQ2 이러한 대칭성은 대칭 또는 유니터리 행렬에 대해 계산 시간을 줄이기 위해 어떻게 활용될 수 있는가?
• RQ3 메시 어레인지가 행렬 요소의 스캐러핑 변환으로 사용될 경우 주기는 얼마인가?
• RQ4 일반 행렬 및 특수 행렬 유형에 대해 메시 어레인지의 계산 시간은 표준 시스톨릭 어레인지와 비교해 어떻게 되는가?
• RQ5 메시 어레인지의 구조는 재귀적 대칭 패턴을 활용하여 더 큰 행렬로 확장될 수 있는가?

주요 결과

• 메시 어레인지에서는 n×n 행렬 곱셈을 2n−1단계 내에 수행하여 표준 시스톨릭 어레인지의 3n−2단계 대비 빠른 성능을 달성한다.
• 대칭 행렬의 경우, 메시 어레인지에서는 내재된 대칭성을 활용하여 3n/2 + 1단계 내에 결과를 계산한다.
• 4×4의 경우, 스캐러핑 변환 S의 주기는 7이다. 즉, 반복 적용 시 7회 반복 후 원래의 행렬 순서로 복원된다.
• 5×5의 경우, 요소 순열의 순환 분해를 통해 스캐러핑 변환의 주기가 20로 결정되었다.
• 메시 어레인지의 출력은 행 단위의 거울 대칭성을 보인다: 홀수 n일 경우, 행 2부터 (n+1)/2까지의 행은 행 (n+3)/2부터 n까지의 행과 거울 대칭이다. 짝수 n일 경우, 중간 행은 자기 자신에 대해 대칭이다.
• (n+1)×(n+1) 메시 어레인지의 구조는 n×n 어레인지에서 새로운 값을 대각선 및 반대 대각선을 따라 식별함으로써 기존의 대칭성을 활용하여 유도할 수 있다.