© 1987 by British Computer Society
Chainmail: A Model of First-fit Memory Allocation
Department of Computer Science, The University, Keele, Staffs ST5 5BG, UK
First-fit memory allocation is most simply modelled as a Markov chain but with an unmanageably large state space. By exploiting the localisation of the effects upon the store of block reservation and release, a tractable model is derived for the stochastic equilibrium of memory configuration. The interactions between positions and sizes of blocks constitute a two-dimensional structure of equations giving rise to the name Chainmail. The greater analytical complexity of these equations is compensated for by a reduction in the computational complexity of their solution.
The model is validated by comparison with a number of simulation experiments using both left and right placement strategies.
Received November 1985.
* Department of Computer Science, The University, Keele, Staffs ST5 5BG