Università della Svizzera italiana

On the many faces of atomic multicast

Coelho, Paulo ; Pedone, Fernando (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO004.

Many current online services need to serve clients distributed across geographic areas. Coordinating highly available and scalable geographically distributed replicas, however, is challenging. While State Machine Replication is the most direct way of achieving availability, no scalability comes from the traditional approach. Typically, scalability is obtained by partitioning the original...

Università della Svizzera italiana

Consensus protocols exploiting network programmability

Dang, Huynh Tu ; Soulé, Robert (Dir.) ; Pedone, Fernando (Codir.)

Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO003.

Services rely on replication mechanisms to be available at all time. The service demanding high availability is replicated on a set of machines called replicas. To maintain the consistency of replicas, a consensus protocol such as Paxos or Raft is used to synchronize the replicas' state. As a result, failures of a minority of replicas will not affect the service as other non-faulty replicas...

Università della Svizzera italiana

Multicoordinated agreement protocols and the log service

Camargos, Lasaro Jonas ; Pedone, Fernando (Dir.) ; Madeira, Edmundo R.M. (Codir.)

Thèse de doctorat : Università della Svizzera italiana, 2008 ; 2008INFO001.

Agreement problems are a common abstraction in distributed systems. They appear when the components of the system must concur on reconfigurations, changes of state, or in lines of action in general. Examples of agreement problems are Consensus, Atomic Commitment, and Atomic Broadcast. In this thesis we investigate these abstractions in the context of the environment in which they will run and the...