Skip to Main content Skip to Navigation
Conference papers

Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems

Luigi Liquori 1, 2 Michel Cosnard 2, 1
1 MASCOTTE - Algorithms, simulation, combinatorics and optimization for telecommunications
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : We propose and discuss foundations for programmable overlay networks and overlay computing systems. Such overlays are built over a large number of distributed computational individuals, virtually organized in colonies, and ruled by a leader (broker) who is elected or imposed by system administrators. Every individual asks the broker to log in the colony by declaring the resources that can be offered (with variable guarantees). Once logged in, an individual can ask the broker for other resources. Colonies can recursively be considered as evolved individuals who can log in an outermost colony governed by another (super)-broker. Communications and routing intra-colonies goes through a broker-2-broker PKI-based negotiation. Every broker routes intra- and inter- service requests by filtering its resource routing table, and then by forwarding the request first inside its colony, and second outside, via the proper super-broker (thus applying an endogenous-first-estrogen-last strategy). Theoretically, queries are formulæ in first-order logic equipped with a small program used to orchestrate and synchronize atomic formulæ. When the client individual receives notification of all (or part of) the requested resources, then the real resource exchange is performed di- rectly by the server(s) individuals, without any further mediation of the broker, in a pure peer-to-peer fashion. The proposed overlay promotes an intermittent participation in the colony, since peers can appear, disappear, and organize themselves dynamically. This implies that the routing process may lead to failures, because some individuals have quit, or are temporarily unavailable, or they were logged out manu militari by the broker due to their poor performance or greediness. We design, validate through simulation, and implement these foundations in a programmable overlay computer system, called Arigatoni.
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/hal-00909592
Contributor : Luigi Liquori <>
Submitted on : Tuesday, November 26, 2013 - 2:55:44 PM
Last modification on : Wednesday, October 14, 2020 - 4:22:39 AM
Long-term archiving on: : Thursday, February 27, 2014 - 9:55:50 AM

File

TGC-07.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Luigi Liquori, Michel Cosnard. Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems. Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers, Nov 2007, Sophia-Antipolis, France. pp.90-107, ⟨10.1007/978-3-540-78663-4_8⟩. ⟨hal-00909592⟩

Share

Metrics

Record views

902

Files downloads

391