Collaborative Research: SHF: Medium: Vectorized Instruction Space (VIS)

该项目旨在显著提高应用程序的性能，从运行在移动的设备上的应用程序到不断增长的数据中心所使用的应用程序。该项目的影响可能使所有规模的系统都能更好地发挥作用，从而直接和积极地影响社会。大多数应用程序的效率仍然主要受分支指令处理速度的影响，这又决定了每个时钟周期处理器可以执行多少机器指令。在这个问题领域中推进最先进的技术，需要一个范式的转变和一个全新的方法来系统设计。该项目的新奇之处在于，它建议调查一种机制，这种机制比基于现有技术的渐进式改进所能提供的潜力要大得多。该小组将为这种方法奠定基础。开发的工具集和设计基础设施将是开源的，将对教育和研究产生影响。该项目的新方法可以概括为将矢量化原理应用于指令空间，称为矢量化指令空间（维斯）。维斯依赖于在机器指令级实现的可执行动态单赋值形式。指令空间的向量化使用比传统预测具有显著更少开销的过程将控制依赖性转换为数据依赖性，并且它自然地将受控多路径执行与推测相结合。有了这个新的范例，将有可能消除一个很大的部分难以预测的分支指令，并有效地展开循环未知的迭代计数。该项目涉及在微体系结构和编译器级别上开发范例的基础，目标是超标量和VLIW体系结构。该奖项反映了NSF的法定使命，并被认为值得通过使用基金会的智力价值和更广泛的影响审查标准进行评估来支持。

This project aims to significantly increase the performance of application programs ranging from those running on mobile devices to those utilized by ever-growing data centers. The project's impacts are potentially enabling better performing systems at all scales, hence directly and positively impacting society. The efficiency of most applications is still primarily affected by how fast branch instructions can be processed, which in turn decides how many machine instructions can be executed by a processor per clock cycle. Advancing the state of the art in this problem domain requires a paradigm shift and a completely novel approach to system design. The project's novelty lies in that it proposes to investigate a mechanism that has significantly better potential than what incremental improvements based on available techniques can provide. The team will develop the foundations of such an approach. Developed toolsets and the design infrastructure will be open source and will have an impact on both education and research.The project's novel approach can be summarized as applying the principle of vectorization to the instruction space, referred to as Vectorized Instruction Space (VIS). VIS relies on an executable dynamic single-assignment form implemented at the machine-instruction level. Vectorization of the instruction space converts control dependences to data dependences using a process that has significantly less overhead than traditional predication, and it naturally combines controlled multi-path execution with speculation. With this new paradigm, it will be possible to eliminate a significant fraction of difficult-to-predict branch instructions, and efficiently unroll loops with unknown iteration counts. The project involves the development of the foundations of the paradigm both at the microarchitecture and the compiler level, targeting both superscalar and VLIW architectures.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.