| Index: src/handles-inl.h
|
| diff --git a/src/handles-inl.h b/src/handles-inl.h
|
| index 725726d737643726b1735575e9fe627c500b6d40..34b3f32d960415bd93dd3cbe1c8f5d9178ba8399 100644
|
| --- a/src/handles-inl.h
|
| +++ b/src/handles-inl.h
|
| @@ -1,10 +1,183 @@
|
| // Copyright 2006-2008 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_HANDLES_INL_H_
|
| +#define V8_HANDLES_INL_H_
|
|
|
| #include "src/api.h"
|
| #include "src/handles.h"
|
| #include "src/heap/heap.h"
|
| #include "src/isolate.h"
|
|
|
| -// TODO(bmeurer): Break all include cycles and remove this file!
|
| +namespace v8 {
|
| +namespace internal {
|
| +
|
| +template<typename T>
|
| +Handle<T>::Handle(T* obj) {
|
| + location_ = HandleScope::CreateHandle(obj->GetIsolate(), obj);
|
| +}
|
| +
|
| +
|
| +template<typename T>
|
| +Handle<T>::Handle(T* obj, Isolate* isolate) {
|
| + location_ = HandleScope::CreateHandle(isolate, obj);
|
| +}
|
| +
|
| +
|
| +template <typename T>
|
| +inline bool Handle<T>::is_identical_to(const Handle<T> o) const {
|
| + // Dereferencing deferred handles to check object equality is safe.
|
| + SLOW_DCHECK(
|
| + (location_ == NULL || IsDereferenceAllowed(NO_DEFERRED_CHECK)) &&
|
| + (o.location_ == NULL || o.IsDereferenceAllowed(NO_DEFERRED_CHECK)));
|
| + if (location_ == o.location_) return true;
|
| + if (location_ == NULL || o.location_ == NULL) return false;
|
| + return *location_ == *o.location_;
|
| +}
|
| +
|
| +
|
| +template <typename T>
|
| +inline T* Handle<T>::operator*() const {
|
| + SLOW_DCHECK(IsDereferenceAllowed(INCLUDE_DEFERRED_CHECK));
|
| + return *bit_cast<T**>(location_);
|
| +}
|
| +
|
| +template <typename T>
|
| +inline T** Handle<T>::location() const {
|
| + SLOW_DCHECK(location_ == NULL ||
|
| + IsDereferenceAllowed(INCLUDE_DEFERRED_CHECK));
|
| + return location_;
|
| +}
|
| +
|
| +#ifdef DEBUG
|
| +template <typename T>
|
| +bool Handle<T>::IsDereferenceAllowed(DereferenceCheckMode mode) const {
|
| + DCHECK(location_ != NULL);
|
| + Object* object = *bit_cast<T**>(location_);
|
| + if (object->IsSmi()) return true;
|
| + HeapObject* heap_object = HeapObject::cast(object);
|
| + Heap* heap = heap_object->GetHeap();
|
| + Object** handle = reinterpret_cast<Object**>(location_);
|
| + Object** roots_array_start = heap->roots_array_start();
|
| + if (roots_array_start <= handle &&
|
| + handle < roots_array_start + Heap::kStrongRootListLength &&
|
| + heap->RootCanBeTreatedAsConstant(
|
| + static_cast<Heap::RootListIndex>(handle - roots_array_start))) {
|
| + return true;
|
| + }
|
| + if (!AllowHandleDereference::IsAllowed()) return false;
|
| + if (mode == INCLUDE_DEFERRED_CHECK &&
|
| + !AllowDeferredHandleDereference::IsAllowed()) {
|
| + // Accessing cells, maps and internalized strings is safe.
|
| + if (heap_object->IsCell()) return true;
|
| + if (heap_object->IsMap()) return true;
|
| + if (heap_object->IsInternalizedString()) return true;
|
| + return !heap->isolate()->IsDeferredHandle(handle);
|
| + }
|
| + return true;
|
| +}
|
| +#endif
|
| +
|
| +
|
| +
|
| +HandleScope::HandleScope(Isolate* isolate) {
|
| + HandleScopeData* current = isolate->handle_scope_data();
|
| + isolate_ = isolate;
|
| + prev_next_ = current->next;
|
| + prev_limit_ = current->limit;
|
| + current->level++;
|
| +}
|
| +
|
| +
|
| +HandleScope::~HandleScope() {
|
| + CloseScope(isolate_, prev_next_, prev_limit_);
|
| +}
|
| +
|
| +
|
| +void HandleScope::CloseScope(Isolate* isolate,
|
| + Object** prev_next,
|
| + Object** prev_limit) {
|
| + HandleScopeData* current = isolate->handle_scope_data();
|
| +
|
| + std::swap(current->next, prev_next);
|
| + current->level--;
|
| + if (current->limit != prev_limit) {
|
| + current->limit = prev_limit;
|
| + DeleteExtensions(isolate);
|
| +#ifdef ENABLE_HANDLE_ZAPPING
|
| + ZapRange(current->next, prev_limit);
|
| + } else {
|
| + ZapRange(current->next, prev_next);
|
| +#endif
|
| + }
|
| +}
|
| +
|
| +
|
| +template <typename T>
|
| +Handle<T> HandleScope::CloseAndEscape(Handle<T> handle_value) {
|
| + HandleScopeData* current = isolate_->handle_scope_data();
|
| +
|
| + T* value = *handle_value;
|
| + // Throw away all handles in the current scope.
|
| + CloseScope(isolate_, prev_next_, prev_limit_);
|
| + // Allocate one handle in the parent scope.
|
| + DCHECK(current->level > 0);
|
| + Handle<T> result(CreateHandle<T>(isolate_, value));
|
| + // Reinitialize the current scope (so that it's ready
|
| + // to be used or closed again).
|
| + prev_next_ = current->next;
|
| + prev_limit_ = current->limit;
|
| + current->level++;
|
| + return result;
|
| +}
|
| +
|
| +
|
| +template <typename T>
|
| +T** HandleScope::CreateHandle(Isolate* isolate, T* value) {
|
| + DCHECK(AllowHandleAllocation::IsAllowed());
|
| + HandleScopeData* current = isolate->handle_scope_data();
|
| +
|
| + internal::Object** cur = current->next;
|
| + if (cur == current->limit) cur = Extend(isolate);
|
| + // Update the current next field, set the value in the created
|
| + // handle, and return the result.
|
| + DCHECK(cur < current->limit);
|
| + current->next = cur + 1;
|
| +
|
| + T** result = reinterpret_cast<T**>(cur);
|
| + *result = value;
|
| + return result;
|
| +}
|
| +
|
| +
|
| +#ifdef DEBUG
|
| +inline SealHandleScope::SealHandleScope(Isolate* isolate) : isolate_(isolate) {
|
| + // Make sure the current thread is allowed to create handles to begin with.
|
| + CHECK(AllowHandleAllocation::IsAllowed());
|
| + HandleScopeData* current = isolate_->handle_scope_data();
|
| + // Shrink the current handle scope to make it impossible to do
|
| + // handle allocations without an explicit handle scope.
|
| + limit_ = current->limit;
|
| + current->limit = current->next;
|
| + level_ = current->level;
|
| + current->level = 0;
|
| +}
|
| +
|
| +
|
| +inline SealHandleScope::~SealHandleScope() {
|
| + // Restore state in current handle scope to re-enable handle
|
| + // allocations.
|
| + HandleScopeData* current = isolate_->handle_scope_data();
|
| + DCHECK_EQ(0, current->level);
|
| + current->level = level_;
|
| + DCHECK_EQ(current->next, current->limit);
|
| + current->limit = limit_;
|
| +}
|
| +
|
| +#endif
|
| +
|
| +} } // namespace v8::internal
|
| +
|
| +#endif // V8_HANDLES_INL_H_
|
|
|