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 , 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.
Type de document :
Communication dans un congrès
Gilles Barthe and Cédric Fournet. Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers, Nov 2007, Sophia-Antipolis, France. Springer, 4912, pp.90-107, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-78663-4_8>
Liste complète des métadonnées


https://hal.inria.fr/hal-00909592
Contributeur : Luigi Liquori <>
Soumis le : mardi 26 novembre 2013 - 14:55:44
Dernière modification le : jeudi 9 juillet 2015 - 14:42:34
Document(s) archivé(s) le : jeudi 27 février 2014 - 09:55:50

Fichier

TGC-07.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Luigi Liquori, Michel Cosnard. Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems. Gilles Barthe and Cédric Fournet. Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers, Nov 2007, Sophia-Antipolis, France. Springer, 4912, pp.90-107, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-78663-4_8>. <hal-00909592>

Partager

Métriques

Consultations de
la notice

305

Téléchargements du document

137