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 // 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 21 matching lines...) Expand all Loading... |
32 #include "frames-inl.h" | 32 #include "frames-inl.h" |
33 #include "full-codegen.h" | 33 #include "full-codegen.h" |
34 #include "mark-compact.h" | 34 #include "mark-compact.h" |
35 #include "safepoint-table.h" | 35 #include "safepoint-table.h" |
36 #include "scopeinfo.h" | 36 #include "scopeinfo.h" |
37 #include "string-stream.h" | 37 #include "string-stream.h" |
38 | 38 |
39 namespace v8 { | 39 namespace v8 { |
40 namespace internal { | 40 namespace internal { |
41 | 41 |
| 42 |
| 43 int SafeStackFrameIterator::active_count_ = 0; |
| 44 |
42 // Iterator that supports traversing the stack handlers of a | 45 // Iterator that supports traversing the stack handlers of a |
43 // particular frame. Needs to know the top of the handler chain. | 46 // particular frame. Needs to know the top of the handler chain. |
44 class StackHandlerIterator BASE_EMBEDDED { | 47 class StackHandlerIterator BASE_EMBEDDED { |
45 public: | 48 public: |
46 StackHandlerIterator(const StackFrame* frame, StackHandler* handler) | 49 StackHandlerIterator(const StackFrame* frame, StackHandler* handler) |
47 : limit_(frame->fp()), handler_(handler) { | 50 : limit_(frame->fp()), handler_(handler) { |
48 // Make sure the handler has already been unwound to this frame. | 51 // Make sure the handler has already been unwound to this frame. |
49 ASSERT(frame->sp() <= handler->address()); | 52 ASSERT(frame->sp() <= handler->address()); |
50 } | 53 } |
51 | 54 |
(...skipping 159 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
211 if (!validator_.IsValid(sp)) return false; | 214 if (!validator_.IsValid(sp)) return false; |
212 StackFrame::State state; | 215 StackFrame::State state; |
213 ExitFrame::FillState(fp, sp, &state); | 216 ExitFrame::FillState(fp, sp, &state); |
214 if (!validator_.IsValid(reinterpret_cast<Address>(state.pc_address))) { | 217 if (!validator_.IsValid(reinterpret_cast<Address>(state.pc_address))) { |
215 return false; | 218 return false; |
216 } | 219 } |
217 return *state.pc_address != NULL; | 220 return *state.pc_address != NULL; |
218 } | 221 } |
219 | 222 |
220 | 223 |
221 SafeStackFrameIterator::ActiveCountMaintainer::ActiveCountMaintainer( | |
222 Isolate* isolate) | |
223 : isolate_(isolate) { | |
224 isolate_->set_safe_stack_iterator_counter( | |
225 isolate_->safe_stack_iterator_counter() + 1); | |
226 } | |
227 | |
228 | |
229 SafeStackFrameIterator::ActiveCountMaintainer::~ActiveCountMaintainer() { | |
230 isolate_->set_safe_stack_iterator_counter( | |
231 isolate_->safe_stack_iterator_counter() - 1); | |
232 } | |
233 | |
234 | |
235 SafeStackFrameIterator::SafeStackFrameIterator( | 224 SafeStackFrameIterator::SafeStackFrameIterator( |
236 Isolate* isolate, | 225 Isolate* isolate, |
237 Address fp, Address sp, Address low_bound, Address high_bound) : | 226 Address fp, Address sp, Address low_bound, Address high_bound) : |
238 maintainer_(isolate), | 227 maintainer_(), |
239 stack_validator_(low_bound, high_bound), | 228 stack_validator_(low_bound, high_bound), |
240 is_valid_top_(IsValidTop(isolate, low_bound, high_bound)), | 229 is_valid_top_(IsValidTop(isolate, low_bound, high_bound)), |
241 is_valid_fp_(IsWithinBounds(low_bound, high_bound, fp)), | 230 is_valid_fp_(IsWithinBounds(low_bound, high_bound, fp)), |
242 is_working_iterator_(is_valid_top_ || is_valid_fp_), | 231 is_working_iterator_(is_valid_top_ || is_valid_fp_), |
243 iteration_done_(!is_working_iterator_), | 232 iteration_done_(!is_working_iterator_), |
244 iterator_(isolate, is_valid_top_, is_valid_fp_ ? fp : NULL, sp) { | 233 iterator_(isolate, is_valid_top_, is_valid_fp_ ? fp : NULL, sp) { |
245 } | 234 } |
246 | 235 |
247 bool SafeStackFrameIterator::is_active(Isolate* isolate) { | |
248 return isolate->safe_stack_iterator_counter() > 0; | |
249 } | |
250 | |
251 | 236 |
252 bool SafeStackFrameIterator::IsValidTop(Isolate* isolate, | 237 bool SafeStackFrameIterator::IsValidTop(Isolate* isolate, |
253 Address low_bound, Address high_bound) { | 238 Address low_bound, Address high_bound) { |
254 ThreadLocalTop* top = isolate->thread_local_top(); | 239 ThreadLocalTop* top = isolate->thread_local_top(); |
255 Address fp = Isolate::c_entry_fp(top); | 240 Address fp = Isolate::c_entry_fp(top); |
256 ExitFrameValidator validator(low_bound, high_bound); | 241 ExitFrameValidator validator(low_bound, high_bound); |
257 if (!validator.IsValidFP(fp)) return false; | 242 if (!validator.IsValidFP(fp)) return false; |
258 return Isolate::handler(top) != NULL; | 243 return Isolate::handler(top) != NULL; |
259 } | 244 } |
260 | 245 |
(...skipping 135 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
396 ASSERT(state->fp != NULL); | 381 ASSERT(state->fp != NULL); |
397 if (StandardFrame::IsArgumentsAdaptorFrame(state->fp)) { | 382 if (StandardFrame::IsArgumentsAdaptorFrame(state->fp)) { |
398 return ARGUMENTS_ADAPTOR; | 383 return ARGUMENTS_ADAPTOR; |
399 } | 384 } |
400 // The marker and function offsets overlap. If the marker isn't a | 385 // The marker and function offsets overlap. If the marker isn't a |
401 // smi then the frame is a JavaScript frame -- and the marker is | 386 // smi then the frame is a JavaScript frame -- and the marker is |
402 // really the function. | 387 // really the function. |
403 const int offset = StandardFrameConstants::kMarkerOffset; | 388 const int offset = StandardFrameConstants::kMarkerOffset; |
404 Object* marker = Memory::Object_at(state->fp + offset); | 389 Object* marker = Memory::Object_at(state->fp + offset); |
405 if (!marker->IsSmi()) { | 390 if (!marker->IsSmi()) { |
406 Isolate* isolate = Isolate::Current(); | |
407 // If we're using a "safe" stack iterator, we treat optimized | 391 // If we're using a "safe" stack iterator, we treat optimized |
408 // frames as normal JavaScript frames to avoid having to look | 392 // frames as normal JavaScript frames to avoid having to look |
409 // into the heap to determine the state. This is safe as long | 393 // into the heap to determine the state. This is safe as long |
410 // as nobody tries to GC... | 394 // as nobody tries to GC... |
411 if (SafeStackFrameIterator::is_active(isolate)) | 395 if (SafeStackFrameIterator::is_active()) return JAVA_SCRIPT; |
412 return JAVA_SCRIPT; | 396 Code::Kind kind = GetContainingCode(Isolate::Current(), |
413 Code::Kind kind = GetContainingCode(isolate, *(state->pc_address))->kind(); | 397 *(state->pc_address))->kind(); |
414 ASSERT(kind == Code::FUNCTION || kind == Code::OPTIMIZED_FUNCTION); | 398 ASSERT(kind == Code::FUNCTION || kind == Code::OPTIMIZED_FUNCTION); |
415 return (kind == Code::OPTIMIZED_FUNCTION) ? OPTIMIZED : JAVA_SCRIPT; | 399 return (kind == Code::OPTIMIZED_FUNCTION) ? OPTIMIZED : JAVA_SCRIPT; |
416 } | 400 } |
417 return static_cast<StackFrame::Type>(Smi::cast(marker)->value()); | 401 return static_cast<StackFrame::Type>(Smi::cast(marker)->value()); |
418 } | 402 } |
419 | 403 |
420 | 404 |
421 | 405 |
422 StackFrame::Type StackFrame::GetCallerState(State* state) const { | 406 StackFrame::Type StackFrame::GetCallerState(State* state) const { |
423 ComputeCallerState(state); | 407 ComputeCallerState(state); |
(...skipping 124 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
548 | 532 |
549 void OptimizedFrame::Iterate(ObjectVisitor* v) const { | 533 void OptimizedFrame::Iterate(ObjectVisitor* v) const { |
550 #ifdef DEBUG | 534 #ifdef DEBUG |
551 // Make sure that optimized frames do not contain any stack handlers. | 535 // Make sure that optimized frames do not contain any stack handlers. |
552 StackHandlerIterator it(this, top_handler()); | 536 StackHandlerIterator it(this, top_handler()); |
553 ASSERT(it.done()); | 537 ASSERT(it.done()); |
554 #endif | 538 #endif |
555 | 539 |
556 // Make sure that we're not doing "safe" stack frame iteration. We cannot | 540 // Make sure that we're not doing "safe" stack frame iteration. We cannot |
557 // possibly find pointers in optimized frames in that state. | 541 // possibly find pointers in optimized frames in that state. |
558 ASSERT(!SafeStackFrameIterator::is_active(Isolate::Current())); | 542 ASSERT(!SafeStackFrameIterator::is_active()); |
559 | 543 |
560 // Compute the safepoint information. | 544 // Compute the safepoint information. |
561 unsigned stack_slots = 0; | 545 unsigned stack_slots = 0; |
562 SafepointEntry safepoint_entry; | 546 SafepointEntry safepoint_entry; |
563 Code* code = StackFrame::GetSafepointData( | 547 Code* code = StackFrame::GetSafepointData( |
564 pc(), &safepoint_entry, &stack_slots); | 548 pc(), &safepoint_entry, &stack_slots); |
565 unsigned slot_space = stack_slots * kPointerSize; | 549 unsigned slot_space = stack_slots * kPointerSize; |
566 | 550 |
567 // Visit the outgoing parameters. This is usually dealt with by the | 551 // Visit the outgoing parameters. This is usually dealt with by the |
568 // callee, but while GC'ing we artificially lower the number of | 552 // callee, but while GC'ing we artificially lower the number of |
(...skipping 80 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
649 | 633 |
650 | 634 |
651 Code* JavaScriptFrame::unchecked_code() const { | 635 Code* JavaScriptFrame::unchecked_code() const { |
652 JSFunction* function = JSFunction::cast(this->function()); | 636 JSFunction* function = JSFunction::cast(this->function()); |
653 return function->unchecked_code(); | 637 return function->unchecked_code(); |
654 } | 638 } |
655 | 639 |
656 | 640 |
657 Address JavaScriptFrame::GetCallerStackPointer() const { | 641 Address JavaScriptFrame::GetCallerStackPointer() const { |
658 int arguments; | 642 int arguments; |
659 Isolate* isolate = Isolate::Current(); | 643 if (SafeStackFrameIterator::is_active() || |
660 if (SafeStackFrameIterator::is_active(isolate) || | 644 HEAP->gc_state() != Heap::NOT_IN_GC) { |
661 isolate->heap()->gc_state() != Heap::NOT_IN_GC) { | |
662 // If the we are currently iterating the safe stack the | 645 // If the we are currently iterating the safe stack the |
663 // arguments for frames are traversed as if they were | 646 // arguments for frames are traversed as if they were |
664 // expression stack elements of the calling frame. The reason for | 647 // expression stack elements of the calling frame. The reason for |
665 // this rather strange decision is that we cannot access the | 648 // this rather strange decision is that we cannot access the |
666 // function during mark-compact GCs when objects may have been marked. | 649 // function during mark-compact GCs when objects may have been marked. |
667 // In fact accessing heap objects (like function->shared() below) | 650 // In fact accessing heap objects (like function->shared() below) |
668 // at all during GC is problematic. | 651 // at all during GC is problematic. |
669 arguments = 0; | 652 arguments = 0; |
670 } else { | 653 } else { |
671 // Compute the number of arguments by getting the number of formal | 654 // Compute the number of arguments by getting the number of formal |
(...skipping 578 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1250 ZoneList<StackFrame*> list(10); | 1233 ZoneList<StackFrame*> list(10); |
1251 for (StackFrameIterator it; !it.done(); it.Advance()) { | 1234 for (StackFrameIterator it; !it.done(); it.Advance()) { |
1252 StackFrame* frame = AllocateFrameCopy(it.frame()); | 1235 StackFrame* frame = AllocateFrameCopy(it.frame()); |
1253 list.Add(frame); | 1236 list.Add(frame); |
1254 } | 1237 } |
1255 return list.ToVector(); | 1238 return list.ToVector(); |
1256 } | 1239 } |
1257 | 1240 |
1258 | 1241 |
1259 } } // namespace v8::internal | 1242 } } // namespace v8::internal |
OLD | NEW |