OLD | NEW |
---|---|
1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 the V8 project authors. All rights reserved. |
2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
4 // met: | 4 // met: |
5 // | 5 // |
6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
(...skipping 78 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
89 | 89 |
90 // Heap-allocated activation contexts. | 90 // Heap-allocated activation contexts. |
91 // | 91 // |
92 // Contexts are implemented as FixedArray objects; the Context | 92 // Contexts are implemented as FixedArray objects; the Context |
93 // class is a convenience interface casted on a FixedArray object. | 93 // class is a convenience interface casted on a FixedArray object. |
94 // | 94 // |
95 // Note: Context must have no virtual functions and Context objects | 95 // Note: Context must have no virtual functions and Context objects |
96 // must always be allocated via Heap::AllocateContext() or | 96 // must always be allocated via Heap::AllocateContext() or |
97 // Factory::NewContext. | 97 // Factory::NewContext. |
98 | 98 |
99 #define GLOBAL_CONTEXT_FIELDS(V) \ | 99 #define NATIVE_CONTEXT_FIELDS(V) \ |
100 V(GLOBAL_PROXY_INDEX, JSObject, global_proxy_object) \ | 100 V(GLOBAL_PROXY_INDEX, JSObject, global_proxy_object) \ |
101 V(SECURITY_TOKEN_INDEX, Object, security_token) \ | 101 V(SECURITY_TOKEN_INDEX, Object, security_token) \ |
102 V(BOOLEAN_FUNCTION_INDEX, JSFunction, boolean_function) \ | 102 V(BOOLEAN_FUNCTION_INDEX, JSFunction, boolean_function) \ |
103 V(NUMBER_FUNCTION_INDEX, JSFunction, number_function) \ | 103 V(NUMBER_FUNCTION_INDEX, JSFunction, number_function) \ |
104 V(STRING_FUNCTION_INDEX, JSFunction, string_function) \ | 104 V(STRING_FUNCTION_INDEX, JSFunction, string_function) \ |
105 V(STRING_FUNCTION_PROTOTYPE_MAP_INDEX, Map, string_function_prototype_map) \ | 105 V(STRING_FUNCTION_PROTOTYPE_MAP_INDEX, Map, string_function_prototype_map) \ |
106 V(OBJECT_FUNCTION_INDEX, JSFunction, object_function) \ | 106 V(OBJECT_FUNCTION_INDEX, JSFunction, object_function) \ |
107 V(INTERNAL_ARRAY_FUNCTION_INDEX, JSFunction, internal_array_function) \ | 107 V(INTERNAL_ARRAY_FUNCTION_INDEX, JSFunction, internal_array_function) \ |
108 V(ARRAY_FUNCTION_INDEX, JSFunction, array_function) \ | 108 V(ARRAY_FUNCTION_INDEX, JSFunction, array_function) \ |
109 V(JS_ARRAY_MAPS_INDEX, Object, js_array_maps) \ | 109 V(JS_ARRAY_MAPS_INDEX, Object, js_array_maps) \ |
(...skipping 83 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
193 // For block contexts, contains the respective ScopeInfo. | 193 // For block contexts, contains the respective ScopeInfo. |
194 // For module contexts, points back to the respective JSModule. | 194 // For module contexts, points back to the respective JSModule. |
195 // | 195 // |
196 // [ global ] A pointer to the global object. Provided for quick | 196 // [ global ] A pointer to the global object. Provided for quick |
197 // access to the global object from inside the code (since | 197 // access to the global object from inside the code (since |
198 // we always have a context pointer). | 198 // we always have a context pointer). |
199 // | 199 // |
200 // In addition, function contexts may have statically allocated context slots | 200 // In addition, function contexts may have statically allocated context slots |
201 // to store local variables/functions that are accessed from inner functions | 201 // to store local variables/functions that are accessed from inner functions |
202 // (via static context addresses) or through 'eval' (dynamic context lookups). | 202 // (via static context addresses) or through 'eval' (dynamic context lookups). |
203 // Finally, the global context contains additional slots for fast access to | 203 // Finally, the native context contains additional slots for fast access to |
204 // global properties. | 204 // native properties. |
205 | 205 |
206 class Context: public FixedArray { | 206 class Context: public FixedArray { |
207 public: | 207 public: |
208 // Conversions. | 208 // Conversions. |
209 static Context* cast(Object* context) { | 209 static Context* cast(Object* context) { |
210 ASSERT(context->IsContext()); | 210 ASSERT(context->IsContext()); |
211 return reinterpret_cast<Context*>(context); | 211 return reinterpret_cast<Context*>(context); |
212 } | 212 } |
213 | 213 |
214 // The default context slot layout; indices are FixedArray slot indices. | 214 // The default context slot layout; indices are FixedArray slot indices. |
215 enum { | 215 enum { |
216 // These slots are in all contexts. | 216 // These slots are in all contexts. |
217 CLOSURE_INDEX, | 217 CLOSURE_INDEX, |
218 PREVIOUS_INDEX, | 218 PREVIOUS_INDEX, |
219 // The extension slot is used for either the global object (in global | 219 // The extension slot is used for either the global object (in global |
220 // contexts), eval extension object (function contexts), subject of with | 220 // contexts), eval extension object (function contexts), subject of with |
221 // (with contexts), or the variable name (catch contexts), the serialized | 221 // (with contexts), or the variable name (catch contexts), the serialized |
222 // scope info (block contexts), or the module instance (module contexts). | 222 // scope info (block contexts), or the module instance (module contexts). |
223 EXTENSION_INDEX, | 223 EXTENSION_INDEX, |
224 GLOBAL_INDEX, | 224 GLOBAL_INDEX, |
225 MIN_CONTEXT_SLOTS, | 225 MIN_CONTEXT_SLOTS, |
226 | 226 |
227 // This slot holds the thrown value in catch contexts. | 227 // This slot holds the thrown value in catch contexts. |
228 THROWN_OBJECT_INDEX = MIN_CONTEXT_SLOTS, | 228 THROWN_OBJECT_INDEX = MIN_CONTEXT_SLOTS, |
229 | 229 |
230 // These slots are only in global contexts. | 230 // These slots are only in native contexts. |
231 GLOBAL_PROXY_INDEX = MIN_CONTEXT_SLOTS, | 231 GLOBAL_PROXY_INDEX = MIN_CONTEXT_SLOTS, |
232 SECURITY_TOKEN_INDEX, | 232 SECURITY_TOKEN_INDEX, |
233 ARGUMENTS_BOILERPLATE_INDEX, | 233 ARGUMENTS_BOILERPLATE_INDEX, |
234 ALIASED_ARGUMENTS_BOILERPLATE_INDEX, | 234 ALIASED_ARGUMENTS_BOILERPLATE_INDEX, |
235 STRICT_MODE_ARGUMENTS_BOILERPLATE_INDEX, | 235 STRICT_MODE_ARGUMENTS_BOILERPLATE_INDEX, |
236 REGEXP_RESULT_MAP_INDEX, | 236 REGEXP_RESULT_MAP_INDEX, |
237 FUNCTION_MAP_INDEX, | 237 FUNCTION_MAP_INDEX, |
238 STRICT_MODE_FUNCTION_MAP_INDEX, | 238 STRICT_MODE_FUNCTION_MAP_INDEX, |
239 FUNCTION_WITHOUT_PROTOTYPE_MAP_INDEX, | 239 FUNCTION_WITHOUT_PROTOTYPE_MAP_INDEX, |
240 STRICT_MODE_FUNCTION_WITHOUT_PROTOTYPE_MAP_INDEX, | 240 STRICT_MODE_FUNCTION_WITHOUT_PROTOTYPE_MAP_INDEX, |
(...skipping 46 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
287 PROXY_ENUMERATE, | 287 PROXY_ENUMERATE, |
288 RANDOM_SEED_INDEX, | 288 RANDOM_SEED_INDEX, |
289 | 289 |
290 // Properties from here are treated as weak references by the full GC. | 290 // Properties from here are treated as weak references by the full GC. |
291 // Scavenge treats them as strong references. | 291 // Scavenge treats them as strong references. |
292 OPTIMIZED_FUNCTIONS_LIST, // Weak. | 292 OPTIMIZED_FUNCTIONS_LIST, // Weak. |
293 MAP_CACHE_INDEX, // Weak. | 293 MAP_CACHE_INDEX, // Weak. |
294 NEXT_CONTEXT_LINK, // Weak. | 294 NEXT_CONTEXT_LINK, // Weak. |
295 | 295 |
296 // Total number of slots. | 296 // Total number of slots. |
297 GLOBAL_CONTEXT_SLOTS, | 297 NATIVE_CONTEXT_SLOTS, |
298 | 298 |
299 FIRST_WEAK_SLOT = OPTIMIZED_FUNCTIONS_LIST | 299 FIRST_WEAK_SLOT = OPTIMIZED_FUNCTIONS_LIST |
300 }; | 300 }; |
301 | 301 |
302 // Direct slot access. | 302 // Direct slot access. |
303 JSFunction* closure() { return JSFunction::cast(get(CLOSURE_INDEX)); } | 303 JSFunction* closure() { return JSFunction::cast(get(CLOSURE_INDEX)); } |
304 void set_closure(JSFunction* closure) { set(CLOSURE_INDEX, closure); } | 304 void set_closure(JSFunction* closure) { set(CLOSURE_INDEX, closure); } |
305 | 305 |
306 Context* previous() { | 306 Context* previous() { |
307 Object* result = unchecked_previous(); | 307 Object* result = unchecked_previous(); |
(...skipping 20 matching lines...) Expand all Loading... | |
328 } | 328 } |
329 void set_global(GlobalObject* global) { set(GLOBAL_INDEX, global); } | 329 void set_global(GlobalObject* global) { set(GLOBAL_INDEX, global); } |
330 | 330 |
331 // Returns a JSGlobalProxy object or null. | 331 // Returns a JSGlobalProxy object or null. |
332 JSObject* global_proxy(); | 332 JSObject* global_proxy(); |
333 void set_global_proxy(JSObject* global); | 333 void set_global_proxy(JSObject* global); |
334 | 334 |
335 // The builtins object. | 335 // The builtins object. |
336 JSBuiltinsObject* builtins(); | 336 JSBuiltinsObject* builtins(); |
337 | 337 |
338 // Compute the global context by traversing the context chain. | 338 // Compute the native context by traversing the context chain. |
339 Context* global_context(); | 339 Context* native_context(); |
340 | 340 |
341 // Predicates for context types. IsGlobalContext is defined on Object | 341 // Predicates for context types. IsNativeContext is defined on Object |
342 // because we frequently have to know if arbitrary objects are global | 342 // because we frequently have to know if arbitrary objects are natives |
343 // contexts. | 343 // contexts. |
344 bool IsFunctionContext() { | 344 bool IsFunctionContext() { |
345 Map* map = this->map(); | 345 Map* map = this->map(); |
346 return map == map->GetHeap()->function_context_map(); | 346 return map == map->GetHeap()->function_context_map(); |
347 } | 347 } |
348 bool IsCatchContext() { | 348 bool IsCatchContext() { |
349 Map* map = this->map(); | 349 Map* map = this->map(); |
350 return map == map->GetHeap()->catch_context_map(); | 350 return map == map->GetHeap()->catch_context_map(); |
351 } | 351 } |
352 bool IsWithContext() { | 352 bool IsWithContext() { |
353 Map* map = this->map(); | 353 Map* map = this->map(); |
354 return map == map->GetHeap()->with_context_map(); | 354 return map == map->GetHeap()->with_context_map(); |
355 } | 355 } |
356 bool IsBlockContext() { | 356 bool IsBlockContext() { |
357 Map* map = this->map(); | 357 Map* map = this->map(); |
358 return map == map->GetHeap()->block_context_map(); | 358 return map == map->GetHeap()->block_context_map(); |
359 } | 359 } |
360 bool IsModuleContext() { | 360 bool IsModuleContext() { |
361 Map* map = this->map(); | 361 Map* map = this->map(); |
362 return map == map->GetHeap()->module_context_map(); | 362 return map == map->GetHeap()->module_context_map(); |
363 } | 363 } |
364 | 364 |
365 // Tells whether the global context is marked with out of memory. | 365 // Tells whether the native context is marked with out of memory. |
366 inline bool has_out_of_memory(); | 366 inline bool has_out_of_memory(); |
367 | 367 |
368 // Mark the global context with out of memory. | 368 // Mark the native context with out of memory. |
369 inline void mark_out_of_memory(); | 369 inline void mark_out_of_memory(); |
370 | 370 |
371 // A global context hold a list of all functions which have been optimized. | 371 // A native context hold a list of all functions which have been optimized. |
372 void AddOptimizedFunction(JSFunction* function); | 372 void AddOptimizedFunction(JSFunction* function); |
373 void RemoveOptimizedFunction(JSFunction* function); | 373 void RemoveOptimizedFunction(JSFunction* function); |
374 Object* OptimizedFunctionsListHead(); | 374 Object* OptimizedFunctionsListHead(); |
375 void ClearOptimizedFunctions(); | 375 void ClearOptimizedFunctions(); |
376 | 376 |
377 #define GLOBAL_CONTEXT_FIELD_ACCESSORS(index, type, name) \ | 377 #define NATIVE_CONTEXT_FIELD_ACCESSORS(index, type, name) \ |
378 void set_##name(type* value) { \ | 378 void set_##name(type* value) { \ |
379 ASSERT(IsGlobalContext()); \ | 379 ASSERT(IsNativeContext()); \ |
380 set(index, value); \ | 380 set(index, value); \ |
381 } \ | 381 } \ |
382 type* name() { \ | 382 type* name() { \ |
383 ASSERT(IsGlobalContext()); \ | 383 ASSERT(IsNativeContext()); \ |
384 return type::cast(get(index)); \ | 384 return type::cast(get(index)); \ |
385 } | 385 } |
386 GLOBAL_CONTEXT_FIELDS(GLOBAL_CONTEXT_FIELD_ACCESSORS) | 386 NATIVE_CONTEXT_FIELDS(NATIVE_CONTEXT_FIELD_ACCESSORS) |
387 #undef GLOBAL_CONTEXT_FIELD_ACCESSORS | 387 #undef NATIVE_CONTEXT_FIELD_ACCESSORS |
388 | 388 |
389 // Lookup the slot called name, starting with the current context. | 389 // Lookup the slot called name, starting with the current context. |
390 // There are three possibilities: | 390 // There are three possibilities: |
391 // | 391 // |
392 // 1) result->IsContext(): | 392 // 1) result->IsContext(): |
393 // The binding was found in a context. *index is always the | 393 // The binding was found in a context. *index is always the |
394 // non-negative slot index. *attributes is NONE for var and let | 394 // non-negative slot index. *attributes is NONE for var and let |
395 // declarations, READ_ONLY for const declarations (never ABSENT). | 395 // declarations, READ_ONLY for const declarations (never ABSENT). |
396 // | 396 // |
397 // 2) result->IsJSObject(): | 397 // 2) result->IsJSObject(): |
398 // The binding was found as a named property in a context extension | 398 // The binding was found as a named property in a context extension |
399 // object (i.e., was introduced via eval), as a property on the subject | 399 // object (i.e., was introduced via eval), as a property on the subject |
400 // of with, or as a property of the global object. *index is -1 and | 400 // of with, or as a property of the global object. *index is -1 and |
401 // *attributes is not ABSENT. | 401 // *attributes is not ABSENT. |
402 // | 402 // |
403 // 3) result.is_null(): | 403 // 3) result.is_null(): |
404 // There was no binding found, *index is always -1 and *attributes is | 404 // There was no binding found, *index is always -1 and *attributes is |
405 // always ABSENT. | 405 // always ABSENT. |
406 Handle<Object> Lookup(Handle<String> name, | 406 Handle<Object> Lookup(Handle<String> name, |
407 ContextLookupFlags flags, | 407 ContextLookupFlags flags, |
408 int* index, | 408 int* index, |
409 PropertyAttributes* attributes, | 409 PropertyAttributes* attributes, |
410 BindingFlags* binding_flags); | 410 BindingFlags* binding_flags); |
411 | 411 |
412 // Code generation support. | 412 // Code generation support. |
413 static int SlotOffset(int index) { | 413 static int SlotOffset(int index) { |
414 return kHeaderSize + index * kPointerSize - kHeapObjectTag; | 414 return kHeaderSize + index * kPointerSize - kHeapObjectTag; |
415 } | 415 } |
416 | 416 |
417 static const int kSize = kHeaderSize + GLOBAL_CONTEXT_SLOTS * kPointerSize; | 417 static const int kSize = |
Michael Starzinger
2012/08/16 16:33:56
Should still fit into one line.
rossberg
2012/08/17 08:40:32
Done.
| |
418 kHeaderSize + NATIVE_CONTEXT_SLOTS * kPointerSize; | |
418 | 419 |
419 // GC support. | 420 // GC support. |
420 typedef FixedBodyDescriptor< | 421 typedef FixedBodyDescriptor< |
421 kHeaderSize, kSize, kSize> ScavengeBodyDescriptor; | 422 kHeaderSize, kSize, kSize> ScavengeBodyDescriptor; |
422 | 423 |
423 typedef FixedBodyDescriptor< | 424 typedef FixedBodyDescriptor< |
424 kHeaderSize, | 425 kHeaderSize, |
425 kHeaderSize + FIRST_WEAK_SLOT * kPointerSize, | 426 kHeaderSize + FIRST_WEAK_SLOT * kPointerSize, |
426 kSize> MarkCompactBodyDescriptor; | 427 kSize> MarkCompactBodyDescriptor; |
427 | 428 |
428 private: | 429 private: |
429 // Unchecked access to the slots. | 430 // Unchecked access to the slots. |
430 Object* unchecked_previous() { return get(PREVIOUS_INDEX); } | 431 Object* unchecked_previous() { return get(PREVIOUS_INDEX); } |
431 | 432 |
432 #ifdef DEBUG | 433 #ifdef DEBUG |
433 // Bootstrapping-aware type checks. | 434 // Bootstrapping-aware type checks. |
434 static bool IsBootstrappingOrValidParentContext(Object* object, Context* kid); | 435 static bool IsBootstrappingOrValidParentContext(Object* object, Context* kid); |
435 static bool IsBootstrappingOrGlobalObject(Object* object); | 436 static bool IsBootstrappingOrGlobalObject(Object* object); |
436 #endif | 437 #endif |
437 }; | 438 }; |
438 | 439 |
439 } } // namespace v8::internal | 440 } } // namespace v8::internal |
440 | 441 |
441 #endif // V8_CONTEXTS_H_ | 442 #endif // V8_CONTEXTS_H_ |
OLD | NEW |