logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-02172020-223735


Tipo di tesi
Tesi di laurea magistrale
Autore
CAMERIERO, MARCO
URN
etd-02172020-223735
Titolo
Modelling and analysing scalable cloud applications
Dipartimento
INFORMATICA
Corso di studi
INFORMATICA
Relatori
relatore Brogi, Antonio
relatore Soldani, Jacopo
Parole chiave
  • cloud
  • finite state machines
  • horizontal scaling
  • management protocols
  • replicas
Data inizio appello
06/03/2020
Consultabilità
Completa
Riassunto
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