Software monitoring with controllable overhead

  • Huang X
  • Seyster J
  • Callanan S
 et al. 
  • 18

    Readers

    Mendeley users who have this article in their library.
  • 24

    Citations

    Citations of this article.

Abstract

We introduce the technique of Software Monitor- ing with Controllable Overhead (SMCO), which is based on a novel combination of supervisory control theory of discrete event systems and PID-control theory of discrete time sys- tems. SMCO controls monitoring overhead by temporarily disabling monitoring of selected events for as short a time as possible under the constraint of a user-supplied target over- head ot. This strategy is optimal in the sense that it allows SMCO to monitor as many events as possible, within the con- fines of ot. SMCO is a general monitoring technique that can be applied to any system interface or API. We have applied SMCO to a variety of monitoring prob- lems, including two highlighted in this paper: integer range analysis, which determines upper and lower bounds on in- teger variable values; and Non-Accessed Period (NAP) detec- tion, which detects stale or underutilized memory allocations. We benchmarked SMCO extensively, using both CPU- and I/O-intensive workloads, which often exhibited highly bursty behavior. We demonstrate that SMCO successfully controls overhead across a wide range of target-overhead levels; its accuracy monotonically increases with the target overhead; and it can be configured to distribute monitoring overhead fairly across multiple instrumentation points.

Author-supplied keywords

  • Software instrumentation
  • Supervisory control

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document

Authors

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free