The churn rate of a peer-to-peer system places direct limitations on the rate at which messages can be effectively communicated to a group of peers. These limitations are independent of the topology and message transmission latency. In this paper we consider a peer-to-peer network, based on the Engset model, where peers arrive and depart independently at random. We show how the arrival and departure rates directly limit the capacity for message streams to be broadcast to all other peers, by deriving mean field models that accurately describe the system behavior. Our models cover the unit and more general k buffer cases, i.e. where a peer can buffer at most k messages at any one time, and we give results for both single and multi-source message streams. We define coverage rate as peer-messages per unit time, i.e. the rate at which a number of peers receive messages, and show that the coverage rate is limited by the churn rate and buffer size. Our theory introduces an Instantaneous Message Exchange (IME) model and provides a template for further analysis of more complicated systems. Using the IME model, and assuming random processes, we have obtained very accurate equations of the system dynamics in a variety of interesting cases, that allow us to tune a peer-to-peer system. It remains to be seen if we can maintain this accuracy for general processes and when applying a non-instantaneous model.
Other closely related work concerns mobile and ad hoc networks, and sensor networks, because these applications require robust communication techniques and tend to have limited buffer space at each node. The recent work of Lindemann and Waldhorst @cite_9 considers the use of epidemiology in mobile devices with finite buffers and they follow the seven degrees of separation system @cite_3 . In particular they use models for power conservation" where each mobile device is ON with probability @math and OFF with probability @math . Their analytical model gives very close predictions to their simulation results. In our work we describe these states using arrival rate, @math , and departure rate, @math , which allows us to naturally relate this to a rate of message arrivals, @math . We focus solely on these parameters so that we can show precisely how they affect message coverage rate.
@cite_9 @cite_3
1976011215 2140659572 2622724543 2103997024
During and immediately after their deployment, ad hoc and sensor networks lack an efficient communication scheme rendering even the most basic network coordination problems difficult. Before any reasonable communication can take place, nodes must come up with an initial structure that can serve as a foundation for more sophisticated algorithms. In this paper, we consider the problem of obtaining a vertex coloring as such an initial structure. We propose an algorithm that works in the unstructured radio network model. This model captures the characteristics of newly deployed ad hoc and sensor networks, i.e. asynchronous wake-up, no collision-detection, and scarce knowledge about the network topology. When modeling the network as a graph with bounded independence, our algorithm produces a correct coloring with O(Δ) colors in time O(Δ log n) with high probability, where n and Δ are the number of nodes in the network and the maximum degree, respectively. Also, the number of locally used colors depends only on the local node density. Graphs with bounded independence generalize unit disk graphs as well as many other well-known models for wireless multi-hop networks. They allow us to capture aspects such as obstacles, fading, or irregular signal-propagation. This thesis presents models for the performance analysis of a recent communication paradigm: mobile ad hoc networking. The objective of mobile ad hoc networking is to provide wireless connectivity between stations in a highly dynamic environment. These dynamics are driven by the mobility of stations and by breakdowns of stations, and may lead to temporary disconnectivity of parts of the network. Applications of this novel paradigm can be found in telecommunication services, but also in manufacturing systems, road-traffic control, animal monitoring and emergency networking. The performance of mobile ad hoc networks in terms of buffer occupancy and delay is quantified in this thesis by employing specific queueing models, viz., time-limited polling models. These polling models capture the uncontrollable characteristic of link availability in mobile ad hoc networks. Particularly, a novel, so-called pure exponential time-limited, service discipline is introduced in the context of polling systems. The highlighted performance characteristics for these polling systems include the stability, the queue lengths and the sojourn times of the customers. Stability conditions prescribe limits on the amount of tra±c that can be sustained by the system, so that the establishment of these conditions is a fundamental keystone in the analysis of polling models. Moreover, both exact and approximate analysis is presented for the queue length and sojourn time in time-limited polling systems with a single server. These exact analytical techniques are extended to multi-server polling systems operating under the pure time-limited service discipline. Such polling systems with multiple servers effectively may reflect large communication networks with multiple simultaneously active links, while the systems with a single server represent performance models for small networks in which a single communication link can be active at a time. In this work, we consider an asymmetric two-user random access wireless network with interacting nodes, time-varying links and multipacket reception capabilities. The users are equipped with infinite capacity buffers where they store arriving packets that will be transmitted to a destination node. Moreover, each user employs a general transmission control protocol under which, it adapts its transmission probability based both on the state of the other user, and on the channel state information according to a Gilbert-Elliot model. We study a two-dimensional discrete time Markov chain, investigate its stability condition, and show that its steady state performance is expressed in terms of a solution of a Riemann-Hilbert boundary value problem. Moreover, for the symmetrical system, we provide closed form expressions for the average delay at each user node. Numerical results are obtained and show insights in the system performance. During and immediately after their deployment, ad hoc and sensor networks lack an efficient communication scheme rendering even the most basic network coordination problems difficult. Before any reasonable communication can take place, nodes must come up with an initial structure that can serve as a foundation for more sophisticated algorithms. In this paper, we consider the problem of obtaining a vertex coloring as such an initial structure. We propose an algorithm that works under the unstructured radio network model. This model captures the characteristics of newly deployed ad hoc and sensor networks, i.e. asynchronous wake-up, no collision-detection, and scarce knowledge about the network topology. Our algorithm produces a correct coloring with O(Δ) colors in time O(Δ log n) with high probability in a unit disk graph, where n and Δ are the number of nodes in the network and the maximum degree, respectively. Furthermore, the number of locally used colors depends only on the local node density.