• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // Copyright 2012 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.
4 
5 #ifndef V8_COMPILATION_CACHE_H_
6 #define V8_COMPILATION_CACHE_H_
7 
8 #include "src/allocation.h"
9 #include "src/handles.h"
10 #include "src/objects.h"
11 
12 namespace v8 {
13 namespace internal {
14 
15 // The compilation cache consists of several generational sub-caches which uses
16 // this class as a base class. A sub-cache contains a compilation cache tables
17 // for each generation of the sub-cache. Since the same source code string has
18 // different compiled code for scripts and evals, we use separate sub-caches
19 // for different compilation modes, to avoid retrieving the wrong result.
20 class CompilationSubCache {
21  public:
CompilationSubCache(Isolate * isolate,int generations)22   CompilationSubCache(Isolate* isolate, int generations)
23       : isolate_(isolate),
24         generations_(generations) {
25     tables_ = NewArray<Object*>(generations);
26   }
27 
~CompilationSubCache()28   ~CompilationSubCache() { DeleteArray(tables_); }
29 
30   // Index for the first generation in the cache.
31   static const int kFirstGeneration = 0;
32 
33   // Get the compilation cache tables for a specific generation.
34   Handle<CompilationCacheTable> GetTable(int generation);
35 
36   // Accessors for first generation.
GetFirstTable()37   Handle<CompilationCacheTable> GetFirstTable() {
38     return GetTable(kFirstGeneration);
39   }
SetFirstTable(Handle<CompilationCacheTable> value)40   void SetFirstTable(Handle<CompilationCacheTable> value) {
41     DCHECK(kFirstGeneration < generations_);
42     tables_[kFirstGeneration] = *value;
43   }
44 
45   // Age the sub-cache by evicting the oldest generation and creating a new
46   // young generation.
47   void Age();
48 
49   // GC support.
50   void Iterate(ObjectVisitor* v);
51   void IterateFunctions(ObjectVisitor* v);
52 
53   // Clear this sub-cache evicting all its content.
54   void Clear();
55 
56   // Remove given shared function info from sub-cache.
57   void Remove(Handle<SharedFunctionInfo> function_info);
58 
59   // Number of generations in this sub-cache.
generations()60   inline int generations() { return generations_; }
61 
62  protected:
isolate()63   Isolate* isolate() { return isolate_; }
64 
65  private:
66   Isolate* isolate_;
67   int generations_;  // Number of generations.
68   Object** tables_;  // Compilation cache tables - one for each generation.
69 
70   DISALLOW_IMPLICIT_CONSTRUCTORS(CompilationSubCache);
71 };
72 
73 
74 // Sub-cache for scripts.
75 class CompilationCacheScript : public CompilationSubCache {
76  public:
77   CompilationCacheScript(Isolate* isolate, int generations);
78 
79   Handle<SharedFunctionInfo> Lookup(Handle<String> source, Handle<Object> name,
80                                     int line_offset, int column_offset,
81                                     ScriptOriginOptions resource_options,
82                                     Handle<Context> context,
83                                     LanguageMode language_mode);
84   void Put(Handle<String> source,
85            Handle<Context> context,
86            LanguageMode language_mode,
87            Handle<SharedFunctionInfo> function_info);
88 
89  private:
90   bool HasOrigin(Handle<SharedFunctionInfo> function_info, Handle<Object> name,
91                  int line_offset, int column_offset,
92                  ScriptOriginOptions resource_options);
93 
94   DISALLOW_IMPLICIT_CONSTRUCTORS(CompilationCacheScript);
95 };
96 
97 
98 // Sub-cache for eval scripts. Two caches for eval are used. One for eval calls
99 // in native contexts and one for eval calls in other contexts. The cache
100 // considers the following pieces of information when checking for matching
101 // entries:
102 // 1. The source string.
103 // 2. The shared function info of the calling function.
104 // 3. Whether the source should be compiled as strict code or as sloppy code.
105 //    Note: Currently there are clients of CompileEval that always compile
106 //    sloppy code even if the calling function is a strict mode function.
107 //    More specifically these are the CompileString, DebugEvaluate and
108 //    DebugEvaluateGlobal runtime functions.
109 // 4. The start position of the calling scope.
110 class CompilationCacheEval: public CompilationSubCache {
111  public:
CompilationCacheEval(Isolate * isolate,int generations)112   CompilationCacheEval(Isolate* isolate, int generations)
113       : CompilationSubCache(isolate, generations) { }
114 
115   MaybeHandle<SharedFunctionInfo> Lookup(Handle<String> source,
116                                          Handle<SharedFunctionInfo> outer_info,
117                                          LanguageMode language_mode,
118                                          int scope_position);
119 
120   void Put(Handle<String> source, Handle<SharedFunctionInfo> outer_info,
121            Handle<SharedFunctionInfo> function_info, int scope_position);
122 
123  private:
124   DISALLOW_IMPLICIT_CONSTRUCTORS(CompilationCacheEval);
125 };
126 
127 
128 // Sub-cache for regular expressions.
129 class CompilationCacheRegExp: public CompilationSubCache {
130  public:
CompilationCacheRegExp(Isolate * isolate,int generations)131   CompilationCacheRegExp(Isolate* isolate, int generations)
132       : CompilationSubCache(isolate, generations) { }
133 
134   MaybeHandle<FixedArray> Lookup(Handle<String> source, JSRegExp::Flags flags);
135 
136   void Put(Handle<String> source,
137            JSRegExp::Flags flags,
138            Handle<FixedArray> data);
139  private:
140   DISALLOW_IMPLICIT_CONSTRUCTORS(CompilationCacheRegExp);
141 };
142 
143 
144 // The compilation cache keeps shared function infos for compiled
145 // scripts and evals. The shared function infos are looked up using
146 // the source string as the key. For regular expressions the
147 // compilation data is cached.
148 class CompilationCache {
149  public:
150   // Finds the script shared function info for a source
151   // string. Returns an empty handle if the cache doesn't contain a
152   // script for the given source string with the right origin.
153   MaybeHandle<SharedFunctionInfo> LookupScript(
154       Handle<String> source, Handle<Object> name, int line_offset,
155       int column_offset, ScriptOriginOptions resource_options,
156       Handle<Context> context, LanguageMode language_mode);
157 
158   // Finds the shared function info for a source string for eval in a
159   // given context.  Returns an empty handle if the cache doesn't
160   // contain a script for the given source string.
161   MaybeHandle<SharedFunctionInfo> LookupEval(
162       Handle<String> source, Handle<SharedFunctionInfo> outer_info,
163       Handle<Context> context, LanguageMode language_mode, int scope_position);
164 
165   // Returns the regexp data associated with the given regexp if it
166   // is in cache, otherwise an empty handle.
167   MaybeHandle<FixedArray> LookupRegExp(
168       Handle<String> source, JSRegExp::Flags flags);
169 
170   // Associate the (source, kind) pair to the shared function
171   // info. This may overwrite an existing mapping.
172   void PutScript(Handle<String> source,
173                  Handle<Context> context,
174                  LanguageMode language_mode,
175                  Handle<SharedFunctionInfo> function_info);
176 
177   // Associate the (source, context->closure()->shared(), kind) triple
178   // with the shared function info. This may overwrite an existing mapping.
179   void PutEval(Handle<String> source, Handle<SharedFunctionInfo> outer_info,
180                Handle<Context> context,
181                Handle<SharedFunctionInfo> function_info, int scope_position);
182 
183   // Associate the (source, flags) pair to the given regexp data.
184   // This may overwrite an existing mapping.
185   void PutRegExp(Handle<String> source,
186                  JSRegExp::Flags flags,
187                  Handle<FixedArray> data);
188 
189   // Clear the cache - also used to initialize the cache at startup.
190   void Clear();
191 
192   // Remove given shared function info from all caches.
193   void Remove(Handle<SharedFunctionInfo> function_info);
194 
195   // GC support.
196   void Iterate(ObjectVisitor* v);
197   void IterateFunctions(ObjectVisitor* v);
198 
199   // Notify the cache that a mark-sweep garbage collection is about to
200   // take place. This is used to retire entries from the cache to
201   // avoid keeping them alive too long without using them.
202   void MarkCompactPrologue();
203 
204   // Enable/disable compilation cache. Used by debugger to disable compilation
205   // cache during debugging to make sure new scripts are always compiled.
206   void Enable();
207   void Disable();
208 
209  private:
210   explicit CompilationCache(Isolate* isolate);
211   ~CompilationCache();
212 
213   HashMap* EagerOptimizingSet();
214 
215   // The number of sub caches covering the different types to cache.
216   static const int kSubCacheCount = 4;
217 
IsEnabled()218   bool IsEnabled() { return FLAG_compilation_cache && enabled_; }
219 
isolate()220   Isolate* isolate() { return isolate_; }
221 
222   Isolate* isolate_;
223 
224   CompilationCacheScript script_;
225   CompilationCacheEval eval_global_;
226   CompilationCacheEval eval_contextual_;
227   CompilationCacheRegExp reg_exp_;
228   CompilationSubCache* subcaches_[kSubCacheCount];
229 
230   // Current enable state of the compilation cache.
231   bool enabled_;
232 
233   friend class Isolate;
234 
235   DISALLOW_COPY_AND_ASSIGN(CompilationCache);
236 };
237 
238 
239 }  // namespace internal
240 }  // namespace v8
241 
242 #endif  // V8_COMPILATION_CACHE_H_
243