ICPE 2012 Proceedings
- Introduction
- Tutorial 1
- Best Practices for Writing and Managing Performance Requirements: A Tutorial (Page 1)
(Siemens Corporation)
- Tutorial 2
- Introduction to Queueing Petri Nets: Modeling Formalism, Tool Support and Case Studies (Page 9)
Samuel Kounev (Karlsruhe Institute of Technology)
Simon Spinner (FZI Research Center for Information Technology)
Philipp Meier (Karlsruhe Institute of Technology)
- Keynote Address 1
- Assuring the Trustworthiness of the Smarter Electric Grid (Page 19)
William H. Sanders (University of Illinois)
- Session: 1: Performance Prediction Techniques for Software and Systems
- On the Accuracy of Cache Sharing Models (Page 21)
Vlastimil Babka (Charles University)
Peter Libi? (Charles University)
(Charles University)
Petr T?ma (Charles University) - Systematic Adoption of Genetic Programming for Deriving Software Performance Curves (Page 33)
Michael Faber (Karlsruhe Institute of Technology)
Jens Happe (SAP Research) - Fluid Limits of Queueing Networks with Batches (Page 45)
Luca Bortolussi (University of Trieste)
Mirco Tribastone - An Approximate Solution for Ph/Ph/1 and Ph/Ph/1/N Queues (Page 57)
Alexandre Brandwajn (University of California Santa Cruz)
Thomas Begin (University Lyon 1)
- Session 2: Performance Modeling and Evaluation of Adaptive Systems
- A Class of Tractable Models for Run-Time Performance Evaluation (Page 63)
Giuliano Casale (Imperial College London)
Peter Harrison (Imperial College London) - Analysis of Bursty Workload-aware Self-adaptive Systems (Page 75)
Diego Perez-Palacin (Universidad de Zaragoza)
(Universidad de Zaragoza)
Raffaela Mirandola (Politecnico di Milano) - How a Consumer Can Measure Elasticity for Cloud Platforms (Page 85)
Sadeka Islam (University of New South Wales)
Kevin Lee (University of New South Wales)
Alan Fekete (University of New Sydney)
Anna Liu (University of New South Wales) - Statistical Detection of QoS Violations Based on CUSUM Control Charts (Page 97)
Ayman Amin (Swinburne University of Technology)
Alan Colman (Swinburne University of Technology)
Lars Grunske (University of Kaiserslautern)
- Session 3: Performance and Software Development Processes
- User-Friendly Approach for Handling Performance Parameters during Predictive Software Performance Engineering (Page 109)
Rasha Tawhid (Carleton University)
Dorina Petriu (Carleton University) - Architecture-Level Reliability Prediction of Concurrent Systems (Page 121)
Leslie Cheung (NetApp)
Ivo Krka (University of Southern California)
Leana Golubchik (University of Southern California)
Nenad Medvidovic (University of Southern California)
- Session 4: Performance and Energy Efficiency
- The Implementation of the Server Efficiency Rating Tool (Page 133)
Mike G. Tricker (Microsoft Corporation)
Klaus-Dieter Lange (Hewlett-Packard Company)
Jeremy A. Arnold (IBM Corporation)
Hansfried Block (Fujitsu Technology Solutions GmbH)
Christian Koopmann (University of Paderborn) - Busy Bee: How to Use Traffic Information for Better Scheduling of Background Tasks (Page 145)
Feng Yan (College of William and Mary)
Alma Riska (EMC Corporation)
Evgenia Smirni (College of William and Mary) - Towards Efficient Supercomputing: Searching for the Right Efficiency Metric (Page 157)
Chung-Hsing Hsu (Oak Ridge National Laboratory)
Jeffery A. Kuehn (Oak Ridge National Laboratory)
Stephen W. Poole (Oak Ridge National Laboratory)
- Keynote Address 2
- New Challenges in Performance Engineering (Page 163)
Amnon Naamad (EMC)
- Session 5: Benchmarking
- Workload Generation for Microprocessor Performance Evaluation (Page 165)
Luk Van Ertvelde (Ghent University)
Lieven Eeckhout (Ghent University) - Performance Evaluation and Benchmarking of Event-Based Systems (Page 167)
Kai Sachs (SAP AG) - Efficient Update Data Generation for DBMS Benchmarks (Page 169)
Michael Frank (University of Passau)
Meikel Poess (Oracle Corporation)
Tilmann Rabl (University of Toronto) - Studying Hardware and Software Trade-Offs for a Real-Life Web 2.0 Workload (Page 181)
Stijn Polfliet (Ghent University)
Frederick Ryckbosch (Ghent University)
Lieven Eeckhout (Ghent University) - Benchmarking Decentralized Monitoring Mechanisms in Peer-to-Peer Systems (Page 193)
Dominik Stingl (TU Darmstadt)
Christian Gross (TU Darmstadt)
Sebastian Kaune (TU Darmstadt)
Ralf Steinmetz (TU Darmstadt)
Karsten Saller (TU Darmstadt)
- Session 6: Performance Modeling of Software and Systems
- An Industrial Case Study of Performance and Cost Design Space Exploration (Page 205)
Thijmen de Gooijer (ABB Corporate Research)
Anton Jansen (ABB Corporate Research)
Heiko Koziolek (ABB Corporate Research)
Anne Koziolek (University of Zurich) - Using Computer Simulation to Predict the Performance of Multithreaded Programs (Page 217)
Alexander Tarvo (Brown University)
Steven P. Reiss (Brown University) - Parallel File System Measurement and Modeling Using Colored Petri Nets (Page 229)
Hai Nguyen (University of Arkansas)
Amy Apon (Clemson University)
- Session 7: Poster Preview Presentations
- Apache Hadoop Performance-Tuning Methodologies and Best Practices (Page 241)
Shrinivas B. Joshi (Advanced Micro Devices, Inc.) - Find Your Best Match: Predicting Performance of Consolidated Workloads (Page 243)
Danilo Ansaloni (University of Lugano)
Lydia Y. Chen
Evgenia Smirni (College of William and Mary)
Akira Yokokawa (University of Lugano)
Walter Binder (University of Lugano) - Importing PMIF Models into PIPE2 using M2M Transformation (Page 245)
Pere Bonet (Universitat de les Illes Balears)
(Universitat de les Illes Balears) - Kieker: A Framework for Application Performance Monitoring and Dynamic Software Analysis (Page 247)
(Christian-Albrechts-University of Kiel)
Jan Waller (Christian-Albrechts-University of Kiel)
Wilhelm Hasselbring (Christian-Albrechts-University of Kiel) - SPEC - Driving Better Benchmarks (Page 249)
Walter Bays (Oracle Corporation)
Klaus-Dieter Lange (Hewlett-Packard Company) - SPECvirt_sc2010 - Driving Virtualization Innovation (Page 251)
David L. Schmidt (Hewlett-Packard Company)
Andrew Bond (Red Hat, Inc.)
Lisa Roderick (VMware Inc.)
Klaus-Dieter Lange (Hewlett-Packard Company) - SPECpower_ssj2008 - Driving Server Energy Efficiency (Page 253)
Mike G. Tricker (Microsoft Corporation)
Klaus-Dieter Lange (Hewlett-Packard Company)
Jeremy A. Arnold (IBM Corporation)
Hansfried Block (Fujitsu Technology Solutions GmbH)
Sanjay Sharma (Intel Corporation) - Server Efficiency Rating Tool (SERT) (Page 255)
Mike G. Tricker (Microsoft Corporation)
Klaus-Dieter Lange (Hewlett-Packard Company)
Jeremy A. Arnold (IBM Corporation)
Hansfried Block (Fujitsu Technology Solutions GmbH)
Sanjay Sharma (Intel Corporation) - SPEC - Enabling Efficiency Measurement (Page 257)
Karl Huppler (IBM Corporation)
Klaus-Dieter Lange (Hewlett-Packard Company)
John Beckett (Dell, Inc.)
- Session 8: Work-in-Progress/Vision Track
- Understanding Performance Modeling for Modular Mobile-Cloud Applications (Page 259)
Ioana Giurgiu (ETH Zurich) - Is Your Cloud Elastic Enough? Performance Modeling the Elasticity of Infrastructure as a Service (IaaS) Cloud Applications (Page 263)
Paul Brebner (NICTA/ANU) - Clock Driven Programming: A Programming Paradigm Which Enables Machine-independent Performance Design (Page 267)
Kenjiro Yamanaka (NTT DATA Corporation) - A Performance Modeling "Blending" Approach for Early Life-cycle Risk Mitigation (Page 271)
Paul Brebner (NICTA/ANU) - Compositional Performance Abstractions of Software Connectors (Page 275)
Misha Strittmatter (Karlsruhe Institute of Technology)
Lucia (Kapova) Happe (Karlsruhe Institute of Technology) - Efficiency Improvements for Solving Layered Queueing Networks (Page 279)
Greg Franks (Carleton University)
Lianhua Li (Carleton University) - Integrating Software Performance Curves with the Palladio Component Model (Page 283)
Alexander Wert (SAP Research)
Jens Happe (SAP Research)
Dennis Westermann (SAP Research) - SPECjbb2012: Updated Metrics for a Business Benchmark (Page 287)
Aleksey Shipilev (Oracle Corporation)
David Keenan (Oracle Corporation) - OpenCL and the 13 Dwarfs: A Work in Progress (Page 291)
Wu-chun Feng (Virginia Tech)
Heshan Lin (Virginia Tech)
Thomas Scogland (Virginia Tech)
Jing Zhang (Virginia Tech) - Automatic NUMA Characterization using Cbench (Page 295)
Ryan Braithwaite (Los Alamos National Laboratory)
Wu-chun Feng (Virginia Tech)
Patrick McCormick (Los Alamos National Laboratory)
- Session 9: Performance Measurement and Experimental Analysis
- Automated Detection of Performance Regressions Using Statistical Process Control Techniques (Page 299)
Thanh H. D. Nguyen (Queen's University)
Bram Adams (Queen's University)
Zhen Ming Jiang (Queen's University)
Ahmed E. Hassan (Queen's University)
Mohamed Nasser (Research in Motion)
Parminder Flora (Research in Motion) - Capturing Performance Assumptions using Stochastic Performance Logic (Page 311)
(Charles University in Prague & Academy of Sciences of the Czech Republic)
(Charles University in Prague & Academy of Sciences of the Czech Republic)
Jaroslav Keznikl (Charles University in Prague & Academy of Sciences of the Czech Republic)
(Charles University in Prague)
Andrej Podzimek (Charles University in Prague & Academy of Sciences of the Czech Republic)
Petr T?ma (Charles University in Prague) - Refactoring Access Control Policies for Performance Improvement (Page 323)
Donia El Kateb (University of Luxembourg)
Tejeddine Mouelhi (University of Luxembourg)
Yves Le Traon (University of Luxembourg)
JeeHyun Hwang (North Carolina State University)
Tao Xie (North Carolina State University) - Hirundo: A Mechanism for Automated Production of Optimized Data Stream Graphs (Page 335)
Miyuru Dayarathna (Tokyo Institute of Technology)
Toyotaro Suzumura (Tokyo Institute of Technology and IBM Research - Tokyo)
Tutorial 1
Best Practices for Writing and Managing Performance Requirements: A Tutorial
Authors(Siemens Corporation)
Abstract:
Performance requirements are one of the main drivers of architectural decisions. Because many performance problems have their roots in architectural decisions, and since poor performance is a principal cause of software project risk, it is essential that performance requirements be developed early in the software lifecycle, and that they be clearly formulated. In this tutorial, we shall look at criteria for high-quality performance requirements, including algebraic consistency, measurability, testability, and linkage to business and engineering needs. While focus of this tutorial is on practice, we shall show how the drafting of performance requirements can be aided by performance modeling. We shall show methods for presenting and managing performance requirements that will improve their chances of being accepted by architects, developers, testers, contract negotiators, and purchasers; and of their being successfully implemented and tested.
DOI: 10.1145/2188286.2188288Full text: PDF
Tutorial 2
Introduction to Queueing Petri Nets: Modeling Formalism, Tool Support and Case Studies
Authors:
Samuel Kounev (Karlsruhe Institute of Technology)
Simon Spinner (FZI Research Center for Information Technology)
Philipp Meier (Karlsruhe Institute of Technology)
Abstract:
Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and evaluating their performance and scalability. By combining the modeling power and expressiveness of queueing networks and stochastic Petri nets, queueing Petri nets provide a number of advantages. This tutorial presents an introduction to queueing Petri nets first introducing the modeling formalism itself and then summarizing the results of several modeling case studies which demonstrate how queueing Petri nets can be used for performance modeling and analysis. As part of the tutorial, we present QPME (Queueing Petri net Modeling Environment), an open-source tool for stochastic modeling and analysis of systems using queueing Petri nets. Finally, we briefly present a model-to-model transformation automatically generating a queueing Petri net model from a higher-level software architecture model annotated with performance relevant information.
DOI: 10.1145/2188286.2188290Full text: PDF
Keynote Address 1
Assuring the Trustworthiness of the Smarter Electric Grid
Authors:
William H. Sanders (University of Illinois)
Abstract:
The vision for a modernized "Smart Grid" involves the use of an advanced computing, communication and control cyber infrastructure for enhancing current grid operations by enabling timely interactions among a range of entities. The coupling between the power grid and its cyber infrastructure is inherent, and the extent to which the Smart Grid vision can be achieved depends upon the trustworthiness of its cyber infrastructure. This talk describes challenges in assuring the trustworthiness (performance, dependability, and security) of the emerging smart grid, using example of research underway at the DOE- and HHS-funded Trustworthy Cyber Infrastructure for the Power Grid (TCIPG) Center. The goal of TCIPG is to provide trustworthiness in the nation's electric grid cyber infrastructure such that it continues to deliver electricity and maintain critical operations even in the presence of cyber attacks. Achieving this goal will involve the extension, integration, design, and development of IT technologies imbibed with key properties of real-time availability and security. This research area provides many opportunities for performance analysts and engineers to apply and extend their research.
DOI: 10.1145/2188286.2188292Full text: PDF
Keynote Address 2
New Challenges in Performance Engineering
Authors:
Amnon Naamad (EMC)
Abstract:
Recent new technologies and paradigm shifts in the IT business make the role of performance engineers significantly more challenging than any other time in the past. Flash technology, virtualization, and Cloud computing provide new options for performance optimization; however, materializing the potential of these technologies in a predictable and cost effective manner is a challenge. New performance management software and planning tools that are based on scientific research and analysis are required to meet the new expectations that users have. The presentation will discuss some of the new technologies, their potential impact on IT, the tools that are being developed to exploit the technologies and some of the open questions still remaining. In particular, the presentation will focus on the subjects of Tiered Storage, Performance in Cloud environments, and proactive performance management.
DOI: 10.1145/2188286.2188311Full text: PDF