Institutsseminar/2024-05-03
| Datum | Freitag, 3. Mai 2024 | |
|---|---|---|
| Uhrzeit | 11:30 – 13:00 Uhr (Dauer: 90 min) | |
| Ort | Raum 010 (Gebäude 50.34) | |
| Webkonferenz | https://sdq.kastel.kit.edu/institutsseminar/Microsoft Teams | |
| Vorheriger Termin | Fr 12. April 2024 | |
| Nächster Termin | Fr 10. Mai 2024 |
Termin in Kalender importieren: iCal (Download)
Vorträge
| Vortragende(r) | Valerii Zhyla |
|---|---|
| Titel | Performance Modeling of Distributed Computing |
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Larissa Schmid |
| Vortragssprache | |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Optimizing resource allocation in distributed computing systems is crucial for enhancing system efficiency and reliability. Predicting job execution metadata, based on resource demands and platform characteristics, plays a key role in this optimization process.
Distributed computing simulators are utilized for this purpose to model and predict system behaviors. Among the various simulators developed in recent decades, this thesis specifically focuses on the state-of-the-art simulator DCSim. DCSim simulates the nodes and links of the configured platform, generates the workloads according to configured parameter distributions, and performs the simulations. The simulated job execution metadata is accurate, yet the simulations demand computational resources and time that increase superlinearly with the number of nodes simulated. In this thesis, we explore the application of Recurrent Neural Networks and Transformer models for predicting job execution metadata within distributed computing environments. We focus on data preparation, model training, and evaluation for handling numerical sequences of varying lengths. This approach enhances the scalability of predictive systems by leveraging deep neural networks to interpret and forecast job execution metadata based on simulated data or historical data. We assess the models across four scenarios of increasing complexity, evaluating their ability to generalize for unseen jobs and platforms. We examine the training duration and the amount of data necessary to achieve accurate predictions and discuss the applicability of such models to overcome the scalability challenges of DCSim. The key findings of this work demonstrate that the models are capable of generalizing across sequences of lengths encountered during training but fall short in generalizing across different platforms. |
| Vortragende(r) | Hristo Klechorov |
|---|---|
| Titel | Symbolic Performance Modeling |
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Larissa Schmid |
| Vortragssprache | |
| Vortragsmodus | online |
| Kurzfassung | Predicting software performance under different configurations is a challenging task due to the large amount of possible configurations. Performance-influence models help stakeholders understand how configuration options and their interactions influence the performance of a program. A crucial part of the performance modeling process is the design of an experiment set that delivers performance measurements which are used as input for a machine learning algorithm that learns the performance model. An optimal experiment set should contain the minimal amount of experiments that produces a sufficiently accurate performance model.
The topic of this thesis is Symbolic Performance Modeling, a new white-box approach to the analysis of the configuration options' influence on the software's performance. The approach utilizes taint analysis to determine where in the source code configuration options influence the software's performance and symbolic execution to determine whether the influence is significant. We assume that only loop constructs with non-constant iteration counts change the asymptotic behavior of the program. The Feature Taint Analysis provided by VaRA is used to determine which configuration options influence loops, while the Path Tracing provided by PhASAR is used to construct all control-flow paths leading to the loops and their respective path conditions. The SMT Solver Z3 is then used to derive value ranges from the path conditions for the configuration options which influence the loop constructs. We determine the significance of a configuration option's influence based on the size of its value range. We implement the proof-of-concept tool Symbolic Performance Modeling Value Generator to evaluate the approach with regard to its capabilities to analyze real-world applications and its performance. From the insights gained during the evaluation, we define limitations of the current implementation and propose improvements for future work. |
- Neuen Vortrag erstellen