blob: 52c76280eba8b495e271318b5ff383f022b7d776 [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
5#ifndef V8_EXECUTION_H_
6#define V8_EXECUTION_H_
7
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00008#include "src/allocation.h"
9#include "src/base/atomicops.h"
Ben Murdochb8a8cc12014-11-26 15:28:44 +000010#include "src/handles.h"
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000011#include "src/utils.h"
Ben Murdoch257744e2011-11-30 15:57:28 +000012
Steve Blocka7e24c12009-10-30 11:49:00 +000013namespace v8 {
14namespace internal {
15
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000016class Execution final : public AllStatic {
Steve Blocka7e24c12009-10-30 11:49:00 +000017 public:
18 // Call a function, the caller supplies a receiver and an array
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000019 // of arguments.
Steve Blocka7e24c12009-10-30 11:49:00 +000020 //
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000021 // When the function called is not in strict mode, receiver is
22 // converted to an object.
Steve Blocka7e24c12009-10-30 11:49:00 +000023 //
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000024 MUST_USE_RESULT static MaybeHandle<Object> Call(Isolate* isolate,
25 Handle<Object> callable,
26 Handle<Object> receiver,
27 int argc,
28 Handle<Object> argv[]);
Steve Blocka7e24c12009-10-30 11:49:00 +000029
30 // Construct object from function, the caller supplies an array of
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000031 // arguments.
32 MUST_USE_RESULT static MaybeHandle<Object> New(Handle<JSFunction> constructor,
33 int argc,
34 Handle<Object> argv[]);
35 MUST_USE_RESULT static MaybeHandle<Object> New(Isolate* isolate,
36 Handle<Object> constructor,
37 Handle<Object> new_target,
Ben Murdochb8a8cc12014-11-26 15:28:44 +000038 int argc,
39 Handle<Object> argv[]);
Steve Blocka7e24c12009-10-30 11:49:00 +000040
41 // Call a function, just like Call(), but make sure to silently catch
42 // any thrown exceptions. The return value is either the result of
43 // calling the function (if caught exception is false) or the exception
44 // that occurred (if caught exception is true).
Ben Murdochb8a8cc12014-11-26 15:28:44 +000045 // In the exception case, exception_out holds the caught exceptions, unless
46 // it is a termination exception.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000047 static MaybeHandle<Object> TryCall(Isolate* isolate, Handle<Object> callable,
Ben Murdochb8a8cc12014-11-26 15:28:44 +000048 Handle<Object> receiver, int argc,
49 Handle<Object> argv[],
50 MaybeHandle<Object>* exception_out = NULL);
Steve Blocka7e24c12009-10-30 11:49:00 +000051
Steve Blocka7e24c12009-10-30 11:49:00 +000052 static Handle<String> GetStackTraceLine(Handle<Object> recv,
53 Handle<JSFunction> fun,
54 Handle<Object> pos,
55 Handle<Object> is_global);
Steve Blocka7e24c12009-10-30 11:49:00 +000056};
57
58
59class ExecutionAccess;
Ben Murdochb8a8cc12014-11-26 15:28:44 +000060class PostponeInterruptsScope;
Steve Blocka7e24c12009-10-30 11:49:00 +000061
62
63// StackGuard contains the handling of the limits that are used to limit the
64// number of nested invocations of JavaScript and the stack size used in each
65// invocation.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000066class StackGuard final {
Steve Blocka7e24c12009-10-30 11:49:00 +000067 public:
68 // Pass the address beyond which the stack should not grow. The stack
69 // is assumed to grow downwards.
Steve Block44f0eee2011-05-26 01:26:41 +010070 void SetStackLimit(uintptr_t limit);
Steve Blocka7e24c12009-10-30 11:49:00 +000071
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000072 // The simulator uses a separate JS stack. Limits on the JS stack might have
73 // to be adjusted in order to reflect overflows of the C stack, because we
74 // cannot rely on the interleaving of frames on the simulator.
75 void AdjustStackLimitForSimulator();
76
Steve Blocka7e24c12009-10-30 11:49:00 +000077 // Threading support.
Steve Block44f0eee2011-05-26 01:26:41 +010078 char* ArchiveStackGuard(char* to);
79 char* RestoreStackGuard(char* from);
80 static int ArchiveSpacePerThread() { return sizeof(ThreadLocal); }
81 void FreeThreadResources();
Steve Blocka7e24c12009-10-30 11:49:00 +000082 // Sets up the default stack guard for this thread if it has not
83 // already been set up.
Steve Block44f0eee2011-05-26 01:26:41 +010084 void InitThread(const ExecutionAccess& lock);
Steve Blocka7e24c12009-10-30 11:49:00 +000085 // Clears the stack guard for this thread so it does not look as if
86 // it has been set up.
Steve Block44f0eee2011-05-26 01:26:41 +010087 void ClearThread(const ExecutionAccess& lock);
Steve Blocka7e24c12009-10-30 11:49:00 +000088
Ben Murdochb8a8cc12014-11-26 15:28:44 +000089#define INTERRUPT_LIST(V) \
90 V(DEBUGBREAK, DebugBreak, 0) \
91 V(DEBUGCOMMAND, DebugCommand, 1) \
92 V(TERMINATE_EXECUTION, TerminateExecution, 2) \
93 V(GC_REQUEST, GC, 3) \
94 V(INSTALL_CODE, InstallCode, 4) \
95 V(API_INTERRUPT, ApiInterrupt, 5) \
96 V(DEOPT_MARKED_ALLOCATION_SITES, DeoptMarkedAllocationSites, 6)
97
98#define V(NAME, Name, id) \
99 inline bool Check##Name() { return CheckInterrupt(NAME); } \
100 inline void Request##Name() { RequestInterrupt(NAME); } \
101 inline void Clear##Name() { ClearInterrupt(NAME); }
102 INTERRUPT_LIST(V)
103#undef V
104
105 // Flag used to set the interrupt causes.
106 enum InterruptFlag {
107 #define V(NAME, Name, id) NAME = (1 << id),
108 INTERRUPT_LIST(V)
109 #undef V
110 #define V(NAME, Name, id) NAME |
111 ALL_INTERRUPTS = INTERRUPT_LIST(V) 0
112 #undef V
113 };
Steve Blocka7e24c12009-10-30 11:49:00 +0000114
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000115 uintptr_t climit() { return thread_local_.climit(); }
116 uintptr_t jslimit() { return thread_local_.jslimit(); }
Steve Blockd0582a62009-12-15 09:54:21 +0000117 // This provides an asynchronous read of the stack limits for the current
Steve Blocka7e24c12009-10-30 11:49:00 +0000118 // thread. There are no locks protecting this, but it is assumed that you
119 // have the global V8 lock if you are using multiple V8 threads.
Steve Block44f0eee2011-05-26 01:26:41 +0100120 uintptr_t real_climit() {
Shimeng (Simon) Wang8a31eba2010-12-06 19:01:33 -0800121 return thread_local_.real_climit_;
122 }
Steve Block44f0eee2011-05-26 01:26:41 +0100123 uintptr_t real_jslimit() {
Steve Blockd0582a62009-12-15 09:54:21 +0000124 return thread_local_.real_jslimit_;
125 }
Steve Block44f0eee2011-05-26 01:26:41 +0100126 Address address_of_jslimit() {
Steve Blockd0582a62009-12-15 09:54:21 +0000127 return reinterpret_cast<Address>(&thread_local_.jslimit_);
128 }
Steve Block44f0eee2011-05-26 01:26:41 +0100129 Address address_of_real_jslimit() {
Steve Blockd0582a62009-12-15 09:54:21 +0000130 return reinterpret_cast<Address>(&thread_local_.real_jslimit_);
131 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000132
133 // If the stack guard is triggered, but it is not an actual
134 // stack overflow, then handle the interruption accordingly.
135 Object* HandleInterrupts();
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000136 void HandleGCInterrupt();
Steve Blocka7e24c12009-10-30 11:49:00 +0000137
138 private:
Steve Block44f0eee2011-05-26 01:26:41 +0100139 StackGuard();
140
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000141 bool CheckInterrupt(InterruptFlag flag);
142 void RequestInterrupt(InterruptFlag flag);
143 void ClearInterrupt(InterruptFlag flag);
144 bool CheckAndClearInterrupt(InterruptFlag flag);
Steve Blocka7e24c12009-10-30 11:49:00 +0000145
146 // You should hold the ExecutionAccess lock when calling this method.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000147 bool has_pending_interrupts(const ExecutionAccess& lock) {
148 return thread_local_.interrupt_flags_ != 0;
Steve Block6ded16b2010-05-10 14:33:55 +0100149 }
150
151 // You should hold the ExecutionAccess lock when calling this method.
Steve Block44f0eee2011-05-26 01:26:41 +0100152 inline void set_interrupt_limits(const ExecutionAccess& lock);
Steve Blocka7e24c12009-10-30 11:49:00 +0000153
Steve Blockd0582a62009-12-15 09:54:21 +0000154 // Reset limits to actual values. For example after handling interrupt.
Steve Blocka7e24c12009-10-30 11:49:00 +0000155 // You should hold the ExecutionAccess lock when calling this method.
Steve Block44f0eee2011-05-26 01:26:41 +0100156 inline void reset_limits(const ExecutionAccess& lock);
Steve Blocka7e24c12009-10-30 11:49:00 +0000157
158 // Enable or disable interrupts.
Steve Block44f0eee2011-05-26 01:26:41 +0100159 void EnableInterrupts();
160 void DisableInterrupts();
Steve Blocka7e24c12009-10-30 11:49:00 +0000161
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000162#if V8_TARGET_ARCH_64_BIT
Steve Blocka7e24c12009-10-30 11:49:00 +0000163 static const uintptr_t kInterruptLimit = V8_UINT64_C(0xfffffffffffffffe);
164 static const uintptr_t kIllegalLimit = V8_UINT64_C(0xfffffffffffffff8);
165#else
166 static const uintptr_t kInterruptLimit = 0xfffffffe;
167 static const uintptr_t kIllegalLimit = 0xfffffff8;
168#endif
169
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000170 void PushPostponeInterruptsScope(PostponeInterruptsScope* scope);
171 void PopPostponeInterruptsScope();
172
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000173 class ThreadLocal final {
Steve Blocka7e24c12009-10-30 11:49:00 +0000174 public:
175 ThreadLocal() { Clear(); }
176 // You should hold the ExecutionAccess lock when you call Initialize or
177 // Clear.
Steve Blocka7e24c12009-10-30 11:49:00 +0000178 void Clear();
Steve Blockd0582a62009-12-15 09:54:21 +0000179
Steve Block44f0eee2011-05-26 01:26:41 +0100180 // Returns true if the heap's stack limits should be set, false if not.
Ben Murdoch257744e2011-11-30 15:57:28 +0000181 bool Initialize(Isolate* isolate);
Steve Block44f0eee2011-05-26 01:26:41 +0100182
Steve Blockd0582a62009-12-15 09:54:21 +0000183 // The stack limit is split into a JavaScript and a C++ stack limit. These
184 // two are the same except when running on a simulator where the C++ and
185 // JavaScript stacks are separate. Each of the two stack limits have two
186 // values. The one eith the real_ prefix is the actual stack limit
187 // set for the VM. The one without the real_ prefix has the same value as
188 // the actual stack limit except when there is an interruption (e.g. debug
189 // break or preemption) in which case it is lowered to make stack checks
190 // fail. Both the generated code and the runtime system check against the
191 // one without the real_ prefix.
192 uintptr_t real_jslimit_; // Actual JavaScript stack limit set for the VM.
Steve Blockd0582a62009-12-15 09:54:21 +0000193 uintptr_t real_climit_; // Actual C++ stack limit set for the VM.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000194
195 // jslimit_ and climit_ can be read without any lock.
196 // Writing requires the ExecutionAccess lock.
197 base::AtomicWord jslimit_;
198 base::AtomicWord climit_;
199
200 uintptr_t jslimit() {
201 return bit_cast<uintptr_t>(base::NoBarrier_Load(&jslimit_));
202 }
203 void set_jslimit(uintptr_t limit) {
204 return base::NoBarrier_Store(&jslimit_,
205 static_cast<base::AtomicWord>(limit));
206 }
207 uintptr_t climit() {
208 return bit_cast<uintptr_t>(base::NoBarrier_Load(&climit_));
209 }
210 void set_climit(uintptr_t limit) {
211 return base::NoBarrier_Store(&climit_,
212 static_cast<base::AtomicWord>(limit));
213 }
Steve Blockd0582a62009-12-15 09:54:21 +0000214
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000215 PostponeInterruptsScope* postpone_interrupts_;
Steve Blocka7e24c12009-10-30 11:49:00 +0000216 int interrupt_flags_;
217 };
218
Steve Block44f0eee2011-05-26 01:26:41 +0100219 // TODO(isolates): Technically this could be calculated directly from a
220 // pointer to StackGuard.
221 Isolate* isolate_;
222 ThreadLocal thread_local_;
Steve Blocka7e24c12009-10-30 11:49:00 +0000223
Steve Block44f0eee2011-05-26 01:26:41 +0100224 friend class Isolate;
Steve Blocka7e24c12009-10-30 11:49:00 +0000225 friend class StackLimitCheck;
226 friend class PostponeInterruptsScope;
Steve Block44f0eee2011-05-26 01:26:41 +0100227
228 DISALLOW_COPY_AND_ASSIGN(StackGuard);
Steve Blocka7e24c12009-10-30 11:49:00 +0000229};
230
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000231} // namespace internal
232} // namespace v8
Steve Blocka7e24c12009-10-30 11:49:00 +0000233
234#endif // V8_EXECUTION_H_