v8  3.14.5(node0.10.28)
V8 is Google's open source JavaScript engine
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
interface.cc
Go to the documentation of this file.
1 // Copyright 2012 the V8 project authors. All rights reserved.
2 // 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 "v8.h"
29 
30 #include "interface.h"
31 
32 namespace v8 {
33 namespace internal {
34 
35 static bool Match(void* key1, void* key2) {
36  String* name1 = *static_cast<String**>(key1);
37  String* name2 = *static_cast<String**>(key2);
38  ASSERT(name1->IsSymbol());
39  ASSERT(name2->IsSymbol());
40  return name1 == name2;
41 }
42 
43 
45  ASSERT(IsModule());
46  ZoneHashMap* map = Chase()->exports_;
47  if (map == NULL) return NULL;
48  ZoneAllocationPolicy allocator(zone);
49  ZoneHashMap::Entry* p = map->Lookup(name.location(), name->Hash(), false,
50  allocator);
51  if (p == NULL) return NULL;
52  ASSERT(*static_cast<String**>(p->key) == *name);
53  ASSERT(p->value != NULL);
54  return static_cast<Interface*>(p->value);
55 }
56 
57 
58 #ifdef DEBUG
59 // Current nesting depth for debug output.
60 class Nesting {
61  public:
62  Nesting() { current_ += 2; }
63  ~Nesting() { current_ -= 2; }
64  static int current() { return current_; }
65  private:
66  static int current_;
67 };
68 
69 int Nesting::current_ = 0;
70 #endif
71 
72 
73 void Interface::DoAdd(
74  void* name, uint32_t hash, Interface* interface, Zone* zone, bool* ok) {
75  MakeModule(ok);
76  if (!*ok) return;
77 
78 #ifdef DEBUG
79  if (FLAG_print_interface_details) {
80  PrintF("%*s# Adding...\n", Nesting::current(), "");
81  PrintF("%*sthis = ", Nesting::current(), "");
82  this->Print(Nesting::current());
83  PrintF("%*s%s : ", Nesting::current(), "",
84  (*static_cast<String**>(name))->ToAsciiArray());
85  interface->Print(Nesting::current());
86  }
87 #endif
88 
89  ZoneHashMap** map = &Chase()->exports_;
90  ZoneAllocationPolicy allocator(zone);
91 
92  if (*map == NULL)
94  allocator);
95 
96  ZoneHashMap::Entry* p = (*map)->Lookup(name, hash, !IsFrozen(), allocator);
97  if (p == NULL) {
98  // This didn't have name but was frozen already, that's an error.
99  *ok = false;
100  } else if (p->value == NULL) {
101  p->value = interface;
102  } else {
103 #ifdef DEBUG
104  Nesting nested;
105 #endif
106  static_cast<Interface*>(p->value)->Unify(interface, zone, ok);
107  }
108 
109 #ifdef DEBUG
110  if (FLAG_print_interface_details) {
111  PrintF("%*sthis' = ", Nesting::current(), "");
112  this->Print(Nesting::current());
113  PrintF("%*s# Added.\n", Nesting::current(), "");
114  }
115 #endif
116 }
117 
118 
119 void Interface::Unify(Interface* that, Zone* zone, bool* ok) {
120  if (this->forward_) return this->Chase()->Unify(that, zone, ok);
121  if (that->forward_) return this->Unify(that->Chase(), zone, ok);
122  ASSERT(this->forward_ == NULL);
123  ASSERT(that->forward_ == NULL);
124 
125  *ok = true;
126  if (this == that) return;
127  if (this->IsValue()) {
128  that->MakeValue(ok);
129  if (*ok && this->IsConst()) that->MakeConst(ok);
130  return;
131  }
132  if (that->IsValue()) {
133  this->MakeValue(ok);
134  if (*ok && that->IsConst()) this->MakeConst(ok);
135  return;
136  }
137 
138 #ifdef DEBUG
139  if (FLAG_print_interface_details) {
140  PrintF("%*s# Unifying...\n", Nesting::current(), "");
141  PrintF("%*sthis = ", Nesting::current(), "");
142  this->Print(Nesting::current());
143  PrintF("%*sthat = ", Nesting::current(), "");
144  that->Print(Nesting::current());
145  }
146 #endif
147 
148  // Merge the smaller interface into the larger, for performance.
149  if (this->exports_ != NULL && (that->exports_ == NULL ||
150  this->exports_->occupancy() >= that->exports_->occupancy())) {
151  this->DoUnify(that, ok, zone);
152  } else {
153  that->DoUnify(this, ok, zone);
154  }
155 
156 #ifdef DEBUG
157  if (FLAG_print_interface_details) {
158  PrintF("%*sthis' = ", Nesting::current(), "");
159  this->Print(Nesting::current());
160  PrintF("%*sthat' = ", Nesting::current(), "");
161  that->Print(Nesting::current());
162  PrintF("%*s# Unified.\n", Nesting::current(), "");
163  }
164 #endif
165 }
166 
167 
168 void Interface::DoUnify(Interface* that, bool* ok, Zone* zone) {
169  ASSERT(this->forward_ == NULL);
170  ASSERT(that->forward_ == NULL);
171  ASSERT(!this->IsValue());
172  ASSERT(!that->IsValue());
173  ASSERT(*ok);
174 
175 #ifdef DEBUG
176  Nesting nested;
177 #endif
178 
179  // Try to merge all members from that into this.
180  ZoneHashMap* map = that->exports_;
181  if (map != NULL) {
182  for (ZoneHashMap::Entry* p = map->Start(); p != NULL; p = map->Next(p)) {
183  this->DoAdd(p->key, p->hash, static_cast<Interface*>(p->value), zone, ok);
184  if (!*ok) return;
185  }
186  }
187 
188  // If the new interface is larger than that's, then there were members in
189  // 'this' which 'that' didn't have. If 'that' was frozen that is an error.
190  int this_size = this->exports_ == NULL ? 0 : this->exports_->occupancy();
191  int that_size = map == NULL ? 0 : map->occupancy();
192  if (that->IsFrozen() && this_size > that_size) {
193  *ok = false;
194  return;
195  }
196 
197  // Merge instance.
198  if (!that->instance_.is_null()) {
199  if (!this->instance_.is_null() && *this->instance_ != *that->instance_) {
200  *ok = false;
201  return;
202  }
203  this->instance_ = that->instance_;
204  }
205 
206  // Merge interfaces.
207  this->flags_ |= that->flags_;
208  that->forward_ = this;
209 }
210 
211 
212 #ifdef DEBUG
213 void Interface::Print(int n) {
214  int n0 = n > 0 ? n : 0;
215 
216  if (FLAG_print_interface_details) {
217  PrintF("%p", static_cast<void*>(this));
218  for (Interface* link = this->forward_; link != NULL; link = link->forward_)
219  PrintF("->%p", static_cast<void*>(link));
220  PrintF(" ");
221  }
222 
223  if (IsUnknown()) {
224  PrintF("unknown\n");
225  } else if (IsConst()) {
226  PrintF("const\n");
227  } else if (IsValue()) {
228  PrintF("value\n");
229  } else if (IsModule()) {
230  PrintF("module %s{", IsFrozen() ? "" : "(unresolved) ");
231  ZoneHashMap* map = Chase()->exports_;
232  if (map == NULL || map->occupancy() == 0) {
233  PrintF("}\n");
234  } else if (n < 0 || n0 >= 2 * FLAG_print_interface_depth) {
235  // Avoid infinite recursion on cyclic types.
236  PrintF("...}\n");
237  } else {
238  PrintF("\n");
239  for (ZoneHashMap::Entry* p = map->Start(); p != NULL; p = map->Next(p)) {
240  String* name = *static_cast<String**>(p->key);
241  Interface* interface = static_cast<Interface*>(p->value);
242  PrintF("%*s%s : ", n0 + 2, "", name->ToAsciiArray());
243  interface->Print(n0 + 2);
244  }
245  PrintF("%*s}\n", n0, "");
246  }
247  }
248 }
249 #endif
250 
251 } } // namespace v8::internal
activate correct semantics for inheriting readonliness enable harmony semantics for typeof enable harmony enable harmony proxies enable all harmony harmony_scoping harmony_proxies harmony_scoping tracks arrays with only smi values automatically unbox arrays of doubles use crankshaft use hydrogen range analysis use hydrogen global value numbering use function inlining maximum number of AST nodes considered for a single inlining loop invariant code motion print statistics for hydrogen trace generated IR for specified phases trace register allocator trace range analysis trace representation types environment for every instruction put a break point before deoptimizing polymorphic inlining perform array bounds checks elimination use dead code elimination trace on stack replacement optimize closures cache optimized code for closures functions with arguments object loop weight for representation inference allow uint32 values on optimize frames if they are used only in safe operations track parallel recompilation enable all profiler experiments number of stack frames inspected by the profiler call recompile stub directly when self optimizing trigger profiler ticks based on counting instead of timing weight back edges by jump distance for interrupt triggering percentage of ICs that must have type info to allow optimization watch_ic_patching retry_self_opt interrupt_at_exit extra verbose compilation tracing generate extra emit comments in code disassembly enable use of SSE3 instructions if available enable use of CMOV instruction if available enable use of SAHF instruction if enable use of VFP3 instructions if available this implies enabling ARMv7 and VFP2 enable use of VFP2 instructions if available enable use of SDIV and UDIV instructions if enable loading bit constant by means of movw movt instruction enable unaligned accesses for enable use of MIPS FPU instructions if expose natives in global object expose gc extension number of stack frames to capture disable builtin natives files print a stack trace if an assertion failure occurs use random jit cookie to mask large constants trace lazy optimization use adaptive optimizations prepare for turning on always opt minimum length for automatic enable preparsing maximum number of optimization attempts before giving up cache prototype transitions automatically set the debug break flag when debugger commands are in the queue always cause a debug break before aborting maximum length of function source code printed in a stack trace max size of the new max size of the old max size of executable always perform global GCs print one trace line following each garbage collection do not print trace line after scavenger collection print more details following each garbage collection print amount of external allocated memory after each time it is adjusted flush code that we expect not to use again before full gc do incremental marking steps track object counts and memory usage use caching Perform compaction on every full GC Never perform compaction on full GC testing only Compact code space on full incremental collections Default seed for initializing random allows verbose printing trace parsing and preparsing Check icache flushes in ARM and MIPS simulator Stack alingment in bytes in print stack trace when throwing exceptions randomize hashes to avoid predictable hash Fixed seed to use to hash property activate a timer that switches between V8 threads testing_bool_flag float flag Seed used for threading test randomness A filename with extra code to be included in the Print usage including on console Map counters to a file Enable debugger compile events enable GDBJIT interface(disables compacting GC)") DEFINE_bool(gdbjit_full
void PrintF(const char *format,...)
Definition: v8utils.cc:40
int current_
Interface * Lookup(Handle< String > name, Zone *zone)
Definition: interface.cc:44
#define ASSERT(condition)
Definition: checks.h:270
v8::Handle< v8::Value > Print(const v8::Arguments &args)
void Unify(Interface *that, Zone *zone, bool *ok)
Definition: interface.cc:119
T ** location() const
Definition: handles.h:75
uint32_t occupancy() const
Definition: hashmap.h:83
Entry * Lookup(void *key, uint32_t hash, bool insert, AllocationPolicy allocator=AllocationPolicy())
Definition: hashmap.h:131
void MakeValue(bool *ok)
Definition: interface.h:94
void MakeModule(bool *ok)
Definition: interface.h:106
activate correct semantics for inheriting readonliness enable harmony semantics for typeof enable harmony enable harmony proxies enable all harmony harmony_scoping harmony_proxies harmony_scoping tracks arrays with only smi values automatically unbox arrays of doubles use crankshaft use hydrogen range analysis use hydrogen global value numbering use function inlining maximum number of AST nodes considered for a single inlining loop invariant code motion print statistics for hydrogen trace generated IR for specified phases trace register allocator trace range analysis trace representation types environment for every instruction put a break point before deoptimizing polymorphic inlining perform array bounds checks elimination use dead code elimination trace on stack replacement optimize closures cache optimized code for closures functions with arguments object loop weight for representation inference allow uint32 values on optimize frames if they are used only in safe operations track parallel recompilation enable all profiler experiments number of stack frames inspected by the profiler call recompile stub directly when self optimizing trigger profiler ticks based on counting instead of timing weight back edges by jump distance for interrupt triggering percentage of ICs that must have type info to allow optimization watch_ic_patching retry_self_opt interrupt_at_exit extra verbose compilation tracing generate extra emit comments in code disassembly enable use of SSE3 instructions if available enable use of CMOV instruction if available enable use of SAHF instruction if enable use of VFP3 instructions if available this implies enabling ARMv7 and VFP2 enable use of VFP2 instructions if available enable use of SDIV and UDIV instructions if enable loading bit constant by means of movw movt instruction enable unaligned accesses for enable use of MIPS FPU instructions if NULL
Definition: flags.cc:301
void MakeConst(bool *ok)
Definition: interface.h:100
TemplateHashMapImpl< ZoneAllocationPolicy > ZoneHashMap
Definition: zone.h:269
Entry * Next(Entry *p) const
Definition: hashmap.h:243