v8-util.h 19.6 KB
Newer Older
1
// Copyright 2014 the V8 project authors. All rights reserved.
2 3
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
4 5 6 7

#ifndef V8_UTIL_H_
#define V8_UTIL_H_

8
#include "v8.h"  // NOLINT(build/include)
9
#include <assert.h>
10
#include <map>
11
#include <vector>
12 13 14 15

/**
 * Support for Persistent containers.
 *
16
 * C++11 embedders can use STL containers with Global values,
17 18 19 20 21 22 23
 * but pre-C++11 does not support the required move semantic and hence
 * may want these container classes.
 */
namespace v8 {

typedef uintptr_t PersistentContainerValue;
static const uintptr_t kPersistentContainerNotFound = 0;
24 25
enum PersistentContainerCallbackType {
  kNotWeak,
26 27
  // These correspond to v8::WeakCallbackType
  kWeakWithParameter,
28
  kWeakWithInternalFields
29
};
30

31
/**
32
 * A default trait implementation for PersistentValueMap which uses std::map
33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78
 * as a backing map.
 *
 * Users will have to implement their own weak callbacks & dispose traits.
 */
template<typename K, typename V>
class StdMapTraits {
 public:
  // STL map & related:
  typedef std::map<K, PersistentContainerValue> Impl;
  typedef typename Impl::iterator Iterator;

  static bool Empty(Impl* impl) { return impl->empty(); }
  static size_t Size(Impl* impl) { return impl->size(); }
  static void Swap(Impl& a, Impl& b) { std::swap(a, b); }  // NOLINT
  static Iterator Begin(Impl* impl) { return impl->begin(); }
  static Iterator End(Impl* impl) { return impl->end(); }
  static K Key(Iterator it) { return it->first; }
  static PersistentContainerValue Value(Iterator it) { return it->second; }
  static PersistentContainerValue Set(Impl* impl, K key,
      PersistentContainerValue value) {
    std::pair<Iterator, bool> res = impl->insert(std::make_pair(key, value));
    PersistentContainerValue old_value = kPersistentContainerNotFound;
    if (!res.second) {
      old_value = res.first->second;
      res.first->second = value;
    }
    return old_value;
  }
  static PersistentContainerValue Get(Impl* impl, K key) {
    Iterator it = impl->find(key);
    if (it == impl->end()) return kPersistentContainerNotFound;
    return it->second;
  }
  static PersistentContainerValue Remove(Impl* impl, K key) {
    Iterator it = impl->find(key);
    if (it == impl->end()) return kPersistentContainerNotFound;
    PersistentContainerValue value = it->second;
    impl->erase(it);
    return value;
  }
};


/**
 * A default trait implementation for PersistentValueMap, which inherits
 * a std:map backing map from StdMapTraits and holds non-weak persistent
79
 * objects and has no special Dispose handling.
80
 *
81 82
 * You should not derive from this class, since MapType depends on the
 * surrounding class, and hence a subclass cannot simply inherit the methods.
83 84
 */
template<typename K, typename V>
85
class DefaultPersistentValueMapTraits : public StdMapTraits<K, V> {
86 87
 public:
  // Weak callback & friends:
88 89 90
  static const PersistentContainerCallbackType kCallbackType = kNotWeak;
  typedef PersistentValueMap<K, V, DefaultPersistentValueMapTraits<K, V> >
      MapType;
91
  typedef void WeakCallbackDataType;
92

93
  static WeakCallbackDataType* WeakCallbackParameter(
94
      MapType* map, const K& key, Local<V> value) {
95
    return nullptr;
96
  }
97 98
  static MapType* MapFromWeakCallbackInfo(
      const WeakCallbackInfo<WeakCallbackDataType>& data) {
99
    return nullptr;
100
  }
101 102
  static K KeyFromWeakCallbackInfo(
      const WeakCallbackInfo<WeakCallbackDataType>& data) {
103 104 105
    return K();
  }
  static void DisposeCallbackData(WeakCallbackDataType* data) { }
106
  static void Dispose(Isolate* isolate, Global<V> value, K key) {}
107 108 109
};


110
template <typename K, typename V>
111
class DefaultGlobalMapTraits : public StdMapTraits<K, V> {
112 113 114 115 116 117 118
 private:
  template <typename T>
  struct RemovePointer;

 public:
  // Weak callback & friends:
  static const PersistentContainerCallbackType kCallbackType = kNotWeak;
dcarney's avatar
dcarney committed
119 120
  typedef GlobalValueMap<K, V, DefaultGlobalMapTraits<K, V> > MapType;
  typedef void WeakCallbackDataType;
121

dcarney's avatar
dcarney committed
122
  static WeakCallbackDataType* WeakCallbackParameter(MapType* map, const K& key,
123 124
                                                     Local<V> value) {
    return nullptr;
125
  }
126
  static MapType* MapFromWeakCallbackInfo(
dcarney's avatar
dcarney committed
127
      const WeakCallbackInfo<WeakCallbackDataType>& data) {
128
    return nullptr;
129
  }
130
  static K KeyFromWeakCallbackInfo(
dcarney's avatar
dcarney committed
131
      const WeakCallbackInfo<WeakCallbackDataType>& data) {
132 133
    return K();
  }
dcarney's avatar
dcarney committed
134
  static void DisposeCallbackData(WeakCallbackDataType* data) {}
135 136
  static void OnWeakCallback(
      const WeakCallbackInfo<WeakCallbackDataType>& data) {}
137
  static void Dispose(Isolate* isolate, Global<V> value, K key) {}
138
  // This is a second pass callback, so SetSecondPassCallback cannot be called.
dcarney's avatar
dcarney committed
139
  static void DisposeWeak(const WeakCallbackInfo<WeakCallbackDataType>& data) {}
140 141 142 143 144 145 146 147 148

 private:
  template <typename T>
  struct RemovePointer<T*> {
    typedef T Type;
  };
};


149
/**
150 151
 * A map wrapper that allows using Global as a mapped value.
 * C++11 embedders don't need this class, as they can use Global
152 153 154 155 156 157 158
 * directly in std containers.
 *
 * The map relies on a backing map, whose type and accessors are described
 * by the Traits class. The backing map will handle values of type
 * PersistentContainerValue, with all conversion into and out of V8
 * handles being transparently handled by this class.
 */
159 160
template <typename K, typename V, typename Traits>
class PersistentValueMapBase {
161
 public:
162
  Isolate* GetIsolate() { return isolate_; }
163 164 165 166

  /**
   * Return size of the map.
   */
167
  size_t Size() { return Traits::Size(&impl_); }
168

169 170 171
  /**
   * Return whether the map holds weak persistents.
   */
172
  bool IsWeak() { return Traits::kCallbackType != kNotWeak; }
173

174 175 176
  /**
   * Get value stored in map.
   */
177
  Local<V> Get(const K& key) {
178 179 180 181 182 183
    return Local<V>::New(isolate_, FromVal(Traits::Get(&impl_, key)));
  }

  /**
   * Check whether a value is contained in the map.
   */
184
  bool Contains(const K& key) {
185
    return Traits::Get(&impl_, key) != kPersistentContainerNotFound;
186 187 188 189 190 191
  }

  /**
   * Get value stored in map and set it in returnValue.
   * Return true if a value was found.
   */
192
  bool SetReturnValue(const K& key,
193
      ReturnValue<Value> returnValue) {
194
    return SetReturnValueFromVal(&returnValue, Traits::Get(&impl_, key));
195
  }
196 197 198 199

  /**
   * Return value for key and remove it from the map.
   */
200
  Global<V> Remove(const K& key) {
201 202 203 204 205 206 207
    return Release(Traits::Remove(&impl_, key)).Pass();
  }

  /**
  * Traverses the map repeatedly,
  * in case side effects of disposal cause insertions.
  **/
208 209 210 211 212 213 214 215
  void Clear() {
    typedef typename Traits::Iterator It;
    HandleScope handle_scope(isolate_);
    // TODO(dcarney): figure out if this swap and loop is necessary.
    while (!Traits::Empty(&impl_)) {
      typename Traits::Impl impl;
      Traits::Swap(impl_, impl);
      for (It i = Traits::Begin(&impl); i != Traits::End(&impl); ++i) {
216 217
        Traits::Dispose(isolate_, Release(Traits::Value(i)).Pass(),
                        Traits::Key(i));
218 219 220
      }
    }
  }
221

222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239
  /**
   * Helper class for GetReference/SetWithReference. Do not use outside
   * that context.
   */
  class PersistentValueReference {
   public:
    PersistentValueReference() : value_(kPersistentContainerNotFound) { }
    PersistentValueReference(const PersistentValueReference& other)
        : value_(other.value_) { }

    Local<V> NewLocal(Isolate* isolate) const {
      return Local<V>::New(isolate, FromVal(value_));
    }
    bool IsEmpty() const {
      return value_ == kPersistentContainerNotFound;
    }
    template<typename T>
    bool SetReturnValue(ReturnValue<T> returnValue) {
240
      return SetReturnValueFromVal(&returnValue, value_);
241 242 243 244 245 246 247 248 249
    }
    void Reset() {
      value_ = kPersistentContainerNotFound;
    }
    void operator=(const PersistentValueReference& other) {
      value_ = other.value_;
    }

   private:
250 251
    friend class PersistentValueMapBase;
    friend class PersistentValueMap<K, V, Traits>;
252
    friend class GlobalValueMap<K, V, Traits>;
253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273

    explicit PersistentValueReference(PersistentContainerValue value)
        : value_(value) { }

    void operator=(PersistentContainerValue value) {
      value_ = value;
    }

    PersistentContainerValue value_;
  };

  /**
   * Get a reference to a map value. This enables fast, repeated access
   * to a value stored in the map while the map remains unchanged.
   *
   * Careful: This is potentially unsafe, so please use with care.
   * The value will become invalid if the value for this key changes
   * in the underlying map, as a result of Set or Remove for the same
   * key; as a result of the weak callback for the same key; or as a
   * result of calling Clear() or destruction of the map.
   */
274
  PersistentValueReference GetReference(const K& key) {
275 276 277
    return PersistentValueReference(Traits::Get(&impl_, key));
  }

278
 protected:
279 280 281 282
  explicit PersistentValueMapBase(Isolate* isolate)
      : isolate_(isolate), label_(nullptr) {}
  PersistentValueMapBase(Isolate* isolate, const char* label)
      : isolate_(isolate), label_(label) {}
283 284 285 286 287 288 289 290 291 292

  ~PersistentValueMapBase() { Clear(); }

  Isolate* isolate() { return isolate_; }
  typename Traits::Impl* impl() { return &impl_; }

  static V* FromVal(PersistentContainerValue v) {
    return reinterpret_cast<V*>(v);
  }

293
  static PersistentContainerValue ClearAndLeak(Global<V>* persistent) {
294
    V* v = persistent->val_;
295
    persistent->val_ = nullptr;
296 297 298
    return reinterpret_cast<PersistentContainerValue>(v);
  }

299
  static PersistentContainerValue Leak(Global<V>* persistent) {
300 301 302
    return reinterpret_cast<PersistentContainerValue>(persistent->val_);
  }

303
  /**
304
   * Return a container value as Global and make sure the weak
305 306
   * callback is properly disposed of. All remove functionality should go
   * through this.
307
   */
308 309
  static Global<V> Release(PersistentContainerValue v) {
    Global<V> p;
310 311 312 313 314 315
    p.val_ = FromVal(v);
    if (Traits::kCallbackType != kNotWeak && p.IsWeak()) {
      Traits::DisposeCallbackData(
          p.template ClearWeak<typename Traits::WeakCallbackDataType>());
    }
    return p.Pass();
316 317
  }

dcarney's avatar
dcarney committed
318 319 320 321 322
  void RemoveWeak(const K& key) {
    Global<V> p;
    p.val_ = FromVal(Traits::Remove(&impl_, key));
    p.Reset();
  }
323

324 325 326 327
  void AnnotateStrongRetainer(Global<V>* persistent) {
    persistent->AnnotateStrongRetainer(label_);
  }

328
 private:
329 330 331 332 333 334 335 336
  PersistentValueMapBase(PersistentValueMapBase&);
  void operator=(PersistentValueMapBase&);

  static bool SetReturnValueFromVal(ReturnValue<Value>* returnValue,
                                    PersistentContainerValue value) {
    bool hasValue = value != kPersistentContainerNotFound;
    if (hasValue) {
      returnValue->SetInternal(
337
          *reinterpret_cast<internal::Address*>(FromVal(value)));
338 339 340 341 342 343
    }
    return hasValue;
  }

  Isolate* isolate_;
  typename Traits::Impl impl_;
344
  const char* label_;
345 346
};

347
template <typename K, typename V, typename Traits>
348 349 350 351
class PersistentValueMap : public PersistentValueMapBase<K, V, Traits> {
 public:
  explicit PersistentValueMap(Isolate* isolate)
      : PersistentValueMapBase<K, V, Traits>(isolate) {}
352 353
  PersistentValueMap(Isolate* isolate, const char* label)
      : PersistentValueMapBase<K, V, Traits>(isolate, label) {}
354 355 356 357 358 359 360 361

  typedef
      typename PersistentValueMapBase<K, V, Traits>::PersistentValueReference
          PersistentValueReference;

  /**
   * Put value into map. Depending on Traits::kIsWeak, the value will be held
   * by the map strongly or weakly.
362
   * Returns old value as Global.
363
   */
364 365
  Global<V> Set(const K& key, Local<V> value) {
    Global<V> persistent(this->isolate(), value);
366 367 368 369 370 371
    return SetUnique(key, &persistent);
  }

  /**
   * Put value into map, like Set(const K&, Local<V>).
   */
372
  Global<V> Set(const K& key, Global<V> value) {
373 374
    return SetUnique(key, &value);
  }
375 376 377 378 379

  /**
   * Put the value into the map, and set the 'weak' callback when demanded
   * by the Traits class.
   */
380
  Global<V> SetUnique(const K& key, Global<V>* persistent) {
381 382 383
    if (Traits::kCallbackType == kNotWeak) {
      this->AnnotateStrongRetainer(persistent);
    } else {
384 385 386 387
      WeakCallbackType callback_type =
          Traits::kCallbackType == kWeakWithInternalFields
              ? WeakCallbackType::kInternalFields
              : WeakCallbackType::kParameter;
388
      Local<V> value(Local<V>::New(this->isolate(), *persistent));
389
      persistent->template SetWeak<typename Traits::WeakCallbackDataType>(
390 391
          Traits::WeakCallbackParameter(this, key, value), WeakCallback,
          callback_type);
392 393
    }
    PersistentContainerValue old_value =
394 395 396 397 398 399 400 401
        Traits::Set(this->impl(), key, this->ClearAndLeak(persistent));
    return this->Release(old_value).Pass();
  }

  /**
   * Put a value into the map and update the reference.
   * Restrictions of GetReference apply here as well.
   */
402 403
  Global<V> Set(const K& key, Global<V> value,
                PersistentValueReference* reference) {
404 405
    *reference = this->Leak(&value);
    return SetUnique(key, &value);
406 407
  }

408
 private:
409
  static void WeakCallback(
410
      const WeakCallbackInfo<typename Traits::WeakCallbackDataType>& data) {
411 412
    if (Traits::kCallbackType != kNotWeak) {
      PersistentValueMap<K, V, Traits>* persistentValueMap =
413 414
          Traits::MapFromWeakCallbackInfo(data);
      K key = Traits::KeyFromWeakCallbackInfo(data);
415 416
      Traits::Dispose(data.GetIsolate(),
                      persistentValueMap->Remove(key).Pass(), key);
417
      Traits::DisposeCallbackData(data.GetParameter());
418 419
    }
  }
420
};
421 422


423
template <typename K, typename V, typename Traits>
424
class GlobalValueMap : public PersistentValueMapBase<K, V, Traits> {
425
 public:
426
  explicit GlobalValueMap(Isolate* isolate)
427
      : PersistentValueMapBase<K, V, Traits>(isolate) {}
428 429
  GlobalValueMap(Isolate* isolate, const char* label)
      : PersistentValueMapBase<K, V, Traits>(isolate, label) {}
430

431 432 433 434 435 436 437
  typedef
      typename PersistentValueMapBase<K, V, Traits>::PersistentValueReference
          PersistentValueReference;

  /**
   * Put value into map. Depending on Traits::kIsWeak, the value will be held
   * by the map strongly or weakly.
438
   * Returns old value as Global.
439
   */
440 441
  Global<V> Set(const K& key, Local<V> value) {
    Global<V> persistent(this->isolate(), value);
442
    return SetUnique(key, &persistent);
443 444
  }

445 446 447
  /**
   * Put value into map, like Set(const K&, Local<V>).
   */
448
  Global<V> Set(const K& key, Global<V> value) {
449
    return SetUnique(key, &value);
450 451
  }

452
  /**
453 454
   * Put the value into the map, and set the 'weak' callback when demanded
   * by the Traits class.
455
   */
456
  Global<V> SetUnique(const K& key, Global<V>* persistent) {
457 458 459
    if (Traits::kCallbackType == kNotWeak) {
      this->AnnotateStrongRetainer(persistent);
    } else {
460 461 462 463
      WeakCallbackType callback_type =
          Traits::kCallbackType == kWeakWithInternalFields
              ? WeakCallbackType::kInternalFields
              : WeakCallbackType::kParameter;
464
      Local<V> value(Local<V>::New(this->isolate(), *persistent));
465
      persistent->template SetWeak<typename Traits::WeakCallbackDataType>(
466
          Traits::WeakCallbackParameter(this, key, value), OnWeakCallback,
467
          callback_type);
468
    }
469 470 471
    PersistentContainerValue old_value =
        Traits::Set(this->impl(), key, this->ClearAndLeak(persistent));
    return this->Release(old_value).Pass();
472 473
  }

474 475 476 477
  /**
   * Put a value into the map and update the reference.
   * Restrictions of GetReference apply here as well.
   */
478 479
  Global<V> Set(const K& key, Global<V> value,
                PersistentValueReference* reference) {
480 481 482 483 484
    *reference = this->Leak(&value);
    return SetUnique(key, &value);
  }

 private:
485
  static void OnWeakCallback(
486
      const WeakCallbackInfo<typename Traits::WeakCallbackDataType>& data) {
487
    if (Traits::kCallbackType != kNotWeak) {
488
      auto map = Traits::MapFromWeakCallbackInfo(data);
489
      K key = Traits::KeyFromWeakCallbackInfo(data);
490
      map->RemoveWeak(key);
491
      Traits::OnWeakCallback(data);
492
      data.SetSecondPassCallback(SecondWeakCallback);
493 494
    }
  }
495 496 497 498 499

  static void SecondWeakCallback(
      const WeakCallbackInfo<typename Traits::WeakCallbackDataType>& data) {
    Traits::DisposeWeak(data);
  }
500 501
};

502 503

/**
504
 * A map that uses Global as value and std::map as the backing
505 506 507
 * implementation. Persistents are held non-weak.
 *
 * C++11 embedders don't need this class, as they can use
508
 * Global directly in std containers.
509 510 511 512 513 514 515 516 517
 */
template<typename K, typename V,
    typename Traits = DefaultPersistentValueMapTraits<K, V> >
class StdPersistentValueMap : public PersistentValueMap<K, V, Traits> {
 public:
  explicit StdPersistentValueMap(Isolate* isolate)
      : PersistentValueMap<K, V, Traits>(isolate) {}
};

518

dcarney's avatar
dcarney committed
519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534
/**
 * A map that uses Global as value and std::map as the backing
 * implementation. Globals are held non-weak.
 *
 * C++11 embedders don't need this class, as they can use
 * Global directly in std containers.
 */
template <typename K, typename V,
          typename Traits = DefaultGlobalMapTraits<K, V> >
class StdGlobalValueMap : public GlobalValueMap<K, V, Traits> {
 public:
  explicit StdGlobalValueMap(Isolate* isolate)
      : GlobalValueMap<K, V, Traits>(isolate) {}
};


535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560
class DefaultPersistentValueVectorTraits {
 public:
  typedef std::vector<PersistentContainerValue> Impl;

  static void Append(Impl* impl, PersistentContainerValue value) {
    impl->push_back(value);
  }
  static bool IsEmpty(const Impl* impl) {
    return impl->empty();
  }
  static size_t Size(const Impl* impl) {
    return impl->size();
  }
  static PersistentContainerValue Get(const Impl* impl, size_t i) {
    return (i < impl->size()) ? impl->at(i) : kPersistentContainerNotFound;
  }
  static void ReserveCapacity(Impl* impl, size_t capacity) {
    impl->reserve(capacity);
  }
  static void Clear(Impl* impl) {
    impl->clear();
  }
};


/**
561 562
 * A vector wrapper that safely stores Global values.
 * C++11 embedders don't need this class, as they can use Global
563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582
 * directly in std containers.
 *
 * This class relies on a backing vector implementation, whose type and methods
 * are described by the Traits class. The backing map will handle values of type
 * PersistentContainerValue, with all conversion into and out of V8
 * handles being transparently handled by this class.
 */
template<typename V, typename Traits = DefaultPersistentValueVectorTraits>
class PersistentValueVector {
 public:
  explicit PersistentValueVector(Isolate* isolate) : isolate_(isolate) { }

  ~PersistentValueVector() {
    Clear();
  }

  /**
   * Append a value to the vector.
   */
  void Append(Local<V> value) {
583
    Global<V> persistent(isolate_, value);
584 585 586 587 588 589
    Traits::Append(&impl_, ClearAndLeak(&persistent));
  }

  /**
   * Append a persistent's value to the vector.
   */
590
  void Append(Global<V> persistent) {
591
    Traits::Append(&impl_, ClearAndLeak(&persistent));
592
  }
593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620

  /**
   * Are there any values in the vector?
   */
  bool IsEmpty() const {
    return Traits::IsEmpty(&impl_);
  }

  /**
   * How many elements are in the vector?
   */
  size_t Size() const {
    return Traits::Size(&impl_);
  }

  /**
   * Retrieve the i-th value in the vector.
   */
  Local<V> Get(size_t index) const {
    return Local<V>::New(isolate_, FromVal(Traits::Get(&impl_, index)));
  }

  /**
   * Remove all elements from the vector.
   */
  void Clear() {
    size_t length = Traits::Size(&impl_);
    for (size_t i = 0; i < length; i++) {
621
      Global<V> p;
622 623 624 625 626 627 628 629 630 631 632 633 634 635
      p.val_ = FromVal(Traits::Get(&impl_, i));
    }
    Traits::Clear(&impl_);
  }

  /**
   * Reserve capacity in the vector.
   * (Efficiency gains depend on the backing implementation.)
   */
  void ReserveCapacity(size_t capacity) {
    Traits::ReserveCapacity(&impl_, capacity);
  }

 private:
636
  static PersistentContainerValue ClearAndLeak(Global<V>* persistent) {
637
    V* v = persistent->val_;
638
    persistent->val_ = nullptr;
639 640 641 642 643 644 645 646 647 648 649
    return reinterpret_cast<PersistentContainerValue>(v);
  }

  static V* FromVal(PersistentContainerValue v) {
    return reinterpret_cast<V*>(v);
  }

  Isolate* isolate_;
  typename Traits::Impl impl_;
};

650 651
}  // namespace v8

652
#endif  // V8_UTIL_H