[wasm] Managed<T> ensures T's lifetime does not leak past Isolate's

src/isolate.h

 // Copyright 2012 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.
 
 #ifndef V8_ISOLATE_H_
 #define V8_ISOLATE_H_
 
 #include <memory>
 #include <queue>
 
@@ skipping 515 matching lines @@
   bool Init(Deserializer* des);
 
   // True if at least one thread Enter'ed this isolate.
   bool IsInUse() { return entry_stack_ != NULL; }
 
   // Destroys the non-default isolates.
   // Sets default isolate into "has_been_disposed" state rather then destroying,
   // for legacy API reasons.
   void TearDown();
 
+  void ReleaseManagedLifelines();
+
   static void GlobalTearDown();
 
   void ClearSerializerData();
 
   // Find the PerThread for this particular (isolate, thread) combination
   // If one does not yet exist, return null.
   PerIsolateThreadData* FindPerThreadDataForThisThread();
 
   // Find the PerThread for given (isolate, thread) combination
   // If one does not yet exist, return null.
@@ skipping 655 matching lines @@
 
   PRINTF_FORMAT(2, 3) void PrintWithTimestamp(const char* format, ...);
 
 #ifdef USE_SIMULATOR
   base::Mutex* simulator_i_cache_mutex() { return &simulator_i_cache_mutex_; }
 #endif
 
   void set_allow_atomics_wait(bool set) { allow_atomics_wait_ = set; }
   bool allow_atomics_wait() { return allow_atomics_wait_; }
 
+  // List of native heap values allocated by the runtime as part of its
+  // implementation that must be freed at isolate deinit.
+  class ManagedLifeline final {

[titzer, 2017/02/21 09:30:08]

Maybe a better name here? "Lifeline" feels like it is introducing a technical
term, when it really shouldn't.

[Mircea Trofin, 2017/02/21 15:52:28]

How about "NativeObjectLifetime{Manager|Handler}"

or 

"NativeObjectFinalizer"

+   public:
+    typedef void (*Deleter)(void*);
+    void Dispose() { deleter_(value_); }
+
+   private:
+    friend class Isolate;
+
+    ManagedLifeline() {
+      DCHECK_EQ(reinterpret_cast<void*>(this),
+                reinterpret_cast<void*>(&value_));
+    }
+
+    // value_ must be the first member
+    void* value_ = nullptr;
+    Deleter deleter_ = nullptr;
+    ManagedLifeline* prev_ = nullptr;
+    ManagedLifeline* next_ = nullptr;
+  };
+
+  // Register a native value for destruction at isolate teardown.
+  ManagedLifeline* RegisterForReleaseAtTeardown(
+      void* value, ManagedLifeline::Deleter deleter);
+
+  // Unregister a previously registered value from release at
+  // isolate teardown, deleting the ManagedLifeline.
+  // This transfers the responsibility of the previously managed value's
+  // deletion to the caller. Pass by pointer, because *lifeline_ptr gets
+  // reset to nullptr.
+  void UnregisterFromReleaseAtTeardown(ManagedLifeline** lifeline_ptr);
+
  protected:
   explicit Isolate(bool enable_serializer);
   bool IsArrayOrObjectPrototype(Object* object);
 
  private:
   friend struct GlobalState;
   friend struct InitializeGlobalState;
 
   // These fields are accessed through the API, offsets must be kept in sync
   // with v8::internal::Internals (in include/v8.h) constants. This is also
@@ skipping 261 matching lines @@
 
   v8::Isolate::AbortOnUncaughtExceptionCallback
       abort_on_uncaught_exception_callback_;
 
 #ifdef USE_SIMULATOR
   base::Mutex simulator_i_cache_mutex_;
 #endif
 
   bool allow_atomics_wait_;
 
+  ManagedLifeline managed_lifelines_root_;
+
   size_t total_regexp_code_generated_;
 
   friend class ExecutionAccess;
   friend class HandleScopeImplementer;
   friend class HeapTester;
   friend class OptimizingCompileDispatcher;
   friend class SweeperThread;
   friend class ThreadManager;
   friend class Simulator;
   friend class StackGuard;
@@ skipping 218 matching lines @@
 
   EmbeddedVector<char, 128> filename_;
   FILE* file_;
   int scope_depth_;
 };
 
 }  // namespace internal
 }  // namespace v8
 
 #endif  // V8_ISOLATE_H_