blob: 6ab73e760e4e2dfc420b64b51131ad13bf8ffba9 [file] [log] [blame]
Ben Murdoch8b112d22011-06-08 16:22:53 +01001// Copyright 2011 the V8 project authors. All rights reserved.
Steve Blocka7e24c12009-10-30 11:49:00 +00002// Redistribution and use in source and binary forms, with or without
3// modification, are permitted provided that the following conditions are
4// met:
5//
6// * Redistributions of source code must retain the above copyright
7// notice, this list of conditions and the following disclaimer.
8// * Redistributions in binary form must reproduce the above
9// copyright notice, this list of conditions and the following
10// disclaimer in the documentation and/or other materials provided
11// with the distribution.
12// * Neither the name of Google Inc. nor the names of its
13// contributors may be used to endorse or promote products derived
14// from this software without specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
28#include <stdlib.h>
29
30#include "v8.h"
31
32#include "api.h"
Leon Clarkee46be812010-01-19 14:06:41 +000033#include "bootstrapper.h"
Ben Murdoch8b112d22011-06-08 16:22:53 +010034#include "codegen.h"
Steve Blocka7e24c12009-10-30 11:49:00 +000035#include "debug.h"
Ben Murdochb0fe1622011-05-05 13:52:32 +010036#include "runtime-profiler.h"
Steve Blockd0582a62009-12-15 09:54:21 +000037#include "simulator.h"
Steve Blocka7e24c12009-10-30 11:49:00 +000038#include "v8threads.h"
Ben Murdochb0fe1622011-05-05 13:52:32 +010039#include "vm-state-inl.h"
Steve Blocka7e24c12009-10-30 11:49:00 +000040
41namespace v8 {
42namespace internal {
43
44
Steve Block44f0eee2011-05-26 01:26:41 +010045StackGuard::StackGuard()
46 : isolate_(NULL) {
47}
48
49
50void StackGuard::set_interrupt_limits(const ExecutionAccess& lock) {
51 ASSERT(isolate_ != NULL);
52 // Ignore attempts to interrupt when interrupts are postponed.
53 if (should_postpone_interrupts(lock)) return;
54 thread_local_.jslimit_ = kInterruptLimit;
55 thread_local_.climit_ = kInterruptLimit;
56 isolate_->heap()->SetStackLimits();
57}
58
59
60void StackGuard::reset_limits(const ExecutionAccess& lock) {
61 ASSERT(isolate_ != NULL);
62 thread_local_.jslimit_ = thread_local_.real_jslimit_;
63 thread_local_.climit_ = thread_local_.real_climit_;
64 isolate_->heap()->SetStackLimits();
65}
66
67
Steve Blocka7e24c12009-10-30 11:49:00 +000068static Handle<Object> Invoke(bool construct,
69 Handle<JSFunction> func,
70 Handle<Object> receiver,
71 int argc,
72 Object*** args,
73 bool* has_pending_exception) {
Steve Block44f0eee2011-05-26 01:26:41 +010074 Isolate* isolate = func->GetIsolate();
75
Steve Blocka7e24c12009-10-30 11:49:00 +000076 // Entering JavaScript.
Steve Block44f0eee2011-05-26 01:26:41 +010077 VMState state(isolate, JS);
Steve Blocka7e24c12009-10-30 11:49:00 +000078
79 // Placeholder for return value.
John Reck59135872010-11-02 12:39:01 -070080 MaybeObject* value = reinterpret_cast<Object*>(kZapValue);
Steve Blocka7e24c12009-10-30 11:49:00 +000081
82 typedef Object* (*JSEntryFunction)(
83 byte* entry,
84 Object* function,
85 Object* receiver,
86 int argc,
87 Object*** args);
88
89 Handle<Code> code;
90 if (construct) {
91 JSConstructEntryStub stub;
92 code = stub.GetCode();
93 } else {
94 JSEntryStub stub;
95 code = stub.GetCode();
96 }
97
98 // Convert calls on global objects to be calls on the global
99 // receiver instead to avoid having a 'this' pointer which refers
100 // directly to a global object.
101 if (receiver->IsGlobalObject()) {
102 Handle<GlobalObject> global = Handle<GlobalObject>::cast(receiver);
103 receiver = Handle<JSObject>(global->global_receiver());
104 }
105
Leon Clarkee46be812010-01-19 14:06:41 +0000106 // Make sure that the global object of the context we're about to
107 // make the current one is indeed a global object.
108 ASSERT(func->context()->global()->IsGlobalObject());
109
Steve Blocka7e24c12009-10-30 11:49:00 +0000110 {
111 // Save and restore context around invocation and block the
112 // allocation of handles without explicit handle scopes.
Steve Block44f0eee2011-05-26 01:26:41 +0100113 SaveContext save(isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000114 NoHandleAllocation na;
115 JSEntryFunction entry = FUNCTION_CAST<JSEntryFunction>(code->entry());
116
117 // Call the function through the right JS entry stub.
Andrei Popescu402d9372010-02-26 13:31:12 +0000118 byte* entry_address = func->code()->entry();
Steve Block3ce2e202009-11-05 08:53:23 +0000119 JSFunction* function = *func;
120 Object* receiver_pointer = *receiver;
121 value = CALL_GENERATED_CODE(entry, entry_address, function,
122 receiver_pointer, argc, args);
Steve Blocka7e24c12009-10-30 11:49:00 +0000123 }
124
125#ifdef DEBUG
126 value->Verify();
127#endif
128
129 // Update the pending exception flag and return the value.
130 *has_pending_exception = value->IsException();
Steve Block44f0eee2011-05-26 01:26:41 +0100131 ASSERT(*has_pending_exception == Isolate::Current()->has_pending_exception());
Steve Blocka7e24c12009-10-30 11:49:00 +0000132 if (*has_pending_exception) {
Steve Block44f0eee2011-05-26 01:26:41 +0100133 isolate->ReportPendingMessages();
134 if (isolate->pending_exception() == Failure::OutOfMemoryException()) {
Ben Murdoch257744e2011-11-30 15:57:28 +0000135 if (!isolate->handle_scope_implementer()->ignore_out_of_memory()) {
Ben Murdoche0cee9b2011-05-25 10:26:03 +0100136 V8::FatalProcessOutOfMemory("JS", true);
137 }
138 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000139 return Handle<Object>();
140 } else {
Steve Block44f0eee2011-05-26 01:26:41 +0100141 isolate->clear_pending_message();
Steve Blocka7e24c12009-10-30 11:49:00 +0000142 }
143
Steve Block44f0eee2011-05-26 01:26:41 +0100144 return Handle<Object>(value->ToObjectUnchecked(), isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000145}
146
147
Ben Murdoch257744e2011-11-30 15:57:28 +0000148Handle<Object> Execution::Call(Handle<Object> callable,
Steve Blocka7e24c12009-10-30 11:49:00 +0000149 Handle<Object> receiver,
150 int argc,
151 Object*** args,
152 bool* pending_exception) {
Ben Murdoch257744e2011-11-30 15:57:28 +0000153 if (!callable->IsJSFunction()) {
154 callable = TryGetFunctionDelegate(callable, pending_exception);
155 if (*pending_exception) return callable;
156 }
157 Handle<JSFunction> func = Handle<JSFunction>::cast(callable);
Steve Blocka7e24c12009-10-30 11:49:00 +0000158 return Invoke(false, func, receiver, argc, args, pending_exception);
159}
160
161
162Handle<Object> Execution::New(Handle<JSFunction> func, int argc,
163 Object*** args, bool* pending_exception) {
Steve Block44f0eee2011-05-26 01:26:41 +0100164 return Invoke(true, func, Isolate::Current()->global(), argc, args,
165 pending_exception);
Steve Blocka7e24c12009-10-30 11:49:00 +0000166}
167
168
169Handle<Object> Execution::TryCall(Handle<JSFunction> func,
170 Handle<Object> receiver,
171 int argc,
172 Object*** args,
173 bool* caught_exception) {
174 // Enter a try-block while executing the JavaScript code. To avoid
175 // duplicate error printing it must be non-verbose. Also, to avoid
176 // creating message objects during stack overflow we shouldn't
177 // capture messages.
178 v8::TryCatch catcher;
179 catcher.SetVerbose(false);
180 catcher.SetCaptureMessage(false);
181
182 Handle<Object> result = Invoke(false, func, receiver, argc, args,
183 caught_exception);
184
185 if (*caught_exception) {
186 ASSERT(catcher.HasCaught());
Steve Block44f0eee2011-05-26 01:26:41 +0100187 Isolate* isolate = Isolate::Current();
188 ASSERT(isolate->has_pending_exception());
189 ASSERT(isolate->external_caught_exception());
190 if (isolate->pending_exception() ==
191 isolate->heap()->termination_exception()) {
192 result = isolate->factory()->termination_exception();
Steve Blocka7e24c12009-10-30 11:49:00 +0000193 } else {
194 result = v8::Utils::OpenHandle(*catcher.Exception());
195 }
Steve Block44f0eee2011-05-26 01:26:41 +0100196 isolate->OptionalRescheduleException(true);
Steve Blocka7e24c12009-10-30 11:49:00 +0000197 }
198
Steve Block44f0eee2011-05-26 01:26:41 +0100199 ASSERT(!Isolate::Current()->has_pending_exception());
200 ASSERT(!Isolate::Current()->external_caught_exception());
Steve Blocka7e24c12009-10-30 11:49:00 +0000201 return result;
202}
203
204
205Handle<Object> Execution::GetFunctionDelegate(Handle<Object> object) {
206 ASSERT(!object->IsJSFunction());
Ben Murdoch8b112d22011-06-08 16:22:53 +0100207 Isolate* isolate = Isolate::Current();
208 Factory* factory = isolate->factory();
Steve Blocka7e24c12009-10-30 11:49:00 +0000209
210 // If you return a function from here, it will be called when an
211 // attempt is made to call the given object as a function.
212
Steve Blocka7e24c12009-10-30 11:49:00 +0000213 // Objects created through the API can have an instance-call handler
214 // that should be used when calling the object as a function.
215 if (object->IsHeapObject() &&
216 HeapObject::cast(*object)->map()->has_instance_call_handler()) {
217 return Handle<JSFunction>(
Ben Murdoch8b112d22011-06-08 16:22:53 +0100218 isolate->global_context()->call_as_function_delegate());
Steve Blocka7e24c12009-10-30 11:49:00 +0000219 }
220
Ben Murdoch8b112d22011-06-08 16:22:53 +0100221 return factory->undefined_value();
Steve Blocka7e24c12009-10-30 11:49:00 +0000222}
223
224
Ben Murdoch257744e2011-11-30 15:57:28 +0000225Handle<Object> Execution::TryGetFunctionDelegate(Handle<Object> object,
226 bool* has_pending_exception) {
227 ASSERT(!object->IsJSFunction());
228 Isolate* isolate = Isolate::Current();
229
230 // Objects created through the API can have an instance-call handler
231 // that should be used when calling the object as a function.
232 if (object->IsHeapObject() &&
233 HeapObject::cast(*object)->map()->has_instance_call_handler()) {
234 return Handle<JSFunction>(
235 isolate->global_context()->call_as_function_delegate());
236 }
237
238 // If the Object doesn't have an instance-call handler we should
239 // throw a non-callable exception.
240 i::Handle<i::Object> error_obj = isolate->factory()->NewTypeError(
241 "called_non_callable", i::HandleVector<i::Object>(&object, 1));
242 isolate->Throw(*error_obj);
243 *has_pending_exception = true;
244
245 return isolate->factory()->undefined_value();
246}
247
248
Steve Blocka7e24c12009-10-30 11:49:00 +0000249Handle<Object> Execution::GetConstructorDelegate(Handle<Object> object) {
250 ASSERT(!object->IsJSFunction());
Ben Murdoch8b112d22011-06-08 16:22:53 +0100251 Isolate* isolate = Isolate::Current();
Steve Blocka7e24c12009-10-30 11:49:00 +0000252
253 // If you return a function from here, it will be called when an
254 // attempt is made to call the given object as a constructor.
255
256 // Objects created through the API can have an instance-call handler
257 // that should be used when calling the object as a function.
258 if (object->IsHeapObject() &&
259 HeapObject::cast(*object)->map()->has_instance_call_handler()) {
260 return Handle<JSFunction>(
Ben Murdoch8b112d22011-06-08 16:22:53 +0100261 isolate->global_context()->call_as_constructor_delegate());
Steve Blocka7e24c12009-10-30 11:49:00 +0000262 }
263
Ben Murdoch8b112d22011-06-08 16:22:53 +0100264 return isolate->factory()->undefined_value();
Steve Blocka7e24c12009-10-30 11:49:00 +0000265}
266
267
Ben Murdoch257744e2011-11-30 15:57:28 +0000268Handle<Object> Execution::TryGetConstructorDelegate(
269 Handle<Object> object,
270 bool* has_pending_exception) {
271 ASSERT(!object->IsJSFunction());
272 Isolate* isolate = Isolate::Current();
273
274 // If you return a function from here, it will be called when an
275 // attempt is made to call the given object as a constructor.
276
277 // Objects created through the API can have an instance-call handler
278 // that should be used when calling the object as a function.
279 if (object->IsHeapObject() &&
280 HeapObject::cast(*object)->map()->has_instance_call_handler()) {
281 return Handle<JSFunction>(
282 isolate->global_context()->call_as_constructor_delegate());
283 }
284
285 // If the Object doesn't have an instance-call handler we should
286 // throw a non-callable exception.
287 i::Handle<i::Object> error_obj = isolate->factory()->NewTypeError(
288 "called_non_callable", i::HandleVector<i::Object>(&object, 1));
289 isolate->Throw(*error_obj);
290 *has_pending_exception = true;
291
292 return isolate->factory()->undefined_value();
293}
294
295
Steve Blocka7e24c12009-10-30 11:49:00 +0000296bool StackGuard::IsStackOverflow() {
Steve Block44f0eee2011-05-26 01:26:41 +0100297 ExecutionAccess access(isolate_);
Steve Blocka7e24c12009-10-30 11:49:00 +0000298 return (thread_local_.jslimit_ != kInterruptLimit &&
299 thread_local_.climit_ != kInterruptLimit);
300}
301
302
303void StackGuard::EnableInterrupts() {
Steve Block44f0eee2011-05-26 01:26:41 +0100304 ExecutionAccess access(isolate_);
Steve Block6ded16b2010-05-10 14:33:55 +0100305 if (has_pending_interrupts(access)) {
306 set_interrupt_limits(access);
Steve Blocka7e24c12009-10-30 11:49:00 +0000307 }
308}
309
310
311void StackGuard::SetStackLimit(uintptr_t limit) {
Steve Block44f0eee2011-05-26 01:26:41 +0100312 ExecutionAccess access(isolate_);
Steve Blocka7e24c12009-10-30 11:49:00 +0000313 // If the current limits are special (eg due to a pending interrupt) then
314 // leave them alone.
Ben Murdoch257744e2011-11-30 15:57:28 +0000315 uintptr_t jslimit = SimulatorStack::JsLimitFromCLimit(isolate_, limit);
Steve Blockd0582a62009-12-15 09:54:21 +0000316 if (thread_local_.jslimit_ == thread_local_.real_jslimit_) {
Steve Blocka7e24c12009-10-30 11:49:00 +0000317 thread_local_.jslimit_ = jslimit;
Steve Blocka7e24c12009-10-30 11:49:00 +0000318 }
Steve Blockd0582a62009-12-15 09:54:21 +0000319 if (thread_local_.climit_ == thread_local_.real_climit_) {
Steve Blocka7e24c12009-10-30 11:49:00 +0000320 thread_local_.climit_ = limit;
321 }
Steve Blockd0582a62009-12-15 09:54:21 +0000322 thread_local_.real_climit_ = limit;
323 thread_local_.real_jslimit_ = jslimit;
Steve Blocka7e24c12009-10-30 11:49:00 +0000324}
325
326
327void StackGuard::DisableInterrupts() {
Steve Block44f0eee2011-05-26 01:26:41 +0100328 ExecutionAccess access(isolate_);
Steve Blocka7e24c12009-10-30 11:49:00 +0000329 reset_limits(access);
330}
331
332
Steve Blocka7e24c12009-10-30 11:49:00 +0000333bool StackGuard::IsInterrupted() {
Steve Block44f0eee2011-05-26 01:26:41 +0100334 ExecutionAccess access(isolate_);
Steve Blocka7e24c12009-10-30 11:49:00 +0000335 return thread_local_.interrupt_flags_ & INTERRUPT;
336}
337
338
339void StackGuard::Interrupt() {
Steve Block44f0eee2011-05-26 01:26:41 +0100340 ExecutionAccess access(isolate_);
Steve Blocka7e24c12009-10-30 11:49:00 +0000341 thread_local_.interrupt_flags_ |= INTERRUPT;
Steve Block6ded16b2010-05-10 14:33:55 +0100342 set_interrupt_limits(access);
Steve Blocka7e24c12009-10-30 11:49:00 +0000343}
344
345
346bool StackGuard::IsPreempted() {
Steve Block44f0eee2011-05-26 01:26:41 +0100347 ExecutionAccess access(isolate_);
Steve Blocka7e24c12009-10-30 11:49:00 +0000348 return thread_local_.interrupt_flags_ & PREEMPT;
349}
350
351
352void StackGuard::Preempt() {
Steve Block44f0eee2011-05-26 01:26:41 +0100353 ExecutionAccess access(isolate_);
Steve Blocka7e24c12009-10-30 11:49:00 +0000354 thread_local_.interrupt_flags_ |= PREEMPT;
Steve Block6ded16b2010-05-10 14:33:55 +0100355 set_interrupt_limits(access);
Steve Blocka7e24c12009-10-30 11:49:00 +0000356}
357
358
359bool StackGuard::IsTerminateExecution() {
Steve Block44f0eee2011-05-26 01:26:41 +0100360 ExecutionAccess access(isolate_);
Steve Blocka7e24c12009-10-30 11:49:00 +0000361 return thread_local_.interrupt_flags_ & TERMINATE;
362}
363
364
365void StackGuard::TerminateExecution() {
Steve Block44f0eee2011-05-26 01:26:41 +0100366 ExecutionAccess access(isolate_);
Steve Blocka7e24c12009-10-30 11:49:00 +0000367 thread_local_.interrupt_flags_ |= TERMINATE;
Steve Block6ded16b2010-05-10 14:33:55 +0100368 set_interrupt_limits(access);
Steve Blocka7e24c12009-10-30 11:49:00 +0000369}
370
371
Ben Murdochb0fe1622011-05-05 13:52:32 +0100372bool StackGuard::IsRuntimeProfilerTick() {
Steve Block44f0eee2011-05-26 01:26:41 +0100373 ExecutionAccess access(isolate_);
Ben Murdochb0fe1622011-05-05 13:52:32 +0100374 return thread_local_.interrupt_flags_ & RUNTIME_PROFILER_TICK;
375}
376
377
378void StackGuard::RequestRuntimeProfilerTick() {
379 // Ignore calls if we're not optimizing or if we can't get the lock.
Steve Block44f0eee2011-05-26 01:26:41 +0100380 if (FLAG_opt && ExecutionAccess::TryLock(isolate_)) {
Ben Murdochb0fe1622011-05-05 13:52:32 +0100381 thread_local_.interrupt_flags_ |= RUNTIME_PROFILER_TICK;
382 if (thread_local_.postpone_interrupts_nesting_ == 0) {
383 thread_local_.jslimit_ = thread_local_.climit_ = kInterruptLimit;
Steve Block44f0eee2011-05-26 01:26:41 +0100384 isolate_->heap()->SetStackLimits();
Ben Murdochb0fe1622011-05-05 13:52:32 +0100385 }
Steve Block44f0eee2011-05-26 01:26:41 +0100386 ExecutionAccess::Unlock(isolate_);
Ben Murdochb0fe1622011-05-05 13:52:32 +0100387 }
388}
389
390
Steve Blocka7e24c12009-10-30 11:49:00 +0000391#ifdef ENABLE_DEBUGGER_SUPPORT
392bool StackGuard::IsDebugBreak() {
Steve Block44f0eee2011-05-26 01:26:41 +0100393 ExecutionAccess access(isolate_);
Steve Blocka7e24c12009-10-30 11:49:00 +0000394 return thread_local_.interrupt_flags_ & DEBUGBREAK;
395}
396
397
398void StackGuard::DebugBreak() {
Steve Block44f0eee2011-05-26 01:26:41 +0100399 ExecutionAccess access(isolate_);
Steve Blocka7e24c12009-10-30 11:49:00 +0000400 thread_local_.interrupt_flags_ |= DEBUGBREAK;
Steve Block6ded16b2010-05-10 14:33:55 +0100401 set_interrupt_limits(access);
Steve Blocka7e24c12009-10-30 11:49:00 +0000402}
403
404
405bool StackGuard::IsDebugCommand() {
Steve Block44f0eee2011-05-26 01:26:41 +0100406 ExecutionAccess access(isolate_);
Steve Blocka7e24c12009-10-30 11:49:00 +0000407 return thread_local_.interrupt_flags_ & DEBUGCOMMAND;
408}
409
410
411void StackGuard::DebugCommand() {
412 if (FLAG_debugger_auto_break) {
Steve Block44f0eee2011-05-26 01:26:41 +0100413 ExecutionAccess access(isolate_);
Steve Blocka7e24c12009-10-30 11:49:00 +0000414 thread_local_.interrupt_flags_ |= DEBUGCOMMAND;
Steve Block6ded16b2010-05-10 14:33:55 +0100415 set_interrupt_limits(access);
Steve Blocka7e24c12009-10-30 11:49:00 +0000416 }
417}
418#endif
419
420void StackGuard::Continue(InterruptFlag after_what) {
Steve Block44f0eee2011-05-26 01:26:41 +0100421 ExecutionAccess access(isolate_);
Steve Blocka7e24c12009-10-30 11:49:00 +0000422 thread_local_.interrupt_flags_ &= ~static_cast<int>(after_what);
Steve Block6ded16b2010-05-10 14:33:55 +0100423 if (!should_postpone_interrupts(access) && !has_pending_interrupts(access)) {
Steve Blocka7e24c12009-10-30 11:49:00 +0000424 reset_limits(access);
425 }
426}
427
428
Steve Blocka7e24c12009-10-30 11:49:00 +0000429char* StackGuard::ArchiveStackGuard(char* to) {
Steve Block44f0eee2011-05-26 01:26:41 +0100430 ExecutionAccess access(isolate_);
Steve Blocka7e24c12009-10-30 11:49:00 +0000431 memcpy(to, reinterpret_cast<char*>(&thread_local_), sizeof(ThreadLocal));
432 ThreadLocal blank;
Steve Block44f0eee2011-05-26 01:26:41 +0100433
434 // Set the stack limits using the old thread_local_.
435 // TODO(isolates): This was the old semantics of constructing a ThreadLocal
436 // (as the ctor called SetStackLimits, which looked at the
437 // current thread_local_ from StackGuard)-- but is this
438 // really what was intended?
439 isolate_->heap()->SetStackLimits();
Steve Blocka7e24c12009-10-30 11:49:00 +0000440 thread_local_ = blank;
Steve Block44f0eee2011-05-26 01:26:41 +0100441
Steve Blocka7e24c12009-10-30 11:49:00 +0000442 return to + sizeof(ThreadLocal);
443}
444
445
446char* StackGuard::RestoreStackGuard(char* from) {
Steve Block44f0eee2011-05-26 01:26:41 +0100447 ExecutionAccess access(isolate_);
Steve Blocka7e24c12009-10-30 11:49:00 +0000448 memcpy(reinterpret_cast<char*>(&thread_local_), from, sizeof(ThreadLocal));
Steve Block44f0eee2011-05-26 01:26:41 +0100449 isolate_->heap()->SetStackLimits();
Steve Blocka7e24c12009-10-30 11:49:00 +0000450 return from + sizeof(ThreadLocal);
451}
452
453
Steve Blocka7e24c12009-10-30 11:49:00 +0000454void StackGuard::FreeThreadResources() {
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000455 Isolate::PerIsolateThreadData* per_thread =
456 isolate_->FindOrAllocatePerThreadDataForThisThread();
457 per_thread->set_stack_limit(thread_local_.real_climit_);
Steve Blocka7e24c12009-10-30 11:49:00 +0000458}
459
460
461void StackGuard::ThreadLocal::Clear() {
Steve Blockd0582a62009-12-15 09:54:21 +0000462 real_jslimit_ = kIllegalLimit;
Steve Blocka7e24c12009-10-30 11:49:00 +0000463 jslimit_ = kIllegalLimit;
Steve Blockd0582a62009-12-15 09:54:21 +0000464 real_climit_ = kIllegalLimit;
Steve Blocka7e24c12009-10-30 11:49:00 +0000465 climit_ = kIllegalLimit;
466 nesting_ = 0;
467 postpone_interrupts_nesting_ = 0;
468 interrupt_flags_ = 0;
Steve Blocka7e24c12009-10-30 11:49:00 +0000469}
470
471
Ben Murdoch257744e2011-11-30 15:57:28 +0000472bool StackGuard::ThreadLocal::Initialize(Isolate* isolate) {
Steve Block44f0eee2011-05-26 01:26:41 +0100473 bool should_set_stack_limits = false;
Steve Blockd0582a62009-12-15 09:54:21 +0000474 if (real_climit_ == kIllegalLimit) {
Steve Blocka7e24c12009-10-30 11:49:00 +0000475 // Takes the address of the limit variable in order to find out where
476 // the top of stack is right now.
Steve Block1e0659c2011-05-24 12:43:12 +0100477 const uintptr_t kLimitSize = FLAG_stack_size * KB;
Steve Block3ce2e202009-11-05 08:53:23 +0000478 uintptr_t limit = reinterpret_cast<uintptr_t>(&limit) - kLimitSize;
479 ASSERT(reinterpret_cast<uintptr_t>(&limit) > kLimitSize);
Ben Murdoch257744e2011-11-30 15:57:28 +0000480 real_jslimit_ = SimulatorStack::JsLimitFromCLimit(isolate, limit);
481 jslimit_ = SimulatorStack::JsLimitFromCLimit(isolate, limit);
Steve Blockd0582a62009-12-15 09:54:21 +0000482 real_climit_ = limit;
Steve Blocka7e24c12009-10-30 11:49:00 +0000483 climit_ = limit;
Steve Block44f0eee2011-05-26 01:26:41 +0100484 should_set_stack_limits = true;
Steve Blocka7e24c12009-10-30 11:49:00 +0000485 }
486 nesting_ = 0;
487 postpone_interrupts_nesting_ = 0;
488 interrupt_flags_ = 0;
Steve Block44f0eee2011-05-26 01:26:41 +0100489 return should_set_stack_limits;
Steve Blocka7e24c12009-10-30 11:49:00 +0000490}
491
492
493void StackGuard::ClearThread(const ExecutionAccess& lock) {
494 thread_local_.Clear();
Steve Block44f0eee2011-05-26 01:26:41 +0100495 isolate_->heap()->SetStackLimits();
Steve Blocka7e24c12009-10-30 11:49:00 +0000496}
497
498
499void StackGuard::InitThread(const ExecutionAccess& lock) {
Ben Murdoch257744e2011-11-30 15:57:28 +0000500 if (thread_local_.Initialize(isolate_)) isolate_->heap()->SetStackLimits();
501 Isolate::PerIsolateThreadData* per_thread =
502 isolate_->FindOrAllocatePerThreadDataForThisThread();
503 uintptr_t stored_limit = per_thread->stack_limit();
Steve Blocka7e24c12009-10-30 11:49:00 +0000504 // You should hold the ExecutionAccess lock when you call this.
Steve Block44f0eee2011-05-26 01:26:41 +0100505 if (stored_limit != 0) {
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000506 SetStackLimit(stored_limit);
Steve Blocka7e24c12009-10-30 11:49:00 +0000507 }
508}
509
510
511// --- C a l l s t o n a t i v e s ---
512
Steve Block44f0eee2011-05-26 01:26:41 +0100513#define RETURN_NATIVE_CALL(name, argc, argv, has_pending_exception) \
514 do { \
Ben Murdoch8b112d22011-06-08 16:22:53 +0100515 Isolate* isolate = Isolate::Current(); \
Steve Block44f0eee2011-05-26 01:26:41 +0100516 Object** args[argc] = argv; \
517 ASSERT(has_pending_exception != NULL); \
Ben Murdoch8b112d22011-06-08 16:22:53 +0100518 return Call(isolate->name##_fun(), \
519 isolate->js_builtins_object(), argc, args, \
Steve Block44f0eee2011-05-26 01:26:41 +0100520 has_pending_exception); \
Steve Blocka7e24c12009-10-30 11:49:00 +0000521 } while (false)
522
523
524Handle<Object> Execution::ToBoolean(Handle<Object> obj) {
525 // See the similar code in runtime.js:ToBoolean.
526 if (obj->IsBoolean()) return obj;
527 bool result = true;
528 if (obj->IsString()) {
529 result = Handle<String>::cast(obj)->length() != 0;
530 } else if (obj->IsNull() || obj->IsUndefined()) {
531 result = false;
532 } else if (obj->IsNumber()) {
533 double value = obj->Number();
534 result = !((value == 0) || isnan(value));
535 }
Steve Block44f0eee2011-05-26 01:26:41 +0100536 return Handle<Object>(HEAP->ToBoolean(result));
Steve Blocka7e24c12009-10-30 11:49:00 +0000537}
538
539
540Handle<Object> Execution::ToNumber(Handle<Object> obj, bool* exc) {
541 RETURN_NATIVE_CALL(to_number, 1, { obj.location() }, exc);
542}
543
544
545Handle<Object> Execution::ToString(Handle<Object> obj, bool* exc) {
546 RETURN_NATIVE_CALL(to_string, 1, { obj.location() }, exc);
547}
548
549
550Handle<Object> Execution::ToDetailString(Handle<Object> obj, bool* exc) {
551 RETURN_NATIVE_CALL(to_detail_string, 1, { obj.location() }, exc);
552}
553
554
555Handle<Object> Execution::ToObject(Handle<Object> obj, bool* exc) {
556 if (obj->IsJSObject()) return obj;
557 RETURN_NATIVE_CALL(to_object, 1, { obj.location() }, exc);
558}
559
560
561Handle<Object> Execution::ToInteger(Handle<Object> obj, bool* exc) {
562 RETURN_NATIVE_CALL(to_integer, 1, { obj.location() }, exc);
563}
564
565
566Handle<Object> Execution::ToUint32(Handle<Object> obj, bool* exc) {
567 RETURN_NATIVE_CALL(to_uint32, 1, { obj.location() }, exc);
568}
569
570
571Handle<Object> Execution::ToInt32(Handle<Object> obj, bool* exc) {
572 RETURN_NATIVE_CALL(to_int32, 1, { obj.location() }, exc);
573}
574
575
576Handle<Object> Execution::NewDate(double time, bool* exc) {
Steve Block44f0eee2011-05-26 01:26:41 +0100577 Handle<Object> time_obj = FACTORY->NewNumber(time);
Steve Blocka7e24c12009-10-30 11:49:00 +0000578 RETURN_NATIVE_CALL(create_date, 1, { time_obj.location() }, exc);
579}
580
581
582#undef RETURN_NATIVE_CALL
583
584
Ben Murdochf87a2032010-10-22 12:50:53 +0100585Handle<JSRegExp> Execution::NewJSRegExp(Handle<String> pattern,
586 Handle<String> flags,
587 bool* exc) {
Steve Block44f0eee2011-05-26 01:26:41 +0100588 Handle<JSFunction> function = Handle<JSFunction>(
589 pattern->GetIsolate()->global_context()->regexp_function());
Ben Murdochf87a2032010-10-22 12:50:53 +0100590 Handle<Object> re_obj = RegExpImpl::CreateRegExpLiteral(
Steve Block44f0eee2011-05-26 01:26:41 +0100591 function, pattern, flags, exc);
Ben Murdochf87a2032010-10-22 12:50:53 +0100592 if (*exc) return Handle<JSRegExp>();
593 return Handle<JSRegExp>::cast(re_obj);
594}
595
596
Steve Blocka7e24c12009-10-30 11:49:00 +0000597Handle<Object> Execution::CharAt(Handle<String> string, uint32_t index) {
Ben Murdoch8b112d22011-06-08 16:22:53 +0100598 Isolate* isolate = string->GetIsolate();
599 Factory* factory = isolate->factory();
600
Steve Blocka7e24c12009-10-30 11:49:00 +0000601 int int_index = static_cast<int>(index);
602 if (int_index < 0 || int_index >= string->length()) {
Ben Murdoch8b112d22011-06-08 16:22:53 +0100603 return factory->undefined_value();
Steve Blocka7e24c12009-10-30 11:49:00 +0000604 }
605
606 Handle<Object> char_at =
Ben Murdoch8b112d22011-06-08 16:22:53 +0100607 GetProperty(isolate->js_builtins_object(),
608 factory->char_at_symbol());
Steve Blocka7e24c12009-10-30 11:49:00 +0000609 if (!char_at->IsJSFunction()) {
Ben Murdoch8b112d22011-06-08 16:22:53 +0100610 return factory->undefined_value();
Steve Blocka7e24c12009-10-30 11:49:00 +0000611 }
612
613 bool caught_exception;
Ben Murdoch8b112d22011-06-08 16:22:53 +0100614 Handle<Object> index_object = factory->NewNumberFromInt(int_index);
Steve Blocka7e24c12009-10-30 11:49:00 +0000615 Object** index_arg[] = { index_object.location() };
616 Handle<Object> result = TryCall(Handle<JSFunction>::cast(char_at),
617 string,
618 ARRAY_SIZE(index_arg),
619 index_arg,
620 &caught_exception);
621 if (caught_exception) {
Ben Murdoch8b112d22011-06-08 16:22:53 +0100622 return factory->undefined_value();
Steve Blocka7e24c12009-10-30 11:49:00 +0000623 }
624 return result;
625}
626
627
628Handle<JSFunction> Execution::InstantiateFunction(
629 Handle<FunctionTemplateInfo> data, bool* exc) {
Ben Murdoch8b112d22011-06-08 16:22:53 +0100630 Isolate* isolate = data->GetIsolate();
Steve Blocka7e24c12009-10-30 11:49:00 +0000631 // Fast case: see if the function has already been instantiated
632 int serial_number = Smi::cast(data->serial_number())->value();
Steve Block44f0eee2011-05-26 01:26:41 +0100633 Object* elm =
Ben Murdoch8b112d22011-06-08 16:22:53 +0100634 isolate->global_context()->function_cache()->
Steve Block44f0eee2011-05-26 01:26:41 +0100635 GetElementNoExceptionThrown(serial_number);
Steve Blocka7e24c12009-10-30 11:49:00 +0000636 if (elm->IsJSFunction()) return Handle<JSFunction>(JSFunction::cast(elm));
637 // The function has not yet been instantiated in this context; do it.
638 Object** args[1] = { Handle<Object>::cast(data).location() };
639 Handle<Object> result =
Ben Murdoch8b112d22011-06-08 16:22:53 +0100640 Call(isolate->instantiate_fun(),
641 isolate->js_builtins_object(), 1, args, exc);
Steve Blocka7e24c12009-10-30 11:49:00 +0000642 if (*exc) return Handle<JSFunction>::null();
643 return Handle<JSFunction>::cast(result);
644}
645
646
647Handle<JSObject> Execution::InstantiateObject(Handle<ObjectTemplateInfo> data,
648 bool* exc) {
Ben Murdoch8b112d22011-06-08 16:22:53 +0100649 Isolate* isolate = data->GetIsolate();
Steve Blocka7e24c12009-10-30 11:49:00 +0000650 if (data->property_list()->IsUndefined() &&
651 !data->constructor()->IsUndefined()) {
652 // Initialization to make gcc happy.
653 Object* result = NULL;
654 {
Ben Murdoch8b112d22011-06-08 16:22:53 +0100655 HandleScope scope(isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000656 Handle<FunctionTemplateInfo> cons_template =
657 Handle<FunctionTemplateInfo>(
658 FunctionTemplateInfo::cast(data->constructor()));
659 Handle<JSFunction> cons = InstantiateFunction(cons_template, exc);
660 if (*exc) return Handle<JSObject>::null();
661 Handle<Object> value = New(cons, 0, NULL, exc);
662 if (*exc) return Handle<JSObject>::null();
663 result = *value;
664 }
665 ASSERT(!*exc);
666 return Handle<JSObject>(JSObject::cast(result));
667 } else {
668 Object** args[1] = { Handle<Object>::cast(data).location() };
669 Handle<Object> result =
Ben Murdoch8b112d22011-06-08 16:22:53 +0100670 Call(isolate->instantiate_fun(),
671 isolate->js_builtins_object(), 1, args, exc);
Steve Blocka7e24c12009-10-30 11:49:00 +0000672 if (*exc) return Handle<JSObject>::null();
673 return Handle<JSObject>::cast(result);
674 }
675}
676
677
678void Execution::ConfigureInstance(Handle<Object> instance,
679 Handle<Object> instance_template,
680 bool* exc) {
Ben Murdoch8b112d22011-06-08 16:22:53 +0100681 Isolate* isolate = Isolate::Current();
Steve Blocka7e24c12009-10-30 11:49:00 +0000682 Object** args[2] = { instance.location(), instance_template.location() };
Ben Murdoch8b112d22011-06-08 16:22:53 +0100683 Execution::Call(isolate->configure_instance_fun(),
684 isolate->js_builtins_object(), 2, args, exc);
Steve Blocka7e24c12009-10-30 11:49:00 +0000685}
686
687
688Handle<String> Execution::GetStackTraceLine(Handle<Object> recv,
689 Handle<JSFunction> fun,
690 Handle<Object> pos,
691 Handle<Object> is_global) {
Ben Murdoch8b112d22011-06-08 16:22:53 +0100692 Isolate* isolate = fun->GetIsolate();
Steve Blocka7e24c12009-10-30 11:49:00 +0000693 const int argc = 4;
694 Object** args[argc] = { recv.location(),
695 Handle<Object>::cast(fun).location(),
696 pos.location(),
697 is_global.location() };
698 bool caught_exception = false;
Steve Block44f0eee2011-05-26 01:26:41 +0100699 Handle<Object> result =
Ben Murdoch8b112d22011-06-08 16:22:53 +0100700 TryCall(isolate->get_stack_trace_line_fun(),
701 isolate->js_builtins_object(), argc, args,
Steve Block44f0eee2011-05-26 01:26:41 +0100702 &caught_exception);
Ben Murdoch8b112d22011-06-08 16:22:53 +0100703 if (caught_exception || !result->IsString()) {
704 return isolate->factory()->empty_symbol();
705 }
706
Steve Blocka7e24c12009-10-30 11:49:00 +0000707 return Handle<String>::cast(result);
708}
709
710
711static Object* RuntimePreempt() {
Steve Block44f0eee2011-05-26 01:26:41 +0100712 Isolate* isolate = Isolate::Current();
713
Steve Blocka7e24c12009-10-30 11:49:00 +0000714 // Clear the preempt request flag.
Steve Block44f0eee2011-05-26 01:26:41 +0100715 isolate->stack_guard()->Continue(PREEMPT);
Steve Blocka7e24c12009-10-30 11:49:00 +0000716
717 ContextSwitcher::PreemptionReceived();
718
719#ifdef ENABLE_DEBUGGER_SUPPORT
Steve Block44f0eee2011-05-26 01:26:41 +0100720 if (isolate->debug()->InDebugger()) {
Steve Blocka7e24c12009-10-30 11:49:00 +0000721 // If currently in the debugger don't do any actual preemption but record
722 // that preemption occoured while in the debugger.
Steve Block44f0eee2011-05-26 01:26:41 +0100723 isolate->debug()->PreemptionWhileInDebugger();
Steve Blocka7e24c12009-10-30 11:49:00 +0000724 } else {
725 // Perform preemption.
Ben Murdoch257744e2011-11-30 15:57:28 +0000726 v8::Unlocker unlocker(reinterpret_cast<v8::Isolate*>(isolate));
Steve Blocka7e24c12009-10-30 11:49:00 +0000727 Thread::YieldCPU();
728 }
729#else
Steve Block44f0eee2011-05-26 01:26:41 +0100730 { // NOLINT
731 // Perform preemption.
Ben Murdoch257744e2011-11-30 15:57:28 +0000732 v8::Unlocker unlocker(reinterpret_cast<v8::Isolate*>(isolate));
Steve Block44f0eee2011-05-26 01:26:41 +0100733 Thread::YieldCPU();
734 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000735#endif
736
Steve Block44f0eee2011-05-26 01:26:41 +0100737 return isolate->heap()->undefined_value();
Steve Blocka7e24c12009-10-30 11:49:00 +0000738}
739
740
741#ifdef ENABLE_DEBUGGER_SUPPORT
742Object* Execution::DebugBreakHelper() {
Steve Block44f0eee2011-05-26 01:26:41 +0100743 Isolate* isolate = Isolate::Current();
744
Steve Blocka7e24c12009-10-30 11:49:00 +0000745 // Just continue if breaks are disabled.
Steve Block44f0eee2011-05-26 01:26:41 +0100746 if (isolate->debug()->disable_break()) {
747 return isolate->heap()->undefined_value();
Steve Blocka7e24c12009-10-30 11:49:00 +0000748 }
749
Leon Clarkee46be812010-01-19 14:06:41 +0000750 // Ignore debug break during bootstrapping.
Steve Block44f0eee2011-05-26 01:26:41 +0100751 if (isolate->bootstrapper()->IsActive()) {
752 return isolate->heap()->undefined_value();
Leon Clarkee46be812010-01-19 14:06:41 +0000753 }
754
Steve Blocka7e24c12009-10-30 11:49:00 +0000755 {
Ben Murdoch8b112d22011-06-08 16:22:53 +0100756 JavaScriptFrameIterator it(isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000757 ASSERT(!it.done());
758 Object* fun = it.frame()->function();
759 if (fun && fun->IsJSFunction()) {
760 // Don't stop in builtin functions.
761 if (JSFunction::cast(fun)->IsBuiltin()) {
Steve Block44f0eee2011-05-26 01:26:41 +0100762 return isolate->heap()->undefined_value();
Steve Blocka7e24c12009-10-30 11:49:00 +0000763 }
764 GlobalObject* global = JSFunction::cast(fun)->context()->global();
765 // Don't stop in debugger functions.
Steve Block44f0eee2011-05-26 01:26:41 +0100766 if (isolate->debug()->IsDebugGlobal(global)) {
767 return isolate->heap()->undefined_value();
Steve Blocka7e24c12009-10-30 11:49:00 +0000768 }
769 }
770 }
771
772 // Collect the break state before clearing the flags.
773 bool debug_command_only =
Steve Block44f0eee2011-05-26 01:26:41 +0100774 isolate->stack_guard()->IsDebugCommand() &&
775 !isolate->stack_guard()->IsDebugBreak();
Steve Blocka7e24c12009-10-30 11:49:00 +0000776
Leon Clarkee46be812010-01-19 14:06:41 +0000777 // Clear the debug break request flag.
Steve Block44f0eee2011-05-26 01:26:41 +0100778 isolate->stack_guard()->Continue(DEBUGBREAK);
Leon Clarkee46be812010-01-19 14:06:41 +0000779
780 ProcessDebugMesssages(debug_command_only);
781
782 // Return to continue execution.
Steve Block44f0eee2011-05-26 01:26:41 +0100783 return isolate->heap()->undefined_value();
Leon Clarkee46be812010-01-19 14:06:41 +0000784}
785
786void Execution::ProcessDebugMesssages(bool debug_command_only) {
Ben Murdoch8b112d22011-06-08 16:22:53 +0100787 Isolate* isolate = Isolate::Current();
Leon Clarkee46be812010-01-19 14:06:41 +0000788 // Clear the debug command request flag.
Ben Murdoch8b112d22011-06-08 16:22:53 +0100789 isolate->stack_guard()->Continue(DEBUGCOMMAND);
Steve Blocka7e24c12009-10-30 11:49:00 +0000790
Ben Murdoch8b112d22011-06-08 16:22:53 +0100791 HandleScope scope(isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000792 // Enter the debugger. Just continue if we fail to enter the debugger.
793 EnterDebugger debugger;
794 if (debugger.FailedToEnter()) {
Leon Clarkee46be812010-01-19 14:06:41 +0000795 return;
Steve Blocka7e24c12009-10-30 11:49:00 +0000796 }
797
798 // Notify the debug event listeners. Indicate auto continue if the break was
799 // a debug command break.
Ben Murdoch8b112d22011-06-08 16:22:53 +0100800 isolate->debugger()->OnDebugBreak(isolate->factory()->undefined_value(),
801 debug_command_only);
Steve Blocka7e24c12009-10-30 11:49:00 +0000802}
Leon Clarkee46be812010-01-19 14:06:41 +0000803
804
Steve Blocka7e24c12009-10-30 11:49:00 +0000805#endif
806
John Reck59135872010-11-02 12:39:01 -0700807MaybeObject* Execution::HandleStackGuardInterrupt() {
Steve Block44f0eee2011-05-26 01:26:41 +0100808 Isolate* isolate = Isolate::Current();
809 StackGuard* stack_guard = isolate->stack_guard();
810 isolate->counters()->stack_interrupts()->Increment();
811 if (stack_guard->IsRuntimeProfilerTick()) {
812 isolate->counters()->runtime_profiler_ticks()->Increment();
813 stack_guard->Continue(RUNTIME_PROFILER_TICK);
814 isolate->runtime_profiler()->OptimizeNow();
Ben Murdochb0fe1622011-05-05 13:52:32 +0100815 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000816#ifdef ENABLE_DEBUGGER_SUPPORT
Steve Block44f0eee2011-05-26 01:26:41 +0100817 if (stack_guard->IsDebugBreak() || stack_guard->IsDebugCommand()) {
Steve Blocka7e24c12009-10-30 11:49:00 +0000818 DebugBreakHelper();
819 }
820#endif
Steve Block44f0eee2011-05-26 01:26:41 +0100821 if (stack_guard->IsPreempted()) RuntimePreempt();
822 if (stack_guard->IsTerminateExecution()) {
823 stack_guard->Continue(TERMINATE);
824 return isolate->TerminateExecution();
Steve Blocka7e24c12009-10-30 11:49:00 +0000825 }
Steve Block44f0eee2011-05-26 01:26:41 +0100826 if (stack_guard->IsInterrupted()) {
827 stack_guard->Continue(INTERRUPT);
828 return isolate->StackOverflow();
Steve Blocka7e24c12009-10-30 11:49:00 +0000829 }
Steve Block44f0eee2011-05-26 01:26:41 +0100830 return isolate->heap()->undefined_value();
Steve Blocka7e24c12009-10-30 11:49:00 +0000831}
832
Steve Blocka7e24c12009-10-30 11:49:00 +0000833} } // namespace v8::internal