| Index: test/cctest/heap/test-array-buffer-tracker.cc
|
| diff --git a/test/cctest/heap/test-array-buffer-tracker.cc b/test/cctest/heap/test-array-buffer-tracker.cc
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..0aab4649f5f6ea4b1cfdb9214ed0df935c36936c
|
| --- /dev/null
|
| +++ b/test/cctest/heap/test-array-buffer-tracker.cc
|
| @@ -0,0 +1,299 @@
|
| +// Copyright 2016 the V8 project authors. All rights reserved.
|
| +// Use of this source code is governed by a BSD-style license that can be
|
| +// found in the LICENSE file.
|
| +
|
| +#include "src/heap/array-buffer-tracker.h"
|
| +#include "test/cctest/cctest.h"
|
| +#include "test/cctest/heap/heap-utils.h"
|
| +
|
| +namespace {
|
| +
|
| +typedef i::LocalArrayBufferTracker LocalTracker;
|
| +
|
| +bool IsTracked(i::JSArrayBuffer* buf) {
|
| + return i::ArrayBufferTracker::IsTracked(buf);
|
| +}
|
| +
|
| +bool IsTrackedInOldSpace(i::JSArrayBuffer* buf) {
|
| + return !i::Page::FromAddress(buf->address())->InNewSpace() && IsTracked(buf);
|
| +}
|
| +
|
| +bool IsTrackedInNewSpace(i::JSArrayBuffer* buf) {
|
| + return i::Page::FromAddress(buf->address())->InNewSpace() && IsTracked(buf);
|
| +}
|
| +
|
| +} // namespace
|
| +
|
| +namespace v8 {
|
| +namespace internal {
|
| +
|
| +// The following tests make sure that JSArrayBuffer tracking works expected when
|
| +// moving the objects through various spaces during GC phases.
|
| +
|
| +TEST(ArrayBuffer_OnlyMC) {
|
| + CcTest::InitializeVM();
|
| + LocalContext env;
|
| + v8::Isolate* isolate = env->GetIsolate();
|
| + Heap* heap = reinterpret_cast<Isolate*>(isolate)->heap();
|
| +
|
| + JSArrayBuffer* raw_ab = nullptr;
|
| + {
|
| + v8::HandleScope handle_scope(isolate);
|
| + Local<v8::ArrayBuffer> ab = v8::ArrayBuffer::New(isolate, 100);
|
| + Handle<JSArrayBuffer> buf = v8::Utils::OpenHandle(*ab);
|
| + CHECK(IsTrackedInNewSpace(*buf));
|
| + heap::GcAndSweep(heap, OLD_SPACE);
|
| + CHECK(IsTrackedInNewSpace(*buf));
|
| + heap::GcAndSweep(heap, OLD_SPACE);
|
| + CHECK(IsTrackedInOldSpace(*buf));
|
| + raw_ab = *buf;
|
| + // Prohibit page from being released.
|
| + Page::FromAddress(buf->address())->MarkNeverEvacuate();
|
| + }
|
| + // 2 GCs are needed because we promote to old space as live, meaning that
|
| + // we will survive one GC.
|
| + heap::GcAndSweep(heap, OLD_SPACE);
|
| + heap::GcAndSweep(heap, OLD_SPACE);
|
| + CHECK(!IsTracked(raw_ab));
|
| +}
|
| +
|
| +TEST(ArrayBuffer_OnlyScavenge) {
|
| + CcTest::InitializeVM();
|
| + LocalContext env;
|
| + v8::Isolate* isolate = env->GetIsolate();
|
| + Heap* heap = reinterpret_cast<Isolate*>(isolate)->heap();
|
| +
|
| + JSArrayBuffer* raw_ab = nullptr;
|
| + {
|
| + v8::HandleScope handle_scope(isolate);
|
| + Local<v8::ArrayBuffer> ab = v8::ArrayBuffer::New(isolate, 100);
|
| + Handle<JSArrayBuffer> buf = v8::Utils::OpenHandle(*ab);
|
| + CHECK(IsTrackedInNewSpace(*buf));
|
| + heap::GcAndSweep(heap, NEW_SPACE);
|
| + CHECK(IsTrackedInNewSpace(*buf));
|
| + heap::GcAndSweep(heap, NEW_SPACE);
|
| + CHECK(IsTrackedInOldSpace(*buf));
|
| + heap::GcAndSweep(heap, NEW_SPACE);
|
| + CHECK(IsTrackedInOldSpace(*buf));
|
| + raw_ab = *buf;
|
| + // Prohibit page from being released.
|
| + Page::FromAddress(buf->address())->MarkNeverEvacuate();
|
| + }
|
| + // 2 GCs are needed because we promote to old space as live, meaning that
|
| + // we will survive one GC.
|
| + heap::GcAndSweep(heap, OLD_SPACE);
|
| + heap::GcAndSweep(heap, OLD_SPACE);
|
| + CHECK(!IsTracked(raw_ab));
|
| +}
|
| +
|
| +TEST(ArrayBuffer_ScavengeAndMC) {
|
| + CcTest::InitializeVM();
|
| + LocalContext env;
|
| + v8::Isolate* isolate = env->GetIsolate();
|
| + Heap* heap = reinterpret_cast<Isolate*>(isolate)->heap();
|
| +
|
| + JSArrayBuffer* raw_ab = nullptr;
|
| + {
|
| + v8::HandleScope handle_scope(isolate);
|
| + Local<v8::ArrayBuffer> ab = v8::ArrayBuffer::New(isolate, 100);
|
| + Handle<JSArrayBuffer> buf = v8::Utils::OpenHandle(*ab);
|
| + CHECK(IsTrackedInNewSpace(*buf));
|
| + heap::GcAndSweep(heap, NEW_SPACE);
|
| + CHECK(IsTrackedInNewSpace(*buf));
|
| + heap::GcAndSweep(heap, NEW_SPACE);
|
| + CHECK(IsTrackedInOldSpace(*buf));
|
| + heap::GcAndSweep(heap, OLD_SPACE);
|
| + CHECK(IsTrackedInOldSpace(*buf));
|
| + heap::GcAndSweep(heap, NEW_SPACE);
|
| + CHECK(IsTrackedInOldSpace(*buf));
|
| + raw_ab = *buf;
|
| + // Prohibit page from being released.
|
| + Page::FromAddress(buf->address())->MarkNeverEvacuate();
|
| + }
|
| + // 2 GCs are needed because we promote to old space as live, meaning that
|
| + // we will survive one GC.
|
| + heap::GcAndSweep(heap, OLD_SPACE);
|
| + heap::GcAndSweep(heap, OLD_SPACE);
|
| + CHECK(!IsTracked(raw_ab));
|
| +}
|
| +
|
| +TEST(ArrayBuffer_Compaction) {
|
| + FLAG_manual_evacuation_candidates_selection = true;
|
| + CcTest::InitializeVM();
|
| + LocalContext env;
|
| + v8::Isolate* isolate = env->GetIsolate();
|
| + Heap* heap = reinterpret_cast<Isolate*>(isolate)->heap();
|
| + heap::AbandonCurrentlyFreeMemory(heap->old_space());
|
| +
|
| + v8::HandleScope handle_scope(isolate);
|
| + Local<v8::ArrayBuffer> ab1 = v8::ArrayBuffer::New(isolate, 100);
|
| + Handle<JSArrayBuffer> buf1 = v8::Utils::OpenHandle(*ab1);
|
| + CHECK(IsTrackedInNewSpace(*buf1));
|
| + heap::GcAndSweep(heap, NEW_SPACE);
|
| + heap::GcAndSweep(heap, NEW_SPACE);
|
| +
|
| + Page* page_before_gc = Page::FromAddress(buf1->address());
|
| + page_before_gc->SetFlag(MemoryChunk::FORCE_EVACUATION_CANDIDATE_FOR_TESTING);
|
| + CHECK(IsTrackedInOldSpace(*buf1));
|
| +
|
| + heap->CollectAllGarbage();
|
| +
|
| + Page* page_after_gc = Page::FromAddress(buf1->address());
|
| + CHECK(IsTrackedInOldSpace(*buf1));
|
| +
|
| + CHECK_NE(page_before_gc, page_after_gc);
|
| +}
|
| +
|
| +TEST(ArrayBuffer_UnregisterDuringSweep) {
|
| +// Regular pages in old space (without compaction) are processed concurrently
|
| +// in the sweeper. If we happen to unregister a buffer (either explicitly, or
|
| +// implicitly through e.g. |Externalize|) we need to sync with the sweeper
|
| +// task.
|
| +//
|
| +// Note: This test will will only fail on TSAN configurations.
|
| +
|
| +// Disable verify-heap since it forces sweeping to be completed in the
|
| +// epilogue of the GC.
|
| +#ifdef VERIFY_HEAP
|
| + i::FLAG_verify_heap = false;
|
| +#endif // VERIFY_HEAP
|
| +
|
| + CcTest::InitializeVM();
|
| + LocalContext env;
|
| + v8::Isolate* isolate = env->GetIsolate();
|
| + Heap* heap = reinterpret_cast<Isolate*>(isolate)->heap();
|
| + {
|
| + v8::HandleScope handle_scope(isolate);
|
| + Local<v8::ArrayBuffer> ab = v8::ArrayBuffer::New(isolate, 100);
|
| + Handle<JSArrayBuffer> buf = v8::Utils::OpenHandle(*ab);
|
| +
|
| + {
|
| + v8::HandleScope handle_scope(isolate);
|
| + // Allocate another buffer on the same page to force processing a
|
| + // non-empty set of buffers in the last GC.
|
| + Local<v8::ArrayBuffer> ab2 = v8::ArrayBuffer::New(isolate, 100);
|
| + Handle<JSArrayBuffer> buf2 = v8::Utils::OpenHandle(*ab2);
|
| + CHECK(IsTrackedInNewSpace(*buf));
|
| + CHECK(IsTrackedInNewSpace(*buf));
|
| + heap::GcAndSweep(heap, NEW_SPACE);
|
| + CHECK(IsTrackedInNewSpace(*buf));
|
| + CHECK(IsTrackedInNewSpace(*buf));
|
| + heap::GcAndSweep(heap, NEW_SPACE);
|
| + CHECK(IsTrackedInOldSpace(*buf));
|
| + CHECK(IsTrackedInOldSpace(*buf2));
|
| + }
|
| +
|
| + heap->CollectGarbage(OLD_SPACE);
|
| + // |Externalize| will cause the buffer to be |Unregister|ed. Without
|
| + // barriers and proper synchronization this will trigger a data race on
|
| + // TSAN.
|
| + v8::ArrayBuffer::Contents contents = ab->Externalize();
|
| + heap->isolate()->array_buffer_allocator()->Free(contents.Data(),
|
| + contents.ByteLength());
|
| + }
|
| +}
|
| +
|
| +TEST(ArrayBuffer_NonLivePromotion) {
|
| + // The test verifies that the marking state is preserved when promoting
|
| + // a buffer to old space.
|
| + CcTest::InitializeVM();
|
| + LocalContext env;
|
| + v8::Isolate* isolate = env->GetIsolate();
|
| + Heap* heap = reinterpret_cast<Isolate*>(isolate)->heap();
|
| +
|
| + JSArrayBuffer* raw_ab = nullptr;
|
| + {
|
| + v8::HandleScope handle_scope(isolate);
|
| + Handle<FixedArray> root =
|
| + heap->isolate()->factory()->NewFixedArray(1, TENURED);
|
| + {
|
| + v8::HandleScope handle_scope(isolate);
|
| + Local<v8::ArrayBuffer> ab = v8::ArrayBuffer::New(isolate, 100);
|
| + Handle<JSArrayBuffer> buf = v8::Utils::OpenHandle(*ab);
|
| + root->set(0, *buf); // Buffer that should not be promoted as live.
|
| + }
|
| + heap::SimulateIncrementalMarking(heap, false);
|
| + CHECK(IsTrackedInNewSpace(JSArrayBuffer::cast(root->get(0))));
|
| + heap::GcAndSweep(heap, NEW_SPACE);
|
| + CHECK(IsTrackedInNewSpace(JSArrayBuffer::cast(root->get(0))));
|
| + heap::GcAndSweep(heap, NEW_SPACE);
|
| + CHECK(IsTrackedInOldSpace(JSArrayBuffer::cast(root->get(0))));
|
| + raw_ab = JSArrayBuffer::cast(root->get(0));
|
| + root->set(0, heap->undefined_value());
|
| + heap::SimulateIncrementalMarking(heap, true);
|
| + // Prohibit page from being released.
|
| + Page::FromAddress(raw_ab->address())->MarkNeverEvacuate();
|
| + heap::GcAndSweep(heap, OLD_SPACE);
|
| + CHECK(!IsTracked(raw_ab));
|
| + }
|
| +}
|
| +
|
| +TEST(ArrayBuffer_LivePromotion) {
|
| + // The test verifies that the marking state is preserved when promoting
|
| + // a buffer to old space.
|
| + CcTest::InitializeVM();
|
| + LocalContext env;
|
| + v8::Isolate* isolate = env->GetIsolate();
|
| + Heap* heap = reinterpret_cast<Isolate*>(isolate)->heap();
|
| +
|
| + JSArrayBuffer* raw_ab = nullptr;
|
| + {
|
| + v8::HandleScope handle_scope(isolate);
|
| + Handle<FixedArray> root =
|
| + heap->isolate()->factory()->NewFixedArray(1, TENURED);
|
| + {
|
| + v8::HandleScope handle_scope(isolate);
|
| + Local<v8::ArrayBuffer> ab = v8::ArrayBuffer::New(isolate, 100);
|
| + Handle<JSArrayBuffer> buf = v8::Utils::OpenHandle(*ab);
|
| + root->set(0, *buf); // Buffer that should be promoted as live.
|
| + }
|
| + heap::SimulateIncrementalMarking(heap, true);
|
| + CHECK(IsTrackedInNewSpace(JSArrayBuffer::cast(root->get(0))));
|
| + heap::GcAndSweep(heap, NEW_SPACE);
|
| + CHECK(IsTrackedInNewSpace(JSArrayBuffer::cast(root->get(0))));
|
| + heap::GcAndSweep(heap, NEW_SPACE);
|
| + CHECK(IsTrackedInOldSpace(JSArrayBuffer::cast(root->get(0))));
|
| + raw_ab = JSArrayBuffer::cast(root->get(0));
|
| + root->set(0, heap->undefined_value());
|
| + // Prohibit page from being released.
|
| + Page::FromAddress(raw_ab->address())->MarkNeverEvacuate();
|
| + heap::GcAndSweep(heap, OLD_SPACE);
|
| + CHECK(IsTracked(raw_ab));
|
| + }
|
| +}
|
| +
|
| +TEST(ArrayBuffer_SemiSpaceCopyThenPagePromotion) {
|
| + // The test verifies that the marking state is preserved across semispace
|
| + // copy.
|
| + CcTest::InitializeVM();
|
| + LocalContext env;
|
| + v8::Isolate* isolate = env->GetIsolate();
|
| + Heap* heap = reinterpret_cast<Isolate*>(isolate)->heap();
|
| +
|
| + heap::SealCurrentObjects(heap);
|
| + {
|
| + v8::HandleScope handle_scope(isolate);
|
| + Handle<FixedArray> root =
|
| + heap->isolate()->factory()->NewFixedArray(1, TENURED);
|
| + {
|
| + v8::HandleScope handle_scope(isolate);
|
| + Local<v8::ArrayBuffer> ab = v8::ArrayBuffer::New(isolate, 100);
|
| + Handle<JSArrayBuffer> buf = v8::Utils::OpenHandle(*ab);
|
| + root->set(0, *buf); // Buffer that should be promoted as live.
|
| + Page::FromAddress(buf->address())->MarkNeverEvacuate();
|
| + }
|
| + std::vector<Handle<FixedArray>> handles;
|
| + // Make the whole page transition from new->old, getting the buffers
|
| + // processed in the sweeper (relying on marking information) instead of
|
| + // processing during newspace evacuation.
|
| + heap::FillCurrentPage(heap->new_space(), &handles);
|
| + CHECK(IsTrackedInNewSpace(JSArrayBuffer::cast(root->get(0))));
|
| + heap::GcAndSweep(heap, NEW_SPACE);
|
| + heap::SimulateIncrementalMarking(heap, true);
|
| + heap::GcAndSweep(heap, OLD_SPACE);
|
| + CHECK(IsTracked(JSArrayBuffer::cast(root->get(0))));
|
| + }
|
| +}
|
| +
|
| +} // namespace internal
|
| +} // namespace v8
|
|
|