forked from LeenkxTeam/Kmake
95 lines
3.7 KiB
C++
95 lines
3.7 KiB
C++
// Copyright 2015 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/incremental-marking.h"
|
|
#include "src/heap/mark-compact.h"
|
|
#include "src/heap/marking-state-inl.h"
|
|
#include "src/heap/spaces.h"
|
|
#include "src/objects/js-array-buffer-inl.h"
|
|
#include "src/objects/objects-inl.h"
|
|
#include "test/cctest/cctest.h"
|
|
#include "test/cctest/heap/heap-tester.h"
|
|
#include "test/cctest/heap/heap-utils.h"
|
|
|
|
namespace v8 {
|
|
namespace internal {
|
|
namespace heap {
|
|
|
|
HEAP_TEST(WriteBarrier_Marking) {
|
|
if (!v8_flags.incremental_marking) return;
|
|
ManualGCScope manual_gc_scope;
|
|
CcTest::InitializeVM();
|
|
Isolate* isolate = CcTest::i_isolate();
|
|
Factory* factory = isolate->factory();
|
|
Heap* heap = isolate->heap();
|
|
HandleScope outer(isolate);
|
|
DirectHandle<FixedArray> objects = factory->NewFixedArray(3);
|
|
v8::Global<Value> global_objects(CcTest::isolate(), Utils::ToLocal(objects));
|
|
{
|
|
// Make sure that these objects are not immediately reachable from
|
|
// the roots to prevent them being marked grey at the start of marking.
|
|
HandleScope inner(isolate);
|
|
DirectHandle<FixedArray> host = factory->NewFixedArray(1);
|
|
DirectHandle<HeapNumber> value1 = factory->NewHeapNumber(1.1);
|
|
DirectHandle<HeapNumber> value2 = factory->NewHeapNumber(1.2);
|
|
objects->set(0, *host);
|
|
objects->set(1, *value1);
|
|
objects->set(2, *value2);
|
|
}
|
|
heap::SimulateIncrementalMarking(CcTest::heap(), false);
|
|
Tagged<FixedArray> host = Cast<FixedArray>(objects->get(0));
|
|
Tagged<HeapObject> value1 = Cast<HeapObject>(objects->get(1));
|
|
Tagged<HeapObject> value2 = Cast<HeapObject>(objects->get(2));
|
|
CHECK(heap->marking_state()->IsUnmarked(host));
|
|
CHECK(heap->marking_state()->IsUnmarked(value1));
|
|
// Trigger the barrier for the unmarked host and expect the bail out.
|
|
WriteBarrier::MarkingForTesting(host, host->RawFieldOfElementAt(0), value1);
|
|
CHECK(heap->marking_state()->IsMarked(value1));
|
|
|
|
CHECK(heap->marking_state()->IsUnmarked(value2));
|
|
WriteBarrier::MarkingForTesting(host, host->RawFieldOfElementAt(0), value2);
|
|
CHECK(heap->marking_state()->IsMarked(value2));
|
|
heap::SimulateIncrementalMarking(CcTest::heap(), true);
|
|
CHECK(heap->marking_state()->IsMarked(host));
|
|
CHECK(heap->marking_state()->IsMarked(value1));
|
|
CHECK(heap->marking_state()->IsMarked(value2));
|
|
}
|
|
|
|
HEAP_TEST(WriteBarrier_MarkingExtension) {
|
|
if (!v8_flags.incremental_marking) return;
|
|
ManualGCScope manual_gc_scope;
|
|
CcTest::InitializeVM();
|
|
Isolate* isolate = CcTest::i_isolate();
|
|
Factory* factory = isolate->factory();
|
|
Heap* heap = isolate->heap();
|
|
HandleScope outer(isolate);
|
|
DirectHandle<FixedArray> objects = factory->NewFixedArray(1);
|
|
ArrayBufferExtension* extension;
|
|
{
|
|
HandleScope inner(isolate);
|
|
Local<v8::ArrayBuffer> ab = v8::ArrayBuffer::New(CcTest::isolate(), 100);
|
|
DirectHandle<JSArrayBuffer> host = v8::Utils::OpenDirectHandle(*ab);
|
|
extension = host->extension();
|
|
objects->set(0, *host);
|
|
}
|
|
heap::SimulateIncrementalMarking(CcTest::heap(), false);
|
|
Tagged<JSArrayBuffer> host = Cast<JSArrayBuffer>(objects->get(0));
|
|
CHECK(heap->marking_state()->IsUnmarked(host));
|
|
CHECK(!extension->IsMarked());
|
|
WriteBarrier::ForArrayBufferExtension(host, extension);
|
|
CHECK(extension->IsMarked());
|
|
// Concurrent marking barrier should mark the value now.
|
|
CHECK(extension->IsMarked());
|
|
// Keep object alive using the global handle.
|
|
v8::Global<ArrayBuffer> global_host(
|
|
CcTest::isolate(), Utils::ToLocal(direct_handle(host, isolate)));
|
|
heap::SimulateIncrementalMarking(CcTest::heap(), true);
|
|
CHECK(heap->marking_state()->IsMarked(host));
|
|
CHECK(extension->IsMarked());
|
|
}
|
|
|
|
} // namespace heap
|
|
} // namespace internal
|
|
} // namespace v8
|