cfc6a5c2c6
There is no good reason to have the meat of most objects' initialization
logic in heap.cc, all wrapped by the CALL_HEAP_FUNCTION macro. Instead,
this CL changes the protocol between Heap and Factory to be AllocateRaw,
and all object initialization work after (possibly retried) successful
raw allocation happens in the Factory.
This saves about 20KB of binary size on x64.
Original review: https://chromium-review.googlesource.com/c/v8/v8/+/959533
Originally landed as r52416 / f9a2e24bbc
Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
Change-Id: Id072cbe6b3ed30afd339c7e502844b99ca12a647
Reviewed-on: https://chromium-review.googlesource.com/1000540
Commit-Queue: Jakob Kummerow <jkummerow@chromium.org>
Reviewed-by: Hannes Payer <hpayer@chromium.org>
Reviewed-by: Michael Starzinger <mstarzinger@chromium.org>
Cr-Commit-Position: refs/heads/master@{#52492}
380 lines
14 KiB
C++
380 lines
14 KiB
C++
// Copyright 2012 the V8 project authors. All rights reserved.
|
|
// Redistribution and use in source and binary forms, with or without
|
|
// modification, are permitted provided that the following conditions are
|
|
// met:
|
|
//
|
|
// * Redistributions of source code must retain the above copyright
|
|
// notice, this list of conditions and the following disclaimer.
|
|
// * Redistributions in binary form must reproduce the above
|
|
// copyright notice, this list of conditions and the following
|
|
// disclaimer in the documentation and/or other materials provided
|
|
// with the distribution.
|
|
// * Neither the name of Google Inc. nor the names of its
|
|
// contributors may be used to endorse or promote products derived
|
|
// from this software without specific prior written permission.
|
|
//
|
|
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
|
|
// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
|
|
// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
|
|
// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
|
|
// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
|
// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
|
// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
|
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
|
|
#include <stdlib.h>
|
|
|
|
#ifdef __linux__
|
|
#include <errno.h>
|
|
#include <fcntl.h>
|
|
#include <sys/stat.h>
|
|
#include <sys/types.h>
|
|
#include <unistd.h>
|
|
#endif
|
|
|
|
#include <utility>
|
|
|
|
#include "src/v8.h"
|
|
|
|
#include "src/global-handles.h"
|
|
#include "src/heap/mark-compact-inl.h"
|
|
#include "src/heap/mark-compact.h"
|
|
#include "src/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 {
|
|
|
|
TEST(Promotion) {
|
|
CcTest::InitializeVM();
|
|
Isolate* isolate = CcTest::i_isolate();
|
|
{
|
|
v8::HandleScope sc(CcTest::isolate());
|
|
Heap* heap = isolate->heap();
|
|
|
|
heap::SealCurrentObjects(heap);
|
|
|
|
int array_length = heap::FixedArrayLenFromSize(kMaxRegularHeapObjectSize);
|
|
Handle<FixedArray> array = isolate->factory()->NewFixedArray(array_length);
|
|
|
|
// Array should be in the new space.
|
|
CHECK(heap->InSpace(*array, NEW_SPACE));
|
|
CcTest::CollectAllGarbage();
|
|
CcTest::CollectAllGarbage();
|
|
CHECK(heap->InSpace(*array, OLD_SPACE));
|
|
}
|
|
}
|
|
|
|
HEAP_TEST(NoPromotion) {
|
|
// Page promotion allows pages to be moved to old space even in the case of
|
|
// OOM scenarios.
|
|
FLAG_page_promotion = false;
|
|
|
|
CcTest::InitializeVM();
|
|
Isolate* isolate = CcTest::i_isolate();
|
|
{
|
|
v8::HandleScope sc(CcTest::isolate());
|
|
Heap* heap = isolate->heap();
|
|
|
|
heap::SealCurrentObjects(heap);
|
|
|
|
int array_length = heap::FixedArrayLenFromSize(kMaxRegularHeapObjectSize);
|
|
Handle<FixedArray> array = isolate->factory()->NewFixedArray(array_length);
|
|
|
|
heap->set_force_oom(true);
|
|
// Array should be in the new space.
|
|
CHECK(heap->InSpace(*array, NEW_SPACE));
|
|
CcTest::CollectAllGarbage();
|
|
CcTest::CollectAllGarbage();
|
|
CHECK(heap->InSpace(*array, NEW_SPACE));
|
|
}
|
|
}
|
|
|
|
// This is the same as Factory::NewMap, except it doesn't retry on
|
|
// allocation failure.
|
|
AllocationResult HeapTester::AllocateMapForTest(Isolate* isolate) {
|
|
Heap* heap = isolate->heap();
|
|
HeapObject* obj;
|
|
AllocationResult alloc = heap->AllocateRaw(Map::kSize, MAP_SPACE);
|
|
if (!alloc.To(&obj)) return alloc;
|
|
obj->set_map_after_allocation(heap->meta_map(), SKIP_WRITE_BARRIER);
|
|
return isolate->factory()->InitializeMap(Map::cast(obj), JS_OBJECT_TYPE,
|
|
JSObject::kHeaderSize,
|
|
TERMINAL_FAST_ELEMENTS_KIND, 0);
|
|
}
|
|
|
|
// This is the same as Factory::NewFixedArray, except it doesn't retry
|
|
// on allocation failure.
|
|
AllocationResult HeapTester::AllocateFixedArrayForTest(
|
|
Heap* heap, int length, PretenureFlag pretenure) {
|
|
DCHECK(length >= 0 && length <= FixedArray::kMaxLength);
|
|
int size = FixedArray::SizeFor(length);
|
|
AllocationSpace space = heap->SelectSpace(pretenure);
|
|
HeapObject* obj;
|
|
{
|
|
AllocationResult result = heap->AllocateRaw(size, space);
|
|
if (!result.To(&obj)) return result;
|
|
}
|
|
obj->set_map_after_allocation(heap->fixed_array_map(), SKIP_WRITE_BARRIER);
|
|
FixedArray* array = FixedArray::cast(obj);
|
|
array->set_length(length);
|
|
MemsetPointer(array->data_start(), heap->undefined_value(), length);
|
|
return array;
|
|
}
|
|
|
|
HEAP_TEST(MarkCompactCollector) {
|
|
FLAG_incremental_marking = false;
|
|
FLAG_retain_maps_for_n_gc = 0;
|
|
CcTest::InitializeVM();
|
|
Isolate* isolate = CcTest::i_isolate();
|
|
Heap* heap = CcTest::heap();
|
|
Factory* factory = isolate->factory();
|
|
|
|
v8::HandleScope sc(CcTest::isolate());
|
|
Handle<JSGlobalObject> global(isolate->context()->global_object());
|
|
|
|
// call mark-compact when heap is empty
|
|
CcTest::CollectGarbage(OLD_SPACE);
|
|
|
|
// keep allocating garbage in new space until it fails
|
|
const int arraysize = 100;
|
|
AllocationResult allocation;
|
|
do {
|
|
allocation = AllocateFixedArrayForTest(heap, arraysize, NOT_TENURED);
|
|
} while (!allocation.IsRetry());
|
|
CcTest::CollectGarbage(NEW_SPACE);
|
|
AllocateFixedArrayForTest(heap, arraysize, NOT_TENURED).ToObjectChecked();
|
|
|
|
// keep allocating maps until it fails
|
|
do {
|
|
allocation = AllocateMapForTest(isolate);
|
|
} while (!allocation.IsRetry());
|
|
CcTest::CollectGarbage(MAP_SPACE);
|
|
AllocateMapForTest(isolate).ToObjectChecked();
|
|
|
|
{ HandleScope scope(isolate);
|
|
// allocate a garbage
|
|
Handle<String> func_name = factory->InternalizeUtf8String("theFunction");
|
|
Handle<JSFunction> function = factory->NewFunctionForTest(func_name);
|
|
JSReceiver::SetProperty(global, func_name, function, LanguageMode::kSloppy)
|
|
.Check();
|
|
|
|
factory->NewJSObject(function);
|
|
}
|
|
|
|
CcTest::CollectGarbage(OLD_SPACE);
|
|
|
|
{ HandleScope scope(isolate);
|
|
Handle<String> func_name = factory->InternalizeUtf8String("theFunction");
|
|
CHECK(Just(true) == JSReceiver::HasOwnProperty(global, func_name));
|
|
Handle<Object> func_value =
|
|
Object::GetProperty(global, func_name).ToHandleChecked();
|
|
CHECK(func_value->IsJSFunction());
|
|
Handle<JSFunction> function = Handle<JSFunction>::cast(func_value);
|
|
Handle<JSObject> obj = factory->NewJSObject(function);
|
|
|
|
Handle<String> obj_name = factory->InternalizeUtf8String("theObject");
|
|
JSReceiver::SetProperty(global, obj_name, obj, LanguageMode::kSloppy)
|
|
.Check();
|
|
Handle<String> prop_name = factory->InternalizeUtf8String("theSlot");
|
|
Handle<Smi> twenty_three(Smi::FromInt(23), isolate);
|
|
JSReceiver::SetProperty(obj, prop_name, twenty_three, LanguageMode::kSloppy)
|
|
.Check();
|
|
}
|
|
|
|
CcTest::CollectGarbage(OLD_SPACE);
|
|
|
|
{ HandleScope scope(isolate);
|
|
Handle<String> obj_name = factory->InternalizeUtf8String("theObject");
|
|
CHECK(Just(true) == JSReceiver::HasOwnProperty(global, obj_name));
|
|
Handle<Object> object =
|
|
Object::GetProperty(global, obj_name).ToHandleChecked();
|
|
CHECK(object->IsJSObject());
|
|
Handle<String> prop_name = factory->InternalizeUtf8String("theSlot");
|
|
CHECK_EQ(*Object::GetProperty(object, prop_name).ToHandleChecked(),
|
|
Smi::FromInt(23));
|
|
}
|
|
}
|
|
|
|
|
|
// TODO(1600): compaction of map space is temporary removed from GC.
|
|
#if 0
|
|
static Handle<Map> CreateMap(Isolate* isolate) {
|
|
return isolate->factory()->NewMap(JS_OBJECT_TYPE, JSObject::kHeaderSize);
|
|
}
|
|
|
|
|
|
TEST(MapCompact) {
|
|
FLAG_max_map_space_pages = 16;
|
|
CcTest::InitializeVM();
|
|
Isolate* isolate = CcTest::i_isolate();
|
|
Factory* factory = isolate->factory();
|
|
|
|
{
|
|
v8::HandleScope sc;
|
|
// keep allocating maps while pointers are still encodable and thus
|
|
// mark compact is permitted.
|
|
Handle<JSObject> root = factory->NewJSObjectFromMap(CreateMap());
|
|
do {
|
|
Handle<Map> map = CreateMap();
|
|
map->set_prototype(*root);
|
|
root = factory->NewJSObjectFromMap(map);
|
|
} while (CcTest::heap()->map_space()->MapPointersEncodable());
|
|
}
|
|
// Now, as we don't have any handles to just allocated maps, we should
|
|
// be able to trigger map compaction.
|
|
// To give an additional chance to fail, try to force compaction which
|
|
// should be impossible right now.
|
|
CcTest::CollectAllGarbage(Heap::kForceCompactionMask);
|
|
// And now map pointers should be encodable again.
|
|
CHECK(CcTest::heap()->map_space()->MapPointersEncodable());
|
|
}
|
|
#endif
|
|
|
|
#if defined(__has_feature)
|
|
#if __has_feature(address_sanitizer)
|
|
#define V8_WITH_ASAN 1
|
|
#endif
|
|
#endif
|
|
|
|
// Here is a memory use test that uses /proc, and is therefore Linux-only. We
|
|
// do not care how much memory the simulator uses, since it is only there for
|
|
// debugging purposes. Testing with ASAN doesn't make sense, either.
|
|
#if defined(__linux__) && !defined(USE_SIMULATOR) && !defined(V8_WITH_ASAN)
|
|
|
|
|
|
static uintptr_t ReadLong(char* buffer, intptr_t* position, int base) {
|
|
char* end_address = buffer + *position;
|
|
uintptr_t result = strtoul(buffer + *position, &end_address, base);
|
|
CHECK(result != ULONG_MAX || errno != ERANGE);
|
|
CHECK(end_address > buffer + *position);
|
|
*position = end_address - buffer;
|
|
return result;
|
|
}
|
|
|
|
|
|
// The memory use computed this way is not entirely accurate and depends on
|
|
// the way malloc allocates memory. That's why the memory use may seem to
|
|
// increase even though the sum of the allocated object sizes decreases. It
|
|
// also means that the memory use depends on the kernel and stdlib.
|
|
static intptr_t MemoryInUse() {
|
|
intptr_t memory_use = 0;
|
|
|
|
int fd = open("/proc/self/maps", O_RDONLY);
|
|
if (fd < 0) return -1;
|
|
|
|
const int kBufSize = 20000;
|
|
char buffer[kBufSize];
|
|
ssize_t length = read(fd, buffer, kBufSize);
|
|
intptr_t line_start = 0;
|
|
CHECK_LT(length, kBufSize); // Make the buffer bigger.
|
|
CHECK_GT(length, 0); // We have to find some data in the file.
|
|
while (line_start < length) {
|
|
if (buffer[line_start] == '\n') {
|
|
line_start++;
|
|
continue;
|
|
}
|
|
intptr_t position = line_start;
|
|
uintptr_t start = ReadLong(buffer, &position, 16);
|
|
CHECK_EQ(buffer[position++], '-');
|
|
uintptr_t end = ReadLong(buffer, &position, 16);
|
|
CHECK_EQ(buffer[position++], ' ');
|
|
CHECK(buffer[position] == '-' || buffer[position] == 'r');
|
|
bool read_permission = (buffer[position++] == 'r');
|
|
CHECK(buffer[position] == '-' || buffer[position] == 'w');
|
|
bool write_permission = (buffer[position++] == 'w');
|
|
CHECK(buffer[position] == '-' || buffer[position] == 'x');
|
|
bool execute_permission = (buffer[position++] == 'x');
|
|
CHECK(buffer[position] == 's' || buffer[position] == 'p');
|
|
bool private_mapping = (buffer[position++] == 'p');
|
|
CHECK_EQ(buffer[position++], ' ');
|
|
uintptr_t offset = ReadLong(buffer, &position, 16);
|
|
USE(offset);
|
|
CHECK_EQ(buffer[position++], ' ');
|
|
uintptr_t major = ReadLong(buffer, &position, 16);
|
|
USE(major);
|
|
CHECK_EQ(buffer[position++], ':');
|
|
uintptr_t minor = ReadLong(buffer, &position, 16);
|
|
USE(minor);
|
|
CHECK_EQ(buffer[position++], ' ');
|
|
uintptr_t inode = ReadLong(buffer, &position, 10);
|
|
while (position < length && buffer[position] != '\n') position++;
|
|
if ((read_permission || write_permission || execute_permission) &&
|
|
private_mapping && inode == 0) {
|
|
memory_use += (end - start);
|
|
}
|
|
|
|
line_start = position;
|
|
}
|
|
close(fd);
|
|
return memory_use;
|
|
}
|
|
|
|
|
|
intptr_t ShortLivingIsolate() {
|
|
v8::Isolate::CreateParams create_params;
|
|
create_params.array_buffer_allocator = CcTest::array_buffer_allocator();
|
|
v8::Isolate* isolate = v8::Isolate::New(create_params);
|
|
{ v8::Isolate::Scope isolate_scope(isolate);
|
|
v8::Locker lock(isolate);
|
|
v8::HandleScope handle_scope(isolate);
|
|
v8::Local<v8::Context> context = v8::Context::New(isolate);
|
|
CHECK(!context.IsEmpty());
|
|
}
|
|
isolate->Dispose();
|
|
return MemoryInUse();
|
|
}
|
|
|
|
|
|
TEST(RegressJoinThreadsOnIsolateDeinit) {
|
|
intptr_t size_limit = ShortLivingIsolate() * 2;
|
|
for (int i = 0; i < 10; i++) {
|
|
CHECK_GT(size_limit, ShortLivingIsolate());
|
|
}
|
|
}
|
|
|
|
TEST(Regress5829) {
|
|
CcTest::InitializeVM();
|
|
Isolate* isolate = CcTest::i_isolate();
|
|
v8::HandleScope sc(CcTest::isolate());
|
|
Heap* heap = isolate->heap();
|
|
heap::SealCurrentObjects(heap);
|
|
i::MarkCompactCollector* collector = heap->mark_compact_collector();
|
|
i::IncrementalMarking* marking = heap->incremental_marking();
|
|
if (collector->sweeping_in_progress()) {
|
|
collector->EnsureSweepingCompleted();
|
|
}
|
|
CHECK(marking->IsMarking() || marking->IsStopped());
|
|
if (marking->IsStopped()) {
|
|
heap->StartIncrementalMarking(i::Heap::kNoGCFlags,
|
|
i::GarbageCollectionReason::kTesting);
|
|
}
|
|
CHECK(marking->IsMarking());
|
|
marking->StartBlackAllocationForTesting();
|
|
Handle<FixedArray> array = isolate->factory()->NewFixedArray(10, TENURED);
|
|
Address old_end = array->address() + array->Size();
|
|
// Right trim the array without clearing the mark bits.
|
|
array->set_length(9);
|
|
heap->CreateFillerObjectAt(old_end - kPointerSize, kPointerSize,
|
|
ClearRecordedSlots::kNo);
|
|
heap->old_space()->FreeLinearAllocationArea();
|
|
Page* page = Page::FromAddress(array->address());
|
|
IncrementalMarking::MarkingState* marking_state = marking->marking_state();
|
|
for (auto object_and_size :
|
|
LiveObjectRange<kGreyObjects>(page, marking_state->bitmap(page))) {
|
|
CHECK(!object_and_size.first->IsFiller());
|
|
}
|
|
}
|
|
|
|
#endif // __linux__ and !USE_SIMULATOR
|
|
|
|
} // namespace heap
|
|
} // namespace internal
|
|
} // namespace v8
|