OLD | NEW |
1 // Copyright 2006-2008 the V8 project authors. All rights reserved. | 1 // Copyright 2006-2008 the V8 project authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 // | |
5 | |
6 #ifndef V8_HANDLES_INL_H_ | |
7 #define V8_HANDLES_INL_H_ | |
8 | 4 |
9 #include "src/api.h" | 5 #include "src/api.h" |
10 #include "src/handles.h" | 6 #include "src/handles.h" |
11 #include "src/heap/heap.h" | 7 #include "src/heap/heap.h" |
12 #include "src/isolate.h" | 8 #include "src/isolate.h" |
13 | 9 |
14 namespace v8 { | 10 // TODO(bmeurer): Break all include cycles and remove this file! |
15 namespace internal { | |
16 | |
17 template<typename T> | |
18 Handle<T>::Handle(T* obj) { | |
19 location_ = HandleScope::CreateHandle(obj->GetIsolate(), obj); | |
20 } | |
21 | |
22 | |
23 template<typename T> | |
24 Handle<T>::Handle(T* obj, Isolate* isolate) { | |
25 location_ = HandleScope::CreateHandle(isolate, obj); | |
26 } | |
27 | |
28 | |
29 template <typename T> | |
30 inline bool Handle<T>::is_identical_to(const Handle<T> o) const { | |
31 // Dereferencing deferred handles to check object equality is safe. | |
32 SLOW_DCHECK( | |
33 (location_ == NULL || IsDereferenceAllowed(NO_DEFERRED_CHECK)) && | |
34 (o.location_ == NULL || o.IsDereferenceAllowed(NO_DEFERRED_CHECK))); | |
35 if (location_ == o.location_) return true; | |
36 if (location_ == NULL || o.location_ == NULL) return false; | |
37 return *location_ == *o.location_; | |
38 } | |
39 | |
40 | |
41 template <typename T> | |
42 inline T* Handle<T>::operator*() const { | |
43 SLOW_DCHECK(IsDereferenceAllowed(INCLUDE_DEFERRED_CHECK)); | |
44 return *bit_cast<T**>(location_); | |
45 } | |
46 | |
47 template <typename T> | |
48 inline T** Handle<T>::location() const { | |
49 SLOW_DCHECK(location_ == NULL || | |
50 IsDereferenceAllowed(INCLUDE_DEFERRED_CHECK)); | |
51 return location_; | |
52 } | |
53 | |
54 #ifdef DEBUG | |
55 template <typename T> | |
56 bool Handle<T>::IsDereferenceAllowed(DereferenceCheckMode mode) const { | |
57 DCHECK(location_ != NULL); | |
58 Object* object = *bit_cast<T**>(location_); | |
59 if (object->IsSmi()) return true; | |
60 HeapObject* heap_object = HeapObject::cast(object); | |
61 Heap* heap = heap_object->GetHeap(); | |
62 Object** handle = reinterpret_cast<Object**>(location_); | |
63 Object** roots_array_start = heap->roots_array_start(); | |
64 if (roots_array_start <= handle && | |
65 handle < roots_array_start + Heap::kStrongRootListLength && | |
66 heap->RootCanBeTreatedAsConstant( | |
67 static_cast<Heap::RootListIndex>(handle - roots_array_start))) { | |
68 return true; | |
69 } | |
70 if (!AllowHandleDereference::IsAllowed()) return false; | |
71 if (mode == INCLUDE_DEFERRED_CHECK && | |
72 !AllowDeferredHandleDereference::IsAllowed()) { | |
73 // Accessing cells, maps and internalized strings is safe. | |
74 if (heap_object->IsCell()) return true; | |
75 if (heap_object->IsMap()) return true; | |
76 if (heap_object->IsInternalizedString()) return true; | |
77 return !heap->isolate()->IsDeferredHandle(handle); | |
78 } | |
79 return true; | |
80 } | |
81 #endif | |
82 | |
83 | |
84 | |
85 HandleScope::HandleScope(Isolate* isolate) { | |
86 HandleScopeData* current = isolate->handle_scope_data(); | |
87 isolate_ = isolate; | |
88 prev_next_ = current->next; | |
89 prev_limit_ = current->limit; | |
90 current->level++; | |
91 } | |
92 | |
93 | |
94 HandleScope::~HandleScope() { | |
95 CloseScope(isolate_, prev_next_, prev_limit_); | |
96 } | |
97 | |
98 | |
99 void HandleScope::CloseScope(Isolate* isolate, | |
100 Object** prev_next, | |
101 Object** prev_limit) { | |
102 HandleScopeData* current = isolate->handle_scope_data(); | |
103 | |
104 std::swap(current->next, prev_next); | |
105 current->level--; | |
106 if (current->limit != prev_limit) { | |
107 current->limit = prev_limit; | |
108 DeleteExtensions(isolate); | |
109 #ifdef ENABLE_HANDLE_ZAPPING | |
110 ZapRange(current->next, prev_limit); | |
111 } else { | |
112 ZapRange(current->next, prev_next); | |
113 #endif | |
114 } | |
115 } | |
116 | |
117 | |
118 template <typename T> | |
119 Handle<T> HandleScope::CloseAndEscape(Handle<T> handle_value) { | |
120 HandleScopeData* current = isolate_->handle_scope_data(); | |
121 | |
122 T* value = *handle_value; | |
123 // Throw away all handles in the current scope. | |
124 CloseScope(isolate_, prev_next_, prev_limit_); | |
125 // Allocate one handle in the parent scope. | |
126 DCHECK(current->level > 0); | |
127 Handle<T> result(CreateHandle<T>(isolate_, value)); | |
128 // Reinitialize the current scope (so that it's ready | |
129 // to be used or closed again). | |
130 prev_next_ = current->next; | |
131 prev_limit_ = current->limit; | |
132 current->level++; | |
133 return result; | |
134 } | |
135 | |
136 | |
137 template <typename T> | |
138 T** HandleScope::CreateHandle(Isolate* isolate, T* value) { | |
139 DCHECK(AllowHandleAllocation::IsAllowed()); | |
140 HandleScopeData* current = isolate->handle_scope_data(); | |
141 | |
142 internal::Object** cur = current->next; | |
143 if (cur == current->limit) cur = Extend(isolate); | |
144 // Update the current next field, set the value in the created | |
145 // handle, and return the result. | |
146 DCHECK(cur < current->limit); | |
147 current->next = cur + 1; | |
148 | |
149 T** result = reinterpret_cast<T**>(cur); | |
150 *result = value; | |
151 return result; | |
152 } | |
153 | |
154 | |
155 #ifdef DEBUG | |
156 inline SealHandleScope::SealHandleScope(Isolate* isolate) : isolate_(isolate) { | |
157 // Make sure the current thread is allowed to create handles to begin with. | |
158 CHECK(AllowHandleAllocation::IsAllowed()); | |
159 HandleScopeData* current = isolate_->handle_scope_data(); | |
160 // Shrink the current handle scope to make it impossible to do | |
161 // handle allocations without an explicit handle scope. | |
162 limit_ = current->limit; | |
163 current->limit = current->next; | |
164 level_ = current->level; | |
165 current->level = 0; | |
166 } | |
167 | |
168 | |
169 inline SealHandleScope::~SealHandleScope() { | |
170 // Restore state in current handle scope to re-enable handle | |
171 // allocations. | |
172 HandleScopeData* current = isolate_->handle_scope_data(); | |
173 DCHECK_EQ(0, current->level); | |
174 current->level = level_; | |
175 DCHECK_EQ(current->next, current->limit); | |
176 current->limit = limit_; | |
177 } | |
178 | |
179 #endif | |
180 | |
181 } } // namespace v8::internal | |
182 | |
183 #endif // V8_HANDLES_INL_H_ | |
OLD | NEW |