Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1016/j.entcs.2006.03.016 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
operating system,system performance | Computer science,Formalism (philosophy),Stochastic automata,Operating system,Benchmarking | Journal |
Volume | Issue | ISSN |
151 | 3 | 1571-0661 |
Citations | PageRank | References |
10 | 0.55 | 14 |
Authors | ||
6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Rafael Chanin | 1 | 11 | 2.59 |
Mônica Corrêa | 2 | 10 | 0.55 |
Paulo Fernandes | 3 | 327 | 27.06 |
Afonso Sales | 4 | 105 | 17.10 |
Roque Scheer | 5 | 33 | 1.92 |
Avelino F. Zorzo | 6 | 188 | 24.27 |