Presentation on theme: "M2MC: Middleware for Many to Many Communication over broadcast networks Chaitanya Krishna Bhavanasi 03329003 Under the guidance of Prof Sridhar Iyer Kanwal."— Presentation transcript:
M2MC: Middleware for Many to Many Communication over broadcast networks Chaitanya Krishna Bhavanasi 03329003 Under the guidance of Prof Sridhar Iyer Kanwal Rekhi School of Information Technology, IIT Bombay, Powai, Mumbai-76, India
Introduction Middleware Communication Paradigms AB E A B C D A D C B A E B C D G1 G2 (1) (2) (3) (4)
Operations For creating a new group For joining an existing group For sending a message to group On receiving a message from broadcast layer Member Synchronization
Message Ordering Protocol Primary objective: Capturing semantic relationship at sender. Representing this relationship and conveying it to receiver. Maintain these relationships with minimum overhead.
Correctness MOP preserves S b ordering (OTR, A1, A2, …An) be messages in OT. For n=1, Hypothesis: MOP delivers (OTR,A1, A2,…,Am) in Sb order. Induction Step: If midp is node Am If midp is any node Ak in OT If midp is not in OT.
Liveness MOP is liveness preserving. Every message sent to the group will be eventually delivered. Message M and Response R M delivered. M not received.
Algorithm and Data structures Ordering List InsertInOL(seqno j ) IsPresent(seqnoj) OSMT InsertInOSMT(midc, midp,data) putOSMsgsInOL(mid c)
Complexities Time Complexity: 0(n^2) Space Complexity: O(m)
Group Join/Leave Protocols For newly connected processes to know information about the groups. For reconnected process to know information about new groups.
Protocol Briefly At Sender At every process on receiving advertisement At every process on receiving groups information For leaving a group.
Notations & Data Structures : gid,desc, cMemList, lMemList : pid : list of : pid,gid, :pid,gid DataStrucutre: GroupsInfoIndexTable gid1 gid2 gid3 gid4 Desc, memlist
State Diagram Initial SendGrpInfoList RecvGrpsInfoList SendAdv SendJoinMsg UpdateGrpInfo for advertising sentAdv joinMsg leaveMsg received On received GrpInfoList no GrpInfo msg left in the list For each GrpInfoMsg in the list if process joins the group after sending after updating CreateNewGrp for creating new group SendLeaveMsg leave group sent infolist received Adv
Member Synchronization Protocol process that newly joined a group process that rejoined the group.
Protocol Briefly At sender Other processes on receiving SyncReqMsg Sender on receiving SyncRespMsg Other processes on receiving SyncRespMsg.
Notations & Data Structures Notations SyncSeqno : Msg is of the form : DataStructure Group Messages List: Message Identities Repository: Process Sync Status Index Table: