Compiler Support for Morton-order Matrices

莫顿阶矩阵的编译器支持

• 批准号: 0073491
• 负责人: David Wise
• 金额: $ 20.99万
• 依托单位: Indiana University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2000
• 资助国家: 美国
• 起止时间: 2000-09-01 至 2004-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0073491&HistoricalAwards=false
• 关键词: Compiler; Support; Morton; order; Matrices

Two problems that constrain big computationsappear to relax in the face of a differentrepresentation for matrices and their constituent blocks.Morton (or Z) order represents the elementsof a matrix in computer memory consecutivelyby larger and larger blocks. This locality contrastswith row-major (or column-major) order,which stores only elements in the same row(column) close to one another.This project explores compilers for Morton order asthe default representation for arrays in higher-level programminglanguages.It develops techniques to recompile existing programsto code that uses Morton-order internallyand respects modern memory hierarchies and superscalar processors.These will interface cleanly to future programs thatuse Ahnentafel indices, a generalization of Morton order,to control divide-and-conquer algorithms to descendblocks of a matrix recursively.So, it also supports the design of parallel algorithmsthat decompose a computation into disjoint, memory-local processes.Morton order, and block algorithms that use it,implicitly improve access patternsinto hierarchical memory:from registers, through caches, to RAM, to swapping disk.That is, Morton order enhances locality of referenceof one process,while it helps to schedule multiple processesthat don't interfere with each other.

在矩阵及其组成块的不同表示形式面前，两个限制大型计算的问题似乎放松了。莫顿（或Z）阶在计算机内存中用越来越大的块来表示矩阵的元素。 这个地方与大行街形成鲜明对比这个地方与大行街形成鲜明对比（或列主）顺序，它只存储在同一行（列）中彼此靠近的元素。该项目探索莫顿顺序作为高级编程语言中数组的默认表示的编译器。它开发了将现有程序重新编译为使用莫顿顺序的代码的技术。内部排序，并尊重现代内存层次结构和超标量处理器。这些将干净地接口到未来的程序，使用Ahnentafel索引，Morton序的推广，控制分治算法递归地下降矩阵的块。因此，它也支持将计算分解为不相交的内存本地进程的并行算法的设计。Morton序和使用它的块算法，隐含地改进了分层内存的访问模式：从寄存器，通过缓存，到RAM，再到交换磁盘。也就是说，莫顿顺序增强了一个进程的引用局部性，while it helps帮助to schedule调度multiple多processes处理that don't interfere干扰with each每other.