History log of /art/runtime/gc/verification.cc
Revision Date Author Comments
001eff919009f60af4f8184ab37c10ef56275c68 24-Jan-2018 Roland Levillain <rpl@google.com> Improve to-space invariant error reporting in the CC collector.

In particular, distinguish references in an unused region from
the region space (which should never be encountered) from a
reference in a non-moving space.

Test: art/test/testrunner/testrunner.py
Bug: 72758079
Bug: 73004523
Change-Id: Iac632ae71dce9a36b33c14586eeb709dc2d7e7ce
170331f0e44a0e07fcfe0b5932517e0500f5cd1f 08-Dec-2017 Andreas Gampe <agampe@google.com> ART: Remove base/logging from heap-inl.h

Hide the single uncommon VLOG and remove the include. Fix up
transitive includes.

Test: m
Change-Id: I917df597cb62c57040c1fb0e0079df4d95e5a658
891a50e9dc0f02ee34bd7348f80b621249153af5 28-Oct-2017 David Sehr <sehr@google.com> Separate file utilities from utils.cc

Reduce the dependencies from utils.cc to arch/ subdirectories, etc.

Bug: 22322814
Test: make test-art-host
Change-Id: I4decd15ff4ec460735bfb58cebb1c6a1bf32b68f
e27c2136d7ad56352ecc09505d3a2733671a0431 27-Jun-2017 Mathieu Chartier <mathieuc@google.com> Dump heap reference adjacent memory for logging corruption

The motivation is to get inside into large object arrays that have
heap corruption somewhere in the middle.

Also increased the number of bytes printed to 32 per side instead of
16.

Added test.

Test: test-art-host-gtest-heap_verification_test

Bug: 37187694
Bug: 62889232

(cherry picked from commit b814ef592505f5d52c38537d289f177d1fcedeb7)

Merged-In: I3cc3d148061295328ba4420d13c7ca5c38706281

Change-Id: I55f6a3cf24ea4767152101de2c128fca584c2b1d
b814ef592505f5d52c38537d289f177d1fcedeb7 27-Jun-2017 Mathieu Chartier <mathieuc@google.com> Dump heap reference adjacent memory for logging corruption

The motivation is to get inside into large object arrays that have
heap corruption somewhere in the middle.

Also increased the number of bytes printed to 32 per side instead of
16.

Added test.

Test: test-art-host-gtest-heap_verification_test

Bug: 37187694
Change-Id: I3cc3d148061295328ba4420d13c7ca5c38706281
4f5e3cb690547c0f85c1e6117786048d0348d3c6 12-Jun-2017 Mathieu Chartier <mathieuc@google.com> Add FirstPathFromRootSet and use it to debug reachability issues

Specifically issues where classes aren't pruned in image writer.

Added test.

Test: mm test-art-host-gtest-heap_verification_test -j32

Change-Id: Iea87309aaddf9e28f1856698699a925fb6ab92a1
0acdfd796e6d59351e31f976e20a0aedd95f55af 18-May-2017 Mathieu Chartier <mathieuc@google.com> Send holder to Mark in ConcurrentCopying::Process for GC verification

Aims to log more when heap corruption is detected.

Test: test-art-host-gtest-verification_test
Test: test-art-host

Bug: 38409177
Bug: 37187694

(cherry picked from commit 4ce0c765cf7bcaba4da4990b7b9c1f115ec25198)

Change-Id: I8907923ce67c6040ea467b4e3ae00a4b607f8c7c
4ce0c765cf7bcaba4da4990b7b9c1f115ec25198 18-May-2017 Mathieu Chartier <mathieuc@google.com> Send holder to Mark in ConcurrentCopying::Process for GC verification

Aims to log more when heap corruption is detected.

Test: test-art-host-gtest-verification_test
Test: test-art-host

Bug: 38409177
Change-Id: I6dd1872a707e384ae8b8cb16ec0845852a5dc183
5e36c2ff6f2454586a70d702fa4f9dac53841e4a 22-Apr-2017 Andreas Gampe <agampe@google.com> ART: Fix missing include

Add required headers.

Bug: 37187694
Test: mmma art
Change-Id: I0f39498453973ed9bfbad97965f2dff215caea98
1ca689096b532e007dc9f8ba16db4731e6afd719 18-Apr-2017 Mathieu Chartier <mathieuc@google.com> More robust GC verification and corruption dumping

Added a test for GC heap corruption dumping, added more info to the
dump like adjacent bytes and card table.

Added heap corruption detection in
ConcurrentCopying::MarkNonMoving().

Bug: 37187694
Bug: 12687968

Test: mm test-art-host-gtest-verification_test -j20

Change-Id: I8c90e45796d0784265aa091b2f8082f0cfb62719