Provide API support for weak handles and post-mortem finalization.

runtime/vm/dart_api_impl.cc

 // Copyright (c) 2011, 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 "include/dart_api.h"
 
 #include "vm/bigint_operations.h"
 #include "vm/class_finalizer.h"
 #include "vm/compiler.h"
 #include "vm/dart.h"
@@ skipping 137 matching lines @@
   ref->set_raw(object);
   return reinterpret_cast<Dart_Handle>(ref);
 }
 
 RawObject* Api::UnwrapHandle(Dart_Handle object) {
 #ifdef DEBUG
   Isolate* isolate = Isolate::Current();
   ASSERT(isolate != NULL);
   ApiState* state = isolate->api_state();
   ASSERT(state != NULL);
-  ASSERT(state->IsValidPersistentHandle(object) ||
+  ASSERT(state->IsValidWeakPersistentHandle(object) ||
+         state->IsValidPersistentHandle(object) ||
          state->IsValidLocalHandle(object));
-  ASSERT(PersistentHandle::raw_offset() == 0 &&
+  ASSERT(WeakPersistentHandle::raw_offset() == 0 &&
+         PersistentHandle::raw_offset() == 0 &&
          LocalHandle::raw_offset() == 0);
 #endif
   return *(reinterpret_cast<RawObject**>(object));
 }
 
 #define DEFINE_UNWRAP(Type)                                                   \
   const Type& Api::Unwrap##Type##Handle(Dart_Handle dart_handle) {            \
     const Object& tmp = Object::Handle(Api::UnwrapHandle(dart_handle));       \
     Type& typed_handle = Type::Handle();                                      \
     if (tmp.Is##Type()) {                                                     \
@@ skipping 12 matching lines @@
 }
 
 
 PersistentHandle* Api::UnwrapAsPersistentHandle(const ApiState& state,
                                                 Dart_Handle object) {
   ASSERT(state.IsValidPersistentHandle(object));
   return reinterpret_cast<PersistentHandle*>(object);
 }
 
 
+WeakPersistentHandle* Api::UnwrapAsWeakPersistentHandle(const ApiState& state,
+                                                        Dart_Handle object) {
+  ASSERT(state.IsValidWeakPersistentHandle(object));
+  return reinterpret_cast<WeakPersistentHandle*>(object);
+}
+
+
 Dart_Isolate Api::CastIsolate(Isolate* isolate) {
   return reinterpret_cast<Dart_Isolate>(isolate);
 }
 
 
 Dart_Message Api::CastMessage(uint8_t* message) {
   return reinterpret_cast<Dart_Message>(message);
 }
 
 
@@ skipping 247 matching lines @@
 DART_EXPORT Dart_Handle Dart_IsSame(Dart_Handle obj1, Dart_Handle obj2,
                                     bool* value) {
   DARTSCOPE(Isolate::Current());
   const Object& expected = Object::Handle(Api::UnwrapHandle(obj1));
   const Object& actual = Object::Handle(Api::UnwrapHandle(obj2));
   *value = (expected.raw() == actual.raw());
   return Api::Success();
 }
 
 
-static PersistentHandle* AllocatePersistentHandle(Dart_Handle object) {
+DART_EXPORT Dart_Handle Dart_NewPersistentHandle(Dart_Handle object) {
   Isolate* isolate = Isolate::Current();
   CHECK_ISOLATE(isolate);
   DARTSCOPE_NOCHECKS(isolate);
   ApiState* state = isolate->api_state();
   ASSERT(state != NULL);
   const Object& old_ref = Object::Handle(Api::UnwrapHandle(object));
   PersistentHandle* new_ref = state->persistent_handles().AllocateHandle();
   new_ref->set_raw(old_ref);
-  return new_ref;
-}
-
-
-DART_EXPORT Dart_Handle Dart_NewPersistentHandle(Dart_Handle object) {
-  PersistentHandle* new_ref = AllocatePersistentHandle(object);
   return reinterpret_cast<Dart_Handle>(new_ref);
 }
 
 
 DART_EXPORT Dart_Handle Dart_NewWeakPersistentHandle(
     Dart_Handle object,
     void* peer,
     Dart_PeerFinalizer callback) {
-  PersistentHandle* new_ref = AllocatePersistentHandle(object);
-  new_ref->set_kind(PersistentHandle::WeakReference);
+  Isolate* isolate = Isolate::Current();
+  CHECK_ISOLATE(isolate);
+  DARTSCOPE_NOCHECKS(isolate);
+  ApiState* state = isolate->api_state();
+  ASSERT(state != NULL);
+  const Object& old_ref = Object::Handle(Api::UnwrapHandle(object));
+  WeakPersistentHandle* new_ref =
+      state->weak_persistent_handles().AllocateHandle();
+  new_ref->set_raw(old_ref);
   new_ref->set_peer(peer);
   new_ref->set_callback(callback);
   return reinterpret_cast<Dart_Handle>(new_ref);
 }
 
 
 DART_EXPORT void Dart_DeletePersistentHandle(Dart_Handle object) {
   Isolate* isolate = Isolate::Current();
   CHECK_ISOLATE(isolate);
   ApiState* state = isolate->api_state();
   ASSERT(state != NULL);
-  PersistentHandle* ref = Api::UnwrapAsPersistentHandle(*state, object);
-  ASSERT(!ref->IsProtected());
-  if (!ref->IsProtected()) {
+  if (state->IsValidWeakPersistentHandle(object)) {
+    WeakPersistentHandle* weak_ref =
+        Api::UnwrapAsWeakPersistentHandle(*state, object);
+    state->weak_persistent_handles().FreeHandle(weak_ref);
+  } else {
+    PersistentHandle* ref = Api::UnwrapAsPersistentHandle(*state, object);
+    ASSERT(!state->IsProtectedHandle(ref));
     state->persistent_handles().FreeHandle(ref);

[Ivan Posva, 2012/01/12 23:30:38]

Why not checking for protected handles?

[cshapiro, 2012/01/13 01:30:03]

A good idea.  Done.  This makes the diff a bit more symmetric.

   }
 }
 
 
 DART_EXPORT bool Dart_IsWeakPersistentHandle(Dart_Handle object) {
   Isolate* isolate = Isolate::Current();
   CHECK_ISOLATE(isolate);
   ApiState* state = isolate->api_state();
   ASSERT(state != NULL);
-  if (state->IsValidPersistentHandle(object)) {
-    PersistentHandle* ref = Api::UnwrapAsPersistentHandle(*state, object);
-    return ref->kind() == PersistentHandle::WeakReference;
-  }
-  return false;
+  return state->IsValidWeakPersistentHandle(object);
 }
 
 
 // --- Initialization and Globals ---
 
 
 DART_EXPORT bool Dart_Initialize(Dart_IsolateCreateCallback create,
                                  Dart_IsolateInterruptCallback interrupt) {
   return Dart::InitOnce(create, interrupt);
 }
@@ skipping 1978 matching lines @@
     }
     delete debug_region;
   } else {
     *buffer = NULL;
     *buffer_size = 0;
   }
 }
 
 
 }  // namespace dart