Implement verification of new space evacuation.

Implement verification of new space evacuation.

R=vegorov@chromium.org

Committed: http://code.google.com/p/v8/source/detail?r=9408

[Michael Starzinger, 2011-09-19 10:08:20]

PTAL.

Not sure about the range of the new space to be verified. Currently the whole
to-space is verified with VerifyEvacuation(), but I think that is too strict and
only the allocated part should be verified, just like with VerifyMarking().

[Vyacheslav Egorov (Chromium), 2011-09-19 10:39:17]

http://codereview.chromium.org/7935013/diff/1/src/mark-compact.cc
File src/mark-compact.cc (right):

http://codereview.chromium.org/7935013/diff/1/src/mark-compact.cc#newcode187
src/mark-compact.cc:187: VerifyEvacuation(page->body(), page->body_limit());
I doubt that this actually works. We have copied marked objects from "from"
semispace into "to" semispace and old spaces.

This means no objects are marked on the pages returned by NewSpacePageIterator.

[Michael Starzinger, 2011-09-19 13:02:59]

Added new patch set.

http://codereview.chromium.org/7935013/diff/1/src/mark-compact.cc
File src/mark-compact.cc (right):

http://codereview.chromium.org/7935013/diff/1/src/mark-compact.cc#newcode187
src/mark-compact.cc:187: VerifyEvacuation(page->body(), page->body_limit());
On 2011/09/19 10:39:17, Vyacheslav Egorov wrote:
> I doubt that this actually works. We have copied marked objects from "from"
> semispace into "to" semispace and old spaces.
> 
> This means no objects are marked on the pages returned by
NewSpacePageIterator.

Done.

[Vyacheslav Egorov (Chromium), 2011-09-22 13:16:43]

LGTM