Memoised garbage collection for software model checking
VY Nguyen, TC Ruys - International Conference on Tools and Algorithms …, 2009 - Springer
VY Nguyen, TC Ruys
International Conference on Tools and Algorithms for the Construction and …, 2009•SpringerVirtual machine based software model checkers like jpf and MoonWalker spend up to half of
their verification time on garbage collection. This is no surprise as after nearly each
transition the heap has to be cleaned from garbage. To improve this, this paper presents the
Memoised Garbage Collection (MGC) algorithm, which exploits the (typical) locality of
transitions to incrementally perform garbage collection. MGC tracks the depths of objects
efficiently and only purges objects whose depths have become infinite, hence unreachable …
their verification time on garbage collection. This is no surprise as after nearly each
transition the heap has to be cleaned from garbage. To improve this, this paper presents the
Memoised Garbage Collection (MGC) algorithm, which exploits the (typical) locality of
transitions to incrementally perform garbage collection. MGC tracks the depths of objects
efficiently and only purges objects whose depths have become infinite, hence unreachable …
Abstract
Virtual machine based software model checkers like jpf and MoonWalker spend up to half of their verification time on garbage collection. This is no surprise as after nearly each transition the heap has to be cleaned from garbage. To improve this, this paper presents the Memoised Garbage Collection (MGC) algorithm, which exploits the (typical) locality of transitions to incrementally perform garbage collection. MGC tracks the depths of objects efficiently and only purges objects whose depths have become infinite, hence unreachable. MGC was experimentally evaluated via an implementation in our model checker MoonWalker and benchmarks using the parallel Java Grande Forum benchmark suite. By using MGC, a performance increase up to 78% was measured over the traditional Mark&Sweep implementation.
Springer
Showing the best result for this search. See all results