A stochastic model of fragmentation in dynamic storage allocation.

*(English)*Zbl 0605.68021We study a model of dynamic storage allocation in which requests for single units of memory arrive in a Poisson stream at rate \(\lambda\) and are accommodated by the first available location found in a linear scan of memory. Immediately after this first-fit assignment, an occupied location commences an exponential delay with rate parameter \(\mu\), after which the location again becomes available. The set of occupied locations (identified by their numbers) at time t forms a random subset \(S_ t\) of \(\{\) 1,2,...\(\}\). The extent of the fragmentation in \(S_ t\), i.e. the alternating holes and occupied regions of memory, is measured by \(\max (S_ t)-| S_ t|\). In equilibrium, the number of occupied locations, \(| S|\), is known to be Poisson distributed with mean \(\rho =\lambda /\mu\). We obtain an explicit formula for the stationary distribution of max(S), the last occupied location, and by independent arguments we show that (E max(X)-\(E| S|)/E| S| \to 0\) as the traffic intensity \(\rho\to \infty\). Moreover, we verify numerically that for any \(\rho\) the expected number of wasted locations in equilibrium is never more than 1/3 the expected number of occupied locations.

Our model applies to studies of fragmentation in paged computer systems, and to containerization problems in industrial storage applications. Finally, our model can be regarded as a simple concrete model of interacting particles [F. Spitzer, Adv. Math. 5, 246-290 (1970; Zbl 0312.60060)].

Our model applies to studies of fragmentation in paged computer systems, and to containerization problems in industrial storage applications. Finally, our model can be regarded as a simple concrete model of interacting particles [F. Spitzer, Adv. Math. 5, 246-290 (1970; Zbl 0312.60060)].

##### MSC:

68M20 | Performance evaluation, queueing, and scheduling in the context of computer systems |

60K25 | Queueing theory (aspects of probability theory) |

90B22 | Queues and service in operations research |