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

Side by Side Diff: src/compiler.cc

Issue 12488006: Parallel recompilation: remove interrupt for code generation. (Closed) Base URL: https://v8.googlecode.com/svn/branches/bleeding_edge
Patch Set: addressed comments Created 7 years, 9 months 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 unified diff | Download patch | Annotate | Revision Log
« no previous file with comments | « src/builtins.h ('k') | src/deoptimizer.cc » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright 2012 the V8 project authors. All rights reserved. 1 // Copyright 2012 the V8 project authors. All rights reserved.
2 // Redistribution and use in source and binary forms, with or without 2 // Redistribution and use in source and binary forms, with or without
3 // modification, are permitted provided that the following conditions are 3 // modification, are permitted provided that the following conditions are
4 // met: 4 // met:
5 // 5 //
6 // * Redistributions of source code must retain the above copyright 6 // * Redistributions of source code must retain the above copyright
7 // notice, this list of conditions and the following disclaimer. 7 // notice, this list of conditions and the following disclaimer.
8 // * Redistributions in binary form must reproduce the above 8 // * Redistributions in binary form must reproduce the above
9 // copyright notice, this list of conditions and the following 9 // copyright notice, this list of conditions and the following
10 // disclaimer in the documentation and/or other materials provided 10 // disclaimer in the documentation and/or other materials provided
(...skipping 15 matching lines...) Expand all
26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 27
28 #include "v8.h" 28 #include "v8.h"
29 29
30 #include "compiler.h" 30 #include "compiler.h"
31 31
32 #include "bootstrapper.h" 32 #include "bootstrapper.h"
33 #include "codegen.h" 33 #include "codegen.h"
34 #include "compilation-cache.h" 34 #include "compilation-cache.h"
35 #include "debug.h" 35 #include "debug.h"
36 #include "deoptimizer.h"
36 #include "full-codegen.h" 37 #include "full-codegen.h"
37 #include "gdb-jit.h" 38 #include "gdb-jit.h"
38 #include "hydrogen.h" 39 #include "hydrogen.h"
39 #include "isolate-inl.h" 40 #include "isolate-inl.h"
40 #include "lithium.h" 41 #include "lithium.h"
41 #include "liveedit.h" 42 #include "liveedit.h"
42 #include "parser.h" 43 #include "parser.h"
43 #include "rewriter.h" 44 #include "rewriter.h"
44 #include "runtime-profiler.h" 45 #include "runtime-profiler.h"
45 #include "scanner-character-streams.h" 46 #include "scanner-character-streams.h"
(...skipping 847 matching lines...) Expand 10 before | Expand all | Expand 10 after
893 } 894 }
894 } 895 }
895 } 896 }
896 897
897 ASSERT(info->code().is_null()); 898 ASSERT(info->code().is_null());
898 return false; 899 return false;
899 } 900 }
900 901
901 902
902 void Compiler::RecompileParallel(Handle<JSFunction> closure) { 903 void Compiler::RecompileParallel(Handle<JSFunction> closure) {
903 if (closure->IsInRecompileQueue()) return;
904 ASSERT(closure->IsMarkedForParallelRecompilation()); 904 ASSERT(closure->IsMarkedForParallelRecompilation());
905 905
906 Isolate* isolate = closure->GetIsolate(); 906 Isolate* isolate = closure->GetIsolate();
907 // Here we prepare compile data for the parallel recompilation thread, but 907 // Here we prepare compile data for the parallel recompilation thread, but
908 // this still happens synchronously and interrupts execution. 908 // this still happens synchronously and interrupts execution.
909 Logger::TimerEventScope timer( 909 Logger::TimerEventScope timer(
910 isolate, Logger::TimerEventScope::v8_recompile_synchronous); 910 isolate, Logger::TimerEventScope::v8_recompile_synchronous);
911 911
912 if (!isolate->optimizing_compiler_thread()->IsQueueAvailable()) { 912 if (!isolate->optimizing_compiler_thread()->IsQueueAvailable()) {
913 if (FLAG_trace_parallel_recompilation) { 913 if (FLAG_trace_parallel_recompilation) {
914 PrintF(" ** Compilation queue, will retry opting on next run.\n"); 914 PrintF(" ** Compilation queue, will retry opting on next run.\n");
915 } 915 }
916 return; 916 return;
917 } 917 }
918 918
919 SmartPointer<CompilationInfo> info(new CompilationInfoWithZone(closure)); 919 SmartPointer<CompilationInfo> info(new CompilationInfoWithZone(closure));
920 VMState state(isolate, PARALLEL_COMPILER); 920 VMState state(isolate, PARALLEL_COMPILER);
921 PostponeInterruptsScope postpone(isolate); 921 PostponeInterruptsScope postpone(isolate);
922 922
923 Handle<SharedFunctionInfo> shared = info->shared_info(); 923 Handle<SharedFunctionInfo> shared = info->shared_info();
924 int compiled_size = shared->end_position() - shared->start_position(); 924 int compiled_size = shared->end_position() - shared->start_position();
925 isolate->counters()->total_compile_size()->Increment(compiled_size); 925 isolate->counters()->total_compile_size()->Increment(compiled_size);
926 info->SetOptimizing(BailoutId::None()); 926 info->SetOptimizing(BailoutId::None());
927 927
928 { 928 {
929 CompilationHandleScope handle_scope(*info); 929 CompilationHandleScope handle_scope(*info);
930 930
931 if (!FLAG_manual_parallel_recompilation && 931 if (InstallCodeFromOptimizedCodeMap(*info)) {
932 InstallCodeFromOptimizedCodeMap(*info)) {
933 return; 932 return;
934 } 933 }
935 934
936 if (ParserApi::Parse(*info, kNoParsingFlags)) { 935 if (ParserApi::Parse(*info, kNoParsingFlags)) {
937 LanguageMode language_mode = info->function()->language_mode(); 936 LanguageMode language_mode = info->function()->language_mode();
938 info->SetLanguageMode(language_mode); 937 info->SetLanguageMode(language_mode);
939 shared->set_language_mode(language_mode); 938 shared->set_language_mode(language_mode);
940 info->SaveHandles(); 939 info->SaveHandles();
941 940
942 if (Rewriter::Rewrite(*info) && Scope::Analyze(*info)) { 941 if (Rewriter::Rewrite(*info) && Scope::Analyze(*info)) {
943 OptimizingCompiler* compiler = 942 OptimizingCompiler* compiler =
944 new(info->zone()) OptimizingCompiler(*info); 943 new(info->zone()) OptimizingCompiler(*info);
945 OptimizingCompiler::Status status = compiler->CreateGraph(); 944 OptimizingCompiler::Status status = compiler->CreateGraph();
946 if (status == OptimizingCompiler::SUCCEEDED) { 945 if (status == OptimizingCompiler::SUCCEEDED) {
946 closure->MarkInRecompileQueue();
947 shared->code()->set_profiler_ticks(0);
948 info.Detach();
947 isolate->optimizing_compiler_thread()->QueueForOptimization(compiler); 949 isolate->optimizing_compiler_thread()->QueueForOptimization(compiler);
948 shared->code()->set_profiler_ticks(0);
949 closure->ReplaceCode(isolate->builtins()->builtin(
950 Builtins::kInRecompileQueue));
951 info.Detach();
952 } else if (status == OptimizingCompiler::BAILED_OUT) { 950 } else if (status == OptimizingCompiler::BAILED_OUT) {
953 isolate->clear_pending_exception(); 951 isolate->clear_pending_exception();
954 InstallFullCode(*info); 952 InstallFullCode(*info);
955 } 953 }
956 } 954 }
957 } 955 }
958 } 956 }
959 957
960 if (isolate->has_pending_exception()) { 958 if (shared->code()->stack_check_patched_for_osr()) {
961 isolate->clear_pending_exception(); 959 // At this point we either put the function on recompilation queue or
960 // aborted optimization. In either case we want to continue executing
961 // the unoptimized code without running into OSR. If the unoptimized
962 // code has been patched for OSR, unpatch it.
963 InterruptStub interrupt_stub;
964 Handle<Code> check_code = interrupt_stub.GetCode(isolate);
965 Handle<Code> replacement_code =
966 isolate->builtins()->OnStackReplacement();
967 Deoptimizer::RevertStackCheckCode(shared->code(),
968 *check_code,
969 *replacement_code);
962 } 970 }
971
972 if (isolate->has_pending_exception()) isolate->clear_pending_exception();
963 } 973 }
964 974
965 975
966 void Compiler::InstallOptimizedCode(OptimizingCompiler* optimizing_compiler) { 976 void Compiler::InstallOptimizedCode(OptimizingCompiler* optimizing_compiler) {
967 SmartPointer<CompilationInfo> info(optimizing_compiler->info()); 977 SmartPointer<CompilationInfo> info(optimizing_compiler->info());
968 // Function may have been optimized meanwhile by OSR. 978 ASSERT(info->closure()->IsMarkedForInstallingRecompiledCode());
969 if (FLAG_use_osr) {
970 // Function may have already been optimized meanwhile by OSR.
971 if (!info->code().is_null() &&
972 info->code()->kind() == Code::OPTIMIZED_FUNCTION) {
973 return;
974 }
975 // OSR may also have caused optimization to be disabled.
976 if (info->shared_info()->optimization_disabled()) return;
977 }
978 979
979 Isolate* isolate = info->isolate(); 980 Isolate* isolate = info->isolate();
980 VMState state(isolate, PARALLEL_COMPILER); 981 VMState state(isolate, PARALLEL_COMPILER);
981 Logger::TimerEventScope timer( 982 Logger::TimerEventScope timer(
982 isolate, Logger::TimerEventScope::v8_recompile_synchronous); 983 isolate, Logger::TimerEventScope::v8_recompile_synchronous);
983 // If crankshaft succeeded, install the optimized code else install 984 // If crankshaft succeeded, install the optimized code else install
984 // the unoptimized code. 985 // the unoptimized code.
985 OptimizingCompiler::Status status = optimizing_compiler->last_status(); 986 OptimizingCompiler::Status status = optimizing_compiler->last_status();
986 if (status != OptimizingCompiler::SUCCEEDED) { 987 if (status != OptimizingCompiler::SUCCEEDED) {
987 optimizing_compiler->info()->set_bailout_reason( 988 optimizing_compiler->info()->set_bailout_reason(
988 "failed/bailed out last time"); 989 "failed/bailed out last time");
989 status = optimizing_compiler->AbortOptimization(); 990 status = optimizing_compiler->AbortOptimization();
990 } else { 991 } else {
991 status = optimizing_compiler->GenerateAndInstallCode(); 992 status = optimizing_compiler->GenerateAndInstallCode();
992 ASSERT(status == OptimizingCompiler::SUCCEEDED || 993 ASSERT(status == OptimizingCompiler::SUCCEEDED ||
993 status == OptimizingCompiler::BAILED_OUT); 994 status == OptimizingCompiler::BAILED_OUT);
994 } 995 }
995 996
996 InstallCodeCommon(*info); 997 InstallCodeCommon(*info);
997 if (status == OptimizingCompiler::SUCCEEDED) { 998 if (status == OptimizingCompiler::SUCCEEDED) {
998 Handle<Code> code = info->code(); 999 Handle<Code> code = info->code();
999 ASSERT(info->shared_info()->scope_info() != ScopeInfo::Empty(isolate)); 1000 ASSERT(info->shared_info()->scope_info() != ScopeInfo::Empty(isolate));
1000 info->closure()->ReplaceCode(*code); 1001 info->closure()->ReplaceCode(*code);
1001 if (info->shared_info()->SearchOptimizedCodeMap( 1002 if (info->shared_info()->SearchOptimizedCodeMap(
1002 info->closure()->context()->native_context()) == -1) { 1003 info->closure()->context()->native_context()) == -1) {
1003 InsertCodeIntoOptimizedCodeMap(*info); 1004 InsertCodeIntoOptimizedCodeMap(*info);
1004 } 1005 }
1006 if (FLAG_trace_parallel_recompilation) {
1007 PrintF(" ** Optimized code for ");
1008 info->closure()->PrintName();
1009 PrintF(" installed.\n");
1010 }
1005 } else { 1011 } else {
1006 info->SetCode(Handle<Code>(info->shared_info()->code())); 1012 info->SetCode(Handle<Code>(info->shared_info()->code()));
1007 InstallFullCode(*info); 1013 InstallFullCode(*info);
1008 } 1014 }
1015 // Optimized code is finally replacing unoptimized code. Reset the latter's
1016 // profiler ticks to prevent too soon re-opt after a deopt.
1017 info->shared_info()->code()->set_profiler_ticks(0);
1009 } 1018 }
1010 1019
1011 1020
1012 Handle<SharedFunctionInfo> Compiler::BuildFunctionInfo(FunctionLiteral* literal, 1021 Handle<SharedFunctionInfo> Compiler::BuildFunctionInfo(FunctionLiteral* literal,
1013 Handle<Script> script) { 1022 Handle<Script> script) {
1014 // Precondition: code has been parsed and scopes have been analyzed. 1023 // Precondition: code has been parsed and scopes have been analyzed.
1015 CompilationInfoWithZone info(script); 1024 CompilationInfoWithZone info(script);
1016 info.SetFunction(literal); 1025 info.SetFunction(literal);
1017 info.SetScope(literal->scope()); 1026 info.SetScope(literal->scope());
1018 info.SetLanguageMode(literal->scope()->language_mode()); 1027 info.SetLanguageMode(literal->scope()->language_mode());
(...skipping 114 matching lines...) Expand 10 before | Expand all | Expand 10 after
1133 } 1142 }
1134 } 1143 }
1135 1144
1136 GDBJIT(AddCode(Handle<String>(shared->DebugName()), 1145 GDBJIT(AddCode(Handle<String>(shared->DebugName()),
1137 Handle<Script>(info->script()), 1146 Handle<Script>(info->script()),
1138 Handle<Code>(info->code()), 1147 Handle<Code>(info->code()),
1139 info)); 1148 info));
1140 } 1149 }
1141 1150
1142 } } // namespace v8::internal 1151 } } // namespace v8::internal
OLDNEW
« no previous file with comments | « src/builtins.h ('k') | src/deoptimizer.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698