HomeIsabelle/Phabricator

Run a major GC is the cumulative cost of the minor GCs since the last major GC…

Description

Run a major GC is the cumulative cost of the minor GCs since the last major GC is too large. This changes the calculation to include only the costs since the last major GC rather than the overall cost and fixes a bug in the calculation of "g".

Details

Provenance
dcjmAuthored on Nov 11 2019, 3:48 PM
Parents
rPOLYMLa01fead649bc: Fix reading remote statistics in Unix.
Branches
Unknown
Tags
Unknown