[heap] Fine-grained JSArrayBuffer tracking

test/cctest/heap/test-array-buffer-tracker.cc

+// 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/utils-inl.h"
+
+namespace {
+
+typedef i::LocalArrayBufferTracker LocalTracker;
+
+void VerifyTrackedInNewSpace(i::JSArrayBuffer* buf) {
+  CHECK(i::Page::FromAddress(buf->address())->InNewSpace());
+  CHECK(i::Page::FromAddress(buf->address())
+            ->local_tracker()
+            ->IsTrackedForTesting(buf));
+}
+
+void VerifyTrackedInOldSpace(i::JSArrayBuffer* buf) {
+  CHECK(!i::Page::FromAddress(buf->address())->InNewSpace());
+  CHECK(i::Page::FromAddress(buf->address())
+            ->local_tracker()
+            ->IsTrackedForTesting(buf));
+}
+
+void VerifyUntracked(i::JSArrayBuffer* buf) {
+  CHECK(!i::Page::FromAddress(buf->address())
+             ->local_tracker()
+             ->IsTrackedForTesting(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);
+    VerifyTrackedInNewSpace(*buf);
+    GcAndSweep(heap, OLD_SPACE);
+    VerifyTrackedInNewSpace(*buf);
+    GcAndSweep(heap, OLD_SPACE);
+    VerifyTrackedInOldSpace(*buf);
+    raw_ab = *buf;
+  }
+  // 2 GCs are needed because we promote to old space as live, meaining that
+  // we will survive one GC.
+  GcAndSweep(heap, OLD_SPACE);
+  GcAndSweep(heap, OLD_SPACE);
+  VerifyUntracked(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);
+    VerifyTrackedInNewSpace(*buf);
+    GcAndSweep(heap, NEW_SPACE);
+    VerifyTrackedInNewSpace(*buf);
+    GcAndSweep(heap, NEW_SPACE);
+    VerifyTrackedInOldSpace(*buf);
+    GcAndSweep(heap, NEW_SPACE);
+    VerifyTrackedInOldSpace(*buf);
+    raw_ab = *buf;
+  }
+  // 2 GCs are needed because we promote to old space as live, meaning that
+  // we will survive one GC.
+  heap->CollectGarbage(OLD_SPACE);
+  heap->CollectGarbage(OLD_SPACE);
+  VerifyUntracked(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);
+    VerifyTrackedInNewSpace(*buf);
+    GcAndSweep(heap, NEW_SPACE);
+    VerifyTrackedInNewSpace(*buf);
+    GcAndSweep(heap, NEW_SPACE);
+    VerifyTrackedInOldSpace(*buf);
+    GcAndSweep(heap, OLD_SPACE);
+    VerifyTrackedInOldSpace(*buf);
+    GcAndSweep(heap, NEW_SPACE);
+    VerifyTrackedInOldSpace(*buf);
+    raw_ab = *buf;
+  }
+  // 2 GCs are needed because we promote to old space as live, meaning that
+  // we will survive one GC.
+  GcAndSweep(heap, OLD_SPACE);
+  GcAndSweep(heap, OLD_SPACE);
+  VerifyUntracked(raw_ab);
+}
+
+TEST(ArrayBuffer_IterateNotYetDiscoveredEntries) {
+  CcTest::InitializeVM();
+  LocalContext env;
+  v8::Isolate* isolate = env->GetIsolate();
+  Heap* heap = reinterpret_cast<Isolate*>(isolate)->heap();
+
+  v8::HandleScope handle_scope(isolate);
+  Local<v8::ArrayBuffer> ab1 = v8::ArrayBuffer::New(isolate, 100);
+  Handle<JSArrayBuffer> buf1 = v8::Utils::OpenHandle(*ab1);
+  VerifyTrackedInNewSpace(*buf1);
+  GcAndSweep(heap, NEW_SPACE);
+  GcAndSweep(heap, NEW_SPACE);
+  VerifyTrackedInOldSpace(*buf1);
+
+  Local<v8::ArrayBuffer> ab2 = v8::ArrayBuffer::New(isolate, 100);
+  Handle<JSArrayBuffer> buf2 = v8::Utils::OpenHandle(*ab2);
+  Page* interesting_page = Page::FromAddress(buf2->address());
+  bool found_ab1 = false;
+  bool found_ab2 = false;
+
+  interesting_page->local_tracker()->IterateNotYetDiscoveredEntries(
+      [buf1, buf2, &found_ab1, &found_ab2](LocalTracker::Key key) {
+        if (key == *buf1) {
+          found_ab1 = true;
+        }
+        if (key == *buf2) {
+          found_ab2 = true;
+        }
+        return LocalTracker::kKeepEntry;
+      });
+  CHECK(!found_ab1);
+  CHECK(found_ab2);
+}
+
+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();
+  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);
+  VerifyTrackedInNewSpace(*buf1);
+  GcAndSweep(heap, NEW_SPACE);
+  GcAndSweep(heap, NEW_SPACE);
+
+  Page* page_before_gc = Page::FromAddress(buf1->address());
+  page_before_gc->SetFlag(MemoryChunk::FORCE_EVACUATION_CANDIDATE_FOR_TESTING);
+  VerifyTrackedInOldSpace(*buf1);
+
+  heap->CollectAllGarbage();
+
+  Page* page_after_gc = Page::FromAddress(buf1->address());
+  VerifyTrackedInOldSpace(*buf1);
+
+  CHECK_NE(page_before_gc, page_after_gc);
+}
+
+}  // namespace internal
+}  // namespace v8