Um Método Estocástico para Alocação de Memória

Apresentamos o desenvolvimento da teoria de processos estocásticos aplicada a sistemas de paginação, e ao final do estudo formulamos um algoritmo de paginação.

Primeiro tomamos algumas propriedades de álgebra, e com elas desenvolvemos a teoria necessária à interpretação matemática das cadeias de páginas que ligam duas páginas do programa no computador.

A seguir notando a aleatoriedade como fator preponderante na estrutura desenvolvida, apresentamos alguns resultados que explicam a lei de formação dessas cadeias. Então introduzimos os conceitos de tempo médio de absorção, tempo médio de primeira passagem, desenvolvendo resultados que julgamos serem necessários à evolução natural do estudo.

Aplicamos esses resultados a um processo de markov particular que é o random walk no círculo, com o propósito de obter informações sobre as leis de formação de cadeias para esse caso particular, objetivando ter condições que nos permitirão formular um algoritmo de paginação.