SIMD指令集设计空间的形式化描述

Formal Description of Design Space of SIMD Instruction Sets

SIMD(Single-Instruction-Multiple-Data)并行体系结构在现代处理器体系结构中扮演非常重要的角色。SIMD指令集已经成为处理器指令集中重要的子集。SIMD结构和指令集实现了短向量并行处理能力,SIMD指令集实现了对多种数据类型、多种操作模式的支持。采用形式化的方法,描述SIMD指令集的设计空间,从多个正交的维度刻画SIMD指令集的设计,基于此详细讨论了SIMD指令集的设计问题。该形式化方法有益于对SIMD指令集体系结构的分析和设计。

SIMD （Single-Instruction-Multiple-Data） parallel architecture plays an important role in the architecture of modern processors. The instruction set of SIMD becomes the most important subset of the whole instruction set of a proeessor. SIMD architecture and instruetion set provides the parallel processing ability for short vectors. The SIMD in- struetion set supports multiple data types and multiple operations. This paper deseribed the design space of SIMD in- struction set using formal method, which depicts SIMD instruction set from multiple orthogonal dimensions. Then the diseussion about the design of SIMD instruetion set was presented. The formal method will be beneficial to analyze and design the SIMD instruction set ~ehiteeture.