Solving Atomic Broadcast Eden : a Consensus Based Group Communication - - PowerPoint PPT Presentation

▶

solving atomic broadcast

Solving Atomic Broadcast Eden : a Consensus Based Group Communication - - PowerPoint PPT Presentation

Aug 17, 2022 382 likes •961 views

Solving Atomic Broadcast Eden : a Consensus Based Group Communication System p.1/ ?? Solving Atomic Broadcast ABcast ABdeliver Messages to order Identities of next messages Missing messages identities GAF Propose Decide Retransmissions

slide-1

SLIDE 1

Solving Atomic Broadcast

Eden : a Consensus Based Group Communication System – p.1/??

slide-2

SLIDE 2

Solving Atomic Broadcast

ABdeliver ABcast UDP Multicast GAF Messages to order Propose Decide UDP Multicast Retransmissions Identities of next messages Missing messages identities

Eden : a Consensus Based Group Communication System – p.1/??

slide-3

SLIDE 3

Solving Atomic Broadcast

ABdeliver ABcast UDP Multicast GAF Messages to order Propose Decide UDP Multicast Retransmissions Identities of next messages Missing messages identities

Eden : a Consensus Based Group Communication System – p.1/??

slide-4

SLIDE 4

Solving Atomic Broadcast

ABdeliver ABcast UDP Multicast GAF Messages to order Propose Decide UDP Multicast Retransmissions Identities of next messages Missing messages identities

Eden : a Consensus Based Group Communication System – p.1/??

slide-5

SLIDE 5

Solving Atomic Broadcast

ABdeliver ABcast UDP Multicast GAF Messages to order Propose Decide UDP Multicast Retransmissions Identities of next messages Missing messages identities

Eden : a Consensus Based Group Communication System – p.1/??

slide-6

SLIDE 6

Solving Atomic Broadcast

ABdeliver ABcast UDP Multicast GAF Messages to order Propose Decide UDP Multicast Retransmissions Identities of next messages Missing messages identities

Eden : a Consensus Based Group Communication System – p.1/??

slide-7

SLIDE 7

Solving Atomic Broadcast

ABdeliver ABcast UDP Multicast GAF Messages to order Propose Decide UDP Multicast Retransmissions Identities of next messages Missing messages identities

Eden : a Consensus Based Group Communication System – p.1/??

slide-8

SLIDE 8

Solving Atomic Broadcast

ABdeliver ABcast UDP Multicast GAF Messages to order Propose Decide UDP Multicast Retransmissions Identities of next messages Missing messages identities

Eden : a Consensus Based Group Communication System – p.1/??

slide-9

SLIDE 9

Solving Atomic Broadcast

ABdeliver ABcast UDP Multicast GAF Messages to order Propose Decide UDP Multicast Retransmissions Identities of next messages Missing messages identities

Eden : a Consensus Based Group Communication System – p.1/??

slide-10

SLIDE 10

Solving Atomic Broadcast

ABdeliver ABcast UDP Multicast GAF Messages to order Propose Decide UDP Multicast Retransmissions Identities of next messages Missing messages identities

Eden : a Consensus Based Group Communication System – p.1/??

slide-11

SLIDE 11

Solving Atomic Broadcast

ABdeliver ABcast UDP Multicast GAF Messages to order Propose Decide UDP Multicast Retransmissions Identities of next messages Missing messages identities

Eden : a Consensus Based Group Communication System – p.1/??

slide-12

SLIDE 12

Solving Atomic Broadcast

ABdeliver ABcast UDP Multicast GAF Messages to order Propose Decide UDP Multicast Retransmissions Identities of next messages Missing messages identities

Eden : a Consensus Based Group Communication System – p.1/??

slide-13

SLIDE 13

Solving Atomic Broadcast

ABdeliver ABcast UDP Multicast GAF Messages to order Propose Decide UDP Multicast Retransmissions Identities of next messages Missing messages identities

Eden : a Consensus Based Group Communication System – p.1/??

slide-14

SLIDE 14

Solving Membership

Eden : a Consensus Based Group Communication System – p.2/??

slide-15

SLIDE 15

Solving Membership

Join, Leave UDP Multicast GAF Propose Decide Membership changes positive negative Failure detector UDP Multicast I am alive messages Membership suspicion

Eden : a Consensus Based Group Communication System – p.2/??

slide-16

SLIDE 16

Solving Membership

Join, Leave UDP Multicast GAF Propose Decide Membership changes positive negative Failure detector UDP Multicast I am alive messages Membership suspicion

Eden : a Consensus Based Group Communication System – p.2/??

slide-17

SLIDE 17

Solving Membership

Join, Leave UDP Multicast GAF Propose Decide Membership changes positive negative Failure detector UDP Multicast I am alive messages Membership suspicion

Eden : a Consensus Based Group Communication System – p.2/??

slide-18

SLIDE 18

Solving Membership

Join, Leave UDP Multicast GAF Propose Decide Membership changes positive negative Failure detector UDP Multicast I am alive messages Membership suspicion

Eden : a Consensus Based Group Communication System – p.2/??

slide-19

SLIDE 19

Solving Membership

Join, Leave UDP Multicast GAF Propose Decide Membership changes positive negative Failure detector UDP Multicast I am alive messages Membership suspicion

Eden : a Consensus Based Group Communication System – p.2/??

slide-20

SLIDE 20

Solving Membership

Join, Leave UDP Multicast GAF Propose Decide Membership changes positive negative Failure detector UDP Multicast I am alive messages Membership suspicion

Eden : a Consensus Based Group Communication System – p.2/??

slide-21

SLIDE 21

Solving Membership

Join, Leave UDP Multicast GAF Propose Decide Membership changes positive negative Failure detector UDP Multicast I am alive messages Membership suspicion

Eden : a Consensus Based Group Communication System – p.2/??

slide-22

SLIDE 22

Solving Membership

Join, Leave UDP Multicast GAF Propose Decide Membership changes positive negative Failure detector UDP Multicast I am alive messages Membership suspicion

Eden : a Consensus Based Group Communication System – p.2/??

slide-23

SLIDE 23

Solving Membership

Join, Leave UDP Multicast GAF Propose Decide Membership changes positive negative Failure detector UDP Multicast I am alive messages Membership suspicion

Eden : a Consensus Based Group Communication System – p.2/??

slide-24

SLIDE 24

Virtual Synchrony

Eden : a Consensus Based Group Communication System – p.3/??

slide-25

SLIDE 25

Virtual Synchrony

Membership is a useful service, not only because it helps tracking the group composition changes, but also because it helps garbaging old broadcast messages that were still stored for possible future retransmissions.

Eden : a Consensus Based Group Communication System – p.3/??

slide-26

SLIDE 26

Virtual Synchrony

Membership is a useful service, not only because it helps tracking the group composition changes, but also because it helps garbaging old broadcast messages that were still stored for possible future retransmissions. However, we also need to synchronize atomic broadcast with membership, to determine each time a view change occurs after which message (atomically broadcast) will this change be installed.

Eden : a Consensus Based Group Communication System – p.3/??

slide-27

SLIDE 27

Virtual Synchrony

Membership is a useful service, not only because it helps tracking the group composition changes, but also because it helps garbaging old broadcast messages that were still stored for possible future retransmissions. However, we also need to synchronize atomic broadcast with membership, to determine each time a view change occurs after which message (atomically broadcast) will this change be installed. This is the goal of Virtual Synchrony (VS).

Eden : a Consensus Based Group Communication System – p.3/??

slide-28

SLIDE 28

A Complex Solution to VS

Eden : a Consensus Based Group Communication System – p.4/??

slide-29

SLIDE 29

A Complex Solution to VS

Atomic Broadcast + VS Membership View Join, Leave ABcast merge

Eden : a Consensus Based Group Communication System – p.4/??

slide-30

SLIDE 30

A Complex Solution to VS

Atomic Broadcast + VS Membership View Join, Leave ABcast merge

Eden : a Consensus Based Group Communication System – p.4/??

slide-31

SLIDE 31

A Complex Solution to VS

Atomic Broadcast + VS Membership View Join, Leave ABcast merge

Eden : a Consensus Based Group Communication System – p.4/??

slide-32

SLIDE 32

A Complex Solution to VS

Atomic Broadcast + VS Membership View Join, Leave ABcast merge

Eden : a Consensus Based Group Communication System – p.4/??

slide-33

SLIDE 33

A Complex Solution to VS

Atomic Broadcast + VS Membership View Join, Leave ABcast merge

Eden : a Consensus Based Group Communication System – p.4/??

slide-34

SLIDE 34

A Complex Solution to VS

Atomic Broadcast + VS Membership View Join, Leave ABcast merge

Eden : a Consensus Based Group Communication System – p.4/??

slide-35

SLIDE 35

A Complex Solution to VS

Atomic Broadcast + VS Membership View Join, Leave ABcast merge

Eden : a Consensus Based Group Communication System – p.4/??

slide-36

SLIDE 36

A Complex Solution to VS

Atomic Broadcast + VS Membership View Join, Leave ABcast merge

Eden : a Consensus Based Group Communication System – p.4/??

slide-37

SLIDE 37

A Complex Solution to VS

Atomic Broadcast + VS Membership View Join, Leave ABcast merge

Eden : a Consensus Based Group Communication System – p.4/??

slide-38

SLIDE 38

A Complex Solution to VS

Atomic Broadcast + VS Membership View Join, Leave ABcast merge

Eden : a Consensus Based Group Communication System – p.4/??

slide-39

SLIDE 39

A Complex Solution to VS

Atomic Broadcast + VS Membership View Join, Leave ABcast merge

Eden : a Consensus Based Group Communication System – p.4/??

slide-40

SLIDE 40

A Complex Solution to VS

Atomic Broadcast + VS Membership View Join, Leave ABcast merge

Eden : a Consensus Based Group Communication System – p.4/??

slide-41

SLIDE 41

Our Implementation of VS

Eden : a Consensus Based Group Communication System – p.5/??

slide-42

SLIDE 42

Our Implementation of VS

We mostly rely on the ability of GAF to decide for multiple agreement problems at the same time.

Eden : a Consensus Based Group Communication System – p.5/??

slide-43

SLIDE 43

Our Implementation of VS

We mostly rely on the ability of GAF to decide for multiple agreement problems at the same time. That means that we have two agreement subdecisions for each decision taken by GAF :

Eden : a Consensus Based Group Communication System – p.5/??

slide-44

SLIDE 44

Our Implementation of VS

We mostly rely on the ability of GAF to decide for multiple agreement problems at the same time. That means that we have two agreement subdecisions for each decision taken by GAF : A first subdecision for atomic broadcast;

Eden : a Consensus Based Group Communication System – p.5/??

slide-45

SLIDE 45

Our Implementation of VS

We mostly rely on the ability of GAF to decide for multiple agreement problems at the same time. That means that we have two agreement subdecisions for each decision taken by GAF : A first subdecision for atomic broadcast; A second subdecision for membership.

Eden : a Consensus Based Group Communication System – p.5/??

slide-46

SLIDE 46

Our Implementation of VS

We mostly rely on the ability of GAF to decide for multiple agreement problems at the same time. That means that we have two agreement subdecisions for each decision taken by GAF : A first subdecision for atomic broadcast; A second subdecision for membership. With this system, we do not need to instantiate as many GAF objects as agreement problems we have to solve

Eden : a Consensus Based Group Communication System – p.5/??

slide-47

SLIDE 47

Our Implementation of VS

We mostly rely on the ability of GAF to decide for multiple agreement problems at the same time. That means that we have two agreement subdecisions for each decision taken by GAF : A first subdecision for atomic broadcast; A second subdecision for membership. With this system, we do not need to instantiate as many GAF objects as agreement problems we have to solve This approach saves machine resources, and also naturally synchronize membership wrt atomic broadcast.

Eden : a Consensus Based Group Communication System – p.5/??

slide-48

SLIDE 48

Future Extensions

Eden : a Consensus Based Group Communication System – p.6/??

slide-49

SLIDE 49

Future Extensions

GAF makes possible to dynamically add and remove agreement problems on which decisions are taken.

Eden : a Consensus Based Group Communication System – p.6/??

slide-50

SLIDE 50

Future Extensions

GAF makes possible to dynamically add and remove agreement problems on which decisions are taken. This makes possible to have initially only one agreement field in decisions. This field would be used by Adam to agree on the order of insertion/removing of others agreement problems.

Eden : a Consensus Based Group Communication System – p.6/??

slide-51

SLIDE 51

Future Extensions

GAF makes possible to dynamically add and remove agreement problems on which decisions are taken. This makes possible to have initially only one agreement field in decisions. This field would be used by Adam to agree on the order of insertion/removing of others agreement problems. In the current implementation, this is done statically in the code.

Eden : a Consensus Based Group Communication System – p.6/??

slide-52

SLIDE 52

Future Extensions

GAF makes possible to dynamically add and remove agreement problems on which decisions are taken. This makes possible to have initially only one agreement field in decisions. This field would be used by Adam to agree on the order of insertion/removing of others agreement problems. In the current implementation, this is done statically in the code. Also, it would be possible to have another agreement field, used to negotiate the QoS provided by GAF.

Eden : a Consensus Based Group Communication System – p.6/??

slide-53

SLIDE 53

Conclusion

Eden : a Consensus Based Group Communication System – p.7/??

slide-54

SLIDE 54

Conclusion

Eden has been successfully interfaced to two different ORBs to provide a partial implementation of FT-Corba :

Eden : a Consensus Based Group Communication System – p.7/??

slide-55

SLIDE 55

Conclusion

Eden has been successfully interfaced to two different ORBs to provide a partial implementation of FT-Corba : Commercial ORB, orbacus

Eden : a Consensus Based Group Communication System – p.7/??

slide-56

SLIDE 56

Conclusion

Eden has been successfully interfaced to two different ORBs to provide a partial implementation of FT-Corba : Commercial ORB, orbacus Research ORB, orbus, INRIA/South East University of Nanjig (China) cooperation.

Eden : a Consensus Based Group Communication System – p.7/??

slide-57

SLIDE 57

Conclusion

Eden has been successfully interfaced to two different ORBs to provide a partial implementation of FT-Corba : Commercial ORB, orbacus Research ORB, orbus, INRIA/South East University of Nanjig (China) cooperation. One can also use Eden in a stand-alone fashion to create a group a replicated servers.

Eden : a Consensus Based Group Communication System – p.7/??