Exon: An Oblivious Exactly-Once Messaging Protocol With Reliable Delegation
TCP is the default transport protocol of choice, namely for message-oriented middleware protocols (e.g., ZMTP, AMQP, MQTT) or distributed language runtimes (e.g., distributed Erlang), where exactly-once (EO) messaging is paramount. However, EO is only guaranteed within the TCP session, since reality...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2025-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/10969770/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849714474800381952 |
|---|---|
| author | Ziad Kassam Paulo Sergio Almeida Ali Shoker |
| author_facet | Ziad Kassam Paulo Sergio Almeida Ali Shoker |
| author_sort | Ziad Kassam |
| collection | DOAJ |
| description | TCP is the default transport protocol of choice, namely for message-oriented middleware protocols (e.g., ZMTP, AMQP, MQTT) or distributed language runtimes (e.g., distributed Erlang), where exactly-once (EO) messaging is paramount. However, EO is only guaranteed within the TCP session, since reality shows that TCP connections can fail under many circumstances. Ensuring EO delivery ends up at the middleware layer, at the cost of higher complexity and lack of obliviouness—due to the use of permanent per-peer state. Moreover, using TCP at scale in highly concurrent systems leads to the need for TCP connection multiplexing, and possibly drastic performance loss due to head-of-line blocking. This paper introduces Exon, an oblivious exactly-once messaging protocol, and a corresponding lightweight (requiring no persistent storage, minimal memory, and low computation) library implementation over UDP. Exon uses a novel strategy of a per-message four-way protocol to ensure oblivious exactly-once messaging, with on-demand protocol-level “soft half-connections”, established when needed and safely discarded. Obliviousness here refers to the protocol’s ability to discard connection-specific state between incarnations, although some global information is retained. Exon achieves simultaneously: correctness with no timing assumptions, obliviousness, and performance through merging and pipelining basic protocol messages. Exon also employs a reliable delegation technique to handover the sending responsibility to a mediating node, without violating EO, when the sender the receiver are directly unreachable to each other and even if the message had already been delivered. The empirical evaluation of Exon demonstrates significant improvements (40%) over TCP in throughput and latency under packet loss, while maintaining a negligible (8%) overhead in healthy networks. |
| format | Article |
| id | doaj-art-1ccf282d23dd4bfa9b194447cc6b7366 |
| institution | DOAJ |
| issn | 2169-3536 |
| language | English |
| publishDate | 2025-01-01 |
| publisher | IEEE |
| record_format | Article |
| series | IEEE Access |
| spelling | doaj-art-1ccf282d23dd4bfa9b194447cc6b73662025-08-20T03:13:42ZengIEEEIEEE Access2169-35362025-01-0113682906831010.1109/ACCESS.2025.356233210969770Exon: An Oblivious Exactly-Once Messaging Protocol With Reliable DelegationZiad Kassam0https://orcid.org/0000-0002-6886-8696Paulo Sergio Almeida1https://orcid.org/0000-0001-7000-0485Ali Shoker2https://orcid.org/0000-0002-4898-9394HASLab, INESC TEC, University of Minho, Braga, PortugalHASLab, INESC TEC, University of Minho, Braga, PortugalCEMSE Division, King Abdullah University of Science and Technology (KAUST), Thuwal, Saudi ArabiaTCP is the default transport protocol of choice, namely for message-oriented middleware protocols (e.g., ZMTP, AMQP, MQTT) or distributed language runtimes (e.g., distributed Erlang), where exactly-once (EO) messaging is paramount. However, EO is only guaranteed within the TCP session, since reality shows that TCP connections can fail under many circumstances. Ensuring EO delivery ends up at the middleware layer, at the cost of higher complexity and lack of obliviouness—due to the use of permanent per-peer state. Moreover, using TCP at scale in highly concurrent systems leads to the need for TCP connection multiplexing, and possibly drastic performance loss due to head-of-line blocking. This paper introduces Exon, an oblivious exactly-once messaging protocol, and a corresponding lightweight (requiring no persistent storage, minimal memory, and low computation) library implementation over UDP. Exon uses a novel strategy of a per-message four-way protocol to ensure oblivious exactly-once messaging, with on-demand protocol-level “soft half-connections”, established when needed and safely discarded. Obliviousness here refers to the protocol’s ability to discard connection-specific state between incarnations, although some global information is retained. Exon achieves simultaneously: correctness with no timing assumptions, obliviousness, and performance through merging and pipelining basic protocol messages. Exon also employs a reliable delegation technique to handover the sending responsibility to a mediating node, without violating EO, when the sender the receiver are directly unreachable to each other and even if the message had already been delivered. The empirical evaluation of Exon demonstrates significant improvements (40%) over TCP in throughput and latency under packet loss, while maintaining a negligible (8%) overhead in healthy networks.https://ieeexplore.ieee.org/document/10969770/Exactly-once (EO)message deliveryreliabilityfault toleranceoblivious |
| spellingShingle | Ziad Kassam Paulo Sergio Almeida Ali Shoker Exon: An Oblivious Exactly-Once Messaging Protocol With Reliable Delegation IEEE Access Exactly-once (EO) message delivery reliability fault tolerance oblivious |
| title | Exon: An Oblivious Exactly-Once Messaging Protocol With Reliable Delegation |
| title_full | Exon: An Oblivious Exactly-Once Messaging Protocol With Reliable Delegation |
| title_fullStr | Exon: An Oblivious Exactly-Once Messaging Protocol With Reliable Delegation |
| title_full_unstemmed | Exon: An Oblivious Exactly-Once Messaging Protocol With Reliable Delegation |
| title_short | Exon: An Oblivious Exactly-Once Messaging Protocol With Reliable Delegation |
| title_sort | exon an oblivious exactly once messaging protocol with reliable delegation |
| topic | Exactly-once (EO) message delivery reliability fault tolerance oblivious |
| url | https://ieeexplore.ieee.org/document/10969770/ |
| work_keys_str_mv | AT ziadkassam exonanobliviousexactlyoncemessagingprotocolwithreliabledelegation AT paulosergioalmeida exonanobliviousexactlyoncemessagingprotocolwithreliabledelegation AT alishoker exonanobliviousexactlyoncemessagingprotocolwithreliabledelegation |