Symmetric and Synchronous Communication in Peer-to-Peer Networks

Motivated by distributed implementations of game-theoretical algorithms, we study symmetric process systems and the problem of attaining common knowledge between processes. We formalize our setting by defining a notion of peer-to-peer networks(*) and appropriate symmetry concepts in the context of Communicating Sequential Processes (CSP), due to the common knowledge creating effects of its synchronous communication primitives. We then prove that CSP with input and output guards makes common knowledge in symmetric peer-to-peer networks possible, but not the restricted version which disallows output statements in guards and is commonly implemented. (*) Please note that we are not dealing with fashionable incarnations such as file-sharing networks, but merely use this name for a mathematical notion of a network consisting of directly connected peers "treated on an equal footing", i.e. not having a client-server structure or otherwise pre-determined roles.)Comment: polished, modernized references; incorporated referee feedback from MPC'0

Symmetric and Synchronous Communication in Peer-to-Peer Networks

Motivated by distributed implementations of game-theoretical algorithms, we study symmetric process systems and the problem of attaining common knowledge between processes. We formalize our setting by defining a notion of peer-to-peer networks and appropriate symmetry concepts in the context of Communicating Sequential Processes (CSP) [1]. We then prove that CSP with input and output guards makes common knowledge in symmetric peer-to-peer networks possible, but not the restricted version which disallows output statements in guards and is commonly implemented. Our results extend [2]

Manejo de recursos-procesos y memoria compartida distribuida

Los avances de la tecnología informática y la baja de costos del equipamiento hicieron realidad, en las últimas décadas, el desarrollo de los sistemas distribuidos. Basados en sistemas seguros de comunicación y computadoras personales o estaciones de trabajo cada vez mas veloces , han madurado en su concepción y desarrollo. Por un lado con este soporte, arquitectura física y arquitectura de programación o algorítmica, se desarrollan aplicaciones geográfica y administrativamente distribuidas. Esto presenta el desafio de lograr el mejor aprovechamiento y rendimiento de todo el sistema. En este sentido se orienta el estudio al manejo de recursos y procesos, dado que con una adecuada planificación se puede lograr mejoras sustanciales en el procesamiento total y en aspectos de movilidad. En este proyecto se pretende hacer un refinamiento de las lineas de trabajo de los anteriores (Sistemas Distribuidos: Concurrencia con Datos Compartidos y Sistemas Multiagentes) intentando concentrar los esfuerzos en áreas que presentan problemas abiertos o soluciones parciales como el manejo de procesos y datos, memoria compartida distribuida y movilidad.Eje: Redes, Arquitectura, Sistemas Distribuidos y Tiempo RealRed de Universidades con Carreras en Informática (RedUNCI

Manejo de recursos-procesos y memoria compartida distribuida

Los avances de la tecnología informática y la baja de costos del equipamiento hicieron realidad, en las últimas décadas, el desarrollo de los sistemas distribuidos. Basados en sistemas seguros de comunicación y computadoras personales o estaciones de trabajo cada vez mas veloces , han madurado en su concepción y desarrollo. Por un lado con este soporte, arquitectura física y arquitectura de programación o algorítmica, se desarrollan aplicaciones geográfica y administrativamente distribuidas. Esto presenta el desafio de lograr el mejor aprovechamiento y rendimiento de todo el sistema. En este sentido se orienta el estudio al manejo de recursos y procesos, dado que con una adecuada planificación se puede lograr mejoras sustanciales en el procesamiento total y en aspectos de movilidad. En este proyecto se pretende hacer un refinamiento de las lineas de trabajo de los anteriores (Sistemas Distribuidos: Concurrencia con Datos Compartidos y Sistemas Multiagentes) intentando concentrar los esfuerzos en áreas que presentan problemas abiertos o soluciones parciales como el manejo de procesos y datos, memoria compartida distribuida y movilidad.Eje: Redes, Arquitectura, Sistemas Distribuidos y Tiempo RealRed de Universidades con Carreras en Informática (RedUNCI

Migración de procesos, memoria compartida distribuida y sistemas multiagentes

Las aplicaciones distribuidas, motorizadas por los avances de la tecnología informática, la baja de costos del equipamiento y la natural necesidad de desarrollarlas, se hicieron realidad en los últimos tiempos. Afianzados con sistemas más seguros de comunicación y computadoras personales o estaciones de trabajo cada vez más veloces, han madurado en su concepción, desarrollo e investigación. La situación actual presenta el desafío de lograr el mejor aprovechamiento y rendimiento de todo el sistema. En este sentido se orienta el estudio al manejo de recursos y procesos, principalmente a la migración de procesos que es el eje central de esta concepción. De los resultados que se obtengan resultará: una adecuada planificación que redundará en mejoras sustanciales en el procesamiento total y en aspectos de movilidad. En este proyecto se pretende concentrar los esfuerzos en áreas que presentan problemas abiertos o soluciones parciales como el manejo de procesos y datos, memoria compartida distribuida, movilidad y aspectos cruzados en el modelamiento como o con sistemas multiagentes.Eje: Sistemas DistribuidosRed de Universidades con Carreras en Informática (RedUNCI

Sistemas distribuidos y agentes

Los avances de la tecnología informática y la baja de costos del equipamiento hicieron realidad, en las últimas décadas, el desarrollo de los sistemas distribuidos. Basados en sistemas seguros de comunicación y computadoras personales o estaciones de trabajo cada vez mas veloces , han madurado en su concepción y desarrollo. Por un lado con este soporte, arquitectura física y arquitectura de programación o ~Igorítmica, se desarrollan sistemas inteligentes basados en agentes autónomos e interactuantes que reciben el nombre de sistemas multiagentes. Paralelamente se intenta dotar a los sistemas inherentemente distribuidos de inteligencia en algunos de los componentes que cumplen con roles activos en el manejo de la información y ejecución. Se presenta en este escrito un proyecto de desarrollo de aplicación de agentes en sistemas distribuidosEje: Procesamiento concurrente, paralelo y distribuido. Procesamiento de imágenes.Red de Universidades con Carreras en Informática (RedUNCI

Sistemas distribuidos y agentes

Los avances de la tecnología informática y la baja de costos del equipamiento hicieron realidad, en las últimas décadas, el desarrollo de los sistemas distribuidos. Basados en sistemas seguros de comunicación y computadoras personales o estaciones de trabajo cada vez mas veloces , han madurado en su concepción y desarrollo. Por un lado con este soporte, arquitectura física y arquitectura de programación o ~Igorítmica, se desarrollan sistemas inteligentes basados en agentes autónomos e interactuantes que reciben el nombre de sistemas multiagentes. Paralelamente se intenta dotar a los sistemas inherentemente distribuidos de inteligencia en algunos de los componentes que cumplen con roles activos en el manejo de la información y ejecución. Se presenta en este escrito un proyecto de desarrollo de aplicación de agentes en sistemas distribuidosEje: Procesamiento concurrente, paralelo y distribuido. Procesamiento de imágenes.Red de Universidades con Carreras en Informática (RedUNCI

Distributed synchronizers in network simulator (Ns) software

Distributed algorithms are designed for systems consisting of many interconnected processors that communicate with one another by exchanging messages through communication links. Distributed algorithms are used on a wide range of applications, from a VLSI chip to LAN, to the Internet. The advantages of distributed systems include information exchange, resource sharing, replication, parallelization, and modularization; NS (Network Simulator) is an object-oriented, discrete event driven network simulator developed at USC/ISI written in C++ and OTCL. NS is primarily useful for simulating local and wide area networks. It produces one or more text-based output files that contain detailed simulation data. The data can be used for simulation analysis or as an input to a graphical simulation display tool, called Network Animator (NAM); There are two approaches to designing distributed algorithms. In synchronous algorithms, the operation of each process is done in a lock-step behavior, whereas in asynchronous algorithms, the processes take steps in an arbitrary order and at arbitrary relative speeds. Synchronous algorithms are easier to write and prove. However, asynchronous algorithms are easier to implement. Thus, an approach to designing distributed algorithms in asynchronous systems is to start with synchronous algorithms, then transform them into corresponding asynchronous versions by passing them through a special algorithm, called synchronizer. This allows one to use asynchronous systems to run the original synchronous algorithms. The synchronizer itself is an asynchronous algorithm; In this research, we experiment with different types of synchronizers. We implement them by considering two applications: leader election and breadth-first search algorithms. The algorithms are implemented on arbitrary networks. We compare the algorithms in terms of communication complexity. We also discuss the suitability of NS as a platform to implement synchronous and asynchronous algorithms

Practical impact of group communication theory

Practical impact of group communication theory Andre Schiper Group communication is an important topic in fault-tolerant distributed applications. The paper summarizes the main contributions of practical importance that contributed to our current understanding of group communication. These contributions are classified into ''abstractions'' and ''specifications'', ''paradigms'', ''system models'', ''algorithms'', and ''theoretical results''. Some open issues are discussed at the end of the paper