Home | History | Annotate | Download | only in gl
      1 
      2 /*
      3  * Copyright 2014 Google Inc.
      4  *
      5  * Use of this source code is governed by a BSD-style license that can be
      6  * found in the LICENSE file.
      7  */
      8 
      9 #include "GrGLNameAllocator.h"
     10 
     11 /**
     12  * This is the abstract base class for a nonempty AVL tree that tracks allocated
     13  * names within the half-open range [fFirst, fEnd). The inner nodes can be
     14  * sparse (meaning not every name within the range is necessarily allocated),
     15  * but the bounds are tight, so fFirst *is* guaranteed to be allocated, and so
     16  * is fEnd - 1.
     17  */
     18 class GrGLNameAllocator::SparseNameRange : public SkRefCnt {
     19 public:
     20     virtual ~SparseNameRange() {}
     21 
     22     /**
     23      * Return the beginning of the range. first() is guaranteed to be allocated.
     24      *
     25      * @return The first name in the range.
     26      */
     27     GrGLuint first() const { return fFirst; }
     28 
     29     /**
     30      * Return the end of the range. end() - 1 is guaranteed to be allocated.
     31      *
     32      * @return One plus the final name in the range.
     33      */
     34     GrGLuint end() const { return fEnd; }
     35 
     36     /**
     37      * Return the height of the tree. This can only be nonzero at an inner node.
     38      *
     39      * @return 0 if the implementation is a leaf node,
     40      *         The nonzero height of the tree otherwise.
     41      */
     42     GrGLuint height() const { return fHeight; }
     43 
     44     /**
     45      * Allocate a name from strictly inside this range. The call will fail if
     46      * there is not a free name within.
     47      *
     48      * @param outName A pointer that receives the allocated name. outName will
     49      *                be set to zero if there were no free names within the
     50      *                range [fFirst, fEnd).
     51      * @return The resulting SparseNameRange after the allocation. Note that
     52      *         this call is destructive, so the original SparseNameRange will no
     53      *         longer be valid afterward. The caller must always update its
     54      *         pointer with the new SparseNameRange.
     55      */
     56     virtual SparseNameRange* SK_WARN_UNUSED_RESULT internalAllocate(GrGLuint* outName) = 0;
     57 
     58     /**
     59      * Remove the leftmost leaf node from this range (or the entire thing if it
     60      * *is* a leaf node). This is an internal helper method that is used after
     61      * an allocation if one contiguous range became adjacent to another. (The
     62      * range gets removed so the one immediately before can be extended,
     63      * collapsing the two into one.)
     64      *
     65      * @param removedCount A pointer that receives the size of the contiguous
     66                            range that was removed.
     67      * @return The resulting SparseNameRange after the removal (or NULL if it
     68      *         became empty). Note that this call is destructive, so the
     69      *         original SparseNameRange will no longer be valid afterward. The
     70      *         caller must always update its pointer with the new
     71      *         SparseNameRange.
     72      */
     73     virtual SparseNameRange* SK_WARN_UNUSED_RESULT removeLeftmostContiguousRange(GrGLuint* removedCount) = 0;
     74 
     75     /**
     76      * Append adjacent allocated names to the end of this range. This operation
     77      * does not affect the structure of the tree. The caller is responsible for
     78      * ensuring the new names won't overlap sibling ranges, if any.
     79      *
     80      * @param count The number of adjacent names to append.
     81      * @return The first name appended.
     82      */
     83     virtual GrGLuint appendNames(GrGLuint count) = 0;
     84 
     85     /**
     86      * Prepend adjacent allocated names behind the beginning of this range. This
     87      * operation does not affect the structure of the tree. The caller is
     88      * responsible for ensuring the new names won't overlap sibling ranges, if
     89      * any.
     90      *
     91      * @param count The number of adjacent names to prepend.
     92      * @return The final name prepended (the one with the lowest value).
     93      */
     94     virtual GrGLuint prependNames(GrGLuint count) = 0;
     95 
     96     /**
     97      * Free a name so it is no longer tracked as allocated. If the name is at
     98      * the very beginning or very end of the range, the boundaries [fFirst, fEnd)
     99      * will be tightened.
    100      *
    101      * @param name The name to free. Not-allocated names are silently ignored
    102      *             the same way they are in the OpenGL spec.
    103      * @return The resulting SparseNameRange after the free (or NULL if it
    104      *         became empty). Note that this call is destructive, so the
    105      *         original SparseNameRange will no longer be valid afterward. The
    106      *         caller must always update its pointer with the new
    107      *         SparseNameRange.
    108      */
    109     virtual SparseNameRange* SK_WARN_UNUSED_RESULT free(GrGLuint name) = 0;
    110 
    111 protected:
    112     SparseNameRange* takeRef() {
    113       this->ref();
    114       return this;
    115     }
    116 
    117     GrGLuint fFirst;
    118     GrGLuint fEnd;
    119     GrGLuint fHeight;
    120 };
    121 
    122 /**
    123  * This class is the SparseNameRange implementation for an inner node. It is an
    124  * AVL tree with non-null, non-adjacent left and right children.
    125  */
    126 class GrGLNameAllocator::SparseNameTree : public SparseNameRange {
    127 public:
    128     SparseNameTree(SparseNameRange* left, SparseNameRange* right)
    129         : fLeft(left),
    130           fRight(right) {
    131         SkASSERT(fLeft.get());
    132         SkASSERT(fRight.get());
    133         this->updateStats();
    134     }
    135 
    136     SparseNameRange* SK_WARN_UNUSED_RESULT internalAllocate(GrGLuint* outName) override {
    137         // Try allocating the range inside fLeft's internal gaps.
    138         fLeft.reset(fLeft->internalAllocate(outName));
    139         if (0 != *outName) {
    140             this->updateStats();
    141             return this->rebalance();
    142         }
    143 
    144         if (fLeft->end() + 1 == fRight->first()) {
    145             // It closed the gap between fLeft and fRight; merge.
    146             GrGLuint removedCount;
    147             fRight.reset(fRight->removeLeftmostContiguousRange(&removedCount));
    148             *outName = fLeft->appendNames(1 + removedCount);
    149             if (NULL == fRight.get()) {
    150                 return fLeft.detach();
    151             }
    152             this->updateStats();
    153             return this->rebalance();
    154         }
    155 
    156         // There is guaranteed to be a gap between fLeft and fRight, and the
    157         // "size 1" case has already been covered.
    158         SkASSERT(fLeft->end() + 1 < fRight->first());
    159         *outName = fLeft->appendNames(1);
    160         return this->takeRef();
    161     }
    162 
    163     SparseNameRange* SK_WARN_UNUSED_RESULT removeLeftmostContiguousRange(GrGLuint* removedCount) override {
    164         fLeft.reset(fLeft->removeLeftmostContiguousRange(removedCount));
    165         if (NULL == fLeft) {
    166             return fRight.detach();
    167         }
    168         this->updateStats();
    169         return this->rebalance();
    170     }
    171 
    172     GrGLuint appendNames(GrGLuint count) override {
    173         SkASSERT(fEnd + count > fEnd); // Check for integer wrap.
    174         GrGLuint name = fRight->appendNames(count);
    175         SkASSERT(fRight->end() == fEnd + count);
    176         this->updateStats();
    177         return name;
    178     }
    179 
    180     GrGLuint prependNames(GrGLuint count) override {
    181         SkASSERT(fFirst > count); // We can't allocate at or below 0.
    182         GrGLuint name = fLeft->prependNames(count);
    183         SkASSERT(fLeft->first() == fFirst - count);
    184         this->updateStats();
    185         return name;
    186     }
    187 
    188     SparseNameRange* SK_WARN_UNUSED_RESULT free(GrGLuint name) override {
    189         if (name < fLeft->end()) {
    190             fLeft.reset(fLeft->free(name));
    191             if (NULL == fLeft) {
    192                 // fLeft became empty after the free.
    193                 return fRight.detach();
    194             }
    195             this->updateStats();
    196             return this->rebalance();
    197         } else {
    198             fRight.reset(fRight->free(name));
    199             if (NULL == fRight) {
    200                 // fRight became empty after the free.
    201                 return fLeft.detach();
    202             }
    203             this->updateStats();
    204             return this->rebalance();
    205         }
    206     }
    207 
    208 private:
    209     typedef SkAutoTUnref<SparseNameRange> SparseNameTree::* ChildRange;
    210 
    211     SparseNameRange* SK_WARN_UNUSED_RESULT rebalance() {
    212         if (fLeft->height() > fRight->height() + 1) {
    213             return this->rebalanceImpl<&SparseNameTree::fLeft, &SparseNameTree::fRight>();
    214         }
    215         if (fRight->height() > fLeft->height() + 1) {
    216             return this->rebalanceImpl<&SparseNameTree::fRight, &SparseNameTree::fLeft>();
    217         }
    218         return this->takeRef();
    219     }
    220 
    221     /**
    222      * Rebalance the tree using rotations, as described in the AVL algorithm:
    223      * http://en.wikipedia.org/wiki/AVL_tree#Insertion
    224      */
    225     template<ChildRange Tall, ChildRange Short>
    226     SparseNameRange* SK_WARN_UNUSED_RESULT rebalanceImpl() {
    227         // We should be calling rebalance() enough that the tree never gets more
    228         // than one rotation off balance.
    229         SkASSERT(2 == (this->*Tall)->height() - (this->*Short)->height());
    230 
    231         // Ensure we are in the 'Left Left' or 'Right Right' case:
    232         // http://en.wikipedia.org/wiki/AVL_tree#Insertion
    233         SparseNameTree* tallChild = static_cast<SparseNameTree*>((this->*Tall).get());
    234         if ((tallChild->*Tall)->height() < (tallChild->*Short)->height()) {
    235             (this->*Tall).reset(tallChild->rotate<Short, Tall>());
    236         }
    237 
    238         // Perform a rotation to balance the tree.
    239         return this->rotate<Tall, Short>();
    240     }
    241 
    242     /**
    243      * Perform a node rotation, as described in the AVL algorithm:
    244      * http://en.wikipedia.org/wiki/AVL_tree#Insertion
    245      */
    246     template<ChildRange Tall, ChildRange Short>
    247     SparseNameRange* SK_WARN_UNUSED_RESULT rotate() {
    248         SparseNameTree* newRoot = static_cast<SparseNameTree*>((this->*Tall).detach());
    249 
    250         (this->*Tall).reset((newRoot->*Short).detach());
    251         this->updateStats();
    252 
    253         (newRoot->*Short).reset(this->takeRef());
    254         newRoot->updateStats();
    255 
    256         return newRoot;
    257     }
    258 
    259     void updateStats() {
    260         SkASSERT(fLeft->end() < fRight->first()); // There must be a gap between left and right.
    261         fFirst = fLeft->first();
    262         fEnd = fRight->end();
    263         fHeight = 1 + SkMax32(fLeft->height(), fRight->height());
    264     }
    265 
    266     SkAutoTUnref<SparseNameRange> fLeft;
    267     SkAutoTUnref<SparseNameRange> fRight;
    268 };
    269 
    270 /**
    271  * This class is the SparseNameRange implementation for a leaf node. It just a
    272  * contiguous range of allocated names.
    273  */
    274 class GrGLNameAllocator::ContiguousNameRange : public SparseNameRange {
    275 public:
    276     ContiguousNameRange(GrGLuint first, GrGLuint end) {
    277         SkASSERT(first < end);
    278         fFirst = first;
    279         fEnd = end;
    280         fHeight = 0;
    281     }
    282 
    283     SparseNameRange* SK_WARN_UNUSED_RESULT internalAllocate(GrGLuint* outName) override {
    284         *outName = 0; // No internal gaps, we are contiguous.
    285         return this->takeRef();
    286     }
    287 
    288     SparseNameRange* SK_WARN_UNUSED_RESULT removeLeftmostContiguousRange(GrGLuint* removedCount) override {
    289         *removedCount = fEnd - fFirst;
    290         return NULL;
    291     }
    292 
    293     GrGLuint appendNames(GrGLuint count) override {
    294         SkASSERT(fEnd + count > fEnd); // Check for integer wrap.
    295         GrGLuint name = fEnd;
    296         fEnd += count;
    297         return name;
    298     }
    299 
    300     GrGLuint prependNames(GrGLuint count) override {
    301         SkASSERT(fFirst > count); // We can't allocate at or below 0.
    302         fFirst -= count;
    303         return fFirst;
    304     }
    305 
    306     SparseNameRange* SK_WARN_UNUSED_RESULT free(GrGLuint name) override {
    307         if (name < fFirst || name >= fEnd) {
    308           // Not-allocated names are silently ignored.
    309           return this->takeRef();
    310         }
    311 
    312         if (fFirst == name) {
    313             ++fFirst;
    314             return (fEnd == fFirst) ? NULL : this->takeRef();
    315         }
    316 
    317         if (fEnd == name + 1) {
    318             --fEnd;
    319             return this->takeRef();
    320         }
    321 
    322         SparseNameRange* left = SkNEW_ARGS(ContiguousNameRange, (fFirst, name));
    323         SparseNameRange* right = this->takeRef();
    324         fFirst = name + 1;
    325         return SkNEW_ARGS(SparseNameTree, (left, right));
    326     }
    327 };
    328 
    329 GrGLNameAllocator::GrGLNameAllocator(GrGLuint firstName, GrGLuint endName)
    330     : fFirstName(firstName),
    331       fEndName(endName) {
    332     SkASSERT(firstName > 0);
    333     SkASSERT(endName > firstName);
    334 }
    335 
    336 GrGLNameAllocator::~GrGLNameAllocator() {
    337 }
    338 
    339 GrGLuint GrGLNameAllocator::allocateName() {
    340     if (NULL == fAllocatedNames.get()) {
    341         fAllocatedNames.reset(SkNEW_ARGS(ContiguousNameRange, (fFirstName, fFirstName + 1)));
    342         return fFirstName;
    343     }
    344 
    345     if (fAllocatedNames->first() > fFirstName) {
    346         return fAllocatedNames->prependNames(1);
    347     }
    348 
    349     GrGLuint name;
    350     fAllocatedNames.reset(fAllocatedNames->internalAllocate(&name));
    351     if (0 != name) {
    352         return name;
    353     }
    354 
    355     if (fAllocatedNames->end() < fEndName) {
    356         return fAllocatedNames->appendNames(1);
    357     }
    358 
    359     // Out of names.
    360     return 0;
    361 }
    362 
    363 void GrGLNameAllocator::free(GrGLuint name) {
    364     if (!fAllocatedNames.get()) {
    365       // Not-allocated names are silently ignored.
    366       return;
    367     }
    368 
    369     fAllocatedNames.reset(fAllocatedNames->free(name));
    370 }
    371