一种可重构处理器阵列的抽象模型方法

摘要

本发明公开了一种可重构处理器阵列的抽象模型方法,包括如下步骤：基本设计思想、构造算法、模型和原阵列的映射函数、抽象的属性保留证明和算法在抽象模型中的实现，主阵列被视为一个具体模型，针对可重构处理器阵列提出了一个重构抽象模型及抽象算法CAM，逻辑阵列由一组逻辑列组成，对于一个逻辑列c，c中的一部分单元属于抽象阵列H′，这部分单元可表示为c∩H′，假设逻辑阵列包含所有的物理行，在此假设下，MLA是一个拥有最大列数的逻辑阵列，GCR采用的是从左到右构造逻辑列的贪心策略，在构造逻辑列的过程中，在每次迭代中会将相邻集中最左端的处理器单元归入该逻辑列。

主权项

一种可重构处理器阵列的抽象模型方法,其特征在于：包括如下步骤：S1、基本设计思想，模型描述为M＝<S,S₀,D,L>，AP＝{nlis,ncs}，其中S为有限状态集合，代表包含所有可能存在的逻辑阵列的集合，状态s∈S代表一个逻辑阵列，nlis(s)代表s所对应的逻辑阵列的长连接数，ncs(s)代表s所对应的逻辑阵列的列数，逻辑阵列之间没有明显的迁移关系，不关注状态迁移关系D和初始状态集合S₀；S2、构造算法，基于抽象的思想，针对可重构处理器阵列提出了一个重构抽象模型及抽象算法CAM，CAM通过对处理器阵列中每个物理行的分析，将其中的一部分物理行提取出来构成一个抽象的处理器阵列；S3、模型和原阵列的映射函数，逻辑阵列由一组逻辑列组成，对于一个逻辑列c，c中的一部分单元属于抽象阵列H′，这部分单元可表示为c∩H′；S4、抽象的属性保留证明，假设逻辑阵列包含所有的物理行，在此假设下，MLA是一个拥有最大列数的逻辑阵列，另外，长连接数是反映逻辑阵列的能耗一个重要指标，因此长连接数和列数是本文所关注的两个关于处理器阵列的属性；S5、算法在抽象模型中的实现，GCR采用的是从左到右构造逻辑列的贪心策略，在构造逻辑列的过程中，在每次迭代中会将相邻集中最左端的处理器单元归入该逻辑列，本节运用该贪心策略，提出一个基于抽象阵列的重构算法，称作AB_GCR。