Title: Markov analysis of operating system techniques