| // Copyright 2009 the V8 project authors. All rights reserved. |
| // |
| // Tests for heap profiler |
| |
| #ifdef ENABLE_LOGGING_AND_PROFILING |
| |
| #include "v8.h" |
| #include "heap-profiler.h" |
| #include "string-stream.h" |
| #include "cctest.h" |
| #include "zone-inl.h" |
| |
| namespace i = v8::internal; |
| using i::ClustersCoarser; |
| using i::JSObjectsCluster; |
| using i::JSObjectsRetainerTree; |
| using i::JSObjectsClusterTree; |
| using i::RetainerHeapProfile; |
| |
| |
| static void CompileAndRunScript(const char *src) { |
| v8::Script::Compile(v8::String::New(src))->Run(); |
| } |
| |
| |
| namespace { |
| |
| class ConstructorHeapProfileTestHelper : public i::ConstructorHeapProfile { |
| public: |
| ConstructorHeapProfileTestHelper() |
| : i::ConstructorHeapProfile(), |
| f_name_(i::Factory::NewStringFromAscii(i::CStrVector("F"))), |
| f_count_(0) { |
| } |
| |
| void Call(const JSObjectsCluster& cluster, |
| const i::NumberAndSizeInfo& number_and_size) { |
| if (f_name_->Equals(cluster.constructor())) { |
| CHECK_EQ(f_count_, 0); |
| f_count_ = number_and_size.number(); |
| CHECK_GT(f_count_, 0); |
| } |
| } |
| |
| int f_count() { return f_count_; } |
| |
| private: |
| i::Handle<i::String> f_name_; |
| int f_count_; |
| }; |
| |
| } // namespace |
| |
| |
| TEST(ConstructorProfile) { |
| v8::HandleScope scope; |
| v8::Handle<v8::Context> env = v8::Context::New(); |
| env->Enter(); |
| |
| CompileAndRunScript( |
| "function F() {} // A constructor\n" |
| "var f1 = new F();\n" |
| "var f2 = new F();\n"); |
| |
| ConstructorHeapProfileTestHelper cons_profile; |
| i::AssertNoAllocation no_alloc; |
| i::HeapIterator iterator; |
| for (i::HeapObject* obj = iterator.next(); obj != NULL; obj = iterator.next()) |
| cons_profile.CollectStats(obj); |
| CHECK_EQ(0, cons_profile.f_count()); |
| cons_profile.PrintStats(); |
| CHECK_EQ(2, cons_profile.f_count()); |
| } |
| |
| |
| static JSObjectsCluster AddHeapObjectToTree(JSObjectsRetainerTree* tree, |
| i::String* constructor, |
| int instance, |
| JSObjectsCluster* ref1 = NULL, |
| JSObjectsCluster* ref2 = NULL, |
| JSObjectsCluster* ref3 = NULL) { |
| JSObjectsCluster o(constructor, reinterpret_cast<i::Object*>(instance)); |
| JSObjectsClusterTree* o_tree = new JSObjectsClusterTree(); |
| JSObjectsClusterTree::Locator o_loc; |
| if (ref1 != NULL) o_tree->Insert(*ref1, &o_loc); |
| if (ref2 != NULL) o_tree->Insert(*ref2, &o_loc); |
| if (ref3 != NULL) o_tree->Insert(*ref3, &o_loc); |
| JSObjectsRetainerTree::Locator loc; |
| tree->Insert(o, &loc); |
| loc.set_value(o_tree); |
| return o; |
| } |
| |
| |
| static void AddSelfReferenceToTree(JSObjectsRetainerTree* tree, |
| JSObjectsCluster* self_ref) { |
| JSObjectsRetainerTree::Locator loc; |
| CHECK(tree->Find(*self_ref, &loc)); |
| JSObjectsClusterTree::Locator o_loc; |
| CHECK_NE(NULL, loc.value()); |
| loc.value()->Insert(*self_ref, &o_loc); |
| } |
| |
| |
| static inline void CheckEqualsHelper(const char* file, int line, |
| const char* expected_source, |
| const JSObjectsCluster& expected, |
| const char* value_source, |
| const JSObjectsCluster& value) { |
| if (JSObjectsCluster::Compare(expected, value) != 0) { |
| i::HeapStringAllocator allocator; |
| i::StringStream stream(&allocator); |
| stream.Add("# Expected: "); |
| expected.DebugPrint(&stream); |
| stream.Add("\n# Found: "); |
| value.DebugPrint(&stream); |
| V8_Fatal(file, line, "CHECK_EQ(%s, %s) failed\n%s", |
| expected_source, value_source, |
| *stream.ToCString()); |
| } |
| } |
| |
| |
| static inline void CheckNonEqualsHelper(const char* file, int line, |
| const char* expected_source, |
| const JSObjectsCluster& expected, |
| const char* value_source, |
| const JSObjectsCluster& value) { |
| if (JSObjectsCluster::Compare(expected, value) == 0) { |
| i::HeapStringAllocator allocator; |
| i::StringStream stream(&allocator); |
| stream.Add("# !Expected: "); |
| expected.DebugPrint(&stream); |
| stream.Add("\n# Found: "); |
| value.DebugPrint(&stream); |
| V8_Fatal(file, line, "CHECK_NE(%s, %s) failed\n%s", |
| expected_source, value_source, |
| *stream.ToCString()); |
| } |
| } |
| |
| |
| TEST(ClustersCoarserSimple) { |
| v8::HandleScope scope; |
| v8::Handle<v8::Context> env = v8::Context::New(); |
| env->Enter(); |
| |
| i::ZoneScope zn_scope(i::DELETE_ON_EXIT); |
| |
| JSObjectsRetainerTree tree; |
| JSObjectsCluster function(i::Heap::function_class_symbol()); |
| JSObjectsCluster a(*i::Factory::NewStringFromAscii(i::CStrVector("A"))); |
| JSObjectsCluster b(*i::Factory::NewStringFromAscii(i::CStrVector("B"))); |
| |
| // o1 <- Function |
| JSObjectsCluster o1 = |
| AddHeapObjectToTree(&tree, i::Heap::Object_symbol(), 0x100, &function); |
| // o2 <- Function |
| JSObjectsCluster o2 = |
| AddHeapObjectToTree(&tree, i::Heap::Object_symbol(), 0x200, &function); |
| // o3 <- A, B |
| JSObjectsCluster o3 = |
| AddHeapObjectToTree(&tree, i::Heap::Object_symbol(), 0x300, &a, &b); |
| // o4 <- B, A |
| JSObjectsCluster o4 = |
| AddHeapObjectToTree(&tree, i::Heap::Object_symbol(), 0x400, &b, &a); |
| // o5 <- A, B, Function |
| JSObjectsCluster o5 = |
| AddHeapObjectToTree(&tree, i::Heap::Object_symbol(), 0x500, |
| &a, &b, &function); |
| |
| ClustersCoarser coarser; |
| coarser.Process(&tree); |
| |
| CHECK_EQ(coarser.GetCoarseEquivalent(o1), coarser.GetCoarseEquivalent(o2)); |
| CHECK_EQ(coarser.GetCoarseEquivalent(o3), coarser.GetCoarseEquivalent(o4)); |
| CHECK_NE(coarser.GetCoarseEquivalent(o1), coarser.GetCoarseEquivalent(o3)); |
| CHECK_EQ(JSObjectsCluster(), coarser.GetCoarseEquivalent(o5)); |
| } |
| |
| |
| TEST(ClustersCoarserMultipleConstructors) { |
| v8::HandleScope scope; |
| v8::Handle<v8::Context> env = v8::Context::New(); |
| env->Enter(); |
| |
| i::ZoneScope zn_scope(i::DELETE_ON_EXIT); |
| |
| JSObjectsRetainerTree tree; |
| JSObjectsCluster function(i::Heap::function_class_symbol()); |
| |
| // o1 <- Function |
| JSObjectsCluster o1 = |
| AddHeapObjectToTree(&tree, i::Heap::Object_symbol(), 0x100, &function); |
| // a1 <- Function |
| JSObjectsCluster a1 = |
| AddHeapObjectToTree(&tree, i::Heap::Array_symbol(), 0x1000, &function); |
| // o2 <- Function |
| JSObjectsCluster o2 = |
| AddHeapObjectToTree(&tree, i::Heap::Object_symbol(), 0x200, &function); |
| // a2 <- Function |
| JSObjectsCluster a2 = |
| AddHeapObjectToTree(&tree, i::Heap::Array_symbol(), 0x2000, &function); |
| |
| ClustersCoarser coarser; |
| coarser.Process(&tree); |
| |
| CHECK_EQ(coarser.GetCoarseEquivalent(o1), coarser.GetCoarseEquivalent(o2)); |
| CHECK_EQ(coarser.GetCoarseEquivalent(a1), coarser.GetCoarseEquivalent(a2)); |
| } |
| |
| |
| TEST(ClustersCoarserPathsTraversal) { |
| v8::HandleScope scope; |
| v8::Handle<v8::Context> env = v8::Context::New(); |
| env->Enter(); |
| |
| i::ZoneScope zn_scope(i::DELETE_ON_EXIT); |
| |
| JSObjectsRetainerTree tree; |
| |
| // On the following graph: |
| // |
| // p |
| // <- o21 <- o11 <- |
| // q o |
| // <- o22 <- o12 <- |
| // r |
| // |
| // we expect that coarser will deduce equivalences: p ~ q ~ r, |
| // o21 ~ o22, and o11 ~ o12. |
| |
| JSObjectsCluster o = |
| AddHeapObjectToTree(&tree, i::Heap::Object_symbol(), 0x100); |
| JSObjectsCluster o11 = |
| AddHeapObjectToTree(&tree, i::Heap::Object_symbol(), 0x110, &o); |
| JSObjectsCluster o12 = |
| AddHeapObjectToTree(&tree, i::Heap::Object_symbol(), 0x120, &o); |
| JSObjectsCluster o21 = |
| AddHeapObjectToTree(&tree, i::Heap::Object_symbol(), 0x210, &o11); |
| JSObjectsCluster o22 = |
| AddHeapObjectToTree(&tree, i::Heap::Object_symbol(), 0x220, &o12); |
| JSObjectsCluster p = |
| AddHeapObjectToTree(&tree, i::Heap::Object_symbol(), 0x300, &o21); |
| JSObjectsCluster q = |
| AddHeapObjectToTree(&tree, i::Heap::Object_symbol(), 0x310, &o21, &o22); |
| JSObjectsCluster r = |
| AddHeapObjectToTree(&tree, i::Heap::Object_symbol(), 0x320, &o22); |
| |
| ClustersCoarser coarser; |
| coarser.Process(&tree); |
| |
| CHECK_EQ(JSObjectsCluster(), coarser.GetCoarseEquivalent(o)); |
| CHECK_NE(JSObjectsCluster(), coarser.GetCoarseEquivalent(o11)); |
| CHECK_EQ(coarser.GetCoarseEquivalent(o11), coarser.GetCoarseEquivalent(o12)); |
| CHECK_EQ(coarser.GetCoarseEquivalent(o21), coarser.GetCoarseEquivalent(o22)); |
| CHECK_NE(coarser.GetCoarseEquivalent(o11), coarser.GetCoarseEquivalent(o21)); |
| CHECK_NE(JSObjectsCluster(), coarser.GetCoarseEquivalent(p)); |
| CHECK_EQ(coarser.GetCoarseEquivalent(p), coarser.GetCoarseEquivalent(q)); |
| CHECK_EQ(coarser.GetCoarseEquivalent(q), coarser.GetCoarseEquivalent(r)); |
| CHECK_NE(coarser.GetCoarseEquivalent(o11), coarser.GetCoarseEquivalent(p)); |
| CHECK_NE(coarser.GetCoarseEquivalent(o21), coarser.GetCoarseEquivalent(p)); |
| } |
| |
| |
| TEST(ClustersCoarserSelf) { |
| v8::HandleScope scope; |
| v8::Handle<v8::Context> env = v8::Context::New(); |
| env->Enter(); |
| |
| i::ZoneScope zn_scope(i::DELETE_ON_EXIT); |
| |
| JSObjectsRetainerTree tree; |
| |
| // On the following graph: |
| // |
| // p (self-referencing) |
| // <- o1 <- |
| // q (self-referencing) o |
| // <- o2 <- |
| // r (self-referencing) |
| // |
| // we expect that coarser will deduce equivalences: p ~ q ~ r, o1 ~ o2; |
| |
| JSObjectsCluster o = |
| AddHeapObjectToTree(&tree, i::Heap::Object_symbol(), 0x100); |
| JSObjectsCluster o1 = |
| AddHeapObjectToTree(&tree, i::Heap::Object_symbol(), 0x110, &o); |
| JSObjectsCluster o2 = |
| AddHeapObjectToTree(&tree, i::Heap::Object_symbol(), 0x120, &o); |
| JSObjectsCluster p = |
| AddHeapObjectToTree(&tree, i::Heap::Object_symbol(), 0x300, &o1); |
| AddSelfReferenceToTree(&tree, &p); |
| JSObjectsCluster q = |
| AddHeapObjectToTree(&tree, i::Heap::Object_symbol(), 0x310, &o1, &o2); |
| AddSelfReferenceToTree(&tree, &q); |
| JSObjectsCluster r = |
| AddHeapObjectToTree(&tree, i::Heap::Object_symbol(), 0x320, &o2); |
| AddSelfReferenceToTree(&tree, &r); |
| |
| ClustersCoarser coarser; |
| coarser.Process(&tree); |
| |
| CHECK_EQ(JSObjectsCluster(), coarser.GetCoarseEquivalent(o)); |
| CHECK_NE(JSObjectsCluster(), coarser.GetCoarseEquivalent(o1)); |
| CHECK_EQ(coarser.GetCoarseEquivalent(o1), coarser.GetCoarseEquivalent(o2)); |
| CHECK_NE(JSObjectsCluster(), coarser.GetCoarseEquivalent(p)); |
| CHECK_EQ(coarser.GetCoarseEquivalent(p), coarser.GetCoarseEquivalent(q)); |
| CHECK_EQ(coarser.GetCoarseEquivalent(q), coarser.GetCoarseEquivalent(r)); |
| CHECK_NE(coarser.GetCoarseEquivalent(o1), coarser.GetCoarseEquivalent(p)); |
| } |
| |
| |
| namespace { |
| |
| class RetainerProfilePrinter : public RetainerHeapProfile::Printer { |
| public: |
| RetainerProfilePrinter() : stream_(&allocator_), lines_(100) {} |
| |
| void PrintRetainers(const JSObjectsCluster& cluster, |
| const i::StringStream& retainers) { |
| cluster.Print(&stream_); |
| stream_.Add("%s", *(retainers.ToCString())); |
| stream_.Put('\0'); |
| } |
| |
| const char* GetRetainers(const char* constructor) { |
| FillLines(); |
| const size_t cons_len = strlen(constructor); |
| for (int i = 0; i < lines_.length(); ++i) { |
| if (strncmp(constructor, lines_[i], cons_len) == 0 && |
| lines_[i][cons_len] == ',') { |
| return lines_[i] + cons_len + 1; |
| } |
| } |
| return NULL; |
| } |
| |
| private: |
| void FillLines() { |
| if (lines_.length() > 0) return; |
| stream_.Put('\0'); |
| stream_str_ = stream_.ToCString(); |
| const char* pos = *stream_str_; |
| while (pos != NULL && *pos != '\0') { |
| lines_.Add(pos); |
| pos = strchr(pos, '\0'); |
| if (pos != NULL) ++pos; |
| } |
| } |
| |
| i::HeapStringAllocator allocator_; |
| i::StringStream stream_; |
| i::SmartPointer<const char> stream_str_; |
| i::List<const char*> lines_; |
| }; |
| |
| } // namespace |
| |
| |
| TEST(RetainerProfile) { |
| v8::HandleScope scope; |
| v8::Handle<v8::Context> env = v8::Context::New(); |
| env->Enter(); |
| |
| CompileAndRunScript( |
| "function A() {}\n" |
| "function B(x) { this.x = x; }\n" |
| "function C(x) { this.x1 = x; this.x2 = x; }\n" |
| "var a = new A();\n" |
| "var b1 = new B(a), b2 = new B(a);\n" |
| "var c = new C(a);"); |
| |
| RetainerHeapProfile ret_profile; |
| i::AssertNoAllocation no_alloc; |
| i::HeapIterator iterator; |
| for (i::HeapObject* obj = iterator.next(); obj != NULL; obj = iterator.next()) |
| ret_profile.CollectStats(obj); |
| RetainerProfilePrinter printer; |
| ret_profile.DebugPrintStats(&printer); |
| const char* retainers_of_a = printer.GetRetainers("A"); |
| // The order of retainers is unspecified, so we check string length, and |
| // verify each retainer separately. |
| CHECK_EQ(i::StrLength("(global property);1,B;2,C;2"), |
| i::StrLength(retainers_of_a)); |
| CHECK(strstr(retainers_of_a, "(global property);1") != NULL); |
| CHECK(strstr(retainers_of_a, "B;2") != NULL); |
| CHECK(strstr(retainers_of_a, "C;2") != NULL); |
| CHECK_EQ("(global property);2", printer.GetRetainers("B")); |
| CHECK_EQ("(global property);1", printer.GetRetainers("C")); |
| } |
| |
| #endif // ENABLE_LOGGING_AND_PROFILING |