Tutorial Program
Tutorial 1
Tools for Declarative Performance Engineering
Jürgen Walter, University of Würzburg (Germany)
Simon Eismann, University of Würzburg (Germany)
Johannes Grohmann, University of Würzburg (Germany)
Dušan Okanović, University of Stuttgart (Germany)
Samuel Kounev, University of Würzburg (Germany)
Monday, April 9th, 13:30 - 17:00
Duration: 3 hours
Performance is of particular relevance to software system design, operation, and evolution. However, the application of performance engineering approaches to solve a given user concern is challenging and requires expert knowledge and experience. In this tutorial, we guide the reader step-by-step through the answering of performance concerns during software life-cycle using measurement and model-based analysis. We explain tools representing a unified approach for automating huge parts of the software performance engineering process including (i) a performance concern language, for which we provide automated answering using (ii) measurement-based and (iii) model-based analysis. We detail how to derive performance models providing details on (iv) automated extraction of architectural performance models and (v) modeling of parametric dependencies. We introduce tools available online for the answering of performance concerns by demonstrations or hands-on.
Tutorial 2
Measuring and Benchmarking Power Consumption and Energy Efficiency
Jóakim von Kistowski, University of Würzburg (Germany)
Klaus-Dieter Lange, Hewlett Packard Enterprise (USA)
Sanjay Sharma, Intel Corporation (USA)
Hansfried Block (Germany)
Tuesday, April 10th, 9:00 - 12:30
Duration: 3 hours
Energy efficiency is an important quality of computing systems. Consequently, researchers try to analyze, model, and predict the energy efficiency and power consumption of systems. Such research requires energy efficiency and power measurements and measurement methodologies. In this tutorial, members of the SPECpower Committee will introduce the methodologies behind the SPEC power measurement tools, frameworks, and benchmarks. The tutorial will discuss the PTDaemon power measurement tool and how it achieves accuracy in power measurements. It also will discuss the Chauffeur framework and how to use it for custom workloads in research and the energy-efficiency methodology it implements. The tutorial will introduce the SPEC SERT, the workloads it contains, the energy-efficiency metrics it uses, and how these workloads and metrics can be employed in a general power analysis and modelling setting. Finally, the tutorial will give an introduction into the industry-standard power benchmarks SPECpower_ssj2008 and the upcoming SPECpower2018 benchmark.
Tutorial 3
Modelling with Markovian Agents
Marco Gribaudo, Politecnico di Milano (Italy)
Tuesday, April 10th, 13:30 - 17:00
Duration: 3 hours
Markovian Agents is a modelling formalism that allows to describe systems composed by a large number cooperating of agents, spread over a space, that can cooperate using a technique called “induction”. Thanks to their definition, their evolution can be studied using techniques based on mean field analysis, leading to very efficient computation of performance indices. In this tutorial, the main properties and analysis techniques of Markovian agents will be presented. The different forms of induction will be considered, and techniques to include mobility will be discussed. Examples from various fields, including the study of performance of a virtualized data-center, and the reliability of a many-core system-on-chip architecture will be presented.