| // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| |
| #include "vm/object_store.h" |
| |
| #include "vm/dart_entry.h" |
| #include "vm/exceptions.h" |
| #include "vm/isolate.h" |
| #include "vm/object.h" |
| #include "vm/raw_object.h" |
| #include "vm/resolver.h" |
| #include "vm/stub_code.h" |
| #include "vm/symbols.h" |
| #include "vm/visitor.h" |
| |
| namespace dart { |
| |
| IsolateObjectStore::IsolateObjectStore(ObjectStore* object_store) |
| : object_store_(object_store) {} |
| |
| IsolateObjectStore::~IsolateObjectStore() {} |
| |
| void IsolateObjectStore::VisitObjectPointers(ObjectPointerVisitor* visitor) { |
| ASSERT(visitor != NULL); |
| visitor->set_gc_root_type("isolate_object store"); |
| visitor->VisitPointers(from(), to()); |
| visitor->clear_gc_root_type(); |
| } |
| |
| void IsolateObjectStore::Init() { |
| #define INIT_FIELD(Type, name) name##_ = Type::null(); |
| ISOLATE_OBJECT_STORE_FIELD_LIST(INIT_FIELD, INIT_FIELD) |
| #undef INIT_FIELD |
| |
| for (ObjectPtr* current = from(); current <= to(); current++) { |
| ASSERT(*current == Object::null()); |
| } |
| } |
| |
| #ifndef PRODUCT |
| void IsolateObjectStore::PrintToJSONObject(JSONObject* jsobj) { |
| jsobj->AddProperty("type", "_IsolateObjectStore"); |
| |
| { |
| JSONObject fields(jsobj, "fields"); |
| Object& value = Object::Handle(); |
| #define PRINT_OBJECT_STORE_FIELD(type, name) \ |
| value = name##_; \ |
| fields.AddProperty(#name "_", value); |
| ISOLATE_OBJECT_STORE_FIELD_LIST(PRINT_OBJECT_STORE_FIELD, |
| PRINT_OBJECT_STORE_FIELD); |
| #undef PRINT_OBJECT_STORE_FIELD |
| } |
| } |
| #endif // !PRODUCT |
| |
| static UnhandledExceptionPtr CreatePreallocatedUnandledException( |
| Zone* zone, |
| const Object& out_of_memory) { |
| // Allocate pre-allocated unhandled exception object initialized with the |
| // pre-allocated OutOfMemoryError. |
| const UnhandledException& unhandled_exception = |
| UnhandledException::Handle(UnhandledException::New( |
| Instance::Cast(out_of_memory), StackTrace::Handle(zone))); |
| return unhandled_exception.raw(); |
| } |
| |
| static StackTracePtr CreatePreallocatedStackTrace(Zone* zone) { |
| const Array& code_array = Array::Handle( |
| zone, Array::New(StackTrace::kPreallocatedStackdepth, Heap::kOld)); |
| const Array& pc_offset_array = Array::Handle( |
| zone, Array::New(StackTrace::kPreallocatedStackdepth, Heap::kOld)); |
| const StackTrace& stack_trace = |
| StackTrace::Handle(zone, StackTrace::New(code_array, pc_offset_array)); |
| // Expansion of inlined functions requires additional memory at run time, |
| // avoid it. |
| stack_trace.set_expand_inlined(false); |
| return stack_trace.raw(); |
| } |
| |
| ErrorPtr IsolateObjectStore::PreallocateObjects() { |
| Thread* thread = Thread::Current(); |
| Isolate* isolate = thread->isolate(); |
| Zone* zone = thread->zone(); |
| ASSERT(isolate != NULL && isolate->isolate_object_store() == this); |
| ASSERT(preallocated_stack_trace() == StackTrace::null()); |
| resume_capabilities_ = GrowableObjectArray::New(); |
| exit_listeners_ = GrowableObjectArray::New(); |
| error_listeners_ = GrowableObjectArray::New(); |
| |
| // Allocate pre-allocated unhandled exception object initialized with the |
| // pre-allocated OutOfMemoryError. |
| const Object& out_of_memory = |
| Object::Handle(zone, object_store_->out_of_memory()); |
| set_preallocated_unhandled_exception(UnhandledException::Handle( |
| CreatePreallocatedUnandledException(zone, out_of_memory))); |
| set_preallocated_stack_trace( |
| StackTrace::Handle(CreatePreallocatedStackTrace(zone))); |
| |
| return Error::null(); |
| } |
| |
| ObjectStore::ObjectStore() { |
| #define INIT_FIELD(Type, name) name##_ = Type::null(); |
| OBJECT_STORE_FIELD_LIST(INIT_FIELD, INIT_FIELD, INIT_FIELD, INIT_FIELD) |
| #undef INIT_FIELD |
| |
| for (ObjectPtr* current = from(); current <= to(); current++) { |
| ASSERT(*current == Object::null()); |
| } |
| } |
| |
| ObjectStore::~ObjectStore() {} |
| |
| void ObjectStore::VisitObjectPointers(ObjectPointerVisitor* visitor) { |
| ASSERT(visitor != NULL); |
| visitor->set_gc_root_type("object store"); |
| visitor->VisitPointers(from(), to()); |
| visitor->clear_gc_root_type(); |
| } |
| |
| void ObjectStore::InitStubs() { |
| #define DO(member, name) set_##member(StubCode::name()); |
| OBJECT_STORE_STUB_CODE_LIST(DO) |
| #undef DO |
| } |
| |
| #ifndef PRODUCT |
| void ObjectStore::PrintToJSONObject(JSONObject* jsobj) { |
| jsobj->AddProperty("type", "_ObjectStore"); |
| |
| { |
| JSONObject fields(jsobj, "fields"); |
| Object& value = Object::Handle(); |
| #define PRINT_OBJECT_STORE_FIELD(type, name) \ |
| value = name##_; \ |
| fields.AddProperty(#name "_", value); |
| OBJECT_STORE_FIELD_LIST(PRINT_OBJECT_STORE_FIELD, PRINT_OBJECT_STORE_FIELD, |
| PRINT_OBJECT_STORE_FIELD, PRINT_OBJECT_STORE_FIELD); |
| #undef PRINT_OBJECT_STORE_FIELD |
| } |
| } |
| #endif // !PRODUCT |
| |
| static InstancePtr AllocateObjectByClassName(const Library& library, |
| const String& class_name) { |
| const Class& cls = Class::Handle(library.LookupClassAllowPrivate(class_name)); |
| ASSERT(!cls.IsNull()); |
| return Instance::New(cls); |
| } |
| |
| ErrorPtr ObjectStore::PreallocateObjects() { |
| Thread* thread = Thread::Current(); |
| IsolateGroup* isolate_group = thread->isolate_group(); |
| Isolate* isolate = thread->isolate(); |
| // Either we are the object store on isolate group, or isolate group has no |
| // object store and we are the object store on the isolate. |
| ASSERT(isolate_group != NULL && (isolate_group->object_store() == this || |
| (isolate_group->object_store() == nullptr && |
| isolate->object_store() == this))); |
| |
| if (this->stack_overflow() != Instance::null()) { |
| ASSERT(this->out_of_memory() != Instance::null()); |
| return Error::null(); |
| } |
| ASSERT(this->stack_overflow() == Instance::null()); |
| ASSERT(this->out_of_memory() == Instance::null()); |
| |
| this->closure_functions_ = GrowableObjectArray::New(); |
| |
| Object& result = Object::Handle(); |
| const Library& library = Library::Handle(Library::CoreLibrary()); |
| |
| result = AllocateObjectByClassName(library, Symbols::StackOverflowError()); |
| if (result.IsError()) { |
| return Error::Cast(result).raw(); |
| } |
| set_stack_overflow(Instance::Cast(result)); |
| |
| result = AllocateObjectByClassName(library, Symbols::OutOfMemoryError()); |
| if (result.IsError()) { |
| return Error::Cast(result).raw(); |
| } |
| set_out_of_memory(Instance::Cast(result)); |
| |
| return Error::null(); |
| } |
| |
| FunctionPtr ObjectStore::PrivateObjectLookup(const String& name) { |
| const Library& core_lib = Library::Handle(core_library()); |
| const String& mangled = String::ZoneHandle(core_lib.PrivateName(name)); |
| const Class& cls = Class::Handle(object_class()); |
| const Function& result = Function::Handle(cls.LookupDynamicFunction(mangled)); |
| ASSERT(!result.IsNull()); |
| return result.raw(); |
| } |
| |
| void ObjectStore::InitKnownObjects() { |
| Thread* thread = Thread::Current(); |
| Zone* zone = thread->zone(); |
| Class& cls = Class::Handle(zone); |
| const Library& collection_lib = Library::Handle(zone, collection_library()); |
| cls = collection_lib.LookupClassAllowPrivate(Symbols::_LinkedHashSet()); |
| ASSERT(!cls.IsNull()); |
| set_linked_hash_set_class(cls); |
| |
| #ifdef DART_PRECOMPILED_RUNTIME |
| // The rest of these objects are only needed for code generation. |
| return; |
| #else |
| Isolate* isolate = thread->isolate(); |
| ASSERT(isolate != NULL && isolate->object_store() == this); |
| |
| const Library& async_lib = Library::Handle(zone, async_library()); |
| ASSERT(!async_lib.IsNull()); |
| cls = async_lib.LookupClass(Symbols::Future()); |
| ASSERT(!cls.IsNull()); |
| set_future_class(cls); |
| cls = async_lib.LookupClass(Symbols::Completer()); |
| ASSERT(!cls.IsNull()); |
| set_completer_class(cls); |
| |
| String& function_name = String::Handle(zone); |
| Function& function = Function::Handle(zone); |
| function_name = async_lib.PrivateName(Symbols::SetAsyncThreadStackTrace()); |
| ASSERT(!function_name.IsNull()); |
| function = Resolver::ResolveStatic(async_lib, Object::null_string(), |
| function_name, 0, 1, Object::null_array()); |
| ASSERT(!function.IsNull()); |
| set_async_set_thread_stack_trace(function); |
| |
| function_name = async_lib.PrivateName(Symbols::ClearAsyncThreadStackTrace()); |
| ASSERT(!function_name.IsNull()); |
| function = Resolver::ResolveStatic(async_lib, Object::null_string(), |
| function_name, 0, 0, Object::null_array()); |
| ASSERT(!function.IsNull()); |
| set_async_clear_thread_stack_trace(function); |
| |
| function_name = async_lib.PrivateName(Symbols::AsyncStarMoveNextHelper()); |
| ASSERT(!function_name.IsNull()); |
| function = Resolver::ResolveStatic(async_lib, Object::null_string(), |
| function_name, 0, 1, Object::null_array()); |
| ASSERT(!function.IsNull()); |
| set_async_star_move_next_helper(function); |
| |
| function_name = async_lib.PrivateName(Symbols::_CompleteOnAsyncReturn()); |
| ASSERT(!function_name.IsNull()); |
| function = Resolver::ResolveStatic(async_lib, Object::null_string(), |
| function_name, 0, 2, Object::null_array()); |
| ASSERT(!function.IsNull()); |
| set_complete_on_async_return(function); |
| if (FLAG_async_debugger) { |
| // Disable debugging and inlining the _CompleteOnAsyncReturn function. |
| function.set_is_debuggable(false); |
| function.set_is_inlinable(false); |
| } |
| |
| cls = |
| async_lib.LookupClassAllowPrivate(Symbols::_AsyncStarStreamController()); |
| ASSERT(!cls.IsNull()); |
| set_async_star_stream_controller(cls); |
| |
| if (FLAG_async_debugger) { |
| // Disable debugging and inlining of all functions on the |
| // _AsyncStarStreamController class. |
| const Array& functions = Array::Handle(zone, cls.functions()); |
| for (intptr_t i = 0; i < functions.Length(); i++) { |
| function ^= functions.At(i); |
| if (function.IsNull()) { |
| break; |
| } |
| function.set_is_debuggable(false); |
| function.set_is_inlinable(false); |
| } |
| } |
| |
| const Library& internal_lib = Library::Handle(zone, _internal_library()); |
| cls = internal_lib.LookupClass(Symbols::Symbol()); |
| set_symbol_class(cls); |
| |
| const Library& core_lib = Library::Handle(zone, core_library()); |
| cls = core_lib.LookupClassAllowPrivate(Symbols::_CompileTimeError()); |
| ASSERT(!cls.IsNull()); |
| set_compiletime_error_class(cls); |
| |
| cls = core_lib.LookupClassAllowPrivate(Symbols::Pragma()); |
| ASSERT(!cls.IsNull()); |
| set_pragma_class(cls); |
| set_pragma_name(Field::Handle(zone, cls.LookupField(Symbols::name()))); |
| set_pragma_options(Field::Handle(zone, cls.LookupField(Symbols::options()))); |
| |
| cls = core_lib.LookupClassAllowPrivate(Symbols::_GrowableList()); |
| ASSERT(!cls.IsNull()); |
| growable_list_factory_ = |
| cls.LookupFactoryAllowPrivate(Symbols::_GrowableListFactory()); |
| ASSERT(growable_list_factory_ != Function::null()); |
| |
| // Cache the core private functions used for fast instance of checks. |
| simple_instance_of_function_ = |
| PrivateObjectLookup(Symbols::_simpleInstanceOf()); |
| simple_instance_of_true_function_ = |
| PrivateObjectLookup(Symbols::_simpleInstanceOfTrue()); |
| simple_instance_of_false_function_ = |
| PrivateObjectLookup(Symbols::_simpleInstanceOfFalse()); |
| |
| // Ensure AddSmiSmiCheckForFastSmiStubs run by the background compiler |
| // will not create new functions. |
| const Class& smi_class = Class::Handle(zone, this->smi_class()); |
| function_name = |
| Function::CreateDynamicInvocationForwarderName(Symbols::Plus()); |
| Resolver::ResolveDynamicAnyArgs(zone, smi_class, function_name); |
| function_name = |
| Function::CreateDynamicInvocationForwarderName(Symbols::Minus()); |
| Resolver::ResolveDynamicAnyArgs(zone, smi_class, function_name); |
| function_name = |
| Function::CreateDynamicInvocationForwarderName(Symbols::Equals()); |
| Resolver::ResolveDynamicAnyArgs(zone, smi_class, function_name); |
| function_name = |
| Function::CreateDynamicInvocationForwarderName(Symbols::LAngleBracket()); |
| Resolver::ResolveDynamicAnyArgs(zone, smi_class, function_name); |
| function_name = |
| Function::CreateDynamicInvocationForwarderName(Symbols::RAngleBracket()); |
| Resolver::ResolveDynamicAnyArgs(zone, smi_class, function_name); |
| function_name = |
| Function::CreateDynamicInvocationForwarderName(Symbols::BitAnd()); |
| Resolver::ResolveDynamicAnyArgs(zone, smi_class, function_name); |
| function_name = |
| Function::CreateDynamicInvocationForwarderName(Symbols::BitOr()); |
| Resolver::ResolveDynamicAnyArgs(zone, smi_class, function_name); |
| function_name = |
| Function::CreateDynamicInvocationForwarderName(Symbols::Star()); |
| Resolver::ResolveDynamicAnyArgs(zone, smi_class, function_name); |
| #endif |
| } |
| |
| void ObjectStore::LazyInitCoreTypes() { |
| if (list_class_ == Type::null()) { |
| ASSERT(non_nullable_list_rare_type_ == Type::null()); |
| ASSERT(non_nullable_map_rare_type_ == Type::null()); |
| Thread* thread = Thread::Current(); |
| Zone* zone = thread->zone(); |
| const Library& core_lib = Library::Handle(zone, Library::CoreLibrary()); |
| Class& cls = Class::Handle(zone, core_lib.LookupClass(Symbols::List())); |
| ASSERT(!cls.IsNull()); |
| set_list_class(cls); |
| Type& type = Type::Handle(zone); |
| type ^= cls.RareType(); |
| set_non_nullable_list_rare_type(type); |
| cls = core_lib.LookupClass(Symbols::Map()); |
| ASSERT(!cls.IsNull()); |
| type ^= cls.RareType(); |
| set_non_nullable_map_rare_type(type); |
| } |
| } |
| |
| void ObjectStore::LazyInitFutureTypes() { |
| if (non_nullable_future_rare_type_ == Type::null()) { |
| ASSERT(non_nullable_future_never_type_ == Type::null() && |
| nullable_future_null_type_ == Type::null()); |
| Thread* thread = Thread::Current(); |
| Zone* zone = thread->zone(); |
| Class& cls = Class::Handle(zone, future_class()); |
| if (cls.IsNull()) { |
| const Library& async_lib = Library::Handle(zone, async_library()); |
| ASSERT(!async_lib.IsNull()); |
| cls = async_lib.LookupClass(Symbols::Future()); |
| ASSERT(!cls.IsNull()); |
| } |
| TypeArguments& type_args = TypeArguments::Handle(zone); |
| Type& type = Type::Handle(zone); |
| type = never_type(); |
| ASSERT(!type.IsNull()); |
| type_args = TypeArguments::New(1); |
| type_args.SetTypeAt(0, type); |
| type = Type::New(cls, type_args, TokenPosition::kNoSource, |
| Nullability::kNonNullable); |
| type.SetIsFinalized(); |
| type ^= type.Canonicalize(); |
| set_non_nullable_future_never_type(type); |
| type = null_type(); |
| ASSERT(!type.IsNull()); |
| type_args = TypeArguments::New(1); |
| type_args.SetTypeAt(0, type); |
| type = Type::New(cls, type_args, TokenPosition::kNoSource, |
| Nullability::kNullable); |
| type.SetIsFinalized(); |
| type ^= type.Canonicalize(); |
| set_nullable_future_null_type(type); |
| type ^= cls.RareType(); |
| set_non_nullable_future_rare_type(type); |
| } |
| } |
| |
| } // namespace dart |