OLD | NEW |
1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 #include "vm/code_generator.h" | 5 #include "vm/code_generator.h" |
6 | 6 |
7 #include "vm/assembler.h" | 7 #include "vm/assembler.h" |
8 #include "vm/ast.h" | 8 #include "vm/ast.h" |
9 #include "vm/code_patcher.h" | 9 #include "vm/code_patcher.h" |
10 #include "vm/compiler.h" | 10 #include "vm/compiler.h" |
11 #include "vm/dart_api_impl.h" | 11 #include "vm/dart_api_impl.h" |
12 #include "vm/dart_entry.h" | 12 #include "vm/dart_entry.h" |
13 #include "vm/debugger.h" | 13 #include "vm/debugger.h" |
14 #include "vm/deopt_instructions.h" | 14 #include "vm/deopt_instructions.h" |
15 #include "vm/exceptions.h" | 15 #include "vm/exceptions.h" |
16 #include "vm/flags.h" | 16 #include "vm/flags.h" |
17 #include "vm/object_store.h" | 17 #include "vm/object_store.h" |
18 #include "vm/message.h" | 18 #include "vm/message.h" |
19 #include "vm/message_handler.h" | 19 #include "vm/message_handler.h" |
20 #include "vm/parser.h" | 20 #include "vm/parser.h" |
21 #include "vm/resolver.h" | 21 #include "vm/resolver.h" |
22 #include "vm/runtime_entry.h" | 22 #include "vm/runtime_entry.h" |
| 23 #include "vm/service_isolate.h" |
23 #include "vm/stack_frame.h" | 24 #include "vm/stack_frame.h" |
24 #include "vm/symbols.h" | 25 #include "vm/symbols.h" |
25 #include "vm/thread_registry.h" | 26 #include "vm/thread_registry.h" |
26 #include "vm/verifier.h" | 27 #include "vm/verifier.h" |
27 | 28 |
28 namespace dart { | 29 namespace dart { |
29 | 30 |
30 DEFINE_FLAG(int, max_subtype_cache_entries, 100, | 31 DEFINE_FLAG(int, max_subtype_cache_entries, 100, |
31 "Maximum number of subtype cache entries (number of checks cached)."); | 32 "Maximum number of subtype cache entries (number of checks cached)."); |
32 DEFINE_FLAG(int, regexp_optimization_counter_threshold, 1000, | 33 DEFINE_FLAG(int, regexp_optimization_counter_threshold, 1000, |
(...skipping 20 matching lines...) Expand all Loading... |
53 | 54 |
54 DEFINE_FLAG(bool, trace_osr, false, "Trace attempts at on-stack replacement."); | 55 DEFINE_FLAG(bool, trace_osr, false, "Trace attempts at on-stack replacement."); |
55 | 56 |
56 DEFINE_FLAG(int, stacktrace_every, 0, | 57 DEFINE_FLAG(int, stacktrace_every, 0, |
57 "Compute debugger stacktrace on every N stack overflow checks"); | 58 "Compute debugger stacktrace on every N stack overflow checks"); |
58 DEFINE_FLAG(charp, stacktrace_filter, NULL, | 59 DEFINE_FLAG(charp, stacktrace_filter, NULL, |
59 "Compute stacktrace in named function on stack overflow checks"); | 60 "Compute stacktrace in named function on stack overflow checks"); |
60 DEFINE_FLAG(charp, deoptimize_filter, NULL, | 61 DEFINE_FLAG(charp, deoptimize_filter, NULL, |
61 "Deoptimize in named function on stack overflow checks"); | 62 "Deoptimize in named function on stack overflow checks"); |
62 | 63 |
| 64 DECLARE_FLAG(int, reload_every); |
| 65 DECLARE_FLAG(bool, reload_every_optimized); |
| 66 |
63 #ifdef DEBUG | 67 #ifdef DEBUG |
64 DEFINE_FLAG(charp, gc_at_instance_allocation, NULL, | 68 DEFINE_FLAG(charp, gc_at_instance_allocation, NULL, |
65 "Perform a GC before allocation of instances of " | 69 "Perform a GC before allocation of instances of " |
66 "the specified class"); | 70 "the specified class"); |
67 #endif | 71 #endif |
68 | 72 |
69 DEFINE_RUNTIME_ENTRY(TraceFunctionEntry, 1) { | 73 DEFINE_RUNTIME_ENTRY(TraceFunctionEntry, 1) { |
70 const Function& function = Function::CheckedHandle(arguments.ArgAt(0)); | 74 const Function& function = Function::CheckedHandle(arguments.ArgAt(0)); |
71 const String& function_name = String::Handle(function.name()); | 75 const String& function_name = String::Handle(function.name()); |
72 const String& class_name = | 76 const String& class_name = |
(...skipping 1157 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1230 const Instance& exception = | 1234 const Instance& exception = |
1231 Instance::Handle(isolate->object_store()->stack_overflow()); | 1235 Instance::Handle(isolate->object_store()->stack_overflow()); |
1232 Exceptions::Throw(thread, exception); | 1236 Exceptions::Throw(thread, exception); |
1233 UNREACHABLE(); | 1237 UNREACHABLE(); |
1234 } | 1238 } |
1235 | 1239 |
1236 // The following code is used to stress test deoptimization and | 1240 // The following code is used to stress test deoptimization and |
1237 // debugger stack tracing. | 1241 // debugger stack tracing. |
1238 bool do_deopt = false; | 1242 bool do_deopt = false; |
1239 bool do_stacktrace = false; | 1243 bool do_stacktrace = false; |
1240 if ((FLAG_deoptimize_every > 0) || (FLAG_stacktrace_every > 0)) { | 1244 bool do_reload = false; |
| 1245 if ((FLAG_deoptimize_every > 0) || |
| 1246 (FLAG_stacktrace_every > 0) || |
| 1247 (FLAG_reload_every > 0)) { |
1241 // TODO(turnidge): To make --deoptimize_every and | 1248 // TODO(turnidge): To make --deoptimize_every and |
1242 // --stacktrace-every faster we could move this increment/test to | 1249 // --stacktrace-every faster we could move this increment/test to |
1243 // the generated code. | 1250 // the generated code. |
1244 int32_t count = thread->IncrementAndGetStackOverflowCount(); | 1251 int32_t count = thread->IncrementAndGetStackOverflowCount(); |
1245 if (FLAG_deoptimize_every > 0 && | 1252 if (FLAG_deoptimize_every > 0 && |
1246 (count % FLAG_deoptimize_every) == 0) { | 1253 (count % FLAG_deoptimize_every) == 0) { |
1247 do_deopt = true; | 1254 do_deopt = true; |
1248 } | 1255 } |
1249 if (FLAG_stacktrace_every > 0 && | 1256 if (FLAG_stacktrace_every > 0 && |
1250 (count % FLAG_stacktrace_every) == 0) { | 1257 (count % FLAG_stacktrace_every) == 0) { |
1251 do_stacktrace = true; | 1258 do_stacktrace = true; |
1252 } | 1259 } |
| 1260 if ((FLAG_reload_every > 0) && |
| 1261 (count % FLAG_reload_every) == 0) { |
| 1262 do_reload = isolate->CanReload(); |
| 1263 } |
1253 } | 1264 } |
1254 if ((FLAG_deoptimize_filter != NULL) || (FLAG_stacktrace_filter != NULL)) { | 1265 if ((FLAG_deoptimize_filter != NULL) || |
| 1266 (FLAG_stacktrace_filter != NULL) || |
| 1267 FLAG_reload_every_optimized) { |
1255 DartFrameIterator iterator; | 1268 DartFrameIterator iterator; |
1256 StackFrame* frame = iterator.NextFrame(); | 1269 StackFrame* frame = iterator.NextFrame(); |
1257 ASSERT(frame != NULL); | 1270 ASSERT(frame != NULL); |
1258 const Code& code = Code::Handle(frame->LookupDartCode()); | 1271 const Code& code = Code::Handle(frame->LookupDartCode()); |
1259 ASSERT(!code.IsNull()); | 1272 ASSERT(!code.IsNull()); |
1260 const Function& function = Function::Handle(code.function()); | 1273 const Function& function = Function::Handle(code.function()); |
1261 ASSERT(!function.IsNull()); | 1274 ASSERT(!function.IsNull()); |
1262 const char* function_name = function.ToFullyQualifiedCString(); | 1275 const char* function_name = function.ToFullyQualifiedCString(); |
1263 ASSERT(function_name != NULL); | 1276 ASSERT(function_name != NULL); |
| 1277 if (!code.is_optimized() && FLAG_reload_every_optimized) { |
| 1278 // Don't do the reload if we aren't inside optimized code. |
| 1279 do_reload = false; |
| 1280 } |
1264 if (code.is_optimized() && | 1281 if (code.is_optimized() && |
1265 FLAG_deoptimize_filter != NULL && | 1282 FLAG_deoptimize_filter != NULL && |
1266 strstr(function_name, FLAG_deoptimize_filter) != NULL) { | 1283 strstr(function_name, FLAG_deoptimize_filter) != NULL) { |
1267 OS::PrintErr("*** Forcing deoptimization (%s)\n", | 1284 OS::PrintErr("*** Forcing deoptimization (%s)\n", |
1268 function.ToFullyQualifiedCString()); | 1285 function.ToFullyQualifiedCString()); |
1269 do_deopt = true; | 1286 do_deopt = true; |
1270 } | 1287 } |
1271 if (FLAG_stacktrace_filter != NULL && | 1288 if (FLAG_stacktrace_filter != NULL && |
1272 strstr(function_name, FLAG_stacktrace_filter) != NULL) { | 1289 strstr(function_name, FLAG_stacktrace_filter) != NULL) { |
1273 OS::PrintErr("*** Computing stacktrace (%s)\n", | 1290 OS::PrintErr("*** Computing stacktrace (%s)\n", |
1274 function.ToFullyQualifiedCString()); | 1291 function.ToFullyQualifiedCString()); |
1275 do_stacktrace = true; | 1292 do_stacktrace = true; |
1276 } | 1293 } |
1277 } | 1294 } |
1278 if (do_deopt) { | 1295 if (do_deopt) { |
1279 // TODO(turnidge): Consider using DeoptimizeAt instead. | 1296 // TODO(turnidge): Consider using DeoptimizeAt instead. |
1280 DeoptimizeFunctionsOnStack(); | 1297 DeoptimizeFunctionsOnStack(); |
1281 } | 1298 } |
| 1299 if (do_reload) { |
| 1300 NOT_IN_PRODUCT(isolate->OnStackReload();) |
| 1301 } |
1282 if (FLAG_support_debugger && do_stacktrace) { | 1302 if (FLAG_support_debugger && do_stacktrace) { |
1283 String& var_name = String::Handle(); | 1303 String& var_name = String::Handle(); |
1284 Instance& var_value = Instance::Handle(); | 1304 Instance& var_value = Instance::Handle(); |
1285 // Collecting the stack trace and accessing local variables | 1305 // Collecting the stack trace and accessing local variables |
1286 // of frames may trigger parsing of functions to compute | 1306 // of frames may trigger parsing of functions to compute |
1287 // variable descriptors of functions. Parsing may trigger | 1307 // variable descriptors of functions. Parsing may trigger |
1288 // code execution, e.g. to compute compile-time constants. Thus, | 1308 // code execution, e.g. to compute compile-time constants. Thus, |
1289 // disable FLAG_stacktrace_every during trace collection to prevent | 1309 // disable FLAG_stacktrace_every during trace collection to prevent |
1290 // recursive stack trace collection. | 1310 // recursive stack trace collection. |
1291 intptr_t saved_stacktrace_every = FLAG_stacktrace_every; | 1311 intptr_t saved_stacktrace_every = FLAG_stacktrace_every; |
(...skipping 115 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1407 field.DeoptimizeDependentCode(); | 1427 field.DeoptimizeDependentCode(); |
1408 // Get next field. | 1428 // Get next field. |
1409 field = isolate->GetDeoptimizingBoxedField(); | 1429 field = isolate->GetDeoptimizingBoxedField(); |
1410 } | 1430 } |
1411 } | 1431 } |
1412 // TODO(srdjan): Fix background compilation of regular expressions. | 1432 // TODO(srdjan): Fix background compilation of regular expressions. |
1413 if (FLAG_background_compilation) { | 1433 if (FLAG_background_compilation) { |
1414 if (FLAG_enable_inlining_annotations) { | 1434 if (FLAG_enable_inlining_annotations) { |
1415 FATAL("Cannot enable inlining annotations and background compilation"); | 1435 FATAL("Cannot enable inlining annotations and background compilation"); |
1416 } | 1436 } |
1417 if (FLAG_background_compilation_stop_alot) { | 1437 if (!BackgroundCompiler::IsDisabled()) { |
1418 BackgroundCompiler::Stop(isolate); | 1438 if (FLAG_background_compilation_stop_alot) { |
| 1439 BackgroundCompiler::Stop(isolate); |
| 1440 } |
| 1441 // Reduce the chance of triggering optimization while the function is |
| 1442 // being optimized in the background. INT_MIN should ensure that it |
| 1443 // takes long time to trigger optimization. |
| 1444 // Note that the background compilation queue rejects duplicate entries. |
| 1445 function.set_usage_counter(INT_MIN); |
| 1446 BackgroundCompiler::EnsureInit(thread); |
| 1447 ASSERT(isolate->background_compiler() != NULL); |
| 1448 isolate->background_compiler()->CompileOptimized(function); |
| 1449 // Continue in the same code. |
| 1450 arguments.SetReturn(Code::Handle(zone, function.CurrentCode())); |
| 1451 return; |
1419 } | 1452 } |
1420 // Reduce the chance of triggering optimization while the function is | |
1421 // being optimized in the background. INT_MIN should ensure that it takes | |
1422 // long time to trigger optimization. | |
1423 // Note that the background compilation queue rejects duplicate entries. | |
1424 function.set_usage_counter(INT_MIN); | |
1425 BackgroundCompiler::EnsureInit(thread); | |
1426 ASSERT(isolate->background_compiler() != NULL); | |
1427 isolate->background_compiler()->CompileOptimized(function); | |
1428 // Continue in the same code. | |
1429 arguments.SetReturn(Code::Handle(zone, function.CurrentCode())); | |
1430 return; | |
1431 } | 1453 } |
1432 | 1454 |
1433 // Reset usage counter for reoptimization before calling optimizer to | 1455 // Reset usage counter for reoptimization before calling optimizer to |
1434 // prevent recursive triggering of function optimization. | 1456 // prevent recursive triggering of function optimization. |
1435 function.set_usage_counter(0); | 1457 function.set_usage_counter(0); |
1436 if (FLAG_trace_compiler || FLAG_trace_optimizing_compiler) { | 1458 if (FLAG_trace_compiler || FLAG_trace_optimizing_compiler) { |
1437 if (function.HasOptimizedCode()) { | 1459 if (function.HasOptimizedCode()) { |
1438 THR_Print("ReCompiling function: '%s' \n", | 1460 THR_Print("ReCompiling function: '%s' \n", |
1439 function.ToFullyQualifiedCString()); | 1461 function.ToFullyQualifiedCString()); |
1440 } | 1462 } |
(...skipping 409 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1850 const intptr_t elm_size = old_data.ElementSizeInBytes(); | 1872 const intptr_t elm_size = old_data.ElementSizeInBytes(); |
1851 const TypedData& new_data = | 1873 const TypedData& new_data = |
1852 TypedData::Handle(TypedData::New(cid, new_size, Heap::kOld)); | 1874 TypedData::Handle(TypedData::New(cid, new_size, Heap::kOld)); |
1853 TypedData::Copy(new_data, 0, old_data, 0, old_size * elm_size); | 1875 TypedData::Copy(new_data, 0, old_data, 0, old_size * elm_size); |
1854 typed_data_cell.SetAt(0, new_data); | 1876 typed_data_cell.SetAt(0, new_data); |
1855 arguments.SetReturn(new_data); | 1877 arguments.SetReturn(new_data); |
1856 } | 1878 } |
1857 | 1879 |
1858 | 1880 |
1859 } // namespace dart | 1881 } // namespace dart |
OLD | NEW |