Distributed algorithms with dynamical random transitions

Abstract

AbstractWe analyze a model of exhaustion of shared resources where allocation and deallocation requests are modeled by dynamical random variables as follows: Let (E, 𝒜, μ, T) be a dynamical system where( E, 𝒜, μ) is a probability space and T is a transformation defined on E. Let d ≥ 1 and f1, … , fd be functions defined on E with values in [0, \documentclass{article}\pagestyle{empty}\begin{document}${1\over d}$\end{document}]. Let (Xi)i≥1 be a sequence of independent random vectors with values in ℤd. Let x ∈ E and (ej)1≤j≤d be the unit coordinate vectors of ℤd. For every i ≥ 1, the law of the random vector Xi is given by We write for the ℤd‐random walk generated by the family (Xi)i≥1. When T is a rotation on the torus then explicit calculations are possible. This stochastic model is a (small) step towards the analysis of distributed algorithms when allocation and deallocation requests are time dependent. It subsumes the models of colliding stacks and of exhaustion of shared memory considered in the literature [14, 15, 11, 16, 17, 20] The technique is applicable to other stochastically modeled resource allocation protocols such as option pricing in financial markets and dam management problems. © 2002 Wiley Periodicals, Inc. Random Struct. Alg., 21: 371–396, 2002