Write a Blog >>
Sun 22 - Fri 27 October 2017 Vancouver, Canada

Causal message delivery, i.e. the requirement that messages are delivered in an order respecting their causal (logical) dependencies, is often mandated in the distributed setting. So far, causal message delivery was implemented by augmenting messages with metadata information that allows the receiver (or the platform) to re-order, and if necessary hold back, messages upon receipt before processing.

We propose that causal message delivery can be achieved by construction, simply by organizing the nodes of the distributed application into a tree topology, and without the need for any metadata in the messages.

We present our ideas informally through an example application and then develop and present a formal model to prove that causal message delivery is preserved in tree-based networks.

Mon 23 Oct (GMT-07:00) Tijuana, Baja California change

10:30 - 12:00: AGERE 2017 - Session 1: Verification and Language Models at Prince of Wales
Chair(s): Joeri De KosterVrije Universiteit Brussel, Belgium
agere-201710:30 - 11:00
Humberto Rodriguez AvilaVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
File Attached
agere-201711:00 - 11:30
Sebastian BlessingImperial College London, Sylvan ClebschImperial College London, Sophia Drossopoulou
agere-201711:30 - 12:00
Mehdi BagherzadehOakland University, Hridesh RajanIowa State University
File Attached