Static Detection of Loop-Invariant Data Structures

11 years 7 months ago

Download www.ics.uci.edu

As a culture, object-orientation encourages programmers to create objects, both short- and long-lived, without concern for cost. Excessive object creation and initialization can cause severe runtime bloat, which degrades significantly application performance and scalability. A frequently-occurring coding pattern that may lead to large volumes of (temporary) objects is the creation of objects that, while allocated per loop iteration, contain values independent of speciﬁc iterations. Finding these objects and moving them out of loops requires sophisticated interprocedural analysis, a task that is difﬁcult for traditional dataﬂow analyses such as loop-invariant code motion to accomplish. Our work targets data structures that are loop-invariant, and presents a static type and effect system to detect loop-invariant data structures. For each loop, our analysis inspects each logical data structure in order to ﬁnd those that have disjoint instances per loop iteration and contain loop-i...

Guoqing (Harry) Xu, Dacong Yan, Atanas Rountev

Real-time Traffic