mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2026-01-08 04:30:45 -08:00
Code Issues Projects Releases Wiki Activity

Discuss a possible better solution than the collectworldallowed flag.

Browse source 
Copied from Perforce
 Change: 191360
 ServerID: perforce.ravenbrook.com
This commit is contained in:
Gareth Rees 2016-04-20 14:24:01 +01:00
parent f91dbd333d
commit 96e6cd054d
1 changed files with 10 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

10
mps/design/strategy.txt
View file

@ -494,6 +494,16 @@ predicted completion time of the collection is around the time when
the mutator is predicted to reach the current memory limit. See
[Pirinen]_.
_`.policy.start.world.hack`: The ``collectWorldAllowed`` flag was
added to fix job004011_ by ensuring that the MPS starts at most one
collection of the world in each call to ``ArenaPoll()``. But this is
is fragile and inelegant. Ideally the MPS would be able to deduce that
a collection of a set of generations can't possibly make progress
(because nothing that refers to this set of generations has changed),
and so not start such a collection.
.. _job004011: http://www.ravenbrook.com/project/mps/issue/job004011/
_`.policy.start.chain`: If ``collectWorldAllowed`` is FALSE, or if it
is not yet time to schedule a collection of the world,
``PolicyStartTrace()`` considers collecting a set of zones