blob: 5aedbd2fc3d31289e901cc5c2a477578274139c4 [file] [log] [blame]
/*
* Copyright (C) 2019 Apple Inc. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
* 1. Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in the
* documentation and/or other materials provided with the distribution.
*
* THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
* EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
* PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR
* CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
* EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
* PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
* PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
* OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
#include "config.h"
#include "WasmEntryPlan.h"
#include "WasmBinding.h"
#include "WasmFaultSignalHandler.h"
#include "WasmMemory.h"
#include "WasmSignatureInlines.h"
#include "WasmValidate.h"
#include <wtf/DataLog.h>
#include <wtf/Locker.h>
#include <wtf/MonotonicTime.h>
#include <wtf/StdLibExtras.h>
#include <wtf/SystemTracing.h>
#include <wtf/text/StringConcatenateNumbers.h>
#if ENABLE(WEBASSEMBLY)
namespace JSC { namespace Wasm {
namespace WasmEntryPlanInternal {
static const bool verbose = false;
}
EntryPlan::EntryPlan(Context* context, Ref<ModuleInformation> info, AsyncWork work, CompletionTask&& task, CreateEmbedderWrapper&& createEmbedderWrapper, ThrowWasmException throwWasmException)
: Base(context, WTFMove(info), WTFMove(task), WTFMove(createEmbedderWrapper), throwWasmException)
, m_streamingParser(m_moduleInformation.get(), *this)
, m_state(State::Validated)
, m_asyncWork(work)
{
}
EntryPlan::EntryPlan(Context* context, Vector<uint8_t>&& source, AsyncWork work, CompletionTask&& task, CreateEmbedderWrapper&& createEmbedderWrapper, ThrowWasmException throwWasmException)
: Base(context, ModuleInformation::create(), WTFMove(task), WTFMove(createEmbedderWrapper), throwWasmException)
, m_source(WTFMove(source))
, m_streamingParser(m_moduleInformation.get(), *this)
, m_state(State::Initial)
, m_asyncWork(work)
{
}
EntryPlan::EntryPlan(Context* context, Ref<ModuleInformation> moduleInformation, CompletionTask&& task)
: Base(context, WTFMove(moduleInformation), WTFMove(task))
, m_streamingParser(m_moduleInformation.get(), *this)
, m_state(State::Initial)
, m_asyncWork(AsyncWork::FullCompile)
{
}
EntryPlan::EntryPlan(Context* context, AsyncWork work, CompletionTask&& task)
: Base(context, WTFMove(task))
, m_streamingParser(m_moduleInformation.get(), *this)
, m_state(State::Initial)
, m_asyncWork(work)
{
}
const char* EntryPlan::stateString(State state)
{
switch (state) {
case State::Initial: return "Initial";
case State::Validated: return "Validated";
case State::Prepared: return "Prepared";
case State::Compiled: return "Compiled";
case State::Completed: return "Completed";
}
RELEASE_ASSERT_NOT_REACHED();
}
void EntryPlan::moveToState(State state)
{
ASSERT(state >= m_state);
dataLogLnIf(WasmEntryPlanInternal::verbose && state != m_state, "moving to state: ", stateString(state), " from state: ", stateString(m_state));
m_state = state;
}
bool EntryPlan::didReceiveFunctionData(unsigned functionIndex, const FunctionData& function)
{
dataLogLnIf(WasmEntryPlanInternal::verbose, "Processing function starting at: ", function.start, " and ending at: ", function.end);
size_t functionLength = function.end - function.start;
ASSERT(functionLength == function.data.size());
SignatureIndex signatureIndex = m_moduleInformation->internalFunctionSignatureIndices[functionIndex];
const Signature& signature = SignatureInformation::get(signatureIndex);
auto validationResult = validateFunction(function, signature, m_moduleInformation.get());
if (!validationResult) {
if (WasmEntryPlanInternal::verbose) {
for (unsigned i = 0; i < functionLength; ++i)
dataLog(RawPointer(reinterpret_cast<void*>(function.data[i])), ", ");
dataLogLn();
}
fail(holdLock(m_lock), makeString(validationResult.error(), ", in function at index ", String::number(functionIndex))); // FIXME make this an Expected.
}
return !!validationResult;
}
bool EntryPlan::parseAndValidateModule(const uint8_t* source, size_t sourceLength)
{
if (m_state != State::Initial)
return true;
dataLogLnIf(WasmEntryPlanInternal::verbose, "starting validation");
MonotonicTime startTime;
if (WasmEntryPlanInternal::verbose || Options::reportCompileTimes())
startTime = MonotonicTime::now();
m_streamingParser.addBytes(source, sourceLength);
{
auto locker = holdLock(m_lock);
if (failed())
return false;
}
if (m_streamingParser.finalize() != StreamingParser::State::Finished) {
fail(holdLock(m_lock), String(m_streamingParser.errorMessage()));
return false;
}
if (WasmEntryPlanInternal::verbose || Options::reportCompileTimes())
dataLogLn("Took ", (MonotonicTime::now() - startTime).microseconds(), " us to validate module");
moveToState(State::Validated);
if (m_asyncWork == Validation)
complete(holdLock(m_lock));
return true;
}
void EntryPlan::prepare()
{
ASSERT(m_state == State::Validated);
dataLogLnIf(WasmEntryPlanInternal::verbose, "Starting preparation");
const auto& functions = m_moduleInformation->functions;
if (!tryReserveCapacity(m_wasmToWasmExitStubs, m_moduleInformation->importFunctionSignatureIndices.size(), " WebAssembly to JavaScript stubs")
|| !tryReserveCapacity(m_unlinkedWasmToWasmCalls, functions.size(), " unlinked WebAssembly to WebAssembly calls"))
return;
m_unlinkedWasmToWasmCalls.resize(functions.size());
for (unsigned importIndex = 0; importIndex < m_moduleInformation->imports.size(); ++importIndex) {
Import* import = &m_moduleInformation->imports[importIndex];
if (import->kind != ExternalKind::Function)
continue;
unsigned importFunctionIndex = m_wasmToWasmExitStubs.size();
dataLogLnIf(WasmEntryPlanInternal::verbose, "Processing import function number ", importFunctionIndex, ": ", makeString(import->module), ": ", makeString(import->field));
auto binding = wasmToWasm(importFunctionIndex);
if (UNLIKELY(!binding)) {
switch (binding.error()) {
case BindingFailure::OutOfMemory:
return fail(holdLock(m_lock), makeString("Out of executable memory at import ", String::number(importIndex)));
}
RELEASE_ASSERT_NOT_REACHED();
}
m_wasmToWasmExitStubs.uncheckedAppend(binding.value());
}
const uint32_t importFunctionCount = m_moduleInformation->importFunctionCount();
for (const auto& exp : m_moduleInformation->exports) {
if (exp.kindIndex >= importFunctionCount)
m_exportedFunctionIndices.add(exp.kindIndex - importFunctionCount);
}
for (const auto& element : m_moduleInformation->elements) {
for (const uint32_t elementIndex : element.functionIndices) {
if (elementIndex >= importFunctionCount)
m_exportedFunctionIndices.add(elementIndex - importFunctionCount);
}
}
if (m_moduleInformation->startFunctionIndexSpace && m_moduleInformation->startFunctionIndexSpace >= importFunctionCount)
m_exportedFunctionIndices.add(*m_moduleInformation->startFunctionIndexSpace - importFunctionCount);
if (!prepareImpl())
return;
moveToState(State::Prepared);
}
// We don't have a semaphore class... and this does kinda interesting things.
class EntryPlan::ThreadCountHolder {
public:
ThreadCountHolder(EntryPlan& plan)
: m_plan(plan)
{
LockHolder locker(m_plan.m_lock);
m_plan.m_numberOfActiveThreads++;
}
~ThreadCountHolder()
{
LockHolder locker(m_plan.m_lock);
m_plan.m_numberOfActiveThreads--;
if (!m_plan.m_numberOfActiveThreads && !m_plan.hasWork())
m_plan.complete(locker);
}
EntryPlan& m_plan;
};
void EntryPlan::complete(const AbstractLocker& locker)
{
ASSERT(m_state != State::Compiled || m_currentIndex >= m_moduleInformation->functions.size());
dataLogLnIf(WasmEntryPlanInternal::verbose, "Starting Completion");
if (!failed() && m_state == State::Compiled)
didCompleteCompilation(locker);
if (!isComplete()) {
moveToState(State::Completed);
runCompletionTasks(locker);
}
}
void EntryPlan::compileFunctions(CompilationEffort effort)
{
ASSERT(m_state >= State::Prepared);
dataLogLnIf(WasmEntryPlanInternal::verbose, "Starting compilation");
if (!hasWork())
return;
Optional<TraceScope> traceScope;
if (Options::useTracePoints())
traceScope.emplace(WebAssemblyCompileStart, WebAssemblyCompileEnd);
ThreadCountHolder holder(*this);
size_t bytesCompiled = 0;
const auto& functions = m_moduleInformation->functions;
while (true) {
if (effort == Partial && bytesCompiled >= Options::webAssemblyPartialCompileLimit())
return;
uint32_t functionIndex;
{
auto locker = holdLock(m_lock);
if (m_currentIndex >= functions.size()) {
if (hasWork())
moveToState(State::Compiled);
return;
}
functionIndex = m_currentIndex;
++m_currentIndex;
}
compileFunction(functionIndex);
bytesCompiled += functions[functionIndex].data.size();
}
}
void EntryPlan::work(CompilationEffort effort)
{
switch (m_state) {
case State::Initial:
parseAndValidateModule(m_source.data(), m_source.size());
if (!hasWork()) {
ASSERT(isComplete());
break;
}
FALLTHROUGH;
case State::Validated:
prepare();
break;
case State::Prepared:
compileFunctions(effort);
break;
default:
break;
}
}
} } // namespace JSC::Wasm
#endif // ENABLE(WEBASSEMBLY)