Open AccessAnalytical Modeling for Operating System Schedulers on NUMA Systems
Author(s) -
Rafael Chanin,
Mônica Corrêa,
Paulo Fernandes,
Afonso Sales,
R. Scheer,
Avelino F. Zorzo
Publication year - 2006
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2006.03.016
Subject(s) - computer science , benchmarking , automaton , formalism (music) , reliability (semiconductor) , execution time , real time operating system , systems modeling , distributed computing , reliability engineering , embedded system , theoretical computer science , software engineering , art , musical , power (physics) , physics , marketing , quantum mechanics , engineering , business , visual arts
Performance evaluation by benchmarking is one of the main approaches for measuring performance of a computer system. However, it is important to measure parts of a system before they are even implemented. This can be achieved through an analytical description of the system, allowing the analysis of the system performance. Additionally, the analytical model can be extended to consider also reliability issues. This paper presents a generic model for an Operating System (OS) scheduler using the Stochastic Automata Networks (SAN) formalism. SAN are used to describe processes and processors in the OS and their behavior when processes have to be migrated. Moreover, processor failures are also modeled in order to provide reliability indices. The proposed model uses actual benchmarks results obtained from a 4-processor Itanium2 SMP machine and a 12-processor Itanium2 NUMA machine
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom