Garbage Collection for Monitoring Parametric Properties

Jin, Dongyun; Meredith, Patrick O'Neil; Griffith, Dennis; Rosu, Grigore

Permalink

https://hdl.handle.net/2142/18751 Copy

Description

Title

Garbage Collection for Monitoring Parametric Properties

Author(s)

• Jin, Dongyun
• Meredith, Patrick O'Neil
• Griffith, Dennis
• Rosu, Grigore

Issue Date

2011-03-15

Keyword(s)

• runtime verification
• runtime monitoring
• testing
• debugging
• aspect-oriented programming
• garbage collection

Abstract

Parametric properties are behavioral properties over program events that depend on one or more parameters. Parameters are bound to concrete data or objects at runtime, which makes parametric properties particularly suitable for stating multi-object relationships or protocols. Monitoring parametric properties independently of the employed formalism involves slicing traces with respect to parameter instances and sending these slices to appropriate non- parametric monitor instances. The number of such instances is theoretically unbounded and tends to be enormous in practice, to an extent that how to efficiently manage monitor instances has become one of the most challenging problems in runtime verification. The previous formalism-independent approach was only able to do the obvious, namely to garbage collect monitor instances when all bound parameter objects were garbage collected. This led to pathological behaviors where unnecessary monitor instances were kept for the entire length of a program. This paper proposes a new approach to garbage collecting monitor instances. Unnecessary monitor instances are collected lazily to avoid creating undue overhead. This lazy collection, along with some careful engineering, has resulted in RV, the most efficient parametric monitoring system to date. Our evaluation shows that the average overhead of RV in the DaCapo benchmark is 15%, which is two times lower than that of JavaMOP and orders of magnitude lower than that of Tracematches.

Type of Resource

text

Permalink

http://hdl.handle.net/2142/18751

Sponsor(s)/Grant Number(s)

Supported in part by NSF grants CCF-0916893, CNS-0720512, and CCF-0448501, by NASA contract NNL08AA23C, and by an NSA grant, a UIUC Campus Research Board Award, and a Samsung SAIT grant.

Owning Collections