bmalloc: Remove the concept of medium objects
[WebKit-https.git] / Source / bmalloc / bmalloc / Heap.h
1 /*
2  * Copyright (C) 2014-2016 Apple Inc. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  *    notice, this list of conditions and the following disclaimer in the
11  *    documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
14  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE INC. OR
17  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
18  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
19  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
20  * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
21  * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
22  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
23  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 
24  */
25
26 #ifndef Heap_h
27 #define Heap_h
28
29 #include "BumpRange.h"
30 #include "Environment.h"
31 #include "LineMetadata.h"
32 #include "Mutex.h"
33 #include "SegregatedFreeList.h"
34 #include "SmallChunk.h"
35 #include "SmallLine.h"
36 #include "SmallPage.h"
37 #include "VMHeap.h"
38 #include "Vector.h"
39 #include <array>
40 #include <mutex>
41
42 namespace bmalloc {
43
44 class BeginTag;
45 class BumpAllocator;
46 class EndTag;
47
48 class Heap {
49 public:
50     Heap(std::lock_guard<StaticMutex>&);
51     
52     Environment& environment() { return m_environment; }
53
54     void allocateSmallBumpRanges(std::lock_guard<StaticMutex>&, size_t sizeClass, BumpAllocator&, BumpRangeCache&);
55     void derefSmallLine(std::lock_guard<StaticMutex>&, SmallLine*);
56
57     void* allocateLarge(std::lock_guard<StaticMutex>&, size_t);
58     void* allocateLarge(std::lock_guard<StaticMutex>&, size_t alignment, size_t, size_t unalignedSize);
59     void deallocateLarge(std::lock_guard<StaticMutex>&, void*);
60
61     void* allocateXLarge(std::lock_guard<StaticMutex>&, size_t);
62     void* allocateXLarge(std::lock_guard<StaticMutex>&, size_t alignment, size_t);
63     void* tryAllocateXLarge(std::lock_guard<StaticMutex>&, size_t alignment, size_t);
64     Range& findXLarge(std::unique_lock<StaticMutex>&, void*);
65     void deallocateXLarge(std::unique_lock<StaticMutex>&, void*);
66
67     void scavenge(std::unique_lock<StaticMutex>&, std::chrono::milliseconds sleepDuration);
68
69 private:
70     ~Heap() = delete;
71     
72     void initializeLineMetadata();
73
74     SmallPage* allocateSmallPage(std::lock_guard<StaticMutex>&, size_t sizeClass);
75
76     void deallocateSmallLine(std::lock_guard<StaticMutex>&, SmallLine*);
77     void deallocateLarge(std::lock_guard<StaticMutex>&, const LargeObject&);
78
79     LargeObject& splitAndAllocate(LargeObject&, size_t);
80     LargeObject& splitAndAllocate(LargeObject&, size_t, size_t);
81     void mergeLarge(BeginTag*&, EndTag*&, Range&);
82     void mergeLargeLeft(EndTag*&, BeginTag*&, Range&, bool& inVMHeap);
83     void mergeLargeRight(EndTag*&, BeginTag*&, Range&, bool& inVMHeap);
84     
85     void concurrentScavenge();
86     void scavengeSmallPages(std::unique_lock<StaticMutex>&, std::chrono::milliseconds);
87     void scavengeLargeObjects(std::unique_lock<StaticMutex>&, std::chrono::milliseconds);
88
89     std::array<std::array<LineMetadata, SmallPage::lineCount>, smallMax / alignment> m_smallLineMetadata;
90
91     std::array<Vector<SmallPage*>, smallMax / alignment> m_smallPagesWithFreeLines;
92
93     Vector<SmallPage*> m_smallPages;
94
95     SegregatedFreeList m_largeObjects;
96     Vector<Range> m_xLargeObjects;
97
98     bool m_isAllocatingPages;
99     AsyncTask<Heap, decltype(&Heap::concurrentScavenge)> m_scavenger;
100
101     Environment m_environment;
102
103     VMHeap m_vmHeap;
104 };
105
106 inline void Heap::derefSmallLine(std::lock_guard<StaticMutex>& lock, SmallLine* line)
107 {
108     if (!line->deref(lock))
109         return;
110     deallocateSmallLine(lock, line);
111 }
112
113 } // namespace bmalloc
114
115 #endif // Heap_h