Waiting for Locks: How Long Does It Usually Take?

Christel BaierChristel Baier, Marcus DaumMarcus Daum, Benjamin EngelBenjamin Engel, Hermann HärtigHermann Härtig, Joachim KleinJoachim Klein, Sascha KlüppelholzSascha Klüppelholz, Steffen MärckerSteffen Märcker, Hendrik TewsHendrik Tews, Marcus VölpMarcus Völp

DOI Link

Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
Waiting for Locks: How Long Does It Usually Take?
Proc. of the 17th International Workshop on Formal Methods for Industrial-Critical Systems (FMICS'12), volume 7437 of Lecture Notes in Computer Science, 47--62, 2012. Springer

Details
Bibtex

KurzfassungAbstract
Reliability of low-level operating-system (OS) code is an indispensable requirement. This includes functional properties from the safety-liveness spectrum, but also quantitative properties stating, e.g., that the average waiting time on locks is sufficiently small or that the energy requirement of a certain system call is below a given threshold with a high probability. This paper reports on our experiences made in a running project where the goal is to apply probabilistic model checking techniques and to align the results of the model checker with measurements to predict quantitative properties of low-level OS code.
Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-32469-7_4.

@inproceedings{BDEHKKMTV2012,
  author    = {Christel Baier and Marcus Daum and Benjamin Engel and Hermann
               H{\"{a}}rtig and Joachim Klein and Sascha Kl{\"{u}}ppelholz and
               Steffen M{\"{a}}rcker and Hendrik Tews and Marcus V{\"{o}}lp},
  title     = {Waiting for Locks: How Long Does It Usually Take?},
  booktitle = {Proc. of the 17th International Workshop on Formal Methods for
               Industrial-Critical Systems (FMICS'12)},
  series    = {Lecture Notes in Computer Science},
  volume    = {7437},
  publisher = {Springer},
  year      = {2012},
  pages     = {47--62},
  doi       = {10.1007/978-3-642-32469-7_4}
}