CME分析中的丢番图方程求解

摘要：

@@ 1.引言
循环的Cache不命中率分析是编译优化中的关键技术之一.CME(Cache Miss Equation)是美国Princeton大学的S.Ghosh博士提出的循环Cache不命中率分析的计算模型[1],它以循环中数组引用的重用向量分析为基础,根据Cache数据映射的规则用约束条件下丢番图方程对数组引用在不同重用向量上的Cache冲突情况进行精确的描述(一般为线性约束条件),明确了方程整数解的数目与Cache不命中次数之间的关系,为较为精确地分析循环的Cache不命中率奠定了基础.

机标关键词：丢番图方程、命中率、线性约束条件、循环、向量分析、数组、数据映射、命中次数、解的数目、计算模型、基础、关键技术、编译优化、描述、美国、规则、大学、冲突、博士

所属期刊栏目：29

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金100720077

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：149-151