/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*- */ /* vim: set ts=8 sts=2 et sw=2 tw=80: */ /* This Source Code Form is subject to the terms of the Mozilla Public * License, v. 2.0. If a copy of the MPL was not distributed with this * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ #ifndef mozilla_mscom_Ptr_h #define mozilla_mscom_Ptr_h #include "mozilla/Assertions.h" #include "mozilla/DebugOnly.h" #include "mozilla/mscom/EnsureMTA.h" #include "mozilla/SchedulerGroup.h" #include "mozilla/UniquePtr.h" #include "nsError.h" #include "nsThreadUtils.h" #include "nsXULAppAPI.h" #include /** * The glue code in mozilla::mscom often needs to pass around interface pointers * belonging to a different apartment from the current one. We must not touch * the reference counts of those objects on the wrong apartment. By using these * UniquePtr specializations, we may ensure that the reference counts are always * handled correctly. */ namespace mozilla { namespace mscom { namespace detail { template struct MainThreadRelease { void operator()(T* aPtr) { if (!aPtr) { return; } if (NS_IsMainThread()) { aPtr->Release(); return; } DebugOnly rv = SchedulerGroup::Dispatch( TaskCategory::Other, NewNonOwningRunnableMethod("mscom::MainThreadRelease", aPtr, &T::Release)); MOZ_ASSERT(NS_SUCCEEDED(rv)); } }; template struct MTADelete { void operator()(T* aPtr) { if (!aPtr) { return; } EnsureMTA::AsyncOperation([aPtr]() -> void { delete aPtr; }); } }; template struct MTARelease { void operator()(T* aPtr) { if (!aPtr) { return; } // Static analysis doesn't recognize that, even though aPtr escapes the // current scope, we are in effect moving our strong ref into the lambda. void* ptr = aPtr; EnsureMTA::AsyncOperation( [ptr]() -> void { reinterpret_cast(ptr)->Release(); }); } }; template struct MTAReleaseInChildProcess { void operator()(T* aPtr) { if (!aPtr) { return; } if (XRE_IsParentProcess()) { MOZ_ASSERT(NS_IsMainThread()); aPtr->Release(); return; } // Static analysis doesn't recognize that, even though aPtr escapes the // current scope, we are in effect moving our strong ref into the lambda. void* ptr = aPtr; EnsureMTA::AsyncOperation( [ptr]() -> void { reinterpret_cast(ptr)->Release(); }); } }; struct InterceptorTargetDeleter { void operator()(IUnknown* aPtr) { // We intentionally do not touch the refcounts of interceptor targets! } }; struct PreservedStreamDeleter { void operator()(IStream* aPtr) { if (!aPtr) { return; } // Static analysis doesn't recognize that, even though aPtr escapes the // current scope, we are in effect moving our strong ref into the lambda. void* ptr = aPtr; auto cleanup = [ptr]() -> void { DebugOnly hr = ::CoReleaseMarshalData(reinterpret_cast(ptr)); MOZ_ASSERT(SUCCEEDED(hr)); reinterpret_cast(ptr)->Release(); }; if (XRE_IsParentProcess()) { MOZ_ASSERT(NS_IsMainThread()); cleanup(); return; } EnsureMTA::AsyncOperation(cleanup); } }; } // namespace detail template using STAUniquePtr = mozilla::UniquePtr>; template using MTAUniquePtr = mozilla::UniquePtr>; template using MTADeletePtr = mozilla::UniquePtr>; template using ProxyUniquePtr = mozilla::UniquePtr>; template using InterceptorTargetPtr = mozilla::UniquePtr; using PreservedStreamPtr = mozilla::UniquePtr; namespace detail { // We don't have direct access to UniquePtr's storage, so we use mPtrStorage // to receive the pointer and then set the target inside the destructor. template class UniquePtrGetterAddRefs { public: explicit UniquePtrGetterAddRefs(UniquePtr& aSmartPtr) : mTargetSmartPtr(aSmartPtr), mPtrStorage(nullptr) {} ~UniquePtrGetterAddRefs() { mTargetSmartPtr.reset(mPtrStorage); } operator void**() { return reinterpret_cast(&mPtrStorage); } operator T**() { return &mPtrStorage; } T*& operator*() { return mPtrStorage; } private: UniquePtr& mTargetSmartPtr; T* mPtrStorage; }; } // namespace detail template inline STAUniquePtr ToSTAUniquePtr(RefPtr&& aRefPtr) { return STAUniquePtr(aRefPtr.forget().take()); } template inline STAUniquePtr ToSTAUniquePtr(const RefPtr& aRefPtr) { MOZ_ASSERT(NS_IsMainThread()); return STAUniquePtr(do_AddRef(aRefPtr).take()); } template inline STAUniquePtr ToSTAUniquePtr(T* aRawPtr) { MOZ_ASSERT(NS_IsMainThread()); if (aRawPtr) { aRawPtr->AddRef(); } return STAUniquePtr(aRawPtr); } template inline STAUniquePtr ToSTAUniquePtr(const InterceptorTargetPtr& aTarget) { MOZ_ASSERT(NS_IsMainThread()); RefPtr newRef(static_cast(aTarget.get())); return ToSTAUniquePtr(std::move(newRef)); } template inline MTAUniquePtr ToMTAUniquePtr(RefPtr&& aRefPtr) { return MTAUniquePtr(aRefPtr.forget().take()); } template inline MTAUniquePtr ToMTAUniquePtr(const RefPtr& aRefPtr) { MOZ_ASSERT(IsCurrentThreadMTA()); return MTAUniquePtr(do_AddRef(aRefPtr).take()); } template inline MTAUniquePtr ToMTAUniquePtr(T* aRawPtr) { MOZ_ASSERT(IsCurrentThreadMTA()); if (aRawPtr) { aRawPtr->AddRef(); } return MTAUniquePtr(aRawPtr); } template inline ProxyUniquePtr ToProxyUniquePtr(RefPtr&& aRefPtr) { return ProxyUniquePtr(aRefPtr.forget().take()); } template inline ProxyUniquePtr ToProxyUniquePtr(const RefPtr& aRefPtr) { MOZ_ASSERT(IsProxy(aRefPtr)); MOZ_ASSERT((XRE_IsParentProcess() && NS_IsMainThread()) || (XRE_IsContentProcess() && IsCurrentThreadMTA())); return ProxyUniquePtr(do_AddRef(aRefPtr).take()); } template inline ProxyUniquePtr ToProxyUniquePtr(T* aRawPtr) { MOZ_ASSERT(IsProxy(aRawPtr)); MOZ_ASSERT((XRE_IsParentProcess() && NS_IsMainThread()) || (XRE_IsContentProcess() && IsCurrentThreadMTA())); if (aRawPtr) { aRawPtr->AddRef(); } return ProxyUniquePtr(aRawPtr); } template inline InterceptorTargetPtr ToInterceptorTargetPtr( const UniquePtr& aTargetPtr) { return InterceptorTargetPtr(aTargetPtr.get()); } inline PreservedStreamPtr ToPreservedStreamPtr(RefPtr&& aStream) { return PreservedStreamPtr(aStream.forget().take()); } inline PreservedStreamPtr ToPreservedStreamPtr( already_AddRefed& aStream) { return PreservedStreamPtr(aStream.take()); } template inline detail::UniquePtrGetterAddRefs getter_AddRefs( UniquePtr& aSmartPtr) { return detail::UniquePtrGetterAddRefs(aSmartPtr); } } // namespace mscom } // namespace mozilla // This block makes it possible for these smart pointers to be correctly // applied in NewRunnableMethod and friends namespace detail { template struct SmartPointerStorageClass> { typedef StoreCopyPassByRRef> Type; }; template struct SmartPointerStorageClass> { typedef StoreCopyPassByRRef> Type; }; template struct SmartPointerStorageClass> { typedef StoreCopyPassByRRef> Type; }; template struct SmartPointerStorageClass> { typedef StoreCopyPassByRRef> Type; }; template <> struct SmartPointerStorageClass { typedef StoreCopyPassByRRef Type; }; } // namespace detail #endif // mozilla_mscom_Ptr_h