// Copyright 2014 the V8 project authors. All rights reserved. // Use of this source code is governed by a BSD-style license that can be // found in the LICENSE file. #include "bootstrapper.h" #include "accessors.h" #include "isolate-inl.h" #include "natives.h" #include "snapshot.h" #include "trig-table.h" #include "extensions/externalize-string-extension.h" #include "extensions/free-buffer-extension.h" #include "extensions/gc-extension.h" #include "extensions/statistics-extension.h" #include "extensions/trigger-failure-extension.h" #include "code-stubs.h" namespace v8 { namespace internal { NativesExternalStringResource::NativesExternalStringResource( Bootstrapper* bootstrapper, const char* source, size_t length) : data_(source), length_(length) { if (bootstrapper->delete_these_non_arrays_on_tear_down_ == NULL) { bootstrapper->delete_these_non_arrays_on_tear_down_ = new List(2); } // The resources are small objects and we only make a fixed number of // them, but let's clean them up on exit for neatness. bootstrapper->delete_these_non_arrays_on_tear_down_-> Add(reinterpret_cast(this)); } Bootstrapper::Bootstrapper(Isolate* isolate) : isolate_(isolate), nesting_(0), extensions_cache_(Script::TYPE_EXTENSION), delete_these_non_arrays_on_tear_down_(NULL), delete_these_arrays_on_tear_down_(NULL) { } Handle Bootstrapper::NativesSourceLookup(int index) { ASSERT(0 <= index && index < Natives::GetBuiltinsCount()); Heap* heap = isolate_->heap(); if (heap->natives_source_cache()->get(index)->IsUndefined()) { // We can use external strings for the natives. Vector source = Natives::GetRawScriptSource(index); NativesExternalStringResource* resource = new NativesExternalStringResource(this, source.start(), source.length()); // We do not expect this to throw an exception. Change this if it does. Handle source_code = isolate_->factory()->NewExternalStringFromAscii( resource).ToHandleChecked(); heap->natives_source_cache()->set(index, *source_code); } Handle cached_source(heap->natives_source_cache()->get(index), isolate_); return Handle::cast(cached_source); } void Bootstrapper::Initialize(bool create_heap_objects) { extensions_cache_.Initialize(isolate_, create_heap_objects); } static const char* GCFunctionName() { bool flag_given = FLAG_expose_gc_as != NULL && strlen(FLAG_expose_gc_as) != 0; return flag_given ? FLAG_expose_gc_as : "gc"; } v8::Extension* Bootstrapper::free_buffer_extension_ = NULL; v8::Extension* Bootstrapper::gc_extension_ = NULL; v8::Extension* Bootstrapper::externalize_string_extension_ = NULL; v8::Extension* Bootstrapper::statistics_extension_ = NULL; v8::Extension* Bootstrapper::trigger_failure_extension_ = NULL; void Bootstrapper::InitializeOncePerProcess() { free_buffer_extension_ = new FreeBufferExtension; v8::RegisterExtension(free_buffer_extension_); gc_extension_ = new GCExtension(GCFunctionName()); v8::RegisterExtension(gc_extension_); externalize_string_extension_ = new ExternalizeStringExtension; v8::RegisterExtension(externalize_string_extension_); statistics_extension_ = new StatisticsExtension; v8::RegisterExtension(statistics_extension_); trigger_failure_extension_ = new TriggerFailureExtension; v8::RegisterExtension(trigger_failure_extension_); } void Bootstrapper::TearDownExtensions() { delete free_buffer_extension_; delete gc_extension_; delete externalize_string_extension_; delete statistics_extension_; delete trigger_failure_extension_; } char* Bootstrapper::AllocateAutoDeletedArray(int bytes) { char* memory = new char[bytes]; if (memory != NULL) { if (delete_these_arrays_on_tear_down_ == NULL) { delete_these_arrays_on_tear_down_ = new List(2); } delete_these_arrays_on_tear_down_->Add(memory); } return memory; } void Bootstrapper::TearDown() { if (delete_these_non_arrays_on_tear_down_ != NULL) { int len = delete_these_non_arrays_on_tear_down_->length(); ASSERT(len < 20); // Don't use this mechanism for unbounded allocations. for (int i = 0; i < len; i++) { delete delete_these_non_arrays_on_tear_down_->at(i); delete_these_non_arrays_on_tear_down_->at(i) = NULL; } delete delete_these_non_arrays_on_tear_down_; delete_these_non_arrays_on_tear_down_ = NULL; } if (delete_these_arrays_on_tear_down_ != NULL) { int len = delete_these_arrays_on_tear_down_->length(); ASSERT(len < 1000); // Don't use this mechanism for unbounded allocations. for (int i = 0; i < len; i++) { delete[] delete_these_arrays_on_tear_down_->at(i); delete_these_arrays_on_tear_down_->at(i) = NULL; } delete delete_these_arrays_on_tear_down_; delete_these_arrays_on_tear_down_ = NULL; } extensions_cache_.Initialize(isolate_, false); // Yes, symmetrical } class Genesis BASE_EMBEDDED { public: Genesis(Isolate* isolate, Handle global_object, v8::Handle global_template, v8::ExtensionConfiguration* extensions); ~Genesis() { } Isolate* isolate() const { return isolate_; } Factory* factory() const { return isolate_->factory(); } Heap* heap() const { return isolate_->heap(); } Handle result() { return result_; } private: Handle native_context() { return native_context_; } // Creates some basic objects. Used for creating a context from scratch. void CreateRoots(); // Creates the empty function. Used for creating a context from scratch. Handle CreateEmptyFunction(Isolate* isolate); // Creates the ThrowTypeError function. ECMA 5th Ed. 13.2.3 Handle GetThrowTypeErrorFunction(); void CreateStrictModeFunctionMaps(Handle empty); // Make the "arguments" and "caller" properties throw a TypeError on access. void PoisonArgumentsAndCaller(Handle map); // Creates the global objects using the global and the template passed in // through the API. We call this regardless of whether we are building a // context from scratch or using a deserialized one from the partial snapshot // but in the latter case we don't use the objects it produces directly, as // we have to used the deserialized ones that are linked together with the // rest of the context snapshot. Handle CreateNewGlobals( v8::Handle global_template, Handle global_object, Handle* global_proxy_out); // Hooks the given global proxy into the context. If the context was created // by deserialization then this will unhook the global proxy that was // deserialized, leaving the GC to pick it up. void HookUpGlobalProxy(Handle inner_global, Handle global_proxy); // Similarly, we want to use the inner global that has been created by the // templates passed through the API. The inner global from the snapshot is // detached from the other objects in the snapshot. void HookUpInnerGlobal(Handle inner_global); // New context initialization. Used for creating a context from scratch. void InitializeGlobal(Handle inner_global, Handle empty_function); void InitializeExperimentalGlobal(); // Installs the contents of the native .js files on the global objects. // Used for creating a context from scratch. void InstallNativeFunctions(); void InstallExperimentalBuiltinFunctionIds(); void InstallExperimentalNativeFunctions(); Handle InstallInternalArray(Handle builtins, const char* name, ElementsKind elements_kind); bool InstallNatives(); Handle InstallTypedArray(const char* name, ElementsKind elementsKind); bool InstallExperimentalNatives(); void InstallBuiltinFunctionIds(); void InstallJSFunctionResultCaches(); void InitializeNormalizedMapCaches(); enum ExtensionTraversalState { UNVISITED, VISITED, INSTALLED }; class ExtensionStates { public: ExtensionStates(); ExtensionTraversalState get_state(RegisteredExtension* extension); void set_state(RegisteredExtension* extension, ExtensionTraversalState state); private: HashMap map_; DISALLOW_COPY_AND_ASSIGN(ExtensionStates); }; // Used both for deserialized and from-scratch contexts to add the extensions // provided. static bool InstallExtensions(Handle native_context, v8::ExtensionConfiguration* extensions); static bool InstallAutoExtensions(Isolate* isolate, ExtensionStates* extension_states); static bool InstallRequestedExtensions(Isolate* isolate, v8::ExtensionConfiguration* extensions, ExtensionStates* extension_states); static bool InstallExtension(Isolate* isolate, const char* name, ExtensionStates* extension_states); static bool InstallExtension(Isolate* isolate, v8::RegisteredExtension* current, ExtensionStates* extension_states); static bool InstallSpecialObjects(Handle native_context); bool InstallJSBuiltins(Handle builtins); bool ConfigureApiObject(Handle object, Handle object_template); bool ConfigureGlobalObjects(v8::Handle global_template); // Migrates all properties from the 'from' object to the 'to' // object and overrides the prototype in 'to' with the one from // 'from'. void TransferObject(Handle from, Handle to); void TransferNamedProperties(Handle from, Handle to); void TransferIndexedProperties(Handle from, Handle to); enum PrototypePropertyMode { DONT_ADD_PROTOTYPE, ADD_READONLY_PROTOTYPE, ADD_WRITEABLE_PROTOTYPE }; Handle CreateFunctionMap(PrototypePropertyMode prototype_mode); void SetFunctionInstanceDescriptor(Handle map, PrototypePropertyMode prototypeMode); void MakeFunctionInstancePrototypeWritable(); Handle CreateStrictFunctionMap( PrototypePropertyMode prototype_mode, Handle empty_function); void SetStrictFunctionInstanceDescriptor(Handle map, PrototypePropertyMode propertyMode); static bool CompileBuiltin(Isolate* isolate, int index); static bool CompileExperimentalBuiltin(Isolate* isolate, int index); static bool CompileNative(Isolate* isolate, Vector name, Handle source); static bool CompileScriptCached(Isolate* isolate, Vector name, Handle source, SourceCodeCache* cache, v8::Extension* extension, Handle top_context, bool use_runtime_context); Isolate* isolate_; Handle result_; Handle native_context_; // Function maps. Function maps are created initially with a read only // prototype for the processing of JS builtins. Later the function maps are // replaced in order to make prototype writable. These are the final, writable // prototype, maps. Handle sloppy_function_map_writable_prototype_; Handle strict_function_map_writable_prototype_; Handle throw_type_error_function; BootstrapperActive active_; friend class Bootstrapper; }; void Bootstrapper::Iterate(ObjectVisitor* v) { extensions_cache_.Iterate(v); v->Synchronize(VisitorSynchronization::kExtensions); } Handle Bootstrapper::CreateEnvironment( Handle global_object, v8::Handle global_template, v8::ExtensionConfiguration* extensions) { HandleScope scope(isolate_); Genesis genesis(isolate_, global_object, global_template, extensions); Handle env = genesis.result(); if (env.is_null() || !InstallExtensions(env, extensions)) { return Handle(); } return scope.CloseAndEscape(env); } static void SetObjectPrototype(Handle object, Handle proto) { // object.__proto__ = proto; Handle old_to_map = Handle(object->map()); Handle new_to_map = Map::Copy(old_to_map); new_to_map->set_prototype(*proto); object->set_map(*new_to_map); } void Bootstrapper::DetachGlobal(Handle env) { Factory* factory = env->GetIsolate()->factory(); Handle global_proxy(JSGlobalProxy::cast(env->global_proxy())); global_proxy->set_native_context(*factory->null_value()); SetObjectPrototype(global_proxy, factory->null_value()); } static Handle InstallFunction(Handle target, const char* name, InstanceType type, int instance_size, Handle prototype, Builtins::Name call, bool install_initial_map, bool set_instance_class_name) { Isolate* isolate = target->GetIsolate(); Factory* factory = isolate->factory(); Handle internalized_name = factory->InternalizeUtf8String(name); Handle call_code = Handle(isolate->builtins()->builtin(call)); Handle function = prototype.is_null() ? factory->NewFunctionWithoutPrototype(internalized_name, call_code) : factory->NewFunctionWithPrototype(internalized_name, type, instance_size, prototype, call_code, install_initial_map); PropertyAttributes attributes; if (target->IsJSBuiltinsObject()) { attributes = static_cast(DONT_ENUM | DONT_DELETE | READ_ONLY); } else { attributes = DONT_ENUM; } JSObject::SetLocalPropertyIgnoreAttributes( target, internalized_name, function, attributes).Check(); if (set_instance_class_name) { function->shared()->set_instance_class_name(*internalized_name); } function->shared()->set_native(true); return function; } void Genesis::SetFunctionInstanceDescriptor( Handle map, PrototypePropertyMode prototypeMode) { int size = (prototypeMode == DONT_ADD_PROTOTYPE) ? 4 : 5; Map::EnsureDescriptorSlack(map, size); Handle length(factory()->NewForeign(&Accessors::FunctionLength)); Handle name(factory()->NewForeign(&Accessors::FunctionName)); Handle args(factory()->NewForeign(&Accessors::FunctionArguments)); Handle caller(factory()->NewForeign(&Accessors::FunctionCaller)); Handle prototype; if (prototypeMode != DONT_ADD_PROTOTYPE) { prototype = factory()->NewForeign(&Accessors::FunctionPrototype); } PropertyAttributes attribs = static_cast( DONT_ENUM | DONT_DELETE | READ_ONLY); { // Add length. CallbacksDescriptor d(factory()->length_string(), length, attribs); map->AppendDescriptor(&d); } { // Add name. CallbacksDescriptor d(factory()->name_string(), name, attribs); map->AppendDescriptor(&d); } { // Add arguments. CallbacksDescriptor d(factory()->arguments_string(), args, attribs); map->AppendDescriptor(&d); } { // Add caller. CallbacksDescriptor d(factory()->caller_string(), caller, attribs); map->AppendDescriptor(&d); } if (prototypeMode != DONT_ADD_PROTOTYPE) { // Add prototype. if (prototypeMode == ADD_WRITEABLE_PROTOTYPE) { attribs = static_cast(attribs & ~READ_ONLY); } CallbacksDescriptor d(factory()->prototype_string(), prototype, attribs); map->AppendDescriptor(&d); } } Handle Genesis::CreateFunctionMap(PrototypePropertyMode prototype_mode) { Handle map = factory()->NewMap(JS_FUNCTION_TYPE, JSFunction::kSize); SetFunctionInstanceDescriptor(map, prototype_mode); map->set_function_with_prototype(prototype_mode != DONT_ADD_PROTOTYPE); return map; } Handle Genesis::CreateEmptyFunction(Isolate* isolate) { // Allocate the map for function instances. Maps are allocated first and their // prototypes patched later, once empty function is created. // Functions with this map will not have a 'prototype' property, and // can not be used as constructors. Handle function_without_prototype_map = CreateFunctionMap(DONT_ADD_PROTOTYPE); native_context()->set_sloppy_function_without_prototype_map( *function_without_prototype_map); // Allocate the function map. This map is temporary, used only for processing // of builtins. // Later the map is replaced with writable prototype map, allocated below. Handle function_map = CreateFunctionMap(ADD_READONLY_PROTOTYPE); native_context()->set_sloppy_function_map(*function_map); // The final map for functions. Writeable prototype. // This map is installed in MakeFunctionInstancePrototypeWritable. sloppy_function_map_writable_prototype_ = CreateFunctionMap(ADD_WRITEABLE_PROTOTYPE); Factory* factory = isolate->factory(); Handle object_name = factory->Object_string(); { // --- O b j e c t --- Handle object_fun = factory->NewFunction(object_name, factory->null_value()); Handle object_function_map = factory->NewMap(JS_OBJECT_TYPE, JSObject::kHeaderSize); object_fun->set_initial_map(*object_function_map); object_function_map->set_constructor(*object_fun); native_context()->set_object_function(*object_fun); // Allocate a new prototype for the object function. Handle prototype = factory->NewJSObject( isolate->object_function(), TENURED); native_context()->set_initial_object_prototype(*prototype); // For bootstrapping set the array prototype to be the same as the object // prototype, otherwise the missing initial_array_prototype will cause // assertions during startup. native_context()->set_initial_array_prototype(*prototype); Accessors::FunctionSetPrototype(object_fun, prototype); } // Allocate the empty function as the prototype for function ECMAScript // 262 15.3.4. Handle empty_string = factory->InternalizeOneByteString(STATIC_ASCII_VECTOR("Empty")); Handle empty_function = factory->NewFunctionWithoutPrototype(empty_string, SLOPPY); // --- E m p t y --- Handle code = Handle(isolate->builtins()->builtin( Builtins::kEmptyFunction)); empty_function->set_code(*code); empty_function->shared()->set_code(*code); Handle source = factory->NewStringFromOneByte(STATIC_ASCII_VECTOR("() {}")); Handle