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

Side by Side Diff: src/transitions.h

Issue 988703002: Revert of Revert of Simplify and compact transitions storage (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: fix extra ';', again Created 5 years, 9 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
« no previous file with comments | « src/objects-printer.cc ('k') | src/transitions.cc » ('j') | 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 #ifndef V8_TRANSITIONS_H_ 5 #ifndef V8_TRANSITIONS_H_
6 #define V8_TRANSITIONS_H_ 6 #define V8_TRANSITIONS_H_
7 7
8 #include "src/checks.h" 8 #include "src/checks.h"
9 #include "src/elements-kind.h" 9 #include "src/elements-kind.h"
10 #include "src/heap/heap.h" 10 #include "src/heap/heap.h"
11 #include "src/isolate.h" 11 #include "src/isolate.h"
12 #include "src/objects.h" 12 #include "src/objects.h"
13 13
14 namespace v8 { 14 namespace v8 {
15 namespace internal { 15 namespace internal {
16 16
17 17
18 // TransitionArrays are fixed arrays used to hold map transitions for property, 18 // TransitionArrays are fixed arrays used to hold map transitions for property,
19 // constant, and element changes. They can either be simple transition arrays 19 // constant, and element changes. "Simple" transitions storing only a single
20 // that store a single property transition, or a full transition array that has 20 // property transition are stored inline (i.e. the target map is stored
21 // directly); otherwise a full transition array is used that has
21 // prototype transitions and multiple property transitons. The details related 22 // prototype transitions and multiple property transitons. The details related
22 // to property transitions are accessed in the descriptor array of the target 23 // to property transitions are accessed in the descriptor array of the target
23 // map. In the case of a simple transition, the key is also read from the 24 // map. In the case of a simple transition, the key is also read from the
24 // descriptor array of the target map. 25 // descriptor array of the target map.
25 // 26 //
26 // The simple format of the these objects is: 27 // This class provides a static interface that operates directly on maps
27 // [0] Undefined or back pointer map 28 // and handles the distinction between simple and full transitions storage.
28 // [1] Single transition
29 // 29 //
30 // The full format is: 30 // The full format is:
31 // [0] Undefined or back pointer map 31 // [0] Smi(0) or fixed array of prototype transitions
32 // [1] Smi(0) or fixed array of prototype transitions 32 // [1] Number of transitions
33 // [2] Number of transitions 33 // [2] First transition
34 // [3] First transition 34 // [2 + number of transitions * kTransitionSize]: start of slack
35 // [3 + number of transitions * kTransitionSize]: start of slack
36 class TransitionArray: public FixedArray { 35 class TransitionArray: public FixedArray {
37 public: 36 public:
38 // Accessors for fetching instance transition at transition number. 37 // Insert a new transition into |map|'s transition array, extending it
39 inline Name* GetKey(int transition_number); 38 // as necessary.
40 inline void SetKey(int transition_number, Name* value); 39 static void Insert(Handle<Map> map, Handle<Name> name, Handle<Map> target,
41 inline Object** GetKeySlot(int transition_number); 40 SimpleTransitionFlag flag);
42 int GetSortedKeyIndex(int transition_number) { return transition_number; }
43 41
44 Name* GetSortedKey(int transition_number) { 42 static Map* SearchTransition(Map* map, PropertyKind kind, Name* name,
45 return GetKey(transition_number); 43 PropertyAttributes attributes);
44
45 static Map* SearchSpecial(Map* map, Symbol* name);
46
47 static Handle<Map> FindTransitionToField(Handle<Map> map, Handle<Name> name);
48
49 static Handle<String> ExpectedTransitionKey(Handle<Map> map);
50
51 static Handle<Map> ExpectedTransitionTarget(Handle<Map> map) {
52 DCHECK(!ExpectedTransitionKey(map).is_null());
53 return Handle<Map>(GetSimpleTransition(map->raw_transitions()));
54 }
55 // Returns true if |raw_transition| can be overwritten with a simple
56 // transition (because it's either uninitialized, or has been cleared).
57 static inline bool CanStoreSimpleTransition(Object* raw_transition) {
58 return raw_transition->IsSmi() ||
59 (raw_transition->IsWeakCell() &&
60 WeakCell::cast(raw_transition)->cleared());
61 }
62 static inline bool IsSimpleTransition(Object* raw_transition) {
63 DCHECK(!raw_transition->IsWeakCell() ||
64 WeakCell::cast(raw_transition)->cleared() ||
65 WeakCell::cast(raw_transition)->value()->IsMap());
66 return raw_transition->IsWeakCell() &&
67 !WeakCell::cast(raw_transition)->cleared();
68 }
69 static inline Map* GetSimpleTransition(Object* raw_transition) {
70 DCHECK(IsSimpleTransition(raw_transition));
71 return Map::cast(WeakCell::cast(raw_transition)->value());
72 }
73 static inline bool IsFullTransitionArray(Object* raw_transitions) {
74 return raw_transitions->IsTransitionArray();
46 } 75 }
47 76
48 inline Map* GetTarget(int transition_number); 77 // The size of transition arrays are limited so they do not end up in large
49 inline void SetTarget(int transition_number, Map* target); 78 // object space. Otherwise ClearNonLiveReferences would leak memory while
79 // applying in-place right trimming.
80 static bool CanHaveMoreTransitions(Handle<Map> map);
50 81
51 inline PropertyDetails GetTargetDetails(int transition_number); 82 // ===== PROTOTYPE TRANSITIONS =====
52 inline Object* GetTargetValue(int transition_number); 83 // When you set the prototype of an object using the __proto__ accessor you
84 // need a new map for the object (the prototype is stored in the map). In
85 // order not to multiply maps unnecessarily we store these as transitions in
86 // the original map. That way we can transition to the same map if the same
87 // prototype is set, rather than creating a new map every time. The
88 // transitions are in the form of a map where the keys are prototype objects
89 // and the values are the maps they transition to.
90 // Cache format:
91 // 0: finger - index of the first free cell in the cache
92 // 1 + i: target map
93 static const int kMaxCachedPrototypeTransitions = 256;
94 static Handle<Map> PutPrototypeTransition(Handle<Map> map,
95 Handle<Object> prototype,
96 Handle<Map> target_map);
53 97
54 inline bool HasElementsTransition(); 98 static Handle<Map> GetPrototypeTransition(Handle<Map> map,
99 Handle<Object> prototype);
55 100
56 inline Object* back_pointer_storage(); 101 static FixedArray* GetPrototypeTransitions(Map* map);
57 inline void set_back_pointer_storage( 102
58 Object* back_pointer, 103 static int NumberOfPrototypeTransitions(FixedArray* proto_transitions) {
59 WriteBarrierMode mode = UPDATE_WRITE_BARRIER); 104 if (proto_transitions->length() == 0) return 0;
105 Object* raw = proto_transitions->get(kProtoTransitionNumberOfEntriesOffset);
106 return Smi::cast(raw)->value();
107 }
108
109 static void SetNumberOfPrototypeTransitions(FixedArray* proto_transitions,
110 int value);
60 111
61 inline FixedArray* GetPrototypeTransitions(); 112 inline FixedArray* GetPrototypeTransitions();
62 inline void SetPrototypeTransitions( 113 inline void SetPrototypeTransitions(
63 FixedArray* prototype_transitions, 114 FixedArray* prototype_transitions,
64 WriteBarrierMode mode = UPDATE_WRITE_BARRIER); 115 WriteBarrierMode mode = UPDATE_WRITE_BARRIER);
65 inline Object** GetPrototypeTransitionsSlot(); 116 inline Object** GetPrototypeTransitionsSlot();
66 inline bool HasPrototypeTransitions(); 117 inline bool HasPrototypeTransitions();
67 118
68 // Returns the number of transitions in the array. 119 // ===== ITERATION =====
69 int number_of_transitions() { 120
70 if (IsSimpleTransition()) return 1; 121 typedef void (*TraverseCallback)(Map* map, void* data);
71 if (length() <= kFirstIndex) return 0; 122
72 return Smi::cast(get(kTransitionLengthIndex))->value(); 123 // Traverse the transition tree in postorder.
124 static void TraverseTransitionTree(Map* map, TraverseCallback callback,
125 void* data) {
126 // Make sure that we do not allocate in the callback.
127 DisallowHeapAllocation no_allocation;
128 TraverseTransitionTreeInternal(map, callback, data);
73 } 129 }
74 130
75 int number_of_transitions_storage() { 131 // ===== LOW-LEVEL ACCESSORS =====
76 if (IsSimpleTransition()) return 1; 132
77 if (length() <= kFirstIndex) return 0; 133 // Accessors for fetching instance transition at transition number.
78 return (length() - kFirstIndex) / kTransitionSize; 134 static inline Name* GetKey(Object* raw_transitions, int transition_number);
135 inline Name* GetKey(int transition_number);
136 inline void SetKey(int transition_number, Name* value);
137 inline Object** GetKeySlot(int transition_number);
138 int GetSortedKeyIndex(int transition_number) { return transition_number; }
139
140 Name* GetSortedKey(int transition_number) {
141 return GetKey(transition_number);
79 } 142 }
80 143
81 int NumberOfSlackTransitions() { 144 static inline Map* GetTarget(Object* raw_transitions, int transition_number);
82 return number_of_transitions_storage() - number_of_transitions(); 145 inline Map* GetTarget(int transition_number);
83 } 146 inline void SetTarget(int transition_number, Map* target);
84
85 inline void SetNumberOfTransitions(int number_of_transitions);
86 inline int number_of_entries() { return number_of_transitions(); }
87
88 // Creates a FullTransitionArray from a SimpleTransitionArray in
89 // containing_map.
90 static Handle<TransitionArray> ExtendToFullTransitionArray(
91 Handle<Map> containing_map);
92
93 // Return a transition array, using the array from the owning map if it
94 // already has one (copying into a larger array if necessary), otherwise
95 // creating a new one according to flag.
96 // TODO(verwaest): This should not cause an existing transition to be
97 // overwritten.
98 static Handle<TransitionArray> Insert(Handle<Map> map, Handle<Name> name,
99 Handle<Map> target,
100 SimpleTransitionFlag flag);
101 // Search a transition for a given kind, property name and attributes.
102 int Search(PropertyKind kind, Name* name, PropertyAttributes attributes,
103 int* out_insertion_index = NULL);
104
105 // Search a non-property transition (like elements kind, observe or frozen
106 // transitions).
107 inline int SearchSpecial(Symbol* symbol, int* out_insertion_index = NULL) {
108 return SearchName(symbol, out_insertion_index);
109 }
110 147
111 static inline PropertyDetails GetTargetDetails(Name* name, Map* target); 148 static inline PropertyDetails GetTargetDetails(Name* name, Map* target);
112 149
113 // Allocates a TransitionArray. 150 // Returns the number of transitions in the array.
114 static Handle<TransitionArray> Allocate(Isolate* isolate, 151 static int NumberOfTransitions(Object* raw_transitions);
115 int number_of_transitions, 152 // Required for templatized Search interface.
116 int slack = 0); 153 inline int number_of_entries() { return number_of_transitions(); }
117 154
118 bool IsSimpleTransition() { 155 inline void SetNumberOfTransitions(int number_of_transitions);
119 return length() == kSimpleTransitionSize &&
120 get(kSimpleTransitionTarget)->IsHeapObject() &&
121 // The IntrusivePrototypeTransitionIterator may have set the map of the
122 // prototype transitions array to a smi. In that case, there are
123 // prototype transitions, hence this transition array is a full
124 // transition array.
125 HeapObject::cast(get(kSimpleTransitionTarget))->map()->IsMap() &&
126 get(kSimpleTransitionTarget)->IsMap();
127 }
128 156
129 bool IsFullTransitionArray() { 157 static int Capacity(Object* raw_transitions);
130 return length() > kFirstIndex ||
131 (length() == kFirstIndex && !IsSimpleTransition());
132 }
133 158
134 // Casting. 159 // Casting.
135 static inline TransitionArray* cast(Object* obj); 160 static inline TransitionArray* cast(Object* obj);
136 161
137 // Constant for denoting key was not found.
138 static const int kNotFound = -1;
139
140 static const int kBackPointerStorageIndex = 0;
141
142 // Layout for full transition arrays.
143 static const int kPrototypeTransitionsIndex = 1;
144 static const int kTransitionLengthIndex = 2;
145 static const int kFirstIndex = 3;
146
147 // Layout for simple transition arrays.
148 static const int kSimpleTransitionTarget = 1;
149 static const int kSimpleTransitionSize = 2;
150 static const int kSimpleTransitionIndex = 0;
151 STATIC_ASSERT(kSimpleTransitionIndex != kNotFound);
152
153 static const int kBackPointerStorageOffset = FixedArray::kHeaderSize;
154
155 // Layout for the full transition array header.
156 static const int kPrototypeTransitionsOffset = kBackPointerStorageOffset +
157 kPointerSize;
158 static const int kTransitionLengthOffset =
159 kPrototypeTransitionsOffset + kPointerSize;
160
161 // Layout of map transition entries in full transition arrays.
162 static const int kTransitionKey = 0;
163 static const int kTransitionTarget = 1;
164 static const int kTransitionSize = 2; 162 static const int kTransitionSize = 2;
163 static const int kProtoTransitionHeaderSize = 1;
165 164
166 #if defined(DEBUG) || defined(OBJECT_PRINT) 165 #if defined(DEBUG) || defined(OBJECT_PRINT)
167 // For our gdb macros, we should perhaps change these in the future. 166 // For our gdb macros, we should perhaps change these in the future.
168 void Print(); 167 void Print();
169 168
170 // Print all the transitions. 169 // Print all the transitions.
171 void PrintTransitions(std::ostream& os, bool print_header = true); // NOLINT 170 static void PrintTransitions(std::ostream& os, Object* transitions,
171 bool print_header = true); // NOLINT
172 #endif 172 #endif
173 173
174 #ifdef DEBUG 174 #ifdef DEBUG
175 bool IsSortedNoDuplicates(int valid_entries = -1); 175 bool IsSortedNoDuplicates(int valid_entries = -1);
176 bool IsConsistentWithBackPointers(Map* current_map); 176 static bool IsSortedNoDuplicates(Map* map);
177 bool IsEqualTo(TransitionArray* other); 177 static bool IsConsistentWithBackPointers(Map* map);
178 178
179 // Returns true for a non-property transitions like elements kind, observed 179 // Returns true for a non-property transitions like elements kind, observed
180 // or frozen transitions. 180 // or frozen transitions.
181 static inline bool IsSpecialTransition(Name* name); 181 static inline bool IsSpecialTransition(Name* name);
182 #endif 182 #endif
183 183
184 // Constant for denoting key was not found.
185 static const int kNotFound = -1;
186
184 // The maximum number of transitions we want in a transition array (should 187 // The maximum number of transitions we want in a transition array (should
185 // fit in a page). 188 // fit in a page).
186 static const int kMaxNumberOfTransitions = 1024 + 512; 189 static const int kMaxNumberOfTransitions = 1024 + 512;
187 190
188 // Returns the fixed array length required to hold number_of_transitions 191 private:
189 // transitions. 192 // Layout for full transition arrays.
190 static int LengthFor(int number_of_transitions) { 193 static const int kPrototypeTransitionsIndex = 0;
191 return ToKeyIndex(number_of_transitions); 194 static const int kTransitionLengthIndex = 1;
192 } 195 static const int kFirstIndex = 2;
193 196
194 private: 197 // Layout of map transition entries in full transition arrays.
198 static const int kTransitionKey = 0;
199 static const int kTransitionTarget = 1;
200 STATIC_ASSERT(kTransitionSize == 2);
201
202 static const int kProtoTransitionNumberOfEntriesOffset = 0;
203 STATIC_ASSERT(kProtoTransitionHeaderSize == 1);
204
195 // Conversion from transition number to array indices. 205 // Conversion from transition number to array indices.
196 static int ToKeyIndex(int transition_number) { 206 static int ToKeyIndex(int transition_number) {
197 return kFirstIndex + 207 return kFirstIndex +
198 (transition_number * kTransitionSize) + 208 (transition_number * kTransitionSize) +
199 kTransitionKey; 209 kTransitionKey;
200 } 210 }
201 211
202 static int ToTargetIndex(int transition_number) { 212 static int ToTargetIndex(int transition_number) {
203 return kFirstIndex + 213 return kFirstIndex +
204 (transition_number * kTransitionSize) + 214 (transition_number * kTransitionSize) +
205 kTransitionTarget; 215 kTransitionTarget;
206 } 216 }
207 217
208 static Handle<TransitionArray> AllocateSimple( 218 // Returns the fixed array length required to hold number_of_transitions
209 Isolate* isolate, Handle<Map> target); 219 // transitions.
220 static int LengthFor(int number_of_transitions) {
221 return ToKeyIndex(number_of_transitions);
222 }
210 223
211 // Allocate a new transition array with a single entry. 224 // Allocates a TransitionArray.
212 static Handle<TransitionArray> NewWith(Handle<Map> map, 225 static Handle<TransitionArray> Allocate(Isolate* isolate,
213 Handle<Name> name, 226 int number_of_transitions,
214 Handle<Map> target, 227 int slack = 0);
215 SimpleTransitionFlag flag);
216 228
229 static void EnsureHasFullTransitionArray(Handle<Map> map);
230 static void ReplaceTransitions(Handle<Map> map, Object* new_transitions);
231
232 // Search a transition for a given kind, property name and attributes.
233 int Search(PropertyKind kind, Name* name, PropertyAttributes attributes,
234 int* out_insertion_index = NULL);
235
236 // Search a non-property transition (like elements kind, observe or frozen
237 // transitions).
238 inline int SearchSpecial(Symbol* symbol, int* out_insertion_index = NULL) {
239 return SearchName(symbol, out_insertion_index);
240 }
217 // Search a first transition for a given property name. 241 // Search a first transition for a given property name.
218 inline int SearchName(Name* name, int* out_insertion_index = NULL); 242 inline int SearchName(Name* name, int* out_insertion_index = NULL);
219 int SearchDetails(int transition, PropertyKind kind, 243 int SearchDetails(int transition, PropertyKind kind,
220 PropertyAttributes attributes, int* out_insertion_index); 244 PropertyAttributes attributes, int* out_insertion_index);
221 245
246 int number_of_transitions() {
247 if (length() < kFirstIndex) return 0;
248 return Smi::cast(get(kTransitionLengthIndex))->value();
249 }
250
251 static inline PropertyDetails GetSimpleTargetDetails(Map* transition) {
252 return transition->GetLastDescriptorDetails();
253 }
254
255 static inline Name* GetSimpleTransitionKey(Map* transition) {
256 int descriptor = transition->LastAdded();
257 return transition->instance_descriptors()->GetKey(descriptor);
258 }
259
260 static void TraverseTransitionTreeInternal(Map* map,
261 TraverseCallback callback,
262 void* data);
263
264 static void SetPrototypeTransitions(Handle<Map> map,
265 Handle<FixedArray> proto_transitions);
266
222 // Compares two tuples <key, kind, attributes>, returns -1 if 267 // Compares two tuples <key, kind, attributes>, returns -1 if
223 // tuple1 is "less" than tuple2, 0 if tuple1 equal to tuple2 and 1 otherwise. 268 // tuple1 is "less" than tuple2, 0 if tuple1 equal to tuple2 and 1 otherwise.
224 static inline int CompareKeys(Name* key1, uint32_t hash1, PropertyKind kind1, 269 static inline int CompareKeys(Name* key1, uint32_t hash1, PropertyKind kind1,
225 PropertyAttributes attributes1, Name* key2, 270 PropertyAttributes attributes1, Name* key2,
226 uint32_t hash2, PropertyKind kind2, 271 uint32_t hash2, PropertyKind kind2,
227 PropertyAttributes attributes2); 272 PropertyAttributes attributes2);
228 273
229 // Compares keys, returns -1 if key1 is "less" than key2, 274 // Compares keys, returns -1 if key1 is "less" than key2,
230 // 0 if key1 equal to key2 and 1 otherwise. 275 // 0 if key1 equal to key2 and 1 otherwise.
231 static inline int CompareNames(Name* key1, uint32_t hash1, Name* key2, 276 static inline int CompareNames(Name* key1, uint32_t hash1, Name* key2,
232 uint32_t hash2); 277 uint32_t hash2);
233 278
234 // Compares two details, returns -1 if details1 is "less" than details2, 279 // Compares two details, returns -1 if details1 is "less" than details2,
235 // 0 if details1 equal to details2 and 1 otherwise. 280 // 0 if details1 equal to details2 and 1 otherwise.
236 static inline int CompareDetails(PropertyKind kind1, 281 static inline int CompareDetails(PropertyKind kind1,
237 PropertyAttributes attributes1, 282 PropertyAttributes attributes1,
238 PropertyKind kind2, 283 PropertyKind kind2,
239 PropertyAttributes attributes2); 284 PropertyAttributes attributes2);
240 285
241 inline void NoIncrementalWriteBarrierSet(int transition_number, 286 inline void NoIncrementalWriteBarrierSet(int transition_number,
242 Name* key, 287 Name* key,
243 Map* target); 288 Map* target);
244 289
245 // Copy a single transition from the origin array. 290 // Copy a single transition from the origin array.
246 inline void NoIncrementalWriteBarrierCopyFrom(TransitionArray* origin, 291 inline void NoIncrementalWriteBarrierCopyFrom(TransitionArray* origin,
247 int origin_transition, 292 int origin_transition,
248 int target_transition); 293 int target_transition);
249 294
295 #ifdef DEBUG
296 static void CheckNewTransitionsAreConsistent(Handle<Map> map,
297 TransitionArray* old_transitions,
298 Object* transitions);
299 #endif
300
250 DISALLOW_IMPLICIT_CONSTRUCTORS(TransitionArray); 301 DISALLOW_IMPLICIT_CONSTRUCTORS(TransitionArray);
251 }; 302 };
252 303
253 304
254 } } // namespace v8::internal 305 } } // namespace v8::internal
255 306
256 #endif // V8_TRANSITIONS_H_ 307 #endif // V8_TRANSITIONS_H_
OLDNEW
« no previous file with comments | « src/objects-printer.cc ('k') | src/transitions.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698