首页 > 最新文献
paperpass

2012 International Conference for High Performance Computing, Networking, Storage and Analysis最新文献

英文 中文
Unleashing the high-performance and low-power of multi-core DSPs for general-purpose HPC 释放多核dsp的高性能和低功耗,用于通用HPC
Francisco D. Igual, Murtaza Ali, A. Friedmann, E. Stotzer, Timothy Wentz, R. V. D. Geijn
Take a multicore Digital Signal Processor (DSP) chip designed for cellular base stations and radio network controllers, add floating-point capabilities to support 4G networks, and out of thin air a HPC engine is born. The potential for HPC is clear: It promises 128 GFLOPS (single precision) for 10 Watts; It is used in millions of network related devices and hence benefits from economies of scale; It should be simpler to program than a GPU. Simply put, it is fast, green, and cheap. But is it easy to use? In this paper, we show how this potential can be applied to general-purpose high performance computing, more specifically to dense matrix computations, without major changes in existing codes and methodologies, and with excellent performance and power consumption numbers.
采用为蜂窝基站和无线网络控制器设计的多核数字信号处理器(DSP)芯片,加上支持4G网络的浮点功能,HPC引擎就这样凭空诞生了。高性能计算的潜力是显而易见的:它承诺在10瓦的情况下实现128 GFLOPS(单精度);它被用于数以百万计的网络相关设备,因此受益于规模经济;它应该比GPU更容易编程。简而言之,它快速、环保、便宜。但是它容易使用吗?在本文中,我们展示了如何将这种潜力应用于通用高性能计算,更具体地说是密集矩阵计算,而无需对现有代码和方法进行重大更改,并且具有出色的性能和功耗数字。
{"title":"Unleashing the high-performance and low-power of multi-core DSPs for general-purpose HPC","authors":"Francisco D. Igual, Murtaza Ali, A. Friedmann, E. Stotzer, Timothy Wentz, R. V. D. Geijn","doi":"10.1109/SC.2012.109","DOIUrl":"https://doi.org/10.1109/SC.2012.109","url":null,"abstract":"Take a multicore Digital Signal Processor (DSP) chip designed for cellular base stations and radio network controllers, add floating-point capabilities to support 4G networks, and out of thin air a HPC engine is born. The potential for HPC is clear: It promises 128 GFLOPS (single precision) for 10 Watts; It is used in millions of network related devices and hence benefits from economies of scale; It should be simpler to program than a GPU. Simply put, it is fast, green, and cheap. But is it easy to use? In this paper, we show how this potential can be applied to general-purpose high performance computing, more specifically to dense matrix computations, without major changes in existing codes and methodologies, and with excellent performance and power consumption numbers.","PeriodicalId":217221,"journal":{"name":"2012 International Conference for High Performance Computing, Networking, Storage and Analysis","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122027927","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 34
Novel views of performance data to analyze large-scale adaptive applications 新颖的性能数据视图,用于分析大规模自适应应用程序
A. Bhatele, T. Gamblin, Katherine E. Isaacs, B. Gunney, M. Schulz, P. Bremer, B. Hamann
Performance analysis of parallel scientific codes is becoming increasingly difficult due to the rapidly growing complexity of applications and architectures. Existing tools fall short in providing intuitive views that facilitate the process of performance debugging and tuning. In this paper, we extend recent ideas of projecting and visualizing performance data for faster, more intuitive analysis of applications. We collect detailed per-level and per-phase measurements for a dynamically load-balanced, structured AMR library and project per-core data collected in the hardware domain on to the application's communication topology. We show how our projections and visualizations lead to a rapid diagnosis of and mitigation strategy for a previously elusive scaling bottleneck in the library that is hard to detect using conventional tools. Our new insights have resulted in a 22% performance improvement for a 65,536-core run of the AMR library on an IBM Blue Gene/P system.
由于应用程序和体系结构的复杂性迅速增加,并行科学代码的性能分析变得越来越困难。现有的工具在提供方便性能调试和调优过程的直观视图方面存在不足。在本文中,我们扩展了性能数据投影和可视化的最新思想,以便更快、更直观地分析应用程序。我们为动态负载平衡、结构化的AMR库收集详细的每个级别和每个阶段的测量结果,并在应用程序通信拓扑的硬件域中收集项目的每个核心数据。我们展示了我们的预测和可视化如何快速诊断和缓解库中以前难以捉摸的扩展瓶颈,这很难使用传统工具检测到。在IBM Blue Gene/P系统上运行65,536核的AMR库,我们的新见解使性能提高了22%。
{"title":"Novel views of performance data to analyze large-scale adaptive applications","authors":"A. Bhatele, T. Gamblin, Katherine E. Isaacs, B. Gunney, M. Schulz, P. Bremer, B. Hamann","doi":"10.1109/SC.2012.80","DOIUrl":"https://doi.org/10.1109/SC.2012.80","url":null,"abstract":"Performance analysis of parallel scientific codes is becoming increasingly difficult due to the rapidly growing complexity of applications and architectures. Existing tools fall short in providing intuitive views that facilitate the process of performance debugging and tuning. In this paper, we extend recent ideas of projecting and visualizing performance data for faster, more intuitive analysis of applications. We collect detailed per-level and per-phase measurements for a dynamically load-balanced, structured AMR library and project per-core data collected in the hardware domain on to the application's communication topology. We show how our projections and visualizations lead to a rapid diagnosis of and mitigation strategy for a previously elusive scaling bottleneck in the library that is hard to detect using conventional tools. Our new insights have resulted in a 22% performance improvement for a 65,536-core run of the AMR library on an IBM Blue Gene/P system.","PeriodicalId":217221,"journal":{"name":"2012 International Conference for High Performance Computing, Networking, Storage and Analysis","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123556381","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 19
Parallel geometric-algebraic multigrid on unstructured forests of octrees 八树非结构森林上的平行几何代数多重网格
H. Sundar, G. Biros, Carsten Burstedde, J. Rudi, O. Ghattas, G. Stadler
We present a parallel multigrid method for solving variable-coefficient elliptic partial differential equations on arbitrary geometries using highly adapted meshes. Our method is designed for meshes that are built from an unstructured hexa-hedral macro mesh, in which each macro element is adaptively refined as an octree. This forest-of-octrees approach enables us to generate meshes for complex geometries with arbitrary levels of local refinement. We use geometric multigrid (GMG) for each of the octrees and algebraic multigrid (AMG) as the coarse grid solver. We designed our GMG sweeps to entirely avoid collectives, thus minimizing communication cost. We present weak and strong scaling results for the 3D variable-coefficient Poisson problem that demonstrate high parallel scalability. As a highlight, the largest problem we solve is on a non-uniform mesh with 100 billion unknowns on 262,144 cores of NCCS's Cray XK6 "Jaguar" in this solve we sustain 272 TFlops/s.
提出了一种利用高自适应网格求解任意几何上变系数椭圆型偏微分方程的平行多重网格方法。我们的方法设计用于从非结构化六面体宏网格构建的网格,其中每个宏元素自适应地细化为八叉树。这种八叉树森林方法使我们能够为具有任意级别局部细化的复杂几何形状生成网格。我们对每个八叉树使用几何多重网格(GMG)和代数多重网格(AMG)作为粗网格求解器。我们设计的GMG扫描完全避免了集体,从而最小化了沟通成本。给出了三维变系数泊松问题的弱标度和强标度结果,证明了该问题具有较高的并行可扩展性。值得注意的是,我们解决的最大问题是在NCCS的Cray XK6“Jaguar”的262,144个内核上有1000亿个未知数的非均匀网格上,在这个解决方案中我们维持了272 TFlops/s。
{"title":"Parallel geometric-algebraic multigrid on unstructured forests of octrees","authors":"H. Sundar, G. Biros, Carsten Burstedde, J. Rudi, O. Ghattas, G. Stadler","doi":"10.1109/SC.2012.91","DOIUrl":"https://doi.org/10.1109/SC.2012.91","url":null,"abstract":"We present a parallel multigrid method for solving variable-coefficient elliptic partial differential equations on arbitrary geometries using highly adapted meshes. Our method is designed for meshes that are built from an unstructured hexa-hedral macro mesh, in which each macro element is adaptively refined as an octree. This forest-of-octrees approach enables us to generate meshes for complex geometries with arbitrary levels of local refinement. We use geometric multigrid (GMG) for each of the octrees and algebraic multigrid (AMG) as the coarse grid solver. We designed our GMG sweeps to entirely avoid collectives, thus minimizing communication cost. We present weak and strong scaling results for the 3D variable-coefficient Poisson problem that demonstrate high parallel scalability. As a highlight, the largest problem we solve is on a non-uniform mesh with 100 billion unknowns on 262,144 cores of NCCS's Cray XK6 \"Jaguar\" in this solve we sustain 272 TFlops/s.","PeriodicalId":217221,"journal":{"name":"2012 International Conference for High Performance Computing, Networking, Storage and Analysis","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127245971","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 88
Application data prefetching on the IBM Blue Gene/Q supercomputer IBM Blue Gene/Q超级计算机上的应用程序数据预取
I. Chung, Changhoan Kim, H. Wen, Guojing Cong
Memory access latency is often a crucial performance limitation for high performance computing. Prefetching is one of the strategies used by system designers to bridge the processor-memory gap. This paper describes a new innovative list prefetching feature introduced in the IBM Blue Gene/Q supercomputer. The list prefetcher records the L1 cache miss addresses and prefetches them in the next iteration. The evaluation shows this list prefetching mechanism reduces data fetching time when L1 cache misses happen and improves the performance for high performance computing applications with repeating nonuniform memory access patterns. Its performance is compatible with classic stream prefetcher when properly configured.
内存访问延迟通常是高性能计算的一个关键性能限制。预取是系统设计者用来弥补处理器-内存差距的策略之一。本文介绍了IBM Blue Gene/Q超级计算机中引入的一种创新性的列表预取特性。列表预取器记录L1缓存缺失地址,并在下一次迭代中预取它们。评估表明,当L1缓存丢失时,此列表预取机制减少了数据获取时间,并提高了具有重复非统一内存访问模式的高性能计算应用程序的性能。当配置正确时,其性能与经典流预取器兼容。
{"title":"Application data prefetching on the IBM Blue Gene/Q supercomputer","authors":"I. Chung, Changhoan Kim, H. Wen, Guojing Cong","doi":"10.1109/SC.2012.19","DOIUrl":"https://doi.org/10.1109/SC.2012.19","url":null,"abstract":"Memory access latency is often a crucial performance limitation for high performance computing. Prefetching is one of the strategies used by system designers to bridge the processor-memory gap. This paper describes a new innovative list prefetching feature introduced in the IBM Blue Gene/Q supercomputer. The list prefetcher records the L1 cache miss addresses and prefetches them in the next iteration. The evaluation shows this list prefetching mechanism reduces data fetching time when L1 cache misses happen and improves the performance for high performance computing applications with repeating nonuniform memory access patterns. Its performance is compatible with classic stream prefetcher when properly configured.","PeriodicalId":217221,"journal":{"name":"2012 International Conference for High Performance Computing, Networking, Storage and Analysis","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131685788","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 21
Design of a scalable InfiniBand topology service to enable network-topology-aware placement of processes 设计一个可扩展的InfiniBand拓扑服务,以实现网络拓扑感知的进程放置
H. Subramoni, S. Potluri, K. Kandalla, B. Barth, Jérôme Vienne, J. Keasler, K. Tomko, K. Schulz, A. Moody, D. Panda
Over the last decade, InfiniBand has become an increasingly popular interconnect for deploying modern supercomputing systems. However, there exists no detection service that can discover the underlying network topology in a scalable manner and expose this information to runtime libraries and users of the high performance computing systems in a convenient way. In this paper, we design a novel and scalable method to detect the InfiniBand network topology by using Neighbor-Joining techniques (NJ). To the best of our knowledge, this is the first instance where the neighbor joining algorithm has been applied to solve the problem of detecting InfiniBand network topology. We also design a network-topology-aware MPI library that takes advantage of the network topology service. The library places processes taking part in the MPI job in a network-topology-aware manner with the dual aim of increasing intra-node communication and reducing the long distance inter-node communication across the InfiniBand fabric.
在过去的十年中,InfiniBand已经成为部署现代超级计算系统的一种日益流行的互连方式。然而,目前还没有检测服务能够以可伸缩的方式发现底层网络拓扑,并以方便的方式将此信息公开给运行时库和高性能计算系统的用户。在本文中,我们设计了一种新颖且可扩展的方法,利用邻居加入技术(NJ)来检测InfiniBand网络拓扑。据我们所知,这是第一个应用邻居加入算法来解决InfiniBand网络拓扑检测问题的实例。我们还设计了一个网络拓扑感知的MPI库,它利用了网络拓扑服务。该库以网络拓扑感知的方式放置参与MPI作业的进程,其双重目标是增加节点内通信并减少跨InfiniBand结构的节点间长距离通信。
{"title":"Design of a scalable InfiniBand topology service to enable network-topology-aware placement of processes","authors":"H. Subramoni, S. Potluri, K. Kandalla, B. Barth, Jérôme Vienne, J. Keasler, K. Tomko, K. Schulz, A. Moody, D. Panda","doi":"10.1109/SC.2012.47","DOIUrl":"https://doi.org/10.1109/SC.2012.47","url":null,"abstract":"Over the last decade, InfiniBand has become an increasingly popular interconnect for deploying modern supercomputing systems. However, there exists no detection service that can discover the underlying network topology in a scalable manner and expose this information to runtime libraries and users of the high performance computing systems in a convenient way. In this paper, we design a novel and scalable method to detect the InfiniBand network topology by using Neighbor-Joining techniques (NJ). To the best of our knowledge, this is the first instance where the neighbor joining algorithm has been applied to solve the problem of detecting InfiniBand network topology. We also design a network-topology-aware MPI library that takes advantage of the network topology service. The library places processes taking part in the MPI job in a network-topology-aware manner with the dual aim of increasing intra-node communication and reducing the long distance inter-node communication across the InfiniBand fabric.","PeriodicalId":217221,"journal":{"name":"2012 International Conference for High Performance Computing, Networking, Storage and Analysis","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132299450","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 58
Design and modeling of a non-blocking checkpointing system 非阻塞点检系统的设计与建模
Kento Sato, N. Maruyama, K. Mohror, A. Moody, T. Gamblin, B. Supinski, S. Matsuoka
As the capability and component count of systems increase, the MTBF decreases. Typically, applications tolerate failures with checkpoint/restart to a parallel file system (PFS). While simple, this approach can suffer from contention for PFS resources. Multi-level checkpointing is a promising solution. However, while multi-level checkpointing is successful on today's machines, it is not expected to be sufficient for exascale class machines, which are predicted to have orders of magnitude larger memory sizes and failure rates. Our solution combines the benefits of non-blocking and multi-level checkpointing. In this paper, we present the design of our system and model its performance. Our experiments show that our system can improve efficiency by 1.1 to 2.0x on future machines. Additionally, applications using our checkpointing system can achieve high efficiency even when using a PFS with lower bandwidth.
随着系统性能和组件数量的增加,MTBF减小。通常,应用程序可以容忍检查点/重新启动并行文件系统(PFS)的失败。这种方法虽然简单,但可能会出现PFS资源争用的问题。多级检查点是一个很有前途的解决方案。然而,虽然多层次检查点在今天的机器上是成功的,但它并不足以适用于百亿亿级机器,因为它们的内存大小和故障率预计要大得多。我们的解决方案结合了非阻塞和多级检查点的优点。在本文中,我们介绍了我们的系统设计,并对其性能进行了建模。我们的实验表明,我们的系统可以在未来的机器上提高1.1到2.0倍的效率。此外,即使在使用带宽较低的PFS时,使用我们的检查点系统的应用程序也可以实现高效率。
{"title":"Design and modeling of a non-blocking checkpointing system","authors":"Kento Sato, N. Maruyama, K. Mohror, A. Moody, T. Gamblin, B. Supinski, S. Matsuoka","doi":"10.1109/SC.2012.46","DOIUrl":"https://doi.org/10.1109/SC.2012.46","url":null,"abstract":"As the capability and component count of systems increase, the MTBF decreases. Typically, applications tolerate failures with checkpoint/restart to a parallel file system (PFS). While simple, this approach can suffer from contention for PFS resources. Multi-level checkpointing is a promising solution. However, while multi-level checkpointing is successful on today's machines, it is not expected to be sufficient for exascale class machines, which are predicted to have orders of magnitude larger memory sizes and failure rates. Our solution combines the benefits of non-blocking and multi-level checkpointing. In this paper, we present the design of our system and model its performance. Our experiments show that our system can improve efficiency by 1.1 to 2.0x on future machines. Additionally, applications using our checkpointing system can achieve high efficiency even when using a PFS with lower bandwidth.","PeriodicalId":217221,"journal":{"name":"2012 International Conference for High Performance Computing, Networking, Storage and Analysis","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123811016","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 103
Mapping applications with collectives over sub-communicators on torus networks 通过环面网络上的子通信器映射具有集合的应用程序
A. Bhatele, T. Gamblin, S. Langer, P. Bremer, E. Draeger, B. Hamann, Katherine E. Isaacs, Aaditya G. Landge, J. Levine, Valerio Pascucci, M. Schulz, C. Still
The placement of tasks in a parallel application on specific nodes of a supercomputer can significantly impact performance. Traditionally, this task mapping has focused on reducing the distance between communicating tasks on the physical network. This minimizes the number of hops that point-to-point messages travel and thus reduces link sharing between messages and contention. However, for applications that use collectives over sub-communicators, this heuristic may not be optimal. Many collectives can benefit from an increase in bandwidth even at the cost of an increase in hop count, especially when sending large messages. For example, placing communicating tasks in a cube configuration rather than a plane or a line on a torus network increases the number of possible paths messages might take. This increases the available bandwidth which can lead to significant performance gains. We have developed Rubik, a tool that provides a simple and intuitive interface to create a wide variety of mappings for structured communication patterns. Rubik supports a number of elementary operations such as splits, tilts, or shifts, that can be combined into a large number of unique patterns. Each operation can be applied to disjoint groups of processes involved in collectives to increase the effective bandwidth. We demonstrate the use of Rubik for improving performance of two parallel codes, pF3D and Qbox, which use collectives over sub-communicators.
在超级计算机的特定节点上放置并行应用程序中的任务会显著影响性能。传统上,这种任务映射的重点是减少物理网络上通信任务之间的距离。这将最小化点到点消息传输的跳数,从而减少消息和争用之间的链接共享。然而,对于在子通信器上使用集合的应用程序,这种启发式方法可能不是最优的。即使以增加跳数为代价,许多集体也可以从带宽的增加中受益,特别是在发送大消息时。例如,将通信任务放在立方体配置中,而不是放在环面网络上的平面或直线中,会增加消息可能采用的路径的数量。这将增加可用带宽,从而显著提高性能。我们开发了Rubik,这是一个工具,它提供了一个简单而直观的界面,可以为结构化通信模式创建各种各样的映射。鲁比克支持许多基本的操作,如分裂、倾斜或移动,这些操作可以组合成大量独特的模式。每个操作都可以应用于不相交的过程组,以增加有效带宽。我们演示了使用Rubik来提高两个并行代码pF3D和Qbox的性能,它们在子通信器上使用集合。
{"title":"Mapping applications with collectives over sub-communicators on torus networks","authors":"A. Bhatele, T. Gamblin, S. Langer, P. Bremer, E. Draeger, B. Hamann, Katherine E. Isaacs, Aaditya G. Landge, J. Levine, Valerio Pascucci, M. Schulz, C. Still","doi":"10.1109/SC.2012.75","DOIUrl":"https://doi.org/10.1109/SC.2012.75","url":null,"abstract":"The placement of tasks in a parallel application on specific nodes of a supercomputer can significantly impact performance. Traditionally, this task mapping has focused on reducing the distance between communicating tasks on the physical network. This minimizes the number of hops that point-to-point messages travel and thus reduces link sharing between messages and contention. However, for applications that use collectives over sub-communicators, this heuristic may not be optimal. Many collectives can benefit from an increase in bandwidth even at the cost of an increase in hop count, especially when sending large messages. For example, placing communicating tasks in a cube configuration rather than a plane or a line on a torus network increases the number of possible paths messages might take. This increases the available bandwidth which can lead to significant performance gains. We have developed Rubik, a tool that provides a simple and intuitive interface to create a wide variety of mappings for structured communication patterns. Rubik supports a number of elementary operations such as splits, tilts, or shifts, that can be combined into a large number of unique patterns. Each operation can be applied to disjoint groups of processes involved in collectives to increase the effective bandwidth. We demonstrate the use of Rubik for improving performance of two parallel codes, pF3D and Qbox, which use collectives over sub-communicators.","PeriodicalId":217221,"journal":{"name":"2012 International Conference for High Performance Computing, Networking, Storage and Analysis","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131204154","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 56
Parametric flows: Automated behavior equivalencing for symbolic analysis of races in CUDA programs 参数流:用于CUDA程序中种族符号分析的自动行为等价
Peng Li, Guodong Li, G. Gopalakrishnan
The growing scale of concurrency requires automated abstraction techniques to cut down the effort in concurrent system analysis. In this paper, we show that the high degree of behavioral symmetry present in GPU programs allows CUDA race detection to be dramatically simplified through abstraction. Our abstraction techniques is one of automatically creating parametric flows - control-flow equivalence classes of threads that diverge in the same manner - and checking for data races only across a pair of threads per parametric flow. We have implemented this approach as an extension of our recently proposed GKLEE symbolic analysis framework and show that all our previous results are dramatically improved in that (i) the parametric flow-based analysis takes far less time, and (ii) because of the much higher scalability of the analysis, we can detect even more data race situations that were previously missed by GKLEE because it was forced to downscale examples to limit analysis complexity. Moreover, the parametric flow-based analysis is applicable to other programs with SPMD models.
并发性的增长需要自动化抽象技术来减少并发系统分析的工作量。在本文中,我们展示了GPU程序中存在的高度行为对称性允许通过抽象极大地简化CUDA竞争检测。我们的抽象技术是自动创建参数流——以相同方式发散的线程的控制流等价类——并检查每个参数流中仅跨一对线程的数据竞争。我们已经实现了这种方法,作为我们最近提出的GKLEE符号分析框架的扩展,并表明我们之前的所有结果都得到了显着改善,因为(i)基于参数流的分析花费的时间要少得多,并且(ii)由于分析的可扩展性更高,我们可以检测到更多的数据竞争情况,这些情况以前被GKLEE遗漏,因为它被迫缩小示例以限制分析复杂性。此外,基于参数流的分析也适用于其他带有SPMD模型的程序。
{"title":"Parametric flows: Automated behavior equivalencing for symbolic analysis of races in CUDA programs","authors":"Peng Li, Guodong Li, G. Gopalakrishnan","doi":"10.1109/SC.2012.94","DOIUrl":"https://doi.org/10.1109/SC.2012.94","url":null,"abstract":"The growing scale of concurrency requires automated abstraction techniques to cut down the effort in concurrent system analysis. In this paper, we show that the high degree of behavioral symmetry present in GPU programs allows CUDA race detection to be dramatically simplified through abstraction. Our abstraction techniques is one of automatically creating parametric flows - control-flow equivalence classes of threads that diverge in the same manner - and checking for data races only across a pair of threads per parametric flow. We have implemented this approach as an extension of our recently proposed GKLEE symbolic analysis framework and show that all our previous results are dramatically improved in that (i) the parametric flow-based analysis takes far less time, and (ii) because of the much higher scalability of the analysis, we can detect even more data race situations that were previously missed by GKLEE because it was forced to downscale examples to limit analysis complexity. Moreover, the parametric flow-based analysis is applicable to other programs with SPMD models.","PeriodicalId":217221,"journal":{"name":"2012 International Conference for High Performance Computing, Networking, Storage and Analysis","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133993952","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 32
Forward and adjoint simulations of seismic wave propagation on emerging large-scale GPU architectures 新兴大规模GPU架构上地震波传播的正演和伴随模拟
M. Rietmann, P. Messmer, T. Nissen‐Meyer, D. Peter, P. Basini, D. Komatitsch, O. Schenk, J. Tromp, L. Boschi, D. Giardini
Computational seismology is an area of wide sociological and economic impact, ranging from earthquake risk assessment to subsurface imaging and oil and gas exploration. At the core of these simulations is the modeling of wave propagation in a complex medium. Here we report on the extension of the high-order finite-element seismic wave simulation package SPECFEM3D to support the largest scale hybrid and homogeneous supercomputers. Starting from an existing highly tuned MPI code, we migrated to a CUDA version. In order to be of immediate impact to the science mission of computational seismologists, we had to port the entire production package, rather than just individual kernels. One of the challenges in parallelizing finite element codes is the potential for race conditions during the assembly phase. We therefore investigated different methods such as mesh coloring or atomic updates on the GPU. In order to achieve strong scaling, we needed to ensure good overlap of data motion at all levels, including internode and host-accelerator transfers. Finally we carefully tuned the GPU implementation. The new MPI/CUDA solver exhibits excellent scalability and achieves speedup on a node-to-node basis over the carefully tuned equivalent multi-core MPI solver. To demonstrate the performance of both the forward and adjoint functionality, we present two case studies run on the Cray XE6 CPU and Cray XK6 GPU architectures up to 896 nodes: (1) focusing on most commonly used forward simulations, we simulate seismic wave propagation generated by earthquakes in Turkey, and (2) testing the most complex seismic inversion type of the package, we use ambient seismic noise to image 3-D crust and mantle structure beneath western Europe.
计算地震学是一个具有广泛社会学和经济学影响的领域,涉及范围从地震风险评估到地下成像和油气勘探。这些模拟的核心是波在复杂介质中的传播模型。在这里,我们报告了高阶有限元地震波模拟包SPECFEM3D的扩展,以支持最大规模的混合和均匀超级计算机。从现有的高度调优的MPI代码开始,我们迁移到CUDA版本。为了对计算地震学家的科学任务产生直接影响,我们必须移植整个生产包,而不仅仅是单个内核。并行化有限元代码的挑战之一是在装配阶段可能出现竞争条件。因此,我们研究了不同的方法,如网格着色或GPU上的原子更新。为了实现强大的可伸缩性,我们需要确保所有级别的数据运动的良好重叠,包括节点间和主机加速器传输。最后,我们仔细地调整了GPU的实现。新的MPI/CUDA求解器具有出色的可扩展性,并在节点到节点的基础上实现了精心调整的等效多核MPI求解器的加速。为了展示正演和伴随功能的性能,我们在Cray XE6 CPU和Cray XK6 GPU架构上进行了两个案例研究,最多可运行896个节点:(1)专注于最常用的正演模拟,我们模拟了土耳其地震产生的地震波传播;(2)测试了最复杂的地震反演类型,我们使用环境地震噪声对西欧地壳和地幔结构进行了三维成像。
{"title":"Forward and adjoint simulations of seismic wave propagation on emerging large-scale GPU architectures","authors":"M. Rietmann, P. Messmer, T. Nissen‐Meyer, D. Peter, P. Basini, D. Komatitsch, O. Schenk, J. Tromp, L. Boschi, D. Giardini","doi":"10.1109/SC.2012.59","DOIUrl":"https://doi.org/10.1109/SC.2012.59","url":null,"abstract":"Computational seismology is an area of wide sociological and economic impact, ranging from earthquake risk assessment to subsurface imaging and oil and gas exploration. At the core of these simulations is the modeling of wave propagation in a complex medium. Here we report on the extension of the high-order finite-element seismic wave simulation package SPECFEM3D to support the largest scale hybrid and homogeneous supercomputers. Starting from an existing highly tuned MPI code, we migrated to a CUDA version. In order to be of immediate impact to the science mission of computational seismologists, we had to port the entire production package, rather than just individual kernels. One of the challenges in parallelizing finite element codes is the potential for race conditions during the assembly phase. We therefore investigated different methods such as mesh coloring or atomic updates on the GPU. In order to achieve strong scaling, we needed to ensure good overlap of data motion at all levels, including internode and host-accelerator transfers. Finally we carefully tuned the GPU implementation. The new MPI/CUDA solver exhibits excellent scalability and achieves speedup on a node-to-node basis over the carefully tuned equivalent multi-core MPI solver. To demonstrate the performance of both the forward and adjoint functionality, we present two case studies run on the Cray XE6 CPU and Cray XK6 GPU architectures up to 896 nodes: (1) focusing on most commonly used forward simulations, we simulate seismic wave propagation generated by earthquakes in Turkey, and (2) testing the most complex seismic inversion type of the package, we use ambient seismic noise to image 3-D crust and mantle structure beneath western Europe.","PeriodicalId":217221,"journal":{"name":"2012 International Conference for High Performance Computing, Networking, Storage and Analysis","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114726960","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 70
Extending the BT NAS Parallel Benchmark to exascale computing 将BT NAS并行基准扩展到百亿亿次计算
R. V. D. Wijngaart, Srinivas Sridharan, V. Lee
The NAS Parallel Benchmarks (NPB) are a well-known suite of benchmarks that proxy scientific computing applications. They specify several problem sizes that represent how such applications may run on different sizes of HPC systems. However, even the largest problem (class F) is still far too small to exercise properly a petascale supercomputer. Our work shows how one may scale the Block Tridiagonal (BT) NPB from today's published size to petascale and exascale computing systems. In this paper we discuss the pros and cons of various ways of scaling. We discuss how scaling BT would impact computation, memory access, and communications, and highlight the expected bottleneck, which turns out to be not memory or communication bandwidth, but network latency. Two complementary ways are presented to overcome latency obstacles. We also describe a practical method to gather approximate performance data for BT at exascale on actual hardware, without requiring an exascale system.
NAS并行基准测试(NPB)是一套著名的基准测试套件,用于代理科学计算应用程序。他们指定了几个问题大小,代表了这些应用程序如何在不同大小的HPC系统上运行。然而,即使是最大的问题(F类)对于千万亿次超级计算机来说仍然太小。我们的工作展示了如何将块三对角线(BT) NPB从今天公布的规模扩展到千兆级和百亿亿级计算系统。在本文中,我们讨论了各种缩放方式的优缺点。我们讨论了扩展BT将如何影响计算、内存访问和通信,并强调了预期的瓶颈,这不是内存或通信带宽,而是网络延迟。提出了两种互补的方法来克服延迟障碍。我们还描述了一种实用的方法,可以在实际硬件上收集exascale上BT的近似性能数据,而不需要exascale系统。
{"title":"Extending the BT NAS Parallel Benchmark to exascale computing","authors":"R. V. D. Wijngaart, Srinivas Sridharan, V. Lee","doi":"10.1109/SC.2012.55","DOIUrl":"https://doi.org/10.1109/SC.2012.55","url":null,"abstract":"The NAS Parallel Benchmarks (NPB) are a well-known suite of benchmarks that proxy scientific computing applications. They specify several problem sizes that represent how such applications may run on different sizes of HPC systems. However, even the largest problem (class F) is still far too small to exercise properly a petascale supercomputer. Our work shows how one may scale the Block Tridiagonal (BT) NPB from today's published size to petascale and exascale computing systems. In this paper we discuss the pros and cons of various ways of scaling. We discuss how scaling BT would impact computation, memory access, and communications, and highlight the expected bottleneck, which turns out to be not memory or communication bandwidth, but network latency. Two complementary ways are presented to overcome latency obstacles. We also describe a practical method to gather approximate performance data for BT at exascale on actual hardware, without requiring an exascale system.","PeriodicalId":217221,"journal":{"name":"2012 International Conference for High Performance Computing, Networking, Storage and Analysis","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123949281","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
期刊
2012 International Conference for High Performance Computing, Networking, Storage and Analysis
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
﹀
mjeditor
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1