Declarative Transport: No More Transport Protocols to Design, Only Policies to Specify

OpenBU

Show simple item record

dc.contributor.author Mattar, Karim en_US
dc.contributor.author Matta, Ibrahim en_US
dc.contributor.author Day, John en_US
dc.contributor.author Ishakian, Vatche en_US
dc.contributor.author Gursun, Gonca en_US
dc.date.accessioned 2011-10-20T04:50:30Z
dc.date.available 2011-10-20T04:50:30Z
dc.date.issued 2008-07-12 en_US
dc.identifier.uri http://hdl.handle.net/2144/1707
dc.description.abstract Transport protocols are an integral part of the inter-process communication (IPC) service used by application processes to communicate over the network infrastructure. With almost 30 years of research on transport, one would have hoped that we have a good handle on the problem. Unfortunately, that is not true. As the Internet continues to grow, new network technologies and new applications continue to emerge putting transport protocols in a never-ending flux as they are continuously adapted for these new environments. In this work, we propose a clean-slate transport architecture that renders all possible transport solutions as simply combinations of policies instantiated on a single common structure. We identify a minimal set of mechanisms that once instantiated with the appropriate policies allows any transport solution to be realized. Given our proposed architecture, we contend that there are no more transport protocols to design—only policies to specify. We implement our transport architecture in a declarative language, Network Datalog (NDlog), making the specification of different transport policies easy, compact, reusable, dynamically configurable and potentially verifiable. In NDlog, transport state is represented as database relations, state is updated/queried using database operations, and transport policies are specified using declarative rules. We identify limitations with NDlog that could potentially threaten the correctness of our specification. We propose several language extensions to NDlog that would significantly improve the programmability of transport policies. en_US
dc.description.sponsorship NSF (CISE/CNF 0820138, CISE/CNS 070604, CISE/CNS 0524477, CNS/ITR 0205294, CISE/EIA RI 0202067) en_US
dc.language.iso en_US en_US
dc.publisher Boston University Computer Science Department en_US
dc.relation.ispartofseries BUCS Technical Reports;BUCS-TR-2008-014 en_US
dc.title Declarative Transport: No More Transport Protocols to Design, Only Policies to Specify en_US
dc.type Technical Report en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search OpenBU


Advanced Search

Browse

Deposit Materials