ETD system

Electronic theses and dissertations repository

 

Tesi etd-02172020-223735


Thesis type
Tesi di laurea magistrale
Author
CAMERIERO, MARCO
URN
etd-02172020-223735
Title
Modelling and analysing scalable cloud applications
Struttura
INFORMATICA
Corso di studi
INFORMATICA
Supervisors
relatore Brogi, Antonio
relatore Soldani, Jacopo
Parole chiave
  • replicas
  • cloud
  • horizontal scaling
  • finite state machines
  • management protocols
Data inizio appello
06/03/2020;
Consultabilità
Parziale
Data di rilascio
06/03/2023
Riassunto analitico
Modern applications are composed of multiple heterogeneous components, whose management must be orchestrated by taking into account inter-component dependencies and potential failures. In this thesis we present our extensions to the true concurrent fault-aware management protocols to support horizontal scaling of a multi-component application, i.e., how to properly manage multiple copies of the same component concurrently active at runtime. We also illustrate how such protocols can be composed to automatically derive the replica-aware management behaviour of a multi-component application, and how they enable interesting analyses, like recovering a component that got stuck because of an unexpected fault, or checking whether a management plan is valid or not. We also present a technique to solve the problem of redundancy using replica controllers with health probes.
File