v8-util.h 19.7 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 <assert.h>
9

10
#include <map>
11
#include <vector>
12

13 14 15
#include "v8-function-callback.h"  // NOLINT(build/include_directory)
#include "v8-persistent-handle.h"  // NOLINT(build/include_directory)

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

25 26 27
template <typename K, typename V, typename Traits>
class GlobalValueMap;

28 29
typedef uintptr_t PersistentContainerValue;
static const uintptr_t kPersistentContainerNotFound = 0;
30 31
enum PersistentContainerCallbackType {
  kNotWeak,
32 33
  // These correspond to v8::WeakCallbackType
  kWeakWithParameter,
34
  kWeakWithInternalFields
35
};
36

37
/**
38
 * A default trait implementation for PersistentValueMap which uses std::map
39 40 41 42 43 44 45 46 47 48 49 50 51
 * 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(); }
52
  static void Swap(Impl& a, Impl& b) { std::swap(a, b); }
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 79 80 81 82 83 84
  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
85
 * objects and has no special Dispose handling.
86
 *
87 88
 * You should not derive from this class, since MapType depends on the
 * surrounding class, and hence a subclass cannot simply inherit the methods.
89 90
 */
template<typename K, typename V>
91
class DefaultPersistentValueMapTraits : public StdMapTraits<K, V> {
92 93
 public:
  // Weak callback & friends:
94 95 96
  static const PersistentContainerCallbackType kCallbackType = kNotWeak;
  typedef PersistentValueMap<K, V, DefaultPersistentValueMapTraits<K, V> >
      MapType;
97
  typedef void WeakCallbackDataType;
98

99
  static WeakCallbackDataType* WeakCallbackParameter(
100
      MapType* map, const K& key, Local<V> value) {
101
    return nullptr;
102
  }
103 104
  static MapType* MapFromWeakCallbackInfo(
      const WeakCallbackInfo<WeakCallbackDataType>& data) {
105
    return nullptr;
106
  }
107 108
  static K KeyFromWeakCallbackInfo(
      const WeakCallbackInfo<WeakCallbackDataType>& data) {
109 110 111
    return K();
  }
  static void DisposeCallbackData(WeakCallbackDataType* data) { }
112
  static void Dispose(Isolate* isolate, Global<V> value, K key) {}
113 114 115
};


116
template <typename K, typename V>
117
class DefaultGlobalMapTraits : public StdMapTraits<K, V> {
118 119 120 121 122 123 124
 private:
  template <typename T>
  struct RemovePointer;

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

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

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


155
/**
156 157
 * A map wrapper that allows using Global as a mapped value.
 * C++11 embedders don't need this class, as they can use Global
158 159 160 161 162 163 164
 * 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.
 */
165 166
template <typename K, typename V, typename Traits>
class PersistentValueMapBase {
167
 public:
168
  Isolate* GetIsolate() { return isolate_; }
169 170 171 172

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

175 176 177
  /**
   * Return whether the map holds weak persistents.
   */
178
  bool IsWeak() { return Traits::kCallbackType != kNotWeak; }
179

180 181 182
  /**
   * Get value stored in map.
   */
183
  Local<V> Get(const K& key) {
184 185 186 187 188 189
    return Local<V>::New(isolate_, FromVal(Traits::Get(&impl_, key)));
  }

  /**
   * Check whether a value is contained in the map.
   */
190
  bool Contains(const K& key) {
191
    return Traits::Get(&impl_, key) != kPersistentContainerNotFound;
192 193 194 195 196 197
  }

  /**
   * Get value stored in map and set it in returnValue.
   * Return true if a value was found.
   */
198
  bool SetReturnValue(const K& key,
199
      ReturnValue<Value> returnValue) {
200
    return SetReturnValueFromVal(&returnValue, Traits::Get(&impl_, key));
201
  }
202 203 204 205

  /**
   * Return value for key and remove it from the map.
   */
206
  Global<V> Remove(const K& key) {
207 208 209 210 211 212 213
    return Release(Traits::Remove(&impl_, key)).Pass();
  }

  /**
  * Traverses the map repeatedly,
  * in case side effects of disposal cause insertions.
  **/
214 215 216 217 218 219 220 221
  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) {
222 223
        Traits::Dispose(isolate_, Release(Traits::Value(i)).Pass(),
                        Traits::Key(i));
224 225 226
      }
    }
  }
227

228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245
  /**
   * 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) {
246
      return SetReturnValueFromVal(&returnValue, value_);
247 248 249 250 251 252 253 254 255
    }
    void Reset() {
      value_ = kPersistentContainerNotFound;
    }
    void operator=(const PersistentValueReference& other) {
      value_ = other.value_;
    }

   private:
256 257
    friend class PersistentValueMapBase;
    friend class PersistentValueMap<K, V, Traits>;
258
    friend class GlobalValueMap<K, V, Traits>;
259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279

    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.
   */
280
  PersistentValueReference GetReference(const K& key) {
281 282 283
    return PersistentValueReference(Traits::Get(&impl_, key));
  }

284
 protected:
285 286 287 288
  explicit PersistentValueMapBase(Isolate* isolate)
      : isolate_(isolate), label_(nullptr) {}
  PersistentValueMapBase(Isolate* isolate, const char* label)
      : isolate_(isolate), label_(label) {}
289 290 291 292 293 294 295 296 297 298

  ~PersistentValueMapBase() { Clear(); }

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

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

299
  static PersistentContainerValue ClearAndLeak(Global<V>* persistent) {
300
    V* v = persistent->val_;
301
    persistent->val_ = nullptr;
302 303 304
    return reinterpret_cast<PersistentContainerValue>(v);
  }

305
  static PersistentContainerValue Leak(Global<V>* persistent) {
306 307 308
    return reinterpret_cast<PersistentContainerValue>(persistent->val_);
  }

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

dcarney's avatar
dcarney committed
324 325 326 327 328
  void RemoveWeak(const K& key) {
    Global<V> p;
    p.val_ = FromVal(Traits::Remove(&impl_, key));
    p.Reset();
  }
329

330 331 332 333
  void AnnotateStrongRetainer(Global<V>* persistent) {
    persistent->AnnotateStrongRetainer(label_);
  }

334
 private:
335 336 337 338 339 340 341 342
  PersistentValueMapBase(PersistentValueMapBase&);
  void operator=(PersistentValueMapBase&);

  static bool SetReturnValueFromVal(ReturnValue<Value>* returnValue,
                                    PersistentContainerValue value) {
    bool hasValue = value != kPersistentContainerNotFound;
    if (hasValue) {
      returnValue->SetInternal(
343
          *reinterpret_cast<internal::Address*>(FromVal(value)));
344 345 346 347 348 349
    }
    return hasValue;
  }

  Isolate* isolate_;
  typename Traits::Impl impl_;
350
  const char* label_;
351 352
};

353
template <typename K, typename V, typename Traits>
354 355 356 357
class PersistentValueMap : public PersistentValueMapBase<K, V, Traits> {
 public:
  explicit PersistentValueMap(Isolate* isolate)
      : PersistentValueMapBase<K, V, Traits>(isolate) {}
358 359
  PersistentValueMap(Isolate* isolate, const char* label)
      : PersistentValueMapBase<K, V, Traits>(isolate, label) {}
360 361 362 363 364 365 366 367

  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.
368
   * Returns old value as Global.
369
   */
370 371
  Global<V> Set(const K& key, Local<V> value) {
    Global<V> persistent(this->isolate(), value);
372 373 374 375 376 377
    return SetUnique(key, &persistent);
  }

  /**
   * Put value into map, like Set(const K&, Local<V>).
   */
378
  Global<V> Set(const K& key, Global<V> value) {
379 380
    return SetUnique(key, &value);
  }
381 382 383 384 385

  /**
   * Put the value into the map, and set the 'weak' callback when demanded
   * by the Traits class.
   */
386
  Global<V> SetUnique(const K& key, Global<V>* persistent) {
387 388 389
    if (Traits::kCallbackType == kNotWeak) {
      this->AnnotateStrongRetainer(persistent);
    } else {
390 391 392 393
      WeakCallbackType callback_type =
          Traits::kCallbackType == kWeakWithInternalFields
              ? WeakCallbackType::kInternalFields
              : WeakCallbackType::kParameter;
394
      Local<V> value(Local<V>::New(this->isolate(), *persistent));
395
      persistent->template SetWeak<typename Traits::WeakCallbackDataType>(
396 397
          Traits::WeakCallbackParameter(this, key, value), WeakCallback,
          callback_type);
398 399
    }
    PersistentContainerValue old_value =
400 401 402 403 404 405 406 407
        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.
   */
408 409
  Global<V> Set(const K& key, Global<V> value,
                PersistentValueReference* reference) {
410 411
    *reference = this->Leak(&value);
    return SetUnique(key, &value);
412 413
  }

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


429
template <typename K, typename V, typename Traits>
430
class GlobalValueMap : public PersistentValueMapBase<K, V, Traits> {
431
 public:
432
  explicit GlobalValueMap(Isolate* isolate)
433
      : PersistentValueMapBase<K, V, Traits>(isolate) {}
434 435
  GlobalValueMap(Isolate* isolate, const char* label)
      : PersistentValueMapBase<K, V, Traits>(isolate, label) {}
436

437 438 439 440 441 442 443
  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.
444
   * Returns old value as Global.
445
   */
446 447
  Global<V> Set(const K& key, Local<V> value) {
    Global<V> persistent(this->isolate(), value);
448
    return SetUnique(key, &persistent);
449 450
  }

451 452 453
  /**
   * Put value into map, like Set(const K&, Local<V>).
   */
454
  Global<V> Set(const K& key, Global<V> value) {
455
    return SetUnique(key, &value);
456 457
  }

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

480 481 482 483
  /**
   * Put a value into the map and update the reference.
   * Restrictions of GetReference apply here as well.
   */
484 485
  Global<V> Set(const K& key, Global<V> value,
                PersistentValueReference* reference) {
486 487 488 489 490
    *reference = this->Leak(&value);
    return SetUnique(key, &value);
  }

 private:
491
  static void OnWeakCallback(
492
      const WeakCallbackInfo<typename Traits::WeakCallbackDataType>& data) {
493
    if (Traits::kCallbackType != kNotWeak) {
494
      auto map = Traits::MapFromWeakCallbackInfo(data);
495
      K key = Traits::KeyFromWeakCallbackInfo(data);
496
      map->RemoveWeak(key);
497
      Traits::OnWeakCallback(data);
498
      data.SetSecondPassCallback(SecondWeakCallback);
499 500
    }
  }
501 502 503 504 505

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

508 509

/**
510
 * A map that uses Global as value and std::map as the backing
511 512 513
 * implementation. Persistents are held non-weak.
 *
 * C++11 embedders don't need this class, as they can use
514
 * Global directly in std containers.
515 516 517 518 519 520 521 522 523
 */
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) {}
};

524

dcarney's avatar
dcarney committed
525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540
/**
 * 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) {}
};


541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566
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();
  }
};


/**
567 568
 * A vector wrapper that safely stores Global values.
 * C++11 embedders don't need this class, as they can use Global
569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588
 * 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) {
589
    Global<V> persistent(isolate_, value);
590 591 592 593 594 595
    Traits::Append(&impl_, ClearAndLeak(&persistent));
  }

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

  /**
   * 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++) {
627
      Global<V> p;
628 629 630 631 632 633 634 635 636 637 638 639 640 641
      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:
642
  static PersistentContainerValue ClearAndLeak(Global<V>* persistent) {
643
    V* v = persistent->val_;
644
    persistent->val_ = nullptr;
645 646 647 648 649 650 651 652 653 654 655
    return reinterpret_cast<PersistentContainerValue>(v);
  }

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

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

656 657
}  // namespace v8

658
#endif  // V8_UTIL_H