Home | History | Annotate | Download | only in src
      1 // Copyright 2012 the V8 project authors. All rights reserved.
      2 // Redistribution and use in source and binary forms, with or without
      3 // modification, are permitted provided that the following conditions are
      4 // met:
      5 //
      6 //     * Redistributions of source code must retain the above copyright
      7 //       notice, this list of conditions and the following disclaimer.
      8 //     * Redistributions in binary form must reproduce the above
      9 //       copyright notice, this list of conditions and the following
     10 //       disclaimer in the documentation and/or other materials provided
     11 //       with the distribution.
     12 //     * Neither the name of Google Inc. nor the names of its
     13 //       contributors may be used to endorse or promote products derived
     14 //       from this software without specific prior written permission.
     15 //
     16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
     17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
     18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
     19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
     20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
     21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
     22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
     23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
     24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
     25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
     26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     27 
     28 #ifndef V8_ZONE_H_
     29 #define V8_ZONE_H_
     30 
     31 #include "allocation.h"
     32 #include "checks.h"
     33 #include "hashmap.h"
     34 #include "globals.h"
     35 #include "list.h"
     36 #include "splay-tree.h"
     37 
     38 namespace v8 {
     39 namespace internal {
     40 
     41 
     42 class Segment;
     43 class Isolate;
     44 
     45 // The Zone supports very fast allocation of small chunks of
     46 // memory. The chunks cannot be deallocated individually, but instead
     47 // the Zone supports deallocating all chunks in one fast
     48 // operation. The Zone is used to hold temporary data structures like
     49 // the abstract syntax tree, which is deallocated after compilation.
     50 
     51 // Note: There is no need to initialize the Zone; the first time an
     52 // allocation is attempted, a segment of memory will be requested
     53 // through a call to malloc().
     54 
     55 // Note: The implementation is inherently not thread safe. Do not use
     56 // from multi-threaded code.
     57 
     58 class Zone {
     59  public:
     60   explicit Zone(Isolate* isolate);
     61   ~Zone();
     62   // Allocate 'size' bytes of memory in the Zone; expands the Zone by
     63   // allocating new segments of memory on demand using malloc().
     64   inline void* New(int size);
     65 
     66   template <typename T>
     67   inline T* NewArray(int length);
     68 
     69   // Deletes all objects and free all memory allocated in the Zone. Keeps one
     70   // small (size <= kMaximumKeptSegmentSize) segment around if it finds one.
     71   void DeleteAll();
     72 
     73   // Deletes the last small segment kept around by DeleteAll(). You
     74   // may no longer allocate in the Zone after a call to this method.
     75   void DeleteKeptSegment();
     76 
     77   // Returns true if more memory has been allocated in zones than
     78   // the limit allows.
     79   inline bool excess_allocation();
     80 
     81   inline void adjust_segment_bytes_allocated(int delta);
     82 
     83   inline unsigned allocation_size() { return allocation_size_; }
     84 
     85   inline Isolate* isolate() { return isolate_; }
     86 
     87  private:
     88   friend class Isolate;
     89 
     90   // All pointers returned from New() have this alignment.  In addition, if the
     91   // object being allocated has a size that is divisible by 8 then its alignment
     92   // will be 8.
     93   static const int kAlignment = kPointerSize;
     94 
     95   // Never allocate segments smaller than this size in bytes.
     96   static const int kMinimumSegmentSize = 8 * KB;
     97 
     98   // Never allocate segments larger than this size in bytes.
     99   static const int kMaximumSegmentSize = 1 * MB;
    100 
    101   // Never keep segments larger than this size in bytes around.
    102   static const int kMaximumKeptSegmentSize = 64 * KB;
    103 
    104   // Report zone excess when allocation exceeds this limit.
    105   static const int kExcessLimit = 256 * MB;
    106 
    107   // The number of bytes allocated in this zone so far.
    108   unsigned allocation_size_;
    109 
    110   // The number of bytes allocated in segments.  Note that this number
    111   // includes memory allocated from the OS but not yet allocated from
    112   // the zone.
    113   int segment_bytes_allocated_;
    114 
    115   // Expand the Zone to hold at least 'size' more bytes and allocate
    116   // the bytes. Returns the address of the newly allocated chunk of
    117   // memory in the Zone. Should only be called if there isn't enough
    118   // room in the Zone already.
    119   Address NewExpand(int size);
    120 
    121   // Creates a new segment, sets it size, and pushes it to the front
    122   // of the segment chain. Returns the new segment.
    123   INLINE(Segment* NewSegment(int size));
    124 
    125   // Deletes the given segment. Does not touch the segment chain.
    126   INLINE(void DeleteSegment(Segment* segment, int size));
    127 
    128   // The free region in the current (front) segment is represented as
    129   // the half-open interval [position, limit). The 'position' variable
    130   // is guaranteed to be aligned as dictated by kAlignment.
    131   Address position_;
    132   Address limit_;
    133 
    134   Segment* segment_head_;
    135   Isolate* isolate_;
    136 };
    137 
    138 
    139 // ZoneObject is an abstraction that helps define classes of objects
    140 // allocated in the Zone. Use it as a base class; see ast.h.
    141 class ZoneObject {
    142  public:
    143   // Allocate a new ZoneObject of 'size' bytes in the Zone.
    144   INLINE(void* operator new(size_t size, Zone* zone));
    145 
    146   // Ideally, the delete operator should be private instead of
    147   // public, but unfortunately the compiler sometimes synthesizes
    148   // (unused) destructors for classes derived from ZoneObject, which
    149   // require the operator to be visible. MSVC requires the delete
    150   // operator to be public.
    151 
    152   // ZoneObjects should never be deleted individually; use
    153   // Zone::DeleteAll() to delete all zone objects in one go.
    154   void operator delete(void*, size_t) { UNREACHABLE(); }
    155   void operator delete(void* pointer, Zone* zone) { UNREACHABLE(); }
    156 };
    157 
    158 
    159 // The ZoneScope is used to automatically call DeleteAll() on a
    160 // Zone when the ZoneScope is destroyed (i.e. goes out of scope)
    161 struct ZoneScope {
    162  public:
    163   explicit ZoneScope(Zone* zone) : zone_(zone) { }
    164   ~ZoneScope() { zone_->DeleteAll(); }
    165 
    166   Zone* zone() { return zone_; }
    167 
    168  private:
    169   Zone* zone_;
    170 };
    171 
    172 
    173 // The ZoneAllocationPolicy is used to specialize generic data
    174 // structures to allocate themselves and their elements in the Zone.
    175 struct ZoneAllocationPolicy {
    176  public:
    177   explicit ZoneAllocationPolicy(Zone* zone) : zone_(zone) { }
    178   INLINE(void* New(size_t size));
    179   INLINE(static void Delete(void *pointer)) { }
    180   Zone* zone() { return zone_; }
    181 
    182  private:
    183   Zone* zone_;
    184 };
    185 
    186 
    187 // ZoneLists are growable lists with constant-time access to the
    188 // elements. The list itself and all its elements are allocated in the
    189 // Zone. ZoneLists cannot be deleted individually; you can delete all
    190 // objects in the Zone by calling Zone::DeleteAll().
    191 template<typename T>
    192 class ZoneList: public List<T, ZoneAllocationPolicy> {
    193  public:
    194   // Construct a new ZoneList with the given capacity; the length is
    195   // always zero. The capacity must be non-negative.
    196   ZoneList(int capacity, Zone* zone)
    197       : List<T, ZoneAllocationPolicy>(capacity, ZoneAllocationPolicy(zone)) { }
    198 
    199   INLINE(void* operator new(size_t size, Zone* zone));
    200 
    201   // Construct a new ZoneList by copying the elements of the given ZoneList.
    202   ZoneList(const ZoneList<T>& other, Zone* zone)
    203       : List<T, ZoneAllocationPolicy>(other.length(),
    204                                       ZoneAllocationPolicy(zone)) {
    205     AddAll(other, zone);
    206   }
    207 
    208   // We add some convenience wrappers so that we can pass in a Zone
    209   // instead of a (less convenient) ZoneAllocationPolicy.
    210   INLINE(void Add(const T& element, Zone* zone)) {
    211     List<T, ZoneAllocationPolicy>::Add(element, ZoneAllocationPolicy(zone));
    212   }
    213   INLINE(void AddAll(const List<T, ZoneAllocationPolicy>& other, Zone* zone)) {
    214     List<T, ZoneAllocationPolicy>::AddAll(other, ZoneAllocationPolicy(zone));
    215   }
    216   INLINE(void AddAll(const Vector<T>& other, Zone* zone)) {
    217     List<T, ZoneAllocationPolicy>::AddAll(other, ZoneAllocationPolicy(zone));
    218   }
    219   INLINE(void InsertAt(int index, const T& element, Zone* zone)) {
    220     List<T, ZoneAllocationPolicy>::InsertAt(index, element,
    221                                             ZoneAllocationPolicy(zone));
    222   }
    223   INLINE(Vector<T> AddBlock(T value, int count, Zone* zone)) {
    224     return List<T, ZoneAllocationPolicy>::AddBlock(value, count,
    225                                                    ZoneAllocationPolicy(zone));
    226   }
    227   INLINE(void Allocate(int length, Zone* zone)) {
    228     List<T, ZoneAllocationPolicy>::Allocate(length, ZoneAllocationPolicy(zone));
    229   }
    230   INLINE(void Initialize(int capacity, Zone* zone)) {
    231     List<T, ZoneAllocationPolicy>::Initialize(capacity,
    232                                               ZoneAllocationPolicy(zone));
    233   }
    234 
    235   void operator delete(void* pointer) { UNREACHABLE(); }
    236   void operator delete(void* pointer, Zone* zone) { UNREACHABLE(); }
    237 };
    238 
    239 
    240 // A zone splay tree.  The config type parameter encapsulates the
    241 // different configurations of a concrete splay tree (see splay-tree.h).
    242 // The tree itself and all its elements are allocated in the Zone.
    243 template <typename Config>
    244 class ZoneSplayTree: public SplayTree<Config, ZoneAllocationPolicy> {
    245  public:
    246   explicit ZoneSplayTree(Zone* zone)
    247       : SplayTree<Config, ZoneAllocationPolicy>(ZoneAllocationPolicy(zone)) {}
    248   ~ZoneSplayTree();
    249 
    250   INLINE(void* operator new(size_t size, Zone* zone));
    251 
    252   void operator delete(void* pointer) { UNREACHABLE(); }
    253   void operator delete(void* pointer, Zone* zone) { UNREACHABLE(); }
    254 };
    255 
    256 
    257 typedef TemplateHashMapImpl<ZoneAllocationPolicy> ZoneHashMap;
    258 
    259 } }  // namespace v8::internal
    260 
    261 #endif  // V8_ZONE_H_
    262