X-Git-Url: http://plrg.eecs.uci.edu/git/?p=folly.git;a=blobdiff_plain;f=folly%2FSingleton-inl.h;h=745147f0454934097e0d7332d6f6ce76c822500a;hp=e9a1963a480233f41b1422c6d0376b5924e73583;hb=b26334e5f85126a4ebe1c514d4790b98f2c2bbe1;hpb=71c140ede54db347f9a971d6e2de0ade95569c1d diff --git a/folly/Singleton-inl.h b/folly/Singleton-inl.h index e9a1963a..745147f0 100644 --- a/folly/Singleton-inl.h +++ b/folly/Singleton-inl.h @@ -1,5 +1,5 @@ /* - * Copyright 2015 Facebook, Inc. + * Copyright 2017 Facebook, Inc. * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. @@ -21,12 +21,17 @@ namespace detail { template template SingletonHolder& SingletonHolder::singleton() { - static auto entry = new SingletonHolder( - {typeid(T), typeid(Tag)}, - *SingletonVault::singleton()); + /* library-local */ static auto entry = + createGlobal, std::pair>([]() { + return new SingletonHolder({typeid(T), typeid(Tag)}, + *SingletonVault::singleton()); + }); return *entry; } +[[noreturn]] void singletonWarnDoubleRegistrationAndAbort( + const TypeDescriptor& type); + template void SingletonHolder::registerSingleton(CreateFunc c, TeardownFunc t) { std::lock_guard entry_lock(mutex_); @@ -49,9 +54,7 @@ void SingletonHolder::registerSingleton(CreateFunc c, TeardownFunc t) { * Singleton b([] { return new int(4); }); * */ - LOG(FATAL) << "Double registration of singletons of the same " - << "underlying type; check for multiple definitions " - << "of type folly::Singleton<" + type_.name() + ">"; + singletonWarnDoubleRegistrationAndAbort(type()); } create_ = std::move(c); @@ -63,10 +66,21 @@ void SingletonHolder::registerSingleton(CreateFunc c, TeardownFunc t) { template void SingletonHolder::registerSingletonMock(CreateFunc c, TeardownFunc t) { if (state_ == SingletonHolderState::NotRegistered) { - LOG(FATAL) - << "Registering mock before singleton was registered: " << type_.name(); + LOG(FATAL) << "Registering mock before singleton was registered: " + << type().name(); + } + if (state_ == SingletonHolderState::Living) { + destroyInstance(); + } + + { + auto creationOrder = vault_.creationOrder_.wlock(); + + auto it = std::find(creationOrder->begin(), creationOrder->end(), type()); + if (it != creationOrder->end()) { + creationOrder->erase(it); + } } - destroyInstance(); std::lock_guard entry_lock(mutex_); @@ -86,7 +100,7 @@ T* SingletonHolder::get() { throw std::runtime_error( "Raw pointer to a singleton requested after its destruction." " Singleton type is: " + - type_.name()); + type().name()); } return instance_ptr_; @@ -123,28 +137,36 @@ folly::ReadMostlySharedPtr SingletonHolder::try_get_fast() { } template -TypeDescriptor SingletonHolder::type() { - return type_; +bool SingletonHolder::hasLiveInstance() { + return !instance_weak_.expired(); } template -bool SingletonHolder::hasLiveInstance() { - return !instance_weak_.expired(); +void SingletonHolder::preDestroyInstance( + ReadMostlyMainPtrDeleter<>& deleter) { + instance_copy_ = instance_; + deleter.add(std::move(instance_)); } template void SingletonHolder::destroyInstance() { state_ = SingletonHolderState::Dead; instance_.reset(); + instance_copy_.reset(); if (destroy_baton_) { - auto wait_result = destroy_baton_->timed_wait( - std::chrono::steady_clock::now() + kDestroyWaitTime); - if (!wait_result) { + constexpr std::chrono::seconds kDestroyWaitTime{5}; + auto last_reference_released = destroy_baton_->timed_wait( + std::chrono::steady_clock::now() + kDestroyWaitTime); + if (last_reference_released) { + teardown_(instance_ptr_); + } else { print_destructor_stack_trace_->store(true); - LOG(ERROR) << "Singleton of type " << type_.name() << " has a " + LOG(ERROR) << "Singleton of type " << type().name() << " has a " << "living reference at destroyInstances time; beware! Raw " << "pointer is " << instance_ptr_ << ". It is very likely " << "that some other singleton is holding a shared_ptr to it. " + << "This singleton will be leaked (even if a shared_ptr to it " + << "is eventually released)." << "Make sure dependencies between these singletons are " << "properly defined."; } @@ -152,10 +174,10 @@ void SingletonHolder::destroyInstance() { } template -SingletonHolder::SingletonHolder(TypeDescriptor type__, - SingletonVault& vault) : - type_(type__), vault_(vault) { -} +SingletonHolder::SingletonHolder( + TypeDescriptor typeDesc, + SingletonVault& vault) + : SingletonHolderBase(typeDesc), vault_(vault) {} template bool SingletonHolder::creationStarted() { @@ -177,7 +199,7 @@ template void SingletonHolder::createInstance() { if (creating_thread_.load(std::memory_order_acquire) == std::this_thread::get_id()) { - LOG(FATAL) << "circular singleton dependency: " << type_.name(); + LOG(FATAL) << "circular singleton dependency: " << type().name(); } std::lock_guard entry_lock(mutex_); @@ -188,9 +210,10 @@ void SingletonHolder::createInstance() { SingletonHolderState::NotRegistered) { auto ptr = SingletonVault::stackTraceGetter().load(); LOG(FATAL) << "Creating instance for unregistered singleton: " - << type_.name() << "\n" + << type().name() << "\n" << "Stacktrace:" - << "\n" << (ptr ? (*ptr)() : "(not available)"); + << "\n" + << (ptr ? (*ptr)() : "(not available)"); } if (state_.load(std::memory_order_acquire) == SingletonHolderState::Living) { @@ -206,39 +229,51 @@ void SingletonHolder::createInstance() { creating_thread_.store(std::this_thread::get_id(), std::memory_order_release); - RWSpinLock::ReadHolder rh(&vault_.stateMutex_); - if (vault_.state_ == SingletonVault::SingletonVaultState::Quiescing) { + auto state = vault_.state_.rlock(); + if (vault_.type_ != SingletonVault::Type::Relaxed && + !state->registrationComplete) { + auto stack_trace_getter = SingletonVault::stackTraceGetter().load(); + auto stack_trace = stack_trace_getter ? stack_trace_getter() : ""; + if (!stack_trace.empty()) { + stack_trace = "Stack trace:\n" + stack_trace; + } + + LOG(FATAL) << "Singleton " << type().name() << " requested before " + << "registrationComplete() call.\n" + << "This usually means that either main() never called " + << "folly::init, or singleton was requested before main() " + << "(which is not allowed).\n" + << stack_trace; + } + if (state->state == SingletonVault::SingletonVaultState::Quiescing) { return; } auto destroy_baton = std::make_shared>(); auto print_destructor_stack_trace = std::make_shared>(false); - auto teardown = teardown_; - auto type_name = type_.name(); // Can't use make_shared -- no support for a custom deleter, sadly. std::shared_ptr instance( - create_(), - [destroy_baton, print_destructor_stack_trace, teardown, type_name] - (T* instance_ptr) mutable { - teardown(instance_ptr); - destroy_baton->post(); - if (print_destructor_stack_trace->load()) { - std::string output = "Singleton " + type_name + " was destroyed.\n"; - - auto stack_trace_getter = SingletonVault::stackTraceGetter().load(); - auto stack_trace = stack_trace_getter ? stack_trace_getter() : ""; - if (stack_trace.empty()) { - output += "Failed to get destructor stack trace."; - } else { - output += "Destructor stack trace:\n"; - output += stack_trace; + create_(), + [ destroy_baton, print_destructor_stack_trace, type = type() ]( + T*) mutable { + destroy_baton->post(); + if (print_destructor_stack_trace->load()) { + std::string output = "Singleton " + type.name() + " was released.\n"; + + auto stack_trace_getter = SingletonVault::stackTraceGetter().load(); + auto stack_trace = stack_trace_getter ? stack_trace_getter() : ""; + if (stack_trace.empty()) { + output += "Failed to get release stack trace."; + } else { + output += "Release stack trace:\n"; + output += stack_trace; + } + + LOG(ERROR) << output; } - - LOG(ERROR) << output; - } - }); + }); // We should schedule destroyInstances() only after the singleton was // created. This will ensure it will be destroyed before singletons, @@ -258,12 +293,9 @@ void SingletonHolder::createInstance() { // may access instance and instance_weak w/o synchronization. state_.store(SingletonHolderState::Living, std::memory_order_release); - { - RWSpinLock::WriteHolder wh(&vault_.mutex_); - vault_.creation_order_.push_back(type_); - } + vault_.creationOrder_.wlock()->push_back(type()); } -} +} // namespace detail -} +} // namespace folly