Basic Robust CLIQUES

Flush_Request:

send flush_ok_msg

Flush_Request:

send flush_ok_msg

Flush_Request:

send flush_ok_msg

Trans_Sig & Flush_Request:

send flush_ok_msg

Membership & I’m alone:

destroy old Cliques context

create new Cliques context

update VS set

install memb.

Final_Toekn: fact out final_token; unicast factor_out_msg to collector

Partial_Token & I’m last:

broadcast final_token_msg

Fact_Out & last factor_out_msg:

update key list,

safely

broadcast key_list_msg

Membership &

I’m not alone & I’m chosen:

destroy old Cliques context

create new Cliques context,

update partial token

unicast partial_token_msg to next

update VS set

Membership &

I’m not alone &

I’m not chosen:

destroy old Cliques context

update VS set

Partial_Token

& I’m not last:

update partial_token,

unicast partial_token_msg to next

Wait for Cascading

Membership

(CM)

Data_Message

deliver data_msg

Fact_Out &

!last factor_out_msg:

update key list

Join group

Flush_Request:

deliver flush_request_msg

Trans_Sig &

first trans_sig:

deliver

trans_sig_msg

Sec_Flush_Ok:

send

flush_ok_msg

Cliques_Messages: drop

Wait for

Key_List

(KL)

Wait for

Final_Token

(FT)

Wait for

Partial_Token

(PT)

Collect

Fact_Outs

(FO)

Secure

(S)

Key_List:

extract key;

install memb.

7

1

10

8

19

17

18

2

4

13

5

11

6

12

9

Notes: VS_set is delivered as part of the membership

: All Cliques messages but key_list_msg are sent FIFO

: A process can leave the group in any state

14

3

15

16

5

5

5

5

17

18

Trans_Sig:

deliver

trans_sig_msg

Data_Message:

deliver data_msg

19

User_Message:

send data_msg

Previous slide

Next slide

Back to first slide

View graphic version