skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Hierarchical Model Validation of Symbolic Performance Models of Scientific Kernels

Abstract

Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the correctness of all essential components or phases in a science simulation. Second, a model that is validated at multiple resolution levels is the very first step to generate predictive performance models, for not only existing systems but also for emerging systems and future problem sizes. We present the design and validation of hierarchical performance models of two scientific benchmarks using a new technique called the modeling assertions (MA). Our MA prototype framework generates symbolic performance models that can be evaluated efficiently by generating the equivalent model representations in Octave and MATLAB. The multi-resolution modeling and validation is conducted on two contemporary, massively-parallel systems, XT3 and Blue Gene/L system. The workload distribution and the growth rates predictions generated by the MA models are confirmed by the experimental data collected on the MPP platforms. In addition, the physical memory requirements that are generated by the MA models are verified by the runtime values on the Blue Gene/L system, which has 512 MBytes and 256 MBytes physical memory capacity in its two unique execution modes.

Authors:
 [1];  [1]
  1. ORNL
Publication Date:
Research Org.:
Oak Ridge National Lab. (ORNL), Oak Ridge, TN (United States)
Sponsoring Org.:
USDOE Office of Science (SC)
OSTI Identifier:
931654
DOE Contract Number:
AC05-00OR22725
Resource Type:
Conference
Resource Relation:
Journal Volume: 4128; Conference: International Euro-Par Conference 2006, Dresden, Germany, 20060829, 20060901
Country of Publication:
United States
Language:
English

Citation Formats

Alam, Sadaf R, and Vetter, Jeffrey S. Hierarchical Model Validation of Symbolic Performance Models of Scientific Kernels. United States: N. p., 2006. Web. doi:10.1007/11823285_8.
Alam, Sadaf R, & Vetter, Jeffrey S. Hierarchical Model Validation of Symbolic Performance Models of Scientific Kernels. United States. doi:10.1007/11823285_8.
Alam, Sadaf R, and Vetter, Jeffrey S. Sun . "Hierarchical Model Validation of Symbolic Performance Models of Scientific Kernels". United States. doi:10.1007/11823285_8.
@article{osti_931654,
title = {Hierarchical Model Validation of Symbolic Performance Models of Scientific Kernels},
author = {Alam, Sadaf R and Vetter, Jeffrey S},
abstractNote = {Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the correctness of all essential components or phases in a science simulation. Second, a model that is validated at multiple resolution levels is the very first step to generate predictive performance models, for not only existing systems but also for emerging systems and future problem sizes. We present the design and validation of hierarchical performance models of two scientific benchmarks using a new technique called the modeling assertions (MA). Our MA prototype framework generates symbolic performance models that can be evaluated efficiently by generating the equivalent model representations in Octave and MATLAB. The multi-resolution modeling and validation is conducted on two contemporary, massively-parallel systems, XT3 and Blue Gene/L system. The workload distribution and the growth rates predictions generated by the MA models are confirmed by the experimental data collected on the MPP platforms. In addition, the physical memory requirements that are generated by the MA models are verified by the runtime values on the Blue Gene/L system, which has 512 MBytes and 256 MBytes physical memory capacity in its two unique execution modes.},
doi = {10.1007/11823285_8},
journal = {},
number = ,
volume = 4128,
place = {United States},
year = {Sun Jan 01 00:00:00 EST 2006},
month = {Sun Jan 01 00:00:00 EST 2006}
}

Conference:
Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this conference proceeding.

Save / Share: