Title :
Benchmarking operating system dependability: Windows 2000 as a case study
Author :
Kalakech, Ali ; Jarboui, Tahar ; Arlat, Jean ; Crouzet, Yves ; Kanoun, Karama
Author_Institution :
Lab. d´´Autom. et d´´Anal. des Syst., CNRS, Toulouse, France
Abstract :
We propose a dependability benchmark suitable for a general purpose operating system (OS). The specifications of the benchmark components are presented and illustrated on a benchmark prototype dedicated to Windows 2000. The important novelty, as regards OS dependability benchmarking, is threefold. First, it lies on a comprehensive and structured set of measures: outcomes are considered both at the OS level and at the application level. Second, these measures include not only robustness measures (e.g., the distribution among the observed outcomes for the OS and the application: error codes, exceptions, workload correct or erroneous completion, OS and application hang), but also the related temporal measures in the presence of faults (e.g., system call and workload execution times, as well as operating system restart time). Finally, we are considering a realistic workload (namely, TPC-C client), instead of a synthetic workload.
Keywords :
benchmark testing; fault tolerant computing; formal specification; operating systems (computers); software reliability; user interfaces; Windows 2000; application level; benchmark component specifications; benchmark prototype; operating system dependability benchmarking; realistic workload; Application software; Computer aided software engineering; Computer industry; Councils; Error correction codes; Open source software; Operating systems; Prototypes; Robustness; Time measurement;
Conference_Titel :
Dependable Computing, 2004. Proceedings. 10th IEEE Pacific Rim International Symposium on
Print_ISBN :
0-7695-2076-6
DOI :
10.1109/PRDC.2004.1276576