2002 FREENIX Track Technical Program - Abstract
Inferring Scheduling Behavior with
Regehr, School of Computing, University of Utah
Although computer programs explicitly represent
data values, time values are usually implicit. This makes it
difficult to analyze and debug real-time programs whose correctness depends
partially on the time at which results are computed. This paper
shows how to use Hourglass, an instrumented, synthetic real-time
application, to make inferences about what is happening on a
computer at millisecond and microsecond granularities. These
inferences are possible because Hourglass records a very
fine-grained map of when each of its threads runs, and because
Hourglass supports a variety of thread
execution models that model the
properties and requirements of non-synthetic real-time
applications. We conclude that between measurements and inferences,
surprisingly detailed knowledge about scheduling behavior can be
obtained without modifying, or even explicitly interacting with,
the operating system kernel.
- View the full text of this paper in
The Proceedings are published as a collective work, © 2002 by the USENIX Association. All Rights Reserved. Rights
to individual papers remain with the author or the author's employer.
Permission is granted for the noncommercial reproduction of the complete
work for educational or research purposes. USENIX acknowledges all
trademarks within this paper.
- If you need the latest Adobe Acrobat Reader, you can download it from Adobe's site.
- To become a USENIX Member, please see our Membership Information.