SHF:Small: Hardware/Software Support for Debugging of Scaling Limiters in Many-Core Execution

SHF:Small：在多核执行中调试缩放限制器的硬件/软件支持

• 批准号: 1320717
• 负责人: Milos Prvulovic
• 金额: $ 49.98万
• 依托单位: Georgia Tech Research Corporation
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2013
• 资助国家: 美国
• 起止时间: 2013-08-01 至 2017-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1320717&HistoricalAwards=false
• 关键词: SHF; Small; Hardware; Software; Support

Until recently, a cost-effective way to make a program run faster was to buy a computer with a more recent processor, without making any changes to the program itself. However, in recent years this approach no longer works - instead of one ever-faster processor core, recent processors rely on increasing numbers of cores to provide better performance. To benefit from these new multi- and many-core processors, programs must be explicitly written to "scale," i.e., to keep getting faster as they run on more cores. Re-design for scaling is time-consuming and costly, especially considering that most programmers are not used to (nor trained for) writing programs that use more than one core. This NSF-funded project will analyze scaling problems in programs and report them to programmers with enough accuracy to help rapidly deal with the problems. An important aspect of this approach is that it also helps educate current programmers and future ones (e.g., college students) to anticipate scaling problems and avoid them in the future. Additional outreach activities are planned in middle and high schools in Atlanta (where minority students are the majority of the population) to educate both students and their teachers about key concepts in computer hardware and software. The main technical challenge in this project is that there are many types of scaling problems. Some scaling problems are related to the application itself, e.g., serial sections, lock contention, etc., and some are hardware-related, such as contention for interconnect bandwidth, serialization in directories, contention for capacity in shared caches, etc. The symptoms of these problems are often ambiguous, which makes them even more difficult for programmers to identify and correct. This project will provide hardware support for profiling that will help disambiguate some of the symptoms and attribute them to specific parts of the code, along with software tools that will analyze and report both software- and hardware-related scaling limiters. Our reporting will be specific enough to lead programmers directly to the code that should be "fixed" and help them understand why and how this code needs to be modified.

直到最近，让程序运行得更快的一种经济高效的方法是购买一台配备更新处理器的计算机，而不对程序本身进行任何更改。然而，近年来，这种方法不再有效 - 最近的处理器不再依靠一个更快的处理器核心，而是依靠越来越多的核心来提供更好的性能。为了从这些新的多核和众核处理器中受益，必须明确地编写程序以“扩展”，即随着在更多内核上运行而保持速度更快。为扩展而重新设计既耗时又昂贵，特别是考虑到大多数程序员不习惯（也不接受过培训）编写使用多个内核的程序。这个由 NSF 资助的项目将分析程序中的扩展问题，并将其足够准确地报告给程序员，以帮助快速处理问题。这种方法的一个重要方面是，它还有助于教育当前的程序员和未来的程序员（例如大学生）预测扩展问题并在将来避免它们。计划在亚特兰大的初中和高中（少数民族学生占人口大多数）开展额外的外展活动，以教育学生及其教师有关计算机硬件和软件的关键概念。该项目的主要技术挑战是存在多种类型的扩展问题。一些扩展问题与应用程序本身有关，例如串行部分、锁争用等，还有一些与硬件相关，例如互连带宽争用、目录中的序列化、共享缓存中的容量争用等。这些问题通常是模棱两可的，这使得程序员更难以识别和纠正它们。该项目将为分析提供硬件支持，帮助消除某些症状并将其归因于代码的特定部分，同时还将提供软件工具来分析和报告与软件和硬件相关的扩展限制器。我们的报告将足够具体，以引导程序员直接找到应该“修复”的代码，并帮助他们理解为什么以及如何需要修改该代码。