1 Shahrukh R. Tarapore Research Scientist Mnemosyne: Program Analysis Tools for HPC Code Optimization Lockheed Martin Advanced Technology Laboratories.

Slides:



Advertisements
Similar presentations
Günter Weitersberger SNiFF+Cross Advanced. © 2000 Wind River Systems, Inc. What is SNiFF+Cross ? Use your PC to develop UNIX applications Unified software.
Advertisements

© 2009 IBM Corporation July, 2009 | PADTAD Chicago, Illinois A Proposal of Operation History Management System for Source-to-Source Optimization.
School of Engineering & Technology Computer Architecture Pipeline.
Geophysical Fluid Dynamics Laboratory Review June 30 - July 2, 2009 Geophysical Fluid Dynamics Laboratory Review June 30 - July 2, 2009.
ISBN Chapter 1 Preliminaries. Copyright © 2004 Pearson Addison-Wesley. All rights reserved.1-2 Figure 1.1 The von Neumann computer architecture.
National Aeronautics and Space Administration DEVELOP National Program 2.
Introduction CS 524 – High-Performance Computing.
Games Programming III (TGP2281) – T1, 2010/2011 Game AI Fundamentals John See 15 November 2010.
Software Group © 2006 IBM Corporation Compiler Technology Task, thread and processor — OpenMP 3.0 and beyond Guansong Zhang, IBM Toronto Lab.
1 Artificial Intelligence 1.1 Definition:The branch of computer science(CS) that a-makes it possible to perceive (يفهم - يدرك), reason(يستنتج), and act(يفعل-يتخذ.
V The DARPA Dynamic Programming Benchmark on a Reconfigurable Computer Justification High performance computing benchmarking Compare and improve the performance.
1 Aug 7, 2004 GPU Req GPU Requirements for Large Scale Scientific Applications “Begin with the end in mind…” Dr. Mark Seager Asst DH for Advanced Technology.
Unit VI. Keil µVision3/4 IDE for 8051 Tool for embedded firmware development Steps for using keil.
gpucomputing.net is a research and development community site dedicated to fostering collaborative and interdisciplinary work on the various disciplines.
SAINT2002 Towards Next Generation January 31, 2002 Ly Sauer Sandia National Laboratories Sandia is a multiprogram laboratory operated by Sandia Corporation,
© 2002 The MathWorks, Inc. September 2002 Advanced Embedded Tool capabilities for Texas Instruments DSPs © 2002 The MathWorks, Inc. David Hilf Third Party.
Effective User Services for High Performance Computing A White Paper by the TeraGrid Science Advisory Board May 2009.
General Theme In general work in teams combining architects, compiler developers, performance and tools engineers, and application experts –Note this extends.
Software Engineering Experimentation Ways to Acquire Knowledge Part A Science, Engineering and Computing Jeff Offutt
REXAPP Bilal Saqib. REXAPP  Radio EXperimentation And Prototyping Platform Based on NOC  REXAPP Compiler.
Programming Models & Runtime Systems Breakout Report MICS PI Meeting, June 27, 2002.
VHDL Project Specification Naser Mohammadzadeh. Schedule  due date: Tir 18 th 2.
Guiding Principles. Goals First we must agree on the goals. Several (non-exclusive) choices – Want every CS major to be educated in performance including.
Strategies for Solving Large-Scale Optimization Problems Judith Hill Sandia National Laboratories October 23, 2007 Modeling and High-Performance Computing.
Polymorphous Computing Architectures Run-time Environment And Design Application for Polymorphous Technology Verification & Validation (READAPT V&V) Lockheed.
Introduction to Microsoft Windows 2000 Integrated support for client/server and peer-to-peer networks Increased reliability, availability, and scalability.
Numerical Libraries Project Microsoft Incubation Group Mary Beth Hribar Microsoft Corporation CSCAPES Workshop June 10, 2008 Copyright Microsoft Corporation,
Futures Lab: Biology Greenhouse gasses. Carbon-neutral fuels. Cleaning Waste Sites. All of these problems have possible solutions originating in the biology.
1CPSD Software Infrastructure for Application Development Laxmikant Kale David Padua Computer Science Department.
Interactive Supercomputing Update IDC HPC User’s Forum, September 2008.
COMPUTERS IN BIOLOGY Elizabeth Muros INTRO TO PERSONAL COMPUTING.
EGR 115 Introduction to Computing for Engineers Introduction to Computer Programming Wednesday 27 Aug 2014 EGR 115 Introduction to Computing for Engineers.
1 1 Office of Science Jean-Luc Vay Accelerator Technology & Applied Physics Division Lawrence Berkeley National Laboratory HEP Software Foundation Workshop,
Software Development in HPC environments: A SE perspective Rakan Alseghayer.
Site Report DOECGF April 26, 2011 W. Alan Scott Sandia National Laboratories Sandia National Laboratories is a multi-program laboratory managed and operated.
CrossCheckSimulation Results Conclusions References Model Instrumentation Modeling with CUTS Property Specification SPRUCE Challenge Problem Checking Model.
Checking Model Specifications with CrossCheck™ Jonathan Springer James Ezick U.S. Air Force AFRL-SBIR FA C-0049 Unclassified, DISTRIBUTION STATEMENT.
OpenCIT and OpenTicket Demonstrating the functionality of the OpenEngSB.
By: Nelson Webster. Algorithm Engineers Algorithm engineers study the effectiveness and efficiency of procedures of solving problems on a computer.
© 2014 Cengage Learning Engineering. All Rights Reserved.2 Computer Organization and Architecture: Themes and Variations, 1 st Edition Clements.
CS 598 Scripting Languages Design and Implementation 12. Interpreter implementation.
Presented by The Harness Workbench: Unified and Adaptive Access to Diverse HPC Platforms Christian Engelmann Computer Science Research Group Computer Science.
Other Tools HPC Code Development Tools July 29, 2010 Sue Kelly Sandia is a multiprogram laboratory operated by Sandia Corporation, a.
EU-Russia Call Dr. Panagiotis Tsarchopoulos Computing Systems ICT Programme European Commission.
Pengenalan Ilmu Komputasi. Computational Science??
1 Aphirak Jansang Thiranun Dumrongson
Computer Science and Computational Science Sampath Kannan, Division Director Computing & Communication Foundations Division National Science Foundation.
7. Air Quality Modeling Laboratory: individual processes Field: system observations Numerical Models: Enable description of complex, interacting, often.
Game programming 1.
F1-17: Architecture Studies for New-Gen HPC Systems
Electrical Engineering
Contents Introduction Bus Power Model Related Works Motivation
Done By: Ashlee Lizarraga Ricky Usher Jacinto Roches Eli Gomez
Performance Technology for Scalable Parallel Systems
SAL Engineering & Technical Institute
2016 Maintenance Innovation Challenge
S.A.I.L.S. Sailing using An Intelligent Logistician System
Ray-Cast Rendering in VTK-m
Chapter 1 Preliminaries.
Artificial Intelligence introduction(2)
Compiler Back End Panel
PACE: Power-Aware Computing Engines
Compiler Back End Panel
Software Engineering Experimentation
What should we be teaching our computer science students?
Introduction To software engineering
2016 Maintenance Innovation Challenge
Quiz: Computational Thinking
Software Engineering Experimentation
Presentation transcript:

1 Shahrukh R. Tarapore Research Scientist Mnemosyne: Program Analysis Tools for HPC Code Optimization Lockheed Martin Advanced Technology Laboratories (ATL) Cherry Hill, NJ ©2010 Lockheed Martin Corporation. All rights reserved.

2 Application Behavior Problem HPC codes are written by domain experts - not computer systems engineers Naïve implementations lead to bottlenecks which are typically platform specific HPC hardware architectures will continue to change rapidly – –a new platform often means repeating the optimization process

3 Solution: Mnemosyne

4 Experimental Results All applications are compiled with dwarf-2 debugging symbols and level 0 optimization. ApplicationLanguageDescriptionSLOCSpeedupBehaviors CIT AirshedFortranModels formation and dispersal of atmospheric pollutants 0.4K2xMemory striding Function Invariants LIBQuantumCQuantum mechanics simulation 37K1.75xMemory striding GNU GoCArtificial intelligence playing the game ‘Go’ 571K1.05xMemory striding Branch invariants OpenLB Poiseuille2D C++Computational Fluid Dynamics Simulation 55K1.02xMemory striding Branch invariants ICEPICCHigh power microwave physics modeling 78K1xMemory striding Branch invariants Misaligned Accesses