54,113 research outputs found
Versatile Markovian models for networks with asymmetric TCP sources
In this paper we use Stochastic Petri Nets (SPNs) to study the interaction of multiple TCP sources that share one or two buffers, thereby considerably extending earlier work. We first consider two sources sharing a buffer and investigate the consequences of two popular assumptions for the loss process in terms of fairness and link utilization. The results obtained by our model are in agreement with existing analytic models or are closer to results obtained by ns-2 simulations. We then study a network consisting of three sources and two buffers and provide evidence that link sharing is approximately minimum-potential-delay-fair in case of equal round-trip times. \u
Simple models of network access, with applications to the design of joint rate and admission control
At the access to networks, in contrast to the core, distances and feedback delays, as well as link capacities are small, which has network engineering implications that are investigated in this paper. We consider a single point in the access network which multiplexes several bursty users. The users adapt their sending rates based on feedback from the access multiplexer. Important parameters are the user's peak transmission rate p, which is the access line speed, the user's guaranteed minimum rate r, and the bound ε on the fraction of lost data. Two feedback schemes are proposed. In both schemes the users are allowed to send at rate p if the system is relatively lightly loaded, at rate r during periods of congestion, and at a rate between r and p, in an intermediate region. For both feedback schemes we present an exact analysis, under the assumption that the users' job sizes and think times have exponential distributions. We use our techniques to design the schemes jointly with admission control, i.e., the selection of the number of admissible users, to maximize throughput for given p, r, and ε. Next we consider the case in which the number of users is large. Under a specific scaling, we derive explicit large deviations asymptotics for both models. We discuss the extension to general distributions of user data and think times
Extended Differential Aggregations in Process Algebra for Performance and Biology
We study aggregations for ordinary differential equations induced by fluid
semantics for Markovian process algebra which can capture the dynamics of
performance models and chemical reaction networks. Whilst previous work has
required perfect symmetry for exact aggregation, we present approximate fluid
lumpability, which makes nearby processes perfectly symmetric after a
perturbation of their parameters. We prove that small perturbations yield
nearby differential trajectories. Numerically, we show that many heterogeneous
processes can be aggregated with negligible errors.Comment: In Proceedings QAPL 2014, arXiv:1406.156
Spatial Fluid Limits for Stochastic Mobile Networks
We consider Markov models of large-scale networks where nodes are
characterized by their local behavior and by a mobility model over a
two-dimensional lattice. By assuming random walk, we prove convergence to a
system of partial differential equations (PDEs) whose size depends neither on
the lattice size nor on the population of nodes. This provides a macroscopic
view of the model which approximates discrete stochastic movements with
continuous deterministic diffusions. We illustrate the practical applicability
of this result by modeling a network of mobile nodes with on/off behavior
performing file transfers with connectivity to 802.11 access points. By means
of an empirical validation against discrete-event simulation we show high
quality of the PDE approximation even for low populations and coarse lattices.
In addition, we confirm the computational advantage in using the PDE limit over
a traditional ordinary differential equation limit where the lattice is modeled
discretely, yielding speed-ups of up to two orders of magnitude
Correction. Brownian models of open processing networks: canonical representation of workload
Due to a printing error the above mentioned article [Annals of Applied
Probability 10 (2000) 75--103, doi:10.1214/aoap/1019737665] had numerous
equations appearing incorrectly in the print version of this paper. The entire
article follows as it should have appeared. IMS apologizes to the author and
the readers for this error. A recent paper by Harrison and Van Mieghem
explained in general mathematical terms how one forms an ``equivalent workload
formulation'' of a Brownian network model. Denoting by the state vector
of the original Brownian network, one has a lower dimensional state descriptor
in the equivalent workload formulation, where can be chosen as
any basis matrix for a particular linear space. This paper considers Brownian
models for a very general class of open processing networks, and in that
context develops a more extensive interpretation of the equivalent workload
formulation, thus extending earlier work by Laws on alternate routing problems.
A linear program called the static planning problem is introduced to articulate
the notion of ``heavy traffic'' for a general open network, and the dual of
that linear program is used to define a canonical choice of the basis matrix
. To be specific, rows of the canonical are alternative basic optimal
solutions of the dual linear program. If the network data satisfy a natural
monotonicity condition, the canonical matrix is shown to be nonnegative,
and another natural condition is identified which ensures that admits a
factorization related to the notion of resource pooling.Comment: Published at http://dx.doi.org/10.1214/105051606000000583 in the
Annals of Applied Probability (http://www.imstat.org/aap/) by the Institute
of Mathematical Statistics (http://www.imstat.org
Continuous feedback fluid queues
We investigate a fluid buffer which is modulated by a stochastic background process, while the momentary behavior of the background process depends on the current buffer level in a continuous way. Loosely speaking the feedback is such that the background process behaves `as a Markov process' with generator at times when the buffer level is , where the entries of are continuous functions of . Moreover, the flow rates for the buffer may also depend continuously on the current buffer level. Such models are interesting in the context of closed-loop telecommunication networks, in which sources interact with network buffers, but may also be deployed in the study of certain production systems. \u
- …