Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(4)

Side by Side Diff: src/interface.cc

Issue 667703002: Fix data race with interface caching (Closed) Base URL: https://v8.googlecode.com/svn/branches/bleeding_edge
Patch Set: Comments Created 6 years, 2 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
« no previous file with comments | « src/interface.h ('k') | no next file » | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright 2012 the V8 project authors. All rights reserved. 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 2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file. 3 // found in the LICENSE file.
4 4
5 #include "src/v8.h" 5 #include "src/v8.h"
6 6
7 #include "src/interface.h" 7 #include "src/interface.h"
8 8
9 #include "src/base/lazy-instance.h"
10
9 namespace v8 { 11 namespace v8 {
10 namespace internal { 12 namespace internal {
11 13
14 // ---------------------------------------------------------------------------
15 // Initialization.
16
17 struct Interface::ValueCreate {
18 static void Construct(Interface* ptr) {
19 ::new (ptr) Interface(VALUE + FROZEN);
20 }
21 };
22
23
24 struct Interface::ConstCreate {
25 static void Construct(Interface* ptr) {
26 ::new (ptr) Interface(VALUE + CONST + FROZEN);
27 }
28 };
29
30
31 namespace {
32 base::LazyInstance<Interface, Interface::ValueCreate>::type value_interface =
33 LAZY_INSTANCE_INITIALIZER;
34
35 base::LazyInstance<Interface, Interface::ConstCreate>::type const_interface =
36 LAZY_INSTANCE_INITIALIZER;
37 }
38
39
40 Interface* Interface::NewValue() {
41 return value_interface.Pointer(); // Cached.
42 }
43
44
45 Interface* Interface::NewConst() {
46 return const_interface.Pointer(); // Cached.
47 }
48
49
50 // ---------------------------------------------------------------------------
51 // Lookup.
52
12 Interface* Interface::Lookup(Handle<String> name, Zone* zone) { 53 Interface* Interface::Lookup(Handle<String> name, Zone* zone) {
13 DCHECK(IsModule()); 54 DCHECK(IsModule());
14 ZoneHashMap* map = Chase()->exports_; 55 ZoneHashMap* map = Chase()->exports_;
15 if (map == NULL) return NULL; 56 if (map == nullptr) return nullptr;
16 ZoneAllocationPolicy allocator(zone); 57 ZoneAllocationPolicy allocator(zone);
17 ZoneHashMap::Entry* p = map->Lookup(name.location(), name->Hash(), false, 58 ZoneHashMap::Entry* p =
18 allocator); 59 map->Lookup(name.location(), name->Hash(), false, allocator);
19 if (p == NULL) return NULL; 60 if (p == nullptr) return nullptr;
20 DCHECK(*static_cast<String**>(p->key) == *name); 61 DCHECK(*static_cast<String**>(p->key) == *name);
21 DCHECK(p->value != NULL); 62 DCHECK(p->value != nullptr);
22 return static_cast<Interface*>(p->value); 63 return static_cast<Interface*>(p->value);
23 } 64 }
24 65
25 66
67 // ---------------------------------------------------------------------------
68 // Addition.
69
26 #ifdef DEBUG 70 #ifdef DEBUG
27 // Current nesting depth for debug output. 71 // Current nesting depth for debug output.
28 class Nesting { 72 class Nesting {
29 public: 73 public:
30 Nesting() { current_ += 2; } 74 Nesting() { current_ += 2; }
31 ~Nesting() { current_ -= 2; } 75 ~Nesting() { current_ -= 2; }
32 static int current() { return current_; } 76 static int current() { return current_; }
33 private: 77 private:
34 static int current_; 78 static int current_;
35 }; 79 };
36 80
37 int Nesting::current_ = 0; 81 int Nesting::current_ = 0;
38 #endif 82 #endif
39 83
40 84
41 void Interface::DoAdd(const void* name, uint32_t hash, Interface* interface, 85 void Interface::DoAdd(const void* name, uint32_t hash, Interface* interface,
42 Zone* zone, bool* ok) { 86 Zone* zone, bool* ok) {
43 MakeModule(ok); 87 MakeModule(ok);
44 if (!*ok) return; 88 if (!*ok) return;
45 89
46 #ifdef DEBUG 90 #ifdef DEBUG
47 if (FLAG_print_interface_details) { 91 if (FLAG_print_interface_details) {
48 PrintF("%*s# Adding...\n", Nesting::current(), ""); 92 PrintF("%*s# Adding...\n", Nesting::current(), "");
49 PrintF("%*sthis = ", Nesting::current(), ""); 93 PrintF("%*sthis = ", Nesting::current(), "");
50 this->Print(Nesting::current()); 94 this->Print(Nesting::current());
51 const AstRawString* symbol = static_cast<const AstRawString*>(name); 95 const AstRawString* raw = static_cast<const AstRawString*>(name);
52 PrintF("%*s%.*s : ", Nesting::current(), "", symbol->length(), 96 PrintF("%*s%.*s : ", Nesting::current(), "",
53 symbol->raw_data()); 97 raw->length(), raw->raw_data());
54 interface->Print(Nesting::current()); 98 interface->Print(Nesting::current());
55 } 99 }
56 #endif 100 #endif
57 101
58 ZoneHashMap** map = &Chase()->exports_; 102 ZoneHashMap** map = &Chase()->exports_;
59 ZoneAllocationPolicy allocator(zone); 103 ZoneAllocationPolicy allocator(zone);
60 104
61 if (*map == NULL) { 105 if (*map == nullptr) {
62 *map = new(zone->New(sizeof(ZoneHashMap))) 106 *map = new(zone->New(sizeof(ZoneHashMap)))
63 ZoneHashMap(ZoneHashMap::PointersMatch, 107 ZoneHashMap(ZoneHashMap::PointersMatch,
64 ZoneHashMap::kDefaultHashMapCapacity, allocator); 108 ZoneHashMap::kDefaultHashMapCapacity, allocator);
65 } 109 }
66 110
67 ZoneHashMap::Entry* p = 111 ZoneHashMap::Entry* p =
68 (*map)->Lookup(const_cast<void*>(name), hash, !IsFrozen(), allocator); 112 (*map)->Lookup(const_cast<void*>(name), hash, !IsFrozen(), allocator);
69 if (p == NULL) { 113 if (p == nullptr) {
70 // This didn't have name but was frozen already, that's an error. 114 // This didn't have name but was frozen already, that's an error.
71 *ok = false; 115 *ok = false;
72 } else if (p->value == NULL) { 116 } else if (p->value == nullptr) {
73 p->value = interface; 117 p->value = interface;
74 } else { 118 } else {
75 #ifdef DEBUG 119 #ifdef DEBUG
76 Nesting nested; 120 Nesting nested;
77 #endif 121 #endif
78 static_cast<Interface*>(p->value)->Unify(interface, zone, ok); 122 static_cast<Interface*>(p->value)->Unify(interface, zone, ok);
79 } 123 }
80 124
81 #ifdef DEBUG 125 #ifdef DEBUG
82 if (FLAG_print_interface_details) { 126 if (FLAG_print_interface_details) {
83 PrintF("%*sthis' = ", Nesting::current(), ""); 127 PrintF("%*sthis' = ", Nesting::current(), "");
84 this->Print(Nesting::current()); 128 this->Print(Nesting::current());
85 PrintF("%*s# Added.\n", Nesting::current(), ""); 129 PrintF("%*s# Added.\n", Nesting::current(), "");
86 } 130 }
87 #endif 131 #endif
88 } 132 }
89 133
90 134
135 // ---------------------------------------------------------------------------
136 // Unification.
137
91 void Interface::Unify(Interface* that, Zone* zone, bool* ok) { 138 void Interface::Unify(Interface* that, Zone* zone, bool* ok) {
92 if (this->forward_) return this->Chase()->Unify(that, zone, ok); 139 if (this->forward_) return this->Chase()->Unify(that, zone, ok);
93 if (that->forward_) return this->Unify(that->Chase(), zone, ok); 140 if (that->forward_) return this->Unify(that->Chase(), zone, ok);
94 DCHECK(this->forward_ == NULL); 141 DCHECK(this->forward_ == nullptr);
95 DCHECK(that->forward_ == NULL); 142 DCHECK(that->forward_ == nullptr);
96 143
97 *ok = true; 144 *ok = true;
98 if (this == that) return; 145 if (this == that) return;
99 if (this->IsValue()) { 146 if (this->IsValue()) {
100 that->MakeValue(ok); 147 that->MakeValue(ok);
101 if (*ok && this->IsConst()) that->MakeConst(ok); 148 if (*ok && this->IsConst()) that->MakeConst(ok);
102 return; 149 return;
103 } 150 }
104 if (that->IsValue()) { 151 if (that->IsValue()) {
105 this->MakeValue(ok); 152 this->MakeValue(ok);
106 if (*ok && that->IsConst()) this->MakeConst(ok); 153 if (*ok && that->IsConst()) this->MakeConst(ok);
107 return; 154 return;
108 } 155 }
109 156
110 #ifdef DEBUG 157 #ifdef DEBUG
111 if (FLAG_print_interface_details) { 158 if (FLAG_print_interface_details) {
112 PrintF("%*s# Unifying...\n", Nesting::current(), ""); 159 PrintF("%*s# Unifying...\n", Nesting::current(), "");
113 PrintF("%*sthis = ", Nesting::current(), ""); 160 PrintF("%*sthis = ", Nesting::current(), "");
114 this->Print(Nesting::current()); 161 this->Print(Nesting::current());
115 PrintF("%*sthat = ", Nesting::current(), ""); 162 PrintF("%*sthat = ", Nesting::current(), "");
116 that->Print(Nesting::current()); 163 that->Print(Nesting::current());
117 } 164 }
118 #endif 165 #endif
119 166
120 // Merge the smaller interface into the larger, for performance. 167 // Merge the smaller interface into the larger, for performance.
121 if (this->exports_ != NULL && (that->exports_ == NULL || 168 if (this->exports_ != nullptr && (that->exports_ == nullptr ||
122 this->exports_->occupancy() >= that->exports_->occupancy())) { 169 this->exports_->occupancy() >= that->exports_->occupancy())) {
123 this->DoUnify(that, ok, zone); 170 this->DoUnify(that, ok, zone);
124 } else { 171 } else {
125 that->DoUnify(this, ok, zone); 172 that->DoUnify(this, ok, zone);
126 } 173 }
127 174
128 #ifdef DEBUG 175 #ifdef DEBUG
129 if (FLAG_print_interface_details) { 176 if (FLAG_print_interface_details) {
130 PrintF("%*sthis' = ", Nesting::current(), ""); 177 PrintF("%*sthis' = ", Nesting::current(), "");
131 this->Print(Nesting::current()); 178 this->Print(Nesting::current());
132 PrintF("%*sthat' = ", Nesting::current(), ""); 179 PrintF("%*sthat' = ", Nesting::current(), "");
133 that->Print(Nesting::current()); 180 that->Print(Nesting::current());
134 PrintF("%*s# Unified.\n", Nesting::current(), ""); 181 PrintF("%*s# Unified.\n", Nesting::current(), "");
135 } 182 }
136 #endif 183 #endif
137 } 184 }
138 185
139 186
140 void Interface::DoUnify(Interface* that, bool* ok, Zone* zone) { 187 void Interface::DoUnify(Interface* that, bool* ok, Zone* zone) {
141 DCHECK(this->forward_ == NULL); 188 DCHECK(this->forward_ == nullptr);
142 DCHECK(that->forward_ == NULL); 189 DCHECK(that->forward_ == nullptr);
143 DCHECK(!this->IsValue()); 190 DCHECK(!this->IsValue());
144 DCHECK(!that->IsValue()); 191 DCHECK(!that->IsValue());
145 DCHECK(this->index_ == -1); 192 DCHECK(this->index_ == -1);
146 DCHECK(that->index_ == -1); 193 DCHECK(that->index_ == -1);
147 DCHECK(*ok); 194 DCHECK(*ok);
148 195
149 #ifdef DEBUG 196 #ifdef DEBUG
150 Nesting nested; 197 Nesting nested;
151 #endif 198 #endif
152 199
153 // Try to merge all members from that into this. 200 // Try to merge all members from that into this.
154 ZoneHashMap* map = that->exports_; 201 ZoneHashMap* map = that->exports_;
155 if (map != NULL) { 202 if (map != nullptr) {
156 for (ZoneHashMap::Entry* p = map->Start(); p != NULL; p = map->Next(p)) { 203 for (ZoneHashMap::Entry* p = map->Start(); p != nullptr; p = map->Next(p)) {
157 this->DoAdd(p->key, p->hash, static_cast<Interface*>(p->value), zone, ok); 204 this->DoAdd(p->key, p->hash, static_cast<Interface*>(p->value), zone, ok);
158 if (!*ok) return; 205 if (!*ok) return;
159 } 206 }
160 } 207 }
161 208
162 // If the new interface is larger than that's, then there were members in 209 // If the new interface is larger than that's, then there were members in
163 // 'this' which 'that' didn't have. If 'that' was frozen that is an error. 210 // 'this' which 'that' didn't have. If 'that' was frozen that is an error.
164 int this_size = this->exports_ == NULL ? 0 : this->exports_->occupancy(); 211 int this_size = this->exports_ == nullptr ? 0 : this->exports_->occupancy();
165 int that_size = map == NULL ? 0 : map->occupancy(); 212 int that_size = map == nullptr ? 0 : map->occupancy();
166 if (that->IsFrozen() && this_size > that_size) { 213 if (that->IsFrozen() && this_size > that_size) {
167 *ok = false; 214 *ok = false;
168 return; 215 return;
169 } 216 }
170 217
171 // Merge interfaces. 218 // Merge interfaces.
172 this->flags_ |= that->flags_; 219 this->flags_ |= that->flags_;
173 that->forward_ = this; 220 that->forward_ = this;
174 } 221 }
175 222
176 223
224 // ---------------------------------------------------------------------------
225 // Printing.
226
177 #ifdef DEBUG 227 #ifdef DEBUG
178 void Interface::Print(int n) { 228 void Interface::Print(int n) {
179 int n0 = n > 0 ? n : 0; 229 int n0 = n > 0 ? n : 0;
180 230
181 if (FLAG_print_interface_details) { 231 if (FLAG_print_interface_details) {
182 PrintF("%p", static_cast<void*>(this)); 232 PrintF("%p", static_cast<void*>(this));
183 for (Interface* link = this->forward_; link != NULL; link = link->forward_) 233 for (Interface* link = this->forward_; link != nullptr;
234 link = link->forward_) {
184 PrintF("->%p", static_cast<void*>(link)); 235 PrintF("->%p", static_cast<void*>(link));
236 }
185 PrintF(" "); 237 PrintF(" ");
186 } 238 }
187 239
188 if (IsUnknown()) { 240 if (IsUnknown()) {
189 PrintF("unknown\n"); 241 PrintF("unknown\n");
190 } else if (IsConst()) { 242 } else if (IsConst()) {
191 PrintF("const\n"); 243 PrintF("const\n");
192 } else if (IsValue()) { 244 } else if (IsValue()) {
193 PrintF("value\n"); 245 PrintF("value\n");
194 } else if (IsModule()) { 246 } else if (IsModule()) {
195 PrintF("module %d %s{", Index(), IsFrozen() ? "" : "(unresolved) "); 247 PrintF("module %d %s{", Index(), IsFrozen() ? "" : "(unresolved) ");
196 ZoneHashMap* map = Chase()->exports_; 248 ZoneHashMap* map = Chase()->exports_;
197 if (map == NULL || map->occupancy() == 0) { 249 if (map == nullptr || map->occupancy() == 0) {
198 PrintF("}\n"); 250 PrintF("}\n");
199 } else if (n < 0 || n0 >= 2 * FLAG_print_interface_depth) { 251 } else if (n < 0 || n0 >= 2 * FLAG_print_interface_depth) {
200 // Avoid infinite recursion on cyclic types. 252 // Avoid infinite recursion on cyclic types.
201 PrintF("...}\n"); 253 PrintF("...}\n");
202 } else { 254 } else {
203 PrintF("\n"); 255 PrintF("\n");
204 for (ZoneHashMap::Entry* p = map->Start(); p != NULL; p = map->Next(p)) { 256 for (ZoneHashMap::Entry* p = map->Start();
257 p != nullptr; p = map->Next(p)) {
205 String* name = *static_cast<String**>(p->key); 258 String* name = *static_cast<String**>(p->key);
206 Interface* interface = static_cast<Interface*>(p->value); 259 Interface* interface = static_cast<Interface*>(p->value);
207 PrintF("%*s%s : ", n0 + 2, "", name->ToAsciiArray()); 260 PrintF("%*s%s : ", n0 + 2, "", name->ToAsciiArray());
208 interface->Print(n0 + 2); 261 interface->Print(n0 + 2);
209 } 262 }
210 PrintF("%*s}\n", n0, ""); 263 PrintF("%*s}\n", n0, "");
211 } 264 }
212 } 265 }
213 } 266 }
214 #endif 267 #endif
215 268
216 } } // namespace v8::internal 269 } } // namespace v8::internal
OLDNEW
« no previous file with comments | « src/interface.h ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698