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

Side by Side Diff: src/wasm/wasm-module.cc

Issue 1961973002: [wasm] Implement parallel compilation. (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Created 4 years, 7 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
OLDNEW
1 // Copyright 2015 the V8 project authors. All rights reserved. 1 // Copyright 2015 the V8 project authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be 2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file. 3 // found in the LICENSE file.
4 4
5 #include "src/base/atomic-utils.h"
5 #include "src/macro-assembler.h" 6 #include "src/macro-assembler.h"
6 #include "src/objects.h" 7 #include "src/objects.h"
7 #include "src/property-descriptor.h" 8 #include "src/property-descriptor.h"
8 #include "src/v8.h" 9 #include "src/v8.h"
9 10
10 #include "src/simulator.h" 11 #include "src/simulator.h"
11 12
12 #include "src/wasm/ast-decoder.h" 13 #include "src/wasm/ast-decoder.h"
13 #include "src/wasm/module-decoder.h" 14 #include "src/wasm/module-decoder.h"
14 #include "src/wasm/wasm-function-name-table.h" 15 #include "src/wasm/wasm-function-name-table.h"
(...skipping 108 matching lines...) Expand 10 before | Expand all | Expand 10 after
123 : isolate_(isolate), placeholder_code_(size), function_code_(size) {} 124 : isolate_(isolate), placeholder_code_(size), function_code_(size) {}
124 125
125 // Get the code object for a function, allocating a placeholder if it has 126 // Get the code object for a function, allocating a placeholder if it has
126 // not yet been compiled. 127 // not yet been compiled.
127 Handle<Code> GetFunctionCode(uint32_t index) { 128 Handle<Code> GetFunctionCode(uint32_t index) {
128 DCHECK(index < function_code_.size()); 129 DCHECK(index < function_code_.size());
129 if (function_code_[index].is_null()) { 130 if (function_code_[index].is_null()) {
130 // Create a placeholder code object and encode the corresponding index in 131 // Create a placeholder code object and encode the corresponding index in
131 // the {constant_pool_offset} field of the code object. 132 // the {constant_pool_offset} field of the code object.
132 // TODO(titzer): placeholder code objects are somewhat dangerous. 133 // TODO(titzer): placeholder code objects are somewhat dangerous.
133 Handle<Code> self(nullptr, isolate_);
134 byte buffer[] = {0, 0, 0, 0, 0, 0, 0, 0}; // fake instructions. 134 byte buffer[] = {0, 0, 0, 0, 0, 0, 0, 0}; // fake instructions.
135 CodeDesc desc = {buffer, 8, 8, 0, 0, nullptr}; 135 CodeDesc desc = {buffer, 8, 8, 0, 0, nullptr};
136 Handle<Code> code = isolate_->factory()->NewCode( 136 Handle<Code> code = isolate_->factory()->NewCode(
137 desc, Code::KindField::encode(Code::WASM_FUNCTION), self); 137 desc, Code::KindField::encode(Code::WASM_FUNCTION),
138 Handle<Object>::null());
138 code->set_constant_pool_offset(index + kPlaceholderMarker); 139 code->set_constant_pool_offset(index + kPlaceholderMarker);
139 placeholder_code_[index] = code; 140 placeholder_code_[index] = code;
140 function_code_[index] = code; 141 function_code_[index] = code;
141 } 142 }
142 return function_code_[index]; 143 return function_code_[index];
143 } 144 }
144 145
145 void Finish(uint32_t index, Handle<Code> code) { 146 void Finish(uint32_t index, Handle<Code> code) {
146 DCHECK(index < function_code_.size()); 147 DCHECK(index < function_code_.size());
147 function_code_[index] = code; 148 function_code_[index] = code;
(...skipping 243 matching lines...) Expand 10 before | Expand all | Expand 10 after
391 } 392 }
392 393
393 if (!function->IsJSFunction()) { 394 if (!function->IsJSFunction()) {
394 return ReportFFIError(thrower, "not a function", index, module_name, 395 return ReportFFIError(thrower, "not a function", index, module_name,
395 function_name); 396 function_name);
396 } 397 }
397 398
398 return Handle<JSFunction>::cast(function); 399 return Handle<JSFunction>::cast(function);
399 } 400 }
400 401
402 // Fetches the compilation unit of a wasm function and executes its parallel
403 // phase.
404 bool FetchAndExecuteCompilation(
titzer 2016/05/10 12:32:10 Put this into an anonymous namespace.
ahaas 2016/05/11 09:52:21 done.
405 Isolate* isolate,
406 std::vector<compiler::WasmCompilationUnit*>* compilation_units,
407 std::queue<compiler::WasmCompilationUnit*>* executed_units,
408 base::Mutex* result_mutex, base::AtomicNumber<size_t>* next_unit) {
409 DisallowHeapAllocation no_allocation;
410 DisallowHandleAllocation no_handles;
411 DisallowHandleDereference no_deref;
412 DisallowCodeDependencyChange no_dependency_change;
413
414 // - 1 because AtomicIntrement returns the value after the atomic increment.
415 size_t index = next_unit->Increment(1) - 1;
416 if (index >= compilation_units->size()) {
417 return false;
418 }
419
420 compiler::WasmCompilationUnit* unit = compilation_units->at(index);
421 if (unit != nullptr) {
422 compiler::ExecuteCompilation(unit);
423 {
424 base::LockGuard<base::Mutex> guard(result_mutex);
425 executed_units->push(unit);
426 }
427 }
428 return true;
429 }
430
431 class WasmCompilationTask : public CancelableTask {
432 public:
433 WasmCompilationTask(
434 Isolate* isolate,
435 std::vector<compiler::WasmCompilationUnit*>* compilation_units,
436 std::queue<compiler::WasmCompilationUnit*>* executed_units,
437 base::Semaphore* on_finished, base::Mutex* result_mutex,
438 base::AtomicNumber<size_t>* next_unit)
439 : CancelableTask(isolate),
440 isolate_(isolate),
441 compilation_units_(compilation_units),
442 executed_units_(executed_units),
443 on_finished_(on_finished),
444 result_mutex_(result_mutex),
445 next_unit_(next_unit) {}
446
447 void RunInternal() override {
448 while (FetchAndExecuteCompilation(isolate_, compilation_units_,
449 executed_units_, result_mutex_,
450 next_unit_)) {
451 }
452 on_finished_->Signal();
453 }
454
455 Isolate* isolate_;
456 std::vector<compiler::WasmCompilationUnit*>* compilation_units_;
457 std::queue<compiler::WasmCompilationUnit*>* executed_units_;
458 base::Semaphore* on_finished_;
459 base::Mutex* result_mutex_;
460 base::AtomicNumber<size_t>* next_unit_;
461 };
462
401 // Instantiates a wasm module as a JSObject. 463 // Instantiates a wasm module as a JSObject.
402 // * allocates a backing store of {mem_size} bytes. 464 // * allocates a backing store of {mem_size} bytes.
403 // * installs a named property "memory" for that buffer if exported 465 // * installs a named property "memory" for that buffer if exported
404 // * installs named properties on the object for exported functions 466 // * installs named properties on the object for exported functions
405 // * compiles wasm code to machine code 467 // * compiles wasm code to machine code
406 MaybeHandle<JSObject> WasmModule::Instantiate(Isolate* isolate, 468 MaybeHandle<JSObject> WasmModule::Instantiate(Isolate* isolate,
407 Handle<JSReceiver> ffi, 469 Handle<JSReceiver> ffi,
408 Handle<JSArrayBuffer> memory) { 470 Handle<JSArrayBuffer> memory) {
409 HistogramTimerScope wasm_instantiate_module_time_scope( 471 HistogramTimerScope wasm_instantiate_module_time_scope(
410 isolate->counters()->wasm_instantiate_module_time()); 472 isolate->counters()->wasm_instantiate_module_time());
(...skipping 89 matching lines...) Expand 10 before | Expand all | Expand 10 after
500 } 562 }
501 } 563 }
502 564
503 //------------------------------------------------------------------------- 565 //-------------------------------------------------------------------------
504 // Compile all functions in the module. 566 // Compile all functions in the module.
505 //------------------------------------------------------------------------- 567 //-------------------------------------------------------------------------
506 { 568 {
507 isolate->counters()->wasm_functions_per_module()->AddSample( 569 isolate->counters()->wasm_functions_per_module()->AddSample(
508 static_cast<int>(functions.size())); 570 static_cast<int>(functions.size()));
509 571
572 //-----------------------------------------------------------------------
573 // For parallel compilation:
574 // 1) The main thread allocates a compilation unit for each wasm function
575 // and stores them in the vector compilation_units.
titzer 2016/05/10 12:32:10 We've adopted the {} style for comments, so s/comp
ahaas 2016/05/11 09:52:21 done.
576 // 2) The main thread spawns WasmCompilationTasks which run on the
577 // background threads.
578 // 3.a) The background threads and the main thread pick one compilation unit
579 // at a time and execute the parallel phase of the compilation unit.
580 // After finishing the execution of the parallel phase, the result is
581 // enqueued in executed_units.
582 // 3.b) If executed_units contains a compilation unit, the main thread
583 // dequeues it and finishes the compilation.
584 // 4) After the parallel phase of all compilation units has started, the
585 // main thread waits for all WasmCompilationTasks to finish.
586 // 5) The main thread finishes the compilation.
587
510 std::vector<compiler::WasmCompilationUnit*> compilation_units( 588 std::vector<compiler::WasmCompilationUnit*> compilation_units(
511 functions.size()); 589 functions.size());
512 std::queue<compiler::WasmCompilationUnit*> executed_units; 590 std::queue<compiler::WasmCompilationUnit*> executed_units;
513 std::vector<Handle<Code>> results(functions.size()); 591 std::vector<Handle<Code>> results(functions.size());
514 592
515 if (FLAG_wasm_parallel_compilation) { 593 if (FLAG_wasm_num_compilation_tasks != 0) {
titzer 2016/05/10 12:32:10 This function is getting huge. Can you split out t
ahaas 2016/05/11 09:52:21 Done.
594 CanonicalHandleScope canonical(isolate);
titzer 2016/05/10 12:32:10 Comment on why we need a canonical handle scope he
ahaas 2016/05/11 09:52:21 Done.
595
516 // Create a placeholder code object for all functions. 596 // Create a placeholder code object for all functions.
517 // TODO(ahaas): Maybe we could skip this for external functions. 597 // TODO(ahaas): Maybe we could skip this for external functions.
518 for (uint32_t i = 0; i < functions.size(); i++) { 598 for (uint32_t i = 0; i < functions.size(); i++) {
519 linker.GetFunctionCode(i); 599 linker.GetFunctionCode(i);
520 } 600 }
521 601
602 // 1) The main thread allocates a compilation unit for each wasm function
603 // and stores them in the vector compilation_units.
522 for (uint32_t i = FLAG_skip_compiling_wasm_funcs; i < functions.size(); 604 for (uint32_t i = FLAG_skip_compiling_wasm_funcs; i < functions.size();
523 i++) { 605 i++) {
524 if (!functions[i].external) { 606 if (!functions[i].external) {
525 compilation_units[i] = compiler::CreateWasmCompilationUnit( 607 compilation_units[i] = compiler::CreateWasmCompilationUnit(
526 &thrower, isolate, &module_env, &functions[i], i); 608 &thrower, isolate, &module_env, &functions[i], i);
609 } else {
610 compilation_units[i] = nullptr;
527 } 611 }
528 } 612 }
529 613
614 // 2) The main thread spawns WasmCompilationTasks which run on the
615 // background threads.
616 const size_t max_num_tasks =
617 Min(static_cast<size_t>(FLAG_wasm_num_compilation_tasks),
618 V8::GetCurrentPlatform()->NumberOfAvailableBackgroundThreads());
619
620 base::SmartArrayPointer<uint32_t> task_ids(new uint32_t[max_num_tasks]);
621
622 base::SmartPointer<base::Semaphore> pending_tasks(new base::Semaphore(0));
623 base::Mutex result_mutex;
624 base::AtomicNumber<size_t> next_unit(
625 static_cast<size_t>(FLAG_skip_compiling_wasm_funcs));
626
627 for (size_t i = 0; i < max_num_tasks; i++) {
628 WasmCompilationTask* task = new WasmCompilationTask(
629 isolate, &compilation_units, &executed_units, pending_tasks.get(),
630 &result_mutex, &next_unit);
631 task_ids[i] = task->id();
632 V8::GetCurrentPlatform()->CallOnBackgroundThread(
633 task, v8::Platform::kShortRunningTask);
634 }
635
530 index = FLAG_skip_compiling_wasm_funcs; 636 index = FLAG_skip_compiling_wasm_funcs;
531 while (true) { 637 bool done = false;
638 while (!done) {
639 // The steps loop contains the steps 3.a, 4, and 3.b, are intertwined in
640 // this loop for the following reasons:
641 // * We cannot wait with the sequential fixup (3b) until after the
642 // parallel execution has finished because we would run out of memory.
643 // * The fixup has to done after the waiting because otherwise we would
644 // miss the last functions.
645 // * The main thread should to participate in the parallel execution to
646 // guarantee progress even if the worker threads don't do any work.
647
648 // 3.a) The background threads and the main thread pick one compilation
649 // unit at a time and execute the parallel phase of the compilation
650 // unit. After finishing the execution of the parallel phase, the
651 // result is enqueued in executed_units.
652 if (!FetchAndExecuteCompilation(isolate, &compilation_units,
653 &executed_units, &result_mutex,
654 &next_unit)) {
655 // 4) After the parallel phase of all compilation units has started,
656 // the main thread waits for all WasmCompilationTasks to finish.
657 for (size_t i = 0; i < max_num_tasks; i++) {
658 if (!isolate->cancelable_task_manager()->TryAbort(task_ids[i])) {
659 pending_tasks->Wait();
660 }
661 }
662 done = true;
663 }
664 // 3.b) If executed_units contains a compilation unit, the main thread
665 // dequeues it and finishes the compilation.
532 while (!executed_units.empty()) { 666 while (!executed_units.empty()) {
533 compiler::WasmCompilationUnit* unit = executed_units.front(); 667 compiler::WasmCompilationUnit* unit = nullptr;
534 executed_units.pop(); 668 {
535 int i = compiler::GetIndexOfWasmCompilationUnit(unit); 669 base::LockGuard<base::Mutex> guard(&result_mutex);
536 results[i] = compiler::FinishCompilation(unit); 670 if (!executed_units.empty()) {
537 } 671 unit = executed_units.front();
538 if (index < functions.size()) { 672 executed_units.pop();
539 if (!functions[index].external) { 673 }
540 compiler::ExecuteCompilation(compilation_units[index]);
541 executed_units.push(compilation_units[index]);
542 index++;
543 } 674 }
544 } else { 675 if (unit != nullptr) {
545 break; 676 int j = compiler::GetIndexOfWasmCompilationUnit(unit);
677 if (!functions[j].external) {
678 results[j] = compiler::FinishCompilation(unit);
679 }
680 }
546 } 681 }
547 } 682 }
548 } 683 }
549 684 // 5) The main thread finishes the compilation.
550 // First pass: compile each function and initialize the code table. 685 // First pass: compile each function and initialize the code table.
titzer 2016/05/10 12:32:10 This comment is now out of date.
ahaas 2016/05/11 09:52:21 Done.
551 for (uint32_t i = FLAG_skip_compiling_wasm_funcs; i < functions.size(); 686 for (uint32_t i = FLAG_skip_compiling_wasm_funcs; i < functions.size();
552 i++) { 687 i++) {
553 const WasmFunction& func = functions[i]; 688 const WasmFunction& func = functions[i];
554 if (thrower.error()) break; 689 if (thrower.error()) break;
555 DCHECK_EQ(i, func.func_index); 690 DCHECK_EQ(i, func.func_index);
556 691
557 WasmName str = GetName(func.name_offset, func.name_length); 692 WasmName str = GetName(func.name_offset, func.name_length);
558 WasmName str_null = {nullptr, 0}; 693 WasmName str_null = {nullptr, 0};
559 Handle<String> name = factory->InternalizeUtf8String(str); 694 Handle<String> name = factory->InternalizeUtf8String(str);
560 Handle<Code> code = Handle<Code>::null(); 695 Handle<Code> code = Handle<Code>::null();
561 Handle<JSFunction> function = Handle<JSFunction>::null(); 696 Handle<JSFunction> function = Handle<JSFunction>::null();
562 if (func.external) { 697 if (func.external) {
563 // Lookup external function in FFI object. 698 // Lookup external function in FFI object.
564 MaybeHandle<JSFunction> function = 699 MaybeHandle<JSFunction> function =
565 LookupFunction(thrower, factory, ffi, i, str, str_null); 700 LookupFunction(thrower, factory, ffi, i, str, str_null);
566 if (function.is_null()) return MaybeHandle<JSObject>(); 701 if (function.is_null()) return MaybeHandle<JSObject>();
567 code = compiler::CompileWasmToJSWrapper(isolate, &module_env, 702 code = compiler::CompileWasmToJSWrapper(isolate, &module_env,
568 function.ToHandleChecked(), 703 function.ToHandleChecked(),
569 func.sig, str, str_null); 704 func.sig, str, str_null);
570 } else { 705 } else {
571 if (FLAG_wasm_parallel_compilation) { 706 if (FLAG_wasm_num_compilation_tasks != 0) {
572 code = results[i]; 707 code = results[i];
573 } else { 708 } else {
574 // Compile the function. 709 // Compile the function.
710 CanonicalHandleScope canonical(isolate);
575 code = compiler::CompileWasmFunction(&thrower, isolate, &module_env, 711 code = compiler::CompileWasmFunction(&thrower, isolate, &module_env,
576 &func); 712 &func);
577 } 713 }
578 if (code.is_null()) { 714 if (code.is_null()) {
579 thrower.Error("Compilation of #%d:%.*s failed.", i, str.length(), 715 thrower.Error("Compilation of #%d:%.*s failed.", i, str.length(),
580 str.start()); 716 str.start());
581 return MaybeHandle<JSObject>(); 717 return MaybeHandle<JSObject>();
582 } 718 }
583 if (func.exported) { 719 if (func.exported) {
584 function = compiler::CompileJSToWasmWrapper( 720 function = compiler::CompileJSToWasmWrapper(
(...skipping 230 matching lines...) Expand 10 before | Expand all | Expand 10 after
815 wasm->GetInternalField(kWasmFunctionNamesArray), wasm->GetIsolate()); 951 wasm->GetInternalField(kWasmFunctionNamesArray), wasm->GetIsolate());
816 if (func_names_arr_obj->IsUndefined()) 952 if (func_names_arr_obj->IsUndefined())
817 return func_names_arr_obj; // Return undefined. 953 return func_names_arr_obj; // Return undefined.
818 return GetWasmFunctionNameFromTable( 954 return GetWasmFunctionNameFromTable(
819 Handle<ByteArray>::cast(func_names_arr_obj), func_index); 955 Handle<ByteArray>::cast(func_names_arr_obj), func_index);
820 } 956 }
821 957
822 } // namespace wasm 958 } // namespace wasm
823 } // namespace internal 959 } // namespace internal
824 } // namespace v8 960 } // namespace v8
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698