123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296 |
- /*
- * Copyright (C) 2012 Apple Inc. All rights reserved.
- *
- * Redistribution and use in source and binary forms, with or without
- * modification, are permitted provided that the following conditions
- * are met:
- * 1. Redistributions of source code must retain the above copyright
- * notice, this list of conditions and the following disclaimer.
- * 2. Redistributions in binary form must reproduce the above copyright
- * notice, this list of conditions and the following disclaimer in the
- * documentation and/or other materials provided with the distribution.
- *
- * THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS''
- * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
- * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
- * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS
- * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
- * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
- * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
- * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
- * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
- * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
- * THE POSSIBILITY OF SUCH DAMAGE.
- */
- #ifndef BlockAllocator_h
- #define BlockAllocator_h
- #include "HeapBlock.h"
- #include "Region.h"
- #include <wtf/DoublyLinkedList.h>
- #include <wtf/Forward.h>
- #include <wtf/PageAllocationAligned.h>
- #include <wtf/TCSpinLock.h>
- #include <wtf/Threading.h>
- namespace JSC {
- class BlockAllocator;
- class CopiedBlock;
- class CopyWorkListSegment;
- class HandleBlock;
- class VM;
- class MarkStackSegment;
- class MarkedBlock;
- class WeakBlock;
- // Simple allocator to reduce VM cost by holding onto blocks of memory for
- // short periods of time and then freeing them on a secondary thread.
- class BlockAllocator {
- public:
- BlockAllocator();
- ~BlockAllocator();
- template <typename T> DeadBlock* allocate();
- DeadBlock* allocateCustomSize(size_t blockSize, size_t blockAlignment);
- template <typename T> void deallocate(T*);
- template <typename T> void deallocateCustomSize(T*);
- private:
- void waitForRelativeTimeWhileHoldingLock(double relative);
- void waitForRelativeTime(double relative);
- void blockFreeingThreadMain();
- static void blockFreeingThreadStartFunc(void* heap);
- struct RegionSet {
- RegionSet(size_t blockSize)
- : m_numberOfPartialRegions(0)
- , m_blockSize(blockSize)
- {
- }
- bool isEmpty() const
- {
- return m_fullRegions.isEmpty() && m_partialRegions.isEmpty();
- }
- DoublyLinkedList<Region> m_fullRegions;
- DoublyLinkedList<Region> m_partialRegions;
- size_t m_numberOfPartialRegions;
- size_t m_blockSize;
- };
- DeadBlock* tryAllocateFromRegion(RegionSet&, DoublyLinkedList<Region>&, size_t&);
- bool allRegionSetsAreEmpty() const;
- void releaseFreeRegions();
- template <typename T> RegionSet& regionSetFor();
- SuperRegion m_superRegion;
- RegionSet m_copiedRegionSet;
- RegionSet m_markedRegionSet;
- // WeakBlocks and MarkStackSegments use the same RegionSet since they're the same size.
- RegionSet m_fourKBBlockRegionSet;
- RegionSet m_workListRegionSet;
- DoublyLinkedList<Region> m_emptyRegions;
- size_t m_numberOfEmptyRegions;
- bool m_isCurrentlyAllocating;
- bool m_blockFreeingThreadShouldQuit;
- SpinLock m_regionLock;
- Mutex m_emptyRegionConditionLock;
- ThreadCondition m_emptyRegionCondition;
- ThreadIdentifier m_blockFreeingThread;
- };
- inline DeadBlock* BlockAllocator::tryAllocateFromRegion(RegionSet& set, DoublyLinkedList<Region>& regions, size_t& numberOfRegions)
- {
- if (numberOfRegions) {
- ASSERT(!regions.isEmpty());
- Region* region = regions.head();
- ASSERT(!region->isFull());
- if (region->isEmpty()) {
- ASSERT(region == m_emptyRegions.head());
- m_numberOfEmptyRegions--;
- set.m_numberOfPartialRegions++;
- region = m_emptyRegions.removeHead()->reset(set.m_blockSize);
- set.m_partialRegions.push(region);
- }
- DeadBlock* block = region->allocate();
- if (region->isFull()) {
- set.m_numberOfPartialRegions--;
- set.m_fullRegions.push(set.m_partialRegions.removeHead());
- }
- return block;
- }
- return 0;
- }
- template<typename T>
- inline DeadBlock* BlockAllocator::allocate()
- {
- RegionSet& set = regionSetFor<T>();
- DeadBlock* block;
- m_isCurrentlyAllocating = true;
- {
- SpinLockHolder locker(&m_regionLock);
- if ((block = tryAllocateFromRegion(set, set.m_partialRegions, set.m_numberOfPartialRegions)))
- return block;
- if ((block = tryAllocateFromRegion(set, m_emptyRegions, m_numberOfEmptyRegions)))
- return block;
- }
- Region* newRegion = Region::create(&m_superRegion, T::blockSize);
- SpinLockHolder locker(&m_regionLock);
- m_emptyRegions.push(newRegion);
- m_numberOfEmptyRegions++;
- block = tryAllocateFromRegion(set, m_emptyRegions, m_numberOfEmptyRegions);
- ASSERT(block);
- return block;
- }
- inline DeadBlock* BlockAllocator::allocateCustomSize(size_t blockSize, size_t blockAlignment)
- {
- size_t realSize = WTF::roundUpToMultipleOf(blockAlignment, blockSize);
- Region* newRegion = Region::createCustomSize(&m_superRegion, realSize, blockAlignment);
- DeadBlock* block = newRegion->allocate();
- ASSERT(block);
- return block;
- }
- template<typename T>
- inline void BlockAllocator::deallocate(T* block)
- {
- RegionSet& set = regionSetFor<T>();
- bool shouldWakeBlockFreeingThread = false;
- {
- SpinLockHolder locker(&m_regionLock);
- Region* region = block->region();
- ASSERT(!region->isEmpty());
- if (region->isFull())
- set.m_fullRegions.remove(region);
- else {
- set.m_partialRegions.remove(region);
- set.m_numberOfPartialRegions--;
- }
- region->deallocate(block);
- if (region->isEmpty()) {
- m_emptyRegions.push(region);
- shouldWakeBlockFreeingThread = !m_numberOfEmptyRegions;
- m_numberOfEmptyRegions++;
- } else {
- set.m_partialRegions.push(region);
- set.m_numberOfPartialRegions++;
- }
- }
- if (shouldWakeBlockFreeingThread) {
- MutexLocker mutexLocker(m_emptyRegionConditionLock);
- m_emptyRegionCondition.signal();
- }
- }
- template<typename T>
- inline void BlockAllocator::deallocateCustomSize(T* block)
- {
- Region* region = block->region();
- ASSERT(region->isCustomSize());
- region->deallocate(block);
- region->destroy();
- }
- template <>
- inline BlockAllocator::RegionSet& BlockAllocator::regionSetFor<CopiedBlock>()
- {
- return m_copiedRegionSet;
- }
- template <>
- inline BlockAllocator::RegionSet& BlockAllocator::regionSetFor<MarkedBlock>()
- {
- return m_markedRegionSet;
- }
- template <>
- inline BlockAllocator::RegionSet& BlockAllocator::regionSetFor<WeakBlock>()
- {
- return m_fourKBBlockRegionSet;
- }
- template <>
- inline BlockAllocator::RegionSet& BlockAllocator::regionSetFor<MarkStackSegment>()
- {
- return m_fourKBBlockRegionSet;
- }
- template <>
- inline BlockAllocator::RegionSet& BlockAllocator::regionSetFor<CopyWorkListSegment>()
- {
- return m_workListRegionSet;
- }
- template <>
- inline BlockAllocator::RegionSet& BlockAllocator::regionSetFor<HandleBlock>()
- {
- return m_fourKBBlockRegionSet;
- }
- template <>
- inline BlockAllocator::RegionSet& BlockAllocator::regionSetFor<HeapBlock<CopiedBlock> >()
- {
- return m_copiedRegionSet;
- }
- template <>
- inline BlockAllocator::RegionSet& BlockAllocator::regionSetFor<HeapBlock<MarkedBlock> >()
- {
- return m_markedRegionSet;
- }
- template <>
- inline BlockAllocator::RegionSet& BlockAllocator::regionSetFor<HeapBlock<WeakBlock> >()
- {
- return m_fourKBBlockRegionSet;
- }
- template <>
- inline BlockAllocator::RegionSet& BlockAllocator::regionSetFor<HeapBlock<MarkStackSegment> >()
- {
- return m_fourKBBlockRegionSet;
- }
- template <>
- inline BlockAllocator::RegionSet& BlockAllocator::regionSetFor<HeapBlock<CopyWorkListSegment> >()
- {
- return m_workListRegionSet;
- }
- template <>
- inline BlockAllocator::RegionSet& BlockAllocator::regionSetFor<HeapBlock<HandleBlock> >()
- {
- return m_fourKBBlockRegionSet;
- }
- template <typename T>
- inline BlockAllocator::RegionSet& BlockAllocator::regionSetFor()
- {
- RELEASE_ASSERT_NOT_REACHED();
- return *(RegionSet*)0;
- }
- } // namespace JSC
- #endif // BlockAllocator_h
|