A formal approach to optimizing the placement of dynamic data arrays by pre-reserving blocks of static computer memory

Tomaev Murat Hasanbekovich, Gamidi Artur Olegovich

the problem of optimizing the placement of user data in multi-level computer memory by preemptive caching is Formalized. Two equivalent approaches to the formulation are given, and the relationship between them is demonstrated. The research is a theoretical basis for creating technologies and tools for creating optimal software products.

Keywords:optimization, program, model, search, quality, caching, static, dynamic.