Paper Info
Title
A taxonomy of reliable request-response protocols
Abstract
Reliable request-response interactions, in which the server never executes a given request more than once, are being used to support business and safety-critical operations in diverse sectors, such as banking, E-commerce, or healthcare. This form of interactions can be quite difficult to implement, because the client, server, or communication channel may fail, potentially requiring diverse and complex recovery procedures, which may result in duplicate messages being processed at the server. In this paper we address the following question: could we provide a meaningful taxonomy of reliable request-response protocols? We generate valid sequences of client and server actions, organize the generated sequences into a prefix tree, and classify them according to their reliability semantics and memory requirements. The tree reveals three families of protocols matching common real-world implementations that try to deliver exactly-once or at-most-once. The strict organization of the protocols provides a solid foundation for creating correct services, and we show that it also serves to easily identify fallacies and pitfalls of existing implementations.
Year
DOI
Venue
2015
10.1145/2695664.2695898
SAC 2015: Symposium on Applied Computing Salamanca Spain April, 2015
Keywords
Field
DocType
Reliability, Exactly-Once, At-Most-Once, Taxonomy
World Wide Web,Computer science,Computer network,Communication channel,Implementation,Trie,Request–response,Semantics
Conference
ISBN
Citations 
PageRank 
978-1-4503-3196-8
2
0.35
References 
Authors
16
3
Name
Order
Citations
PageRank
Naghmeh Ivaki1246.79
Nuno Laranjeiro220826.74
Filipe Araujo321424.63