blob: e6a569f33d967d66bdfc0065ef10c7117a3a091a [file] [log] [blame]
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001// Copyright 2014 the V8 project authors. All rights reserved.
2// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
Steve Blocka7e24c12009-10-30 11:49:00 +00004
Ben Murdochb8a8cc12014-11-26 15:28:44 +00005#include "src/execution.h"
Steve Blocka7e24c12009-10-30 11:49:00 +00006
Ben Murdochb8a8cc12014-11-26 15:28:44 +00007#include "src/bootstrapper.h"
8#include "src/codegen.h"
Ben Murdochb8a8cc12014-11-26 15:28:44 +00009#include "src/isolate-inl.h"
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000010#include "src/messages.h"
Ben Murdochb8a8cc12014-11-26 15:28:44 +000011#include "src/vm-state-inl.h"
Steve Blocka7e24c12009-10-30 11:49:00 +000012
13namespace v8 {
14namespace internal {
15
Steve Block44f0eee2011-05-26 01:26:41 +010016StackGuard::StackGuard()
17 : isolate_(NULL) {
18}
19
20
21void StackGuard::set_interrupt_limits(const ExecutionAccess& lock) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000022 DCHECK(isolate_ != NULL);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000023 thread_local_.set_jslimit(kInterruptLimit);
24 thread_local_.set_climit(kInterruptLimit);
Steve Block44f0eee2011-05-26 01:26:41 +010025 isolate_->heap()->SetStackLimits();
26}
27
28
29void StackGuard::reset_limits(const ExecutionAccess& lock) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000030 DCHECK(isolate_ != NULL);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000031 thread_local_.set_jslimit(thread_local_.real_jslimit_);
32 thread_local_.set_climit(thread_local_.real_climit_);
Steve Block44f0eee2011-05-26 01:26:41 +010033 isolate_->heap()->SetStackLimits();
34}
35
36
Emily Bernierd0a1eb72015-03-24 16:35:39 -040037static void PrintDeserializedCodeInfo(Handle<JSFunction> function) {
38 if (function->code() == function->shared()->code() &&
39 function->shared()->deserialized()) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000040 PrintF("[Running deserialized script");
Emily Bernierd0a1eb72015-03-24 16:35:39 -040041 Object* script = function->shared()->script();
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000042 if (script->IsScript()) {
43 Object* name = Script::cast(script)->name();
44 if (name->IsString()) {
45 PrintF(": %s", String::cast(name)->ToCString().get());
46 }
47 }
48 PrintF("]\n");
Emily Bernierd0a1eb72015-03-24 16:35:39 -040049 }
50}
51
52
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000053namespace {
54
55MUST_USE_RESULT MaybeHandle<Object> Invoke(Isolate* isolate, bool is_construct,
56 Handle<Object> target,
57 Handle<Object> receiver, int argc,
58 Handle<Object> args[],
59 Handle<Object> new_target) {
60 DCHECK(!receiver->IsJSGlobalObject());
Steve Block44f0eee2011-05-26 01:26:41 +010061
Steve Blocka7e24c12009-10-30 11:49:00 +000062 // Entering JavaScript.
Ben Murdochb8a8cc12014-11-26 15:28:44 +000063 VMState<JS> state(isolate);
64 CHECK(AllowJavascriptExecution::IsAllowed(isolate));
65 if (!ThrowOnJavascriptExecution::IsAllowed(isolate)) {
66 isolate->ThrowIllegalOperation();
67 isolate->ReportPendingMessages();
68 return MaybeHandle<Object>();
69 }
Steve Blocka7e24c12009-10-30 11:49:00 +000070
71 // Placeholder for return value.
Ben Murdochb8a8cc12014-11-26 15:28:44 +000072 Object* value = NULL;
Steve Blocka7e24c12009-10-30 11:49:00 +000073
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000074 typedef Object* (*JSEntryFunction)(Object* new_target, Object* target,
75 Object* receiver, int argc,
Ben Murdoch3ef787d2012-04-12 10:51:47 +010076 Object*** args);
Steve Blocka7e24c12009-10-30 11:49:00 +000077
Ben Murdoch3ef787d2012-04-12 10:51:47 +010078 Handle<Code> code = is_construct
79 ? isolate->factory()->js_construct_entry_code()
80 : isolate->factory()->js_entry_code();
Steve Blocka7e24c12009-10-30 11:49:00 +000081
Steve Blocka7e24c12009-10-30 11:49:00 +000082 {
83 // Save and restore context around invocation and block the
84 // allocation of handles without explicit handle scopes.
Steve Block44f0eee2011-05-26 01:26:41 +010085 SaveContext save(isolate);
Ben Murdochb8a8cc12014-11-26 15:28:44 +000086 SealHandleScope shs(isolate);
Ben Murdoch3ef787d2012-04-12 10:51:47 +010087 JSEntryFunction stub_entry = FUNCTION_CAST<JSEntryFunction>(code->entry());
Steve Blocka7e24c12009-10-30 11:49:00 +000088
89 // Call the function through the right JS entry stub.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000090 Object* orig_func = *new_target;
91 Object* func = *target;
Ben Murdoch3ef787d2012-04-12 10:51:47 +010092 Object* recv = *receiver;
93 Object*** argv = reinterpret_cast<Object***>(args);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000094 if (FLAG_profile_deserialization && target->IsJSFunction()) {
95 PrintDeserializedCodeInfo(Handle<JSFunction>::cast(target));
96 }
97 value = CALL_GENERATED_CODE(isolate, stub_entry, orig_func, func, recv,
98 argc, argv);
Steve Blocka7e24c12009-10-30 11:49:00 +000099 }
100
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000101#ifdef VERIFY_HEAP
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000102 if (FLAG_verify_heap) {
103 value->ObjectVerify();
104 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000105#endif
106
107 // Update the pending exception flag and return the value.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000108 bool has_exception = value->IsException();
109 DCHECK(has_exception == isolate->has_pending_exception());
110 if (has_exception) {
Steve Block44f0eee2011-05-26 01:26:41 +0100111 isolate->ReportPendingMessages();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000112 return MaybeHandle<Object>();
Steve Blocka7e24c12009-10-30 11:49:00 +0000113 } else {
Steve Block44f0eee2011-05-26 01:26:41 +0100114 isolate->clear_pending_message();
Steve Blocka7e24c12009-10-30 11:49:00 +0000115 }
116
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000117 return Handle<Object>(value, isolate);
Steve Blocka7e24c12009-10-30 11:49:00 +0000118}
119
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000120} // namespace
Steve Blocka7e24c12009-10-30 11:49:00 +0000121
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000122
123// static
124MaybeHandle<Object> Execution::Call(Isolate* isolate, Handle<Object> callable,
125 Handle<Object> receiver, int argc,
126 Handle<Object> argv[]) {
127 // Convert calls on global objects to be calls on the global
128 // receiver instead to avoid having a 'this' pointer which refers
129 // directly to a global object.
130 if (receiver->IsJSGlobalObject()) {
131 receiver =
132 handle(Handle<JSGlobalObject>::cast(receiver)->global_proxy(), isolate);
Ben Murdoch257744e2011-11-30 15:57:28 +0000133 }
Ben Murdoch589d6972011-11-30 16:04:58 +0000134
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000135 // api callbacks can be called directly.
136 if (callable->IsJSFunction() &&
137 Handle<JSFunction>::cast(callable)->shared()->IsApiFunction()) {
138 Handle<JSFunction> function = Handle<JSFunction>::cast(callable);
139 SaveContext save(isolate);
140 isolate->set_context(function->context());
141 // Do proper receiver conversion for non-strict mode api functions.
142 if (!receiver->IsJSReceiver() &&
143 is_sloppy(function->shared()->language_mode())) {
144 if (receiver->IsUndefined() || receiver->IsNull()) {
145 receiver = handle(function->global_proxy(), isolate);
146 } else {
Ben Murdoch097c5b22016-05-18 11:27:45 +0100147 ASSIGN_RETURN_ON_EXCEPTION(isolate, receiver,
148 Object::ToObject(isolate, receiver), Object);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000149 }
Ben Murdoch589d6972011-11-30 16:04:58 +0000150 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000151 DCHECK(function->context()->global_object()->IsJSGlobalObject());
152 auto value = Builtins::InvokeApiFunction(function, receiver, argc, argv);
153 bool has_exception = value.is_null();
154 DCHECK(has_exception == isolate->has_pending_exception());
155 if (has_exception) {
156 isolate->ReportPendingMessages();
157 return MaybeHandle<Object>();
158 } else {
159 isolate->clear_pending_message();
160 }
161 return value;
Ben Murdoch589d6972011-11-30 16:04:58 +0000162 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000163 return Invoke(isolate, false, callable, receiver, argc, argv,
164 isolate->factory()->undefined_value());
Steve Blocka7e24c12009-10-30 11:49:00 +0000165}
166
167
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000168// static
169MaybeHandle<Object> Execution::New(Handle<JSFunction> constructor, int argc,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000170 Handle<Object> argv[]) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000171 return New(constructor->GetIsolate(), constructor, constructor, argc, argv);
Steve Blocka7e24c12009-10-30 11:49:00 +0000172}
173
174
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000175// static
176MaybeHandle<Object> Execution::New(Isolate* isolate, Handle<Object> constructor,
177 Handle<Object> new_target, int argc,
178 Handle<Object> argv[]) {
179 return Invoke(isolate, true, constructor,
180 isolate->factory()->undefined_value(), argc, argv, new_target);
181}
182
183
184MaybeHandle<Object> Execution::TryCall(Isolate* isolate,
185 Handle<Object> callable,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000186 Handle<Object> receiver, int argc,
187 Handle<Object> args[],
188 MaybeHandle<Object>* exception_out) {
189 bool is_termination = false;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000190 MaybeHandle<Object> maybe_result;
191 if (exception_out != NULL) *exception_out = MaybeHandle<Object>();
Steve Blocka7e24c12009-10-30 11:49:00 +0000192 // Enter a try-block while executing the JavaScript code. To avoid
193 // duplicate error printing it must be non-verbose. Also, to avoid
194 // creating message objects during stack overflow we shouldn't
195 // capture messages.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000196 {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000197 v8::TryCatch catcher(reinterpret_cast<v8::Isolate*>(isolate));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000198 catcher.SetVerbose(false);
199 catcher.SetCaptureMessage(false);
Steve Blocka7e24c12009-10-30 11:49:00 +0000200
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000201 maybe_result = Call(isolate, callable, receiver, argc, args);
Steve Blocka7e24c12009-10-30 11:49:00 +0000202
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000203 if (maybe_result.is_null()) {
204 DCHECK(catcher.HasCaught());
205 DCHECK(isolate->has_pending_exception());
206 DCHECK(isolate->external_caught_exception());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000207 if (isolate->pending_exception() ==
208 isolate->heap()->termination_exception()) {
209 is_termination = true;
210 } else {
211 if (exception_out != NULL) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000212 *exception_out = v8::Utils::OpenHandle(*catcher.Exception());
213 }
214 }
215 isolate->OptionalRescheduleException(true);
Steve Blocka7e24c12009-10-30 11:49:00 +0000216 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000217
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000218 DCHECK(!isolate->has_pending_exception());
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000219 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000220
221 // Re-request terminate execution interrupt to trigger later.
222 if (is_termination) isolate->stack_guard()->RequestTerminateExecution();
223
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000224 return maybe_result;
Steve Blocka7e24c12009-10-30 11:49:00 +0000225}
226
227
Steve Blocka7e24c12009-10-30 11:49:00 +0000228void StackGuard::SetStackLimit(uintptr_t limit) {
Steve Block44f0eee2011-05-26 01:26:41 +0100229 ExecutionAccess access(isolate_);
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100230 // If the current limits are special (e.g. due to a pending interrupt) then
Steve Blocka7e24c12009-10-30 11:49:00 +0000231 // leave them alone.
Ben Murdoch257744e2011-11-30 15:57:28 +0000232 uintptr_t jslimit = SimulatorStack::JsLimitFromCLimit(isolate_, limit);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000233 if (thread_local_.jslimit() == thread_local_.real_jslimit_) {
234 thread_local_.set_jslimit(jslimit);
Steve Blocka7e24c12009-10-30 11:49:00 +0000235 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000236 if (thread_local_.climit() == thread_local_.real_climit_) {
237 thread_local_.set_climit(limit);
Steve Blocka7e24c12009-10-30 11:49:00 +0000238 }
Steve Blockd0582a62009-12-15 09:54:21 +0000239 thread_local_.real_climit_ = limit;
240 thread_local_.real_jslimit_ = jslimit;
Steve Blocka7e24c12009-10-30 11:49:00 +0000241}
242
243
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000244void StackGuard::AdjustStackLimitForSimulator() {
245 ExecutionAccess access(isolate_);
246 uintptr_t climit = thread_local_.real_climit_;
247 // If the current limits are special (e.g. due to a pending interrupt) then
248 // leave them alone.
249 uintptr_t jslimit = SimulatorStack::JsLimitFromCLimit(isolate_, climit);
250 if (thread_local_.jslimit() == thread_local_.real_jslimit_) {
251 thread_local_.set_jslimit(jslimit);
252 isolate_->heap()->SetStackLimits();
253 }
254}
255
256
257void StackGuard::EnableInterrupts() {
258 ExecutionAccess access(isolate_);
259 if (has_pending_interrupts(access)) {
260 set_interrupt_limits(access);
261 }
262}
263
264
Steve Blocka7e24c12009-10-30 11:49:00 +0000265void StackGuard::DisableInterrupts() {
Steve Block44f0eee2011-05-26 01:26:41 +0100266 ExecutionAccess access(isolate_);
Steve Blocka7e24c12009-10-30 11:49:00 +0000267 reset_limits(access);
268}
269
270
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000271void StackGuard::PushPostponeInterruptsScope(PostponeInterruptsScope* scope) {
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100272 ExecutionAccess access(isolate_);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000273 // Intercept already requested interrupts.
274 int intercepted = thread_local_.interrupt_flags_ & scope->intercept_mask_;
275 scope->intercepted_flags_ = intercepted;
276 thread_local_.interrupt_flags_ &= ~intercepted;
277 if (!has_pending_interrupts(access)) reset_limits(access);
278 // Add scope to the chain.
279 scope->prev_ = thread_local_.postpone_interrupts_;
280 thread_local_.postpone_interrupts_ = scope;
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100281}
282
283
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000284void StackGuard::PopPostponeInterruptsScope() {
Steve Block44f0eee2011-05-26 01:26:41 +0100285 ExecutionAccess access(isolate_);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000286 PostponeInterruptsScope* top = thread_local_.postpone_interrupts_;
287 // Make intercepted interrupts active.
288 DCHECK((thread_local_.interrupt_flags_ & top->intercept_mask_) == 0);
289 thread_local_.interrupt_flags_ |= top->intercepted_flags_;
290 if (has_pending_interrupts(access)) set_interrupt_limits(access);
291 // Remove scope from chain.
292 thread_local_.postpone_interrupts_ = top->prev_;
Steve Blocka7e24c12009-10-30 11:49:00 +0000293}
294
295
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000296bool StackGuard::CheckInterrupt(InterruptFlag flag) {
Steve Block44f0eee2011-05-26 01:26:41 +0100297 ExecutionAccess access(isolate_);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000298 return thread_local_.interrupt_flags_ & flag;
299}
300
301
302void StackGuard::RequestInterrupt(InterruptFlag flag) {
303 ExecutionAccess access(isolate_);
304 // Check the chain of PostponeInterruptsScopes for interception.
305 if (thread_local_.postpone_interrupts_ &&
306 thread_local_.postpone_interrupts_->Intercept(flag)) {
307 return;
308 }
309
310 // Not intercepted. Set as active interrupt flag.
311 thread_local_.interrupt_flags_ |= flag;
Steve Block6ded16b2010-05-10 14:33:55 +0100312 set_interrupt_limits(access);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000313
314 // If this isolate is waiting in a futex, notify it to wake up.
315 isolate_->futex_wait_list_node()->NotifyWake();
Steve Blocka7e24c12009-10-30 11:49:00 +0000316}
317
318
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000319void StackGuard::ClearInterrupt(InterruptFlag flag) {
Steve Block44f0eee2011-05-26 01:26:41 +0100320 ExecutionAccess access(isolate_);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000321 // Clear the interrupt flag from the chain of PostponeInterruptsScopes.
322 for (PostponeInterruptsScope* current = thread_local_.postpone_interrupts_;
323 current != NULL;
324 current = current->prev_) {
325 current->intercepted_flags_ &= ~flag;
Ben Murdochb0fe1622011-05-05 13:52:32 +0100326 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000327
328 // Clear the interrupt flag from the active interrupt flags.
329 thread_local_.interrupt_flags_ &= ~flag;
330 if (!has_pending_interrupts(access)) reset_limits(access);
Ben Murdochb0fe1622011-05-05 13:52:32 +0100331}
332
333
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000334bool StackGuard::CheckAndClearInterrupt(InterruptFlag flag) {
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100335 ExecutionAccess access(isolate_);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000336 bool result = (thread_local_.interrupt_flags_ & flag);
337 thread_local_.interrupt_flags_ &= ~flag;
338 if (!has_pending_interrupts(access)) reset_limits(access);
339 return result;
Steve Blocka7e24c12009-10-30 11:49:00 +0000340}
341
342
Steve Blocka7e24c12009-10-30 11:49:00 +0000343char* StackGuard::ArchiveStackGuard(char* to) {
Steve Block44f0eee2011-05-26 01:26:41 +0100344 ExecutionAccess access(isolate_);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000345 MemCopy(to, reinterpret_cast<char*>(&thread_local_), sizeof(ThreadLocal));
Steve Blocka7e24c12009-10-30 11:49:00 +0000346 ThreadLocal blank;
Steve Block44f0eee2011-05-26 01:26:41 +0100347
348 // Set the stack limits using the old thread_local_.
349 // TODO(isolates): This was the old semantics of constructing a ThreadLocal
350 // (as the ctor called SetStackLimits, which looked at the
351 // current thread_local_ from StackGuard)-- but is this
352 // really what was intended?
353 isolate_->heap()->SetStackLimits();
Steve Blocka7e24c12009-10-30 11:49:00 +0000354 thread_local_ = blank;
Steve Block44f0eee2011-05-26 01:26:41 +0100355
Steve Blocka7e24c12009-10-30 11:49:00 +0000356 return to + sizeof(ThreadLocal);
357}
358
359
360char* StackGuard::RestoreStackGuard(char* from) {
Steve Block44f0eee2011-05-26 01:26:41 +0100361 ExecutionAccess access(isolate_);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000362 MemCopy(reinterpret_cast<char*>(&thread_local_), from, sizeof(ThreadLocal));
Steve Block44f0eee2011-05-26 01:26:41 +0100363 isolate_->heap()->SetStackLimits();
Steve Blocka7e24c12009-10-30 11:49:00 +0000364 return from + sizeof(ThreadLocal);
365}
366
367
Steve Blocka7e24c12009-10-30 11:49:00 +0000368void StackGuard::FreeThreadResources() {
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000369 Isolate::PerIsolateThreadData* per_thread =
370 isolate_->FindOrAllocatePerThreadDataForThisThread();
371 per_thread->set_stack_limit(thread_local_.real_climit_);
Steve Blocka7e24c12009-10-30 11:49:00 +0000372}
373
374
375void StackGuard::ThreadLocal::Clear() {
Steve Blockd0582a62009-12-15 09:54:21 +0000376 real_jslimit_ = kIllegalLimit;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000377 set_jslimit(kIllegalLimit);
Steve Blockd0582a62009-12-15 09:54:21 +0000378 real_climit_ = kIllegalLimit;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000379 set_climit(kIllegalLimit);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000380 postpone_interrupts_ = NULL;
Steve Blocka7e24c12009-10-30 11:49:00 +0000381 interrupt_flags_ = 0;
Steve Blocka7e24c12009-10-30 11:49:00 +0000382}
383
384
Ben Murdoch257744e2011-11-30 15:57:28 +0000385bool StackGuard::ThreadLocal::Initialize(Isolate* isolate) {
Steve Block44f0eee2011-05-26 01:26:41 +0100386 bool should_set_stack_limits = false;
Steve Blockd0582a62009-12-15 09:54:21 +0000387 if (real_climit_ == kIllegalLimit) {
Steve Block1e0659c2011-05-24 12:43:12 +0100388 const uintptr_t kLimitSize = FLAG_stack_size * KB;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000389 DCHECK(GetCurrentStackPosition() > kLimitSize);
390 uintptr_t limit = GetCurrentStackPosition() - kLimitSize;
Ben Murdoch257744e2011-11-30 15:57:28 +0000391 real_jslimit_ = SimulatorStack::JsLimitFromCLimit(isolate, limit);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000392 set_jslimit(SimulatorStack::JsLimitFromCLimit(isolate, limit));
Steve Blockd0582a62009-12-15 09:54:21 +0000393 real_climit_ = limit;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000394 set_climit(limit);
Steve Block44f0eee2011-05-26 01:26:41 +0100395 should_set_stack_limits = true;
Steve Blocka7e24c12009-10-30 11:49:00 +0000396 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000397 postpone_interrupts_ = NULL;
Steve Blocka7e24c12009-10-30 11:49:00 +0000398 interrupt_flags_ = 0;
Steve Block44f0eee2011-05-26 01:26:41 +0100399 return should_set_stack_limits;
Steve Blocka7e24c12009-10-30 11:49:00 +0000400}
401
402
403void StackGuard::ClearThread(const ExecutionAccess& lock) {
404 thread_local_.Clear();
Steve Block44f0eee2011-05-26 01:26:41 +0100405 isolate_->heap()->SetStackLimits();
Steve Blocka7e24c12009-10-30 11:49:00 +0000406}
407
408
409void StackGuard::InitThread(const ExecutionAccess& lock) {
Ben Murdoch257744e2011-11-30 15:57:28 +0000410 if (thread_local_.Initialize(isolate_)) isolate_->heap()->SetStackLimits();
411 Isolate::PerIsolateThreadData* per_thread =
412 isolate_->FindOrAllocatePerThreadDataForThisThread();
413 uintptr_t stored_limit = per_thread->stack_limit();
Steve Blocka7e24c12009-10-30 11:49:00 +0000414 // You should hold the ExecutionAccess lock when you call this.
Steve Block44f0eee2011-05-26 01:26:41 +0100415 if (stored_limit != 0) {
Ben Murdoch3fb3ca82011-12-02 17:19:32 +0000416 SetStackLimit(stored_limit);
Steve Blocka7e24c12009-10-30 11:49:00 +0000417 }
418}
419
420
421// --- C a l l s t o n a t i v e s ---
422
Steve Blocka7e24c12009-10-30 11:49:00 +0000423
Steve Blocka7e24c12009-10-30 11:49:00 +0000424Handle<String> Execution::GetStackTraceLine(Handle<Object> recv,
425 Handle<JSFunction> fun,
426 Handle<Object> pos,
427 Handle<Object> is_global) {
Ben Murdoch8b112d22011-06-08 16:22:53 +0100428 Isolate* isolate = fun->GetIsolate();
Ben Murdoch3ef787d2012-04-12 10:51:47 +0100429 Handle<Object> args[] = { recv, fun, pos, is_global };
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000430 MaybeHandle<Object> maybe_result =
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000431 TryCall(isolate, isolate->get_stack_trace_line_fun(),
432 isolate->factory()->undefined_value(), arraysize(args), args);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000433 Handle<Object> result;
434 if (!maybe_result.ToHandle(&result) || !result->IsString()) {
435 return isolate->factory()->empty_string();
Ben Murdoch8b112d22011-06-08 16:22:53 +0100436 }
437
Steve Blocka7e24c12009-10-30 11:49:00 +0000438 return Handle<String>::cast(result);
439}
440
441
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000442void StackGuard::HandleGCInterrupt() {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000443 if (CheckAndClearInterrupt(GC_REQUEST)) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000444 isolate_->heap()->HandleGCRequest();
445 }
446}
447
448
449Object* StackGuard::HandleInterrupts() {
450 if (FLAG_verify_predictable) {
451 // Advance synthetic time by making a time request.
452 isolate_->heap()->MonotonicallyIncreasingTimeInMs();
453 }
454
455 if (CheckAndClearInterrupt(GC_REQUEST)) {
456 isolate_->heap()->HandleGCRequest();
Steve Blocka7e24c12009-10-30 11:49:00 +0000457 }
Steve Blocka7e24c12009-10-30 11:49:00 +0000458
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000459 if (CheckDebugBreak() || CheckDebugCommand()) {
460 isolate_->debug()->HandleDebugBreak();
461 }
462
463 if (CheckAndClearInterrupt(TERMINATE_EXECUTION)) {
464 return isolate_->TerminateExecution();
465 }
466
467 if (CheckAndClearInterrupt(DEOPT_MARKED_ALLOCATION_SITES)) {
468 isolate_->heap()->DeoptMarkedAllocationSites();
469 }
470
471 if (CheckAndClearInterrupt(INSTALL_CODE)) {
472 DCHECK(isolate_->concurrent_recompilation_enabled());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000473 isolate_->optimizing_compile_dispatcher()->InstallOptimizedFunctions();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000474 }
475
476 if (CheckAndClearInterrupt(API_INTERRUPT)) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400477 // Callbacks must be invoked outside of ExecusionAccess lock.
478 isolate_->InvokeApiInterruptCallbacks();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000479 }
480
481 isolate_->counters()->stack_interrupts()->Increment();
482 isolate_->counters()->runtime_profiler_ticks()->Increment();
Ben Murdoch097c5b22016-05-18 11:27:45 +0100483 isolate_->runtime_profiler()->MarkCandidatesForOptimization();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000484
485 return isolate_->heap()->undefined_value();
Steve Blocka7e24c12009-10-30 11:49:00 +0000486}
487
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000488} // namespace internal
489} // namespace v8