We propose logical networks as the foundations for programmable overlay networks and overlay computing systems. Suchoverlays are built over a large number of distributed computational agents, virtually organized in colonies, and ruled by a leader (broker) who is elected democratically (vox populi) or imposed by system administrators (vox dei).
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 agents who can log in an outermost colony governed by another super-leader.
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 forwarding the request first inside its colony, and second outside, via the proper super-leader (thus applying an endogenous-first-estrogen-last strategy). Theoretically, queries are formulae in first-order logic equipped with a small program used to orchestrate and synchronize atomic formulae. When the client individual receives notification of all (or part of) the requested resources, then the real resource exchange is performed directly 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 aim to design, validate through simulation, and implement these foundations in a programmable overlay network computer system, called ARIGATONI (http://www-sop.inria.fr/mascotte/Luigi.Liquori/ARIGATONI/index.html)
Bio:
Luigi Liquori, MS 1990 Udine University, Ph.D. 1996 University of Turin, H.d.R. 2007 Institut National Polytechnique de Lorraine, served as Lecturer at the Ecole Nationale des Mines de Nancy from 1999. Since 2001, he is a senior researcher of INRIA. Luigi Liquori research’s fields range from logics and foundations of mechanical
proof assistants, to semantics of object oriented programming languages, until foundations of Overlay Networks, Pervasive Computing and Network Computers.