]>
Commit | Line | Data |
---|---|---|
9dae56ea | 1 | /* |
f9bf01c6 | 2 | * Copyright (C) 2008, 2009 Apple Inc. All rights reserved. |
9dae56ea A |
3 | * |
4 | * Redistribution and use in source and binary forms, with or without | |
5 | * modification, are permitted provided that the following conditions | |
6 | * are met: | |
7 | * | |
8 | * 1. Redistributions of source code must retain the above copyright | |
9 | * notice, this list of conditions and the following disclaimer. | |
10 | * 2. Redistributions in binary form must reproduce the above copyright | |
11 | * notice, this list of conditions and the following disclaimer in the | |
12 | * documentation and/or other materials provided with the distribution. | |
13 | * 3. Neither the name of Apple Computer, Inc. ("Apple") nor the names of | |
14 | * its contributors may be used to endorse or promote products derived | |
15 | * from this software without specific prior written permission. | |
16 | * | |
17 | * THIS SOFTWARE IS PROVIDED BY APPLE AND ITS CONTRIBUTORS "AS IS" AND ANY | |
18 | * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED | |
19 | * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE | |
20 | * DISCLAIMED. IN NO EVENT SHALL APPLE OR ITS CONTRIBUTORS BE LIABLE FOR ANY | |
21 | * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES | |
22 | * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; | |
23 | * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND | |
24 | * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT | |
25 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF | |
26 | * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | |
27 | */ | |
28 | ||
29 | #ifndef RegisterFile_h | |
30 | #define RegisterFile_h | |
31 | ||
9dae56ea | 32 | #include "Collector.h" |
ba379fdc A |
33 | #include "ExecutableAllocator.h" |
34 | #include "Register.h" | |
f9bf01c6 | 35 | #include <stdio.h> |
9dae56ea | 36 | #include <wtf/Noncopyable.h> |
ba379fdc | 37 | #include <wtf/VMTags.h> |
9dae56ea A |
38 | |
39 | #if HAVE(MMAP) | |
40 | #include <errno.h> | |
9dae56ea A |
41 | #include <sys/mman.h> |
42 | #endif | |
43 | ||
44 | namespace JSC { | |
45 | ||
46 | /* | |
47 | A register file is a stack of register frames. We represent a register | |
48 | frame by its offset from "base", the logical first entry in the register | |
49 | file. The bottom-most register frame's offset from base is 0. | |
50 | ||
51 | In a program where function "a" calls function "b" (global code -> a -> b), | |
52 | the register file might look like this: | |
53 | ||
54 | | global frame | call frame | call frame | spare capacity | | |
55 | ----------------------------------------------------------------------------------------------------- | |
56 | | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | | | | | | <-- index in buffer | |
57 | ----------------------------------------------------------------------------------------------------- | |
58 | | -3 | -2 | -1 | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | | | | | | <-- index relative to base | |
59 | ----------------------------------------------------------------------------------------------------- | |
60 | | <-globals | temps-> | <-vars | temps-> | <-vars | | |
61 | ^ ^ ^ ^ | |
62 | | | | | | |
63 | buffer base (frame 0) frame 1 frame 2 | |
64 | ||
65 | Since all variables, including globals, are accessed by negative offsets | |
66 | from their register frame pointers, to keep old global offsets correct, new | |
67 | globals must appear at the beginning of the register file, shifting base | |
68 | to the right. | |
69 | ||
70 | If we added one global variable to the register file depicted above, it | |
71 | would look like this: | |
72 | ||
73 | | global frame |< > | |
74 | -------------------------------> < | |
75 | | 0 | 1 | 2 | 3 | 4 | 5 |< >snip< > <-- index in buffer | |
76 | -------------------------------> < | |
77 | | -4 | -3 | -2 | -1 | 0 | 1 |< > <-- index relative to base | |
78 | -------------------------------> < | |
79 | | <-globals | temps-> | | |
80 | ^ ^ | |
81 | | | | |
82 | buffer base (frame 0) | |
83 | ||
84 | As you can see, global offsets relative to base have stayed constant, | |
85 | but base itself has moved. To keep up with possible changes to base, | |
86 | clients keep an indirect pointer, so their calculations update | |
87 | automatically when base changes. | |
88 | ||
89 | For client simplicity, the RegisterFile measures size and capacity from | |
90 | "base", not "buffer". | |
91 | */ | |
92 | ||
93 | class JSGlobalObject; | |
94 | ||
f9bf01c6 | 95 | class RegisterFile : public Noncopyable { |
9dae56ea A |
96 | friend class JIT; |
97 | public: | |
98 | enum CallFrameHeaderEntry { | |
99 | CallFrameHeaderSize = 8, | |
100 | ||
101 | CodeBlock = -8, | |
102 | ScopeChain = -7, | |
103 | CallerFrame = -6, | |
104 | ReturnPC = -5, // This is either an Instruction* or a pointer into JIT generated code stored as an Instruction*. | |
105 | ReturnValueRegister = -4, | |
106 | ArgumentCount = -3, | |
107 | Callee = -2, | |
108 | OptionalCalleeArguments = -1, | |
109 | }; | |
110 | ||
111 | enum { ProgramCodeThisRegister = -CallFrameHeaderSize - 1 }; | |
112 | enum { ArgumentsRegister = 0 }; | |
113 | ||
114 | static const size_t defaultCapacity = 524288; | |
115 | static const size_t defaultMaxGlobals = 8192; | |
ba379fdc A |
116 | static const size_t commitSize = 1 << 14; |
117 | // Allow 8k of excess registers before we start trying to reap the registerfile | |
118 | static const ptrdiff_t maxExcessCapacity = 8 * 1024; | |
9dae56ea | 119 | |
ba379fdc | 120 | RegisterFile(size_t capacity = defaultCapacity, size_t maxGlobals = defaultMaxGlobals); |
9dae56ea A |
121 | ~RegisterFile(); |
122 | ||
123 | Register* start() const { return m_start; } | |
124 | Register* end() const { return m_end; } | |
125 | size_t size() const { return m_end - m_start; } | |
126 | ||
127 | void setGlobalObject(JSGlobalObject* globalObject) { m_globalObject = globalObject; } | |
128 | JSGlobalObject* globalObject() { return m_globalObject; } | |
129 | ||
ba379fdc A |
130 | bool grow(Register* newEnd); |
131 | void shrink(Register* newEnd); | |
9dae56ea A |
132 | |
133 | void setNumGlobals(size_t numGlobals) { m_numGlobals = numGlobals; } | |
134 | int numGlobals() const { return m_numGlobals; } | |
135 | size_t maxGlobals() const { return m_maxGlobals; } | |
136 | ||
137 | Register* lastGlobal() const { return m_start - m_numGlobals; } | |
138 | ||
f9bf01c6 A |
139 | void markGlobals(MarkStack& markStack, Heap* heap) { heap->markConservatively(markStack, lastGlobal(), m_start); } |
140 | void markCallFrames(MarkStack& markStack, Heap* heap) { heap->markConservatively(markStack, m_start, m_end); } | |
9dae56ea A |
141 | |
142 | private: | |
ba379fdc | 143 | void releaseExcessCapacity(); |
9dae56ea A |
144 | size_t m_numGlobals; |
145 | const size_t m_maxGlobals; | |
146 | Register* m_start; | |
147 | Register* m_end; | |
148 | Register* m_max; | |
149 | Register* m_buffer; | |
ba379fdc A |
150 | Register* m_maxUsed; |
151 | ||
9dae56ea | 152 | #if HAVE(VIRTUALALLOC) |
ba379fdc | 153 | Register* m_commitEnd; |
9dae56ea A |
154 | #endif |
155 | ||
156 | JSGlobalObject* m_globalObject; // The global object whose vars are currently stored in the register file. | |
157 | }; | |
158 | ||
ba379fdc A |
159 | // FIXME: Add a generic getpagesize() to WTF, then move this function to WTF as well. |
160 | inline bool isPageAligned(size_t size) { return size != 0 && size % (8 * 1024) == 0; } | |
161 | ||
162 | inline RegisterFile::RegisterFile(size_t capacity, size_t maxGlobals) | |
163 | : m_numGlobals(0) | |
164 | , m_maxGlobals(maxGlobals) | |
165 | , m_start(0) | |
166 | , m_end(0) | |
167 | , m_max(0) | |
168 | , m_buffer(0) | |
169 | , m_globalObject(0) | |
170 | { | |
171 | // Verify that our values will play nice with mmap and VirtualAlloc. | |
172 | ASSERT(isPageAligned(maxGlobals)); | |
173 | ASSERT(isPageAligned(capacity)); | |
174 | ||
175 | size_t bufferLength = (capacity + maxGlobals) * sizeof(Register); | |
176 | #if HAVE(MMAP) | |
177 | m_buffer = static_cast<Register*>(mmap(0, bufferLength, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANON, VM_TAG_FOR_REGISTERFILE_MEMORY, 0)); | |
178 | if (m_buffer == MAP_FAILED) { | |
f9bf01c6 | 179 | #if OS(WINCE) |
ba379fdc A |
180 | fprintf(stderr, "Could not allocate register file: %d\n", GetLastError()); |
181 | #else | |
182 | fprintf(stderr, "Could not allocate register file: %d\n", errno); | |
183 | #endif | |
184 | CRASH(); | |
185 | } | |
186 | #elif HAVE(VIRTUALALLOC) | |
187 | m_buffer = static_cast<Register*>(VirtualAlloc(0, roundUpAllocationSize(bufferLength, commitSize), MEM_RESERVE, PAGE_READWRITE)); | |
188 | if (!m_buffer) { | |
f9bf01c6 | 189 | #if OS(WINCE) |
ba379fdc A |
190 | fprintf(stderr, "Could not allocate register file: %d\n", GetLastError()); |
191 | #else | |
192 | fprintf(stderr, "Could not allocate register file: %d\n", errno); | |
193 | #endif | |
194 | CRASH(); | |
195 | } | |
196 | size_t committedSize = roundUpAllocationSize(maxGlobals * sizeof(Register), commitSize); | |
197 | void* commitCheck = VirtualAlloc(m_buffer, committedSize, MEM_COMMIT, PAGE_READWRITE); | |
198 | if (commitCheck != m_buffer) { | |
f9bf01c6 | 199 | #if OS(WINCE) |
ba379fdc A |
200 | fprintf(stderr, "Could not allocate register file: %d\n", GetLastError()); |
201 | #else | |
202 | fprintf(stderr, "Could not allocate register file: %d\n", errno); | |
203 | #endif | |
204 | CRASH(); | |
205 | } | |
206 | m_commitEnd = reinterpret_cast<Register*>(reinterpret_cast<char*>(m_buffer) + committedSize); | |
f9bf01c6 A |
207 | #else |
208 | /* | |
209 | * If neither MMAP nor VIRTUALALLOC are available - use fastMalloc instead. | |
210 | * | |
211 | * Please note that this is the fallback case, which is non-optimal. | |
212 | * If any possible, the platform should provide for a better memory | |
213 | * allocation mechanism that allows for "lazy commit" or dynamic | |
214 | * pre-allocation, similar to mmap or VirtualAlloc, to avoid waste of memory. | |
215 | */ | |
216 | m_buffer = static_cast<Register*>(fastMalloc(bufferLength)); | |
ba379fdc A |
217 | #endif |
218 | m_start = m_buffer + maxGlobals; | |
219 | m_end = m_start; | |
220 | m_maxUsed = m_end; | |
221 | m_max = m_start + capacity; | |
222 | } | |
223 | ||
224 | inline void RegisterFile::shrink(Register* newEnd) | |
225 | { | |
226 | if (newEnd >= m_end) | |
227 | return; | |
228 | m_end = newEnd; | |
229 | if (m_end == m_start && (m_maxUsed - m_start) > maxExcessCapacity) | |
230 | releaseExcessCapacity(); | |
231 | } | |
232 | ||
233 | inline bool RegisterFile::grow(Register* newEnd) | |
234 | { | |
235 | if (newEnd < m_end) | |
236 | return true; | |
237 | ||
238 | if (newEnd > m_max) | |
239 | return false; | |
240 | ||
241 | #if !HAVE(MMAP) && HAVE(VIRTUALALLOC) | |
242 | if (newEnd > m_commitEnd) { | |
243 | size_t size = roundUpAllocationSize(reinterpret_cast<char*>(newEnd) - reinterpret_cast<char*>(m_commitEnd), commitSize); | |
244 | if (!VirtualAlloc(m_commitEnd, size, MEM_COMMIT, PAGE_READWRITE)) { | |
f9bf01c6 | 245 | #if OS(WINCE) |
ba379fdc A |
246 | fprintf(stderr, "Could not allocate register file: %d\n", GetLastError()); |
247 | #else | |
248 | fprintf(stderr, "Could not allocate register file: %d\n", errno); | |
249 | #endif | |
250 | CRASH(); | |
251 | } | |
252 | m_commitEnd = reinterpret_cast<Register*>(reinterpret_cast<char*>(m_commitEnd) + size); | |
253 | } | |
254 | #endif | |
255 | ||
256 | if (newEnd > m_maxUsed) | |
257 | m_maxUsed = newEnd; | |
258 | ||
259 | m_end = newEnd; | |
260 | return true; | |
261 | } | |
262 | ||
9dae56ea A |
263 | } // namespace JSC |
264 | ||
265 | #endif // RegisterFile_h |