Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(10)

Unified Diff: test/cctest/test-heap.cc

Issue 1508703002: Use WeakCells in the optimized code map rather than traversing in pause. (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Fixed nit. Created 5 years ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « src/objects-inl.h ('k') | no next file » | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: test/cctest/test-heap.cc
diff --git a/test/cctest/test-heap.cc b/test/cctest/test-heap.cc
index e5aa605c8fa68179becb1fb10a29d5efc7c8ad3e..6ef23895e7b28c5927cb515e28e974e1d11e6a56 100644
--- a/test/cctest/test-heap.cc
+++ b/test/cctest/test-heap.cc
@@ -4492,6 +4492,115 @@ TEST(Regress514122) {
}
+TEST(OptimizedCodeMapReuseEntries) {
+ i::FLAG_flush_optimized_code_cache = false;
+ i::FLAG_allow_natives_syntax = true;
+ // BUG(v8:4598): Since TurboFan doesn't treat maps in code weakly, we can't
+ // run this test.
+ if (i::FLAG_turbo) return;
+ CcTest::InitializeVM();
+ v8::Isolate* v8_isolate = CcTest::isolate();
+ Isolate* isolate = CcTest::i_isolate();
+ Heap* heap = isolate->heap();
+ HandleScope scope(isolate);
+
+ // Create 3 contexts, allow the 2nd one to be disposed, and verify that
+ // a 4th context will re-use the weak slots in the optimized code map
+ // to hold data, rather than expanding the map.
+ v8::Local<v8::Context> c1 = v8::Context::New(v8_isolate);
+ const char* source = "function foo(x) { var l = [1]; return x+l[0]; }";
+ v8::ScriptCompiler::Source script_source(
+ v8::String::NewFromUtf8(v8_isolate, source, v8::NewStringType::kNormal)
+ .ToLocalChecked());
+ v8::Local<v8::UnboundScript> indep =
+ v8::ScriptCompiler::CompileUnboundScript(v8_isolate, &script_source)
+ .ToLocalChecked();
+ const char* toplevel = "foo(3); %OptimizeFunctionOnNextCall(foo); foo(3);";
+ // Perfrom one initial GC to enable code flushing.
+ heap->CollectAllGarbage();
+
+ c1->Enter();
+ indep->BindToCurrentContext()->Run(c1).ToLocalChecked();
+ CompileRun(toplevel);
+
+ Handle<SharedFunctionInfo> shared;
+ Handle<JSFunction> foo = Handle<JSFunction>::cast(
+ v8::Utils::OpenHandle(*v8::Local<v8::Function>::Cast(
+ CcTest::global()->Get(c1, v8_str("foo")).ToLocalChecked())));
+ CHECK(foo->shared()->is_compiled());
+ shared = handle(foo->shared());
+ c1->Exit();
+
+ {
+ HandleScope scope(isolate);
+ v8::Local<v8::Context> c2 = v8::Context::New(v8_isolate);
+ c2->Enter();
+ indep->BindToCurrentContext()->Run(c2).ToLocalChecked();
+ CompileRun(toplevel);
+ c2->Exit();
+ }
+
+ {
+ HandleScope scope(isolate);
+ v8::Local<v8::Context> c3 = v8::Context::New(v8_isolate);
+ c3->Enter();
+ indep->BindToCurrentContext()->Run(c3).ToLocalChecked();
+ CompileRun(toplevel);
+ c3->Exit();
+
+ // Now, collect garbage. Context c2 should have no roots to it, and it's
+ // entry in the optimized code map should be free for a new context.
+ for (int i = 0; i < 4; i++) {
+ heap->CollectAllGarbage();
+ }
+
+ Handle<FixedArray> optimized_code_map =
+ handle(shared->optimized_code_map());
+ // There should be 3 entries in the map.
+ CHECK_EQ(
+ 3, ((optimized_code_map->length() - SharedFunctionInfo::kEntriesStart) /
+ SharedFunctionInfo::kEntryLength));
+ // But one of them (formerly for c2) should be cleared.
+ int cleared_count = 0;
+ for (int i = SharedFunctionInfo::kEntriesStart;
+ i < optimized_code_map->length();
+ i += SharedFunctionInfo::kEntryLength) {
+ cleared_count +=
+ WeakCell::cast(
+ optimized_code_map->get(i + SharedFunctionInfo::kContextOffset))
+ ->cleared()
+ ? 1
+ : 0;
+ }
+ CHECK_EQ(1, cleared_count);
+
+ // Verify that a new context uses the cleared entry rather than creating a
+ // new
+ // optimized code map array.
+ v8::Local<v8::Context> c4 = v8::Context::New(v8_isolate);
+ c4->Enter();
+ indep->BindToCurrentContext()->Run(c4).ToLocalChecked();
+ CompileRun(toplevel);
+ c4->Exit();
+ CHECK_EQ(*optimized_code_map, shared->optimized_code_map());
+
+ // Now each entry is in use.
+ cleared_count = 0;
+ for (int i = SharedFunctionInfo::kEntriesStart;
+ i < optimized_code_map->length();
+ i += SharedFunctionInfo::kEntryLength) {
+ cleared_count +=
+ WeakCell::cast(
+ optimized_code_map->get(i + SharedFunctionInfo::kContextOffset))
+ ->cleared()
+ ? 1
+ : 0;
+ }
+ CHECK_EQ(0, cleared_count);
+ }
+}
+
+
TEST(Regress513496) {
i::FLAG_flush_optimized_code_cache = false;
i::FLAG_allow_natives_syntax = true;
« no previous file with comments | « src/objects-inl.h ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698