/home/uke/oil/mycpp/mark_sweep_heap.h
Line | Count | Source (jump to first uncovered line) |
1 | | #ifndef MARKSWEEP_HEAP_H |
2 | | #define MARKSWEEP_HEAP_H |
3 | | |
4 | | #include <stdlib.h> |
5 | | |
6 | | #include <vector> |
7 | | |
8 | | #include "mycpp/common.h" |
9 | | #include "mycpp/gc_obj.h" |
10 | | |
11 | | #if GC_ALWAYS |
12 | | #define VALIDATE_ROOTS 1 |
13 | | #else |
14 | | #define VALIDATE_ROOTS 0 // flip this manually to diagnose bugs |
15 | | #endif |
16 | | |
17 | | #if VALIDATE_ROOTS |
18 | | static void ValidateRoot(const RawObject* obj) { |
19 | | if (obj == nullptr) { |
20 | | return; |
21 | | } |
22 | | |
23 | | // Assuming 64-bit == 8 byte alignment |
24 | | if (reinterpret_cast<uintptr_t>(obj) & 0x3) { |
25 | | log("Misaligned object %p", obj); |
26 | | FAIL(kShouldNotGetHere); |
27 | | return; |
28 | | } |
29 | | |
30 | | ObjHeader* header = ObjHeader::FromObject(obj); |
31 | | // log("obj %p header %p", obj, header); |
32 | | |
33 | | if (reinterpret_cast<uintptr_t>(header) & 0x3) { |
34 | | log("Misaligned header %p", header); |
35 | | FAIL(kShouldNotGetHere); |
36 | | return; |
37 | | } |
38 | | |
39 | | switch (header->heap_tag) { |
40 | | case HeapTag::Global: |
41 | | case HeapTag::Opaque: |
42 | | case HeapTag::Scanned: |
43 | | case HeapTag::FixedSize: |
44 | | break; |
45 | | |
46 | | default: |
47 | | log("root %p heap %d type %d mask %d len %d", obj, header->heap_tag, |
48 | | header->type_tag, header->u_mask_npointers); |
49 | | FAIL(kShouldNotGetHere); |
50 | | break; |
51 | | } |
52 | | } |
53 | | #endif |
54 | | |
55 | | class MarkSet { |
56 | | public: |
57 | 43 | MarkSet() : bits_() { |
58 | 43 | } |
59 | | |
60 | | // ReInit() must be called at the start of MarkObjects(). Allocate() should |
61 | | // keep track of the maximum object ID. |
62 | 122 | void ReInit(int max_obj_id) { |
63 | | // https://stackoverflow.com/questions/8848575/fastest-way-to-reset-every-value-of-stdvectorint-to-0 |
64 | 122 | std::fill(bits_.begin(), bits_.end(), 0); |
65 | 122 | int max_byte_index = (max_obj_id >> 3) + 1; // round up |
66 | | // log("ReInit max_byte_index %d", max_byte_index); |
67 | 122 | bits_.resize(max_byte_index); |
68 | 122 | } |
69 | | |
70 | | // Called by MarkObjects() |
71 | 59 | void Mark(int obj_id) { |
72 | 59 | DCHECK(obj_id >= 0); |
73 | | // log("obj id %d", obj_id); |
74 | 59 | DCHECK(!IsMarked(obj_id)); |
75 | 0 | int byte_index = obj_id >> 3; // 8 bits per byte |
76 | 59 | int bit_index = obj_id & 0b111; |
77 | | // log("byte_index %d %d", byte_index, bit_index); |
78 | 59 | bits_[byte_index] |= (1 << bit_index); |
79 | 59 | } |
80 | | |
81 | | // Called by Sweep() |
82 | 41.4k | bool IsMarked(int obj_id) { |
83 | 41.4k | DCHECK(obj_id >= 0); |
84 | 0 | int byte_index = obj_id >> 3; |
85 | 41.4k | int bit_index = obj_id & 0b111; |
86 | 41.4k | return bits_[byte_index] & (1 << bit_index); |
87 | 41.4k | } |
88 | | |
89 | 1 | void Debug() { |
90 | | // TODO: should use feature detection of dprintf |
91 | 1 | #ifndef OILS_WIN32 |
92 | 1 | int n = bits_.size(); |
93 | 1 | dprintf(2, "[ "); |
94 | 4 | for (int i = 0; i < n; ++i) { |
95 | 3 | dprintf(2, "%02x ", bits_[i]); |
96 | 3 | } |
97 | 1 | dprintf(2, "] (%d bytes) \n", n); |
98 | 1 | dprintf(2, "[ "); |
99 | 1 | int num_bits = 0; |
100 | 4 | for (int i = 0; i < n; ++i) { |
101 | 27 | for (int j = 0; j < 8; ++j) { |
102 | 24 | int bit = (bits_[i] & (1 << j)) != 0; |
103 | 24 | dprintf(2, "%d", bit); |
104 | 24 | num_bits += bit; |
105 | 24 | } |
106 | 3 | } |
107 | 1 | dprintf(2, " ] (%d bits set)\n", num_bits); |
108 | 1 | #endif |
109 | 1 | } |
110 | | |
111 | | std::vector<uint8_t> bits_; // bit vector indexed by obj_id |
112 | | }; |
113 | | |
114 | | // A simple Pool allocator for allocating small objects. It maintains an ever |
115 | | // growing number of Blocks each consisting of a number of fixed size Cells. |
116 | | // Memory is handed out one Cell at a time. |
117 | | // Note: within the context of the Pool allocator we refer to object IDs as cell |
118 | | // IDs because in addition to identifying an object they're also used to index |
119 | | // into the Cell storage. |
120 | | template <int CellsPerBlock, size_t CellSize> |
121 | | class Pool { |
122 | | public: |
123 | | static constexpr size_t kMaxObjSize = CellSize; |
124 | | static constexpr int kBlockSize = CellSize * CellsPerBlock; |
125 | | |
126 | 29 | Pool() = default; _ZN4PoolILi682ELm24EEC2Ev Line | Count | Source | 126 | 13 | Pool() = default; |
_ZN4PoolILi341ELm48EEC2Ev Line | Count | Source | 126 | 13 | Pool() = default; |
Line | Count | Source | 126 | 2 | Pool() = default; |
Line | Count | Source | 126 | 1 | Pool() = default; |
|
127 | | |
128 | 2.77k | void* Allocate(int* obj_id) { |
129 | 2.77k | num_allocated_++; |
130 | | |
131 | 2.77k | if (!free_list_) { |
132 | | // Allocate a new Block and add every new Cell to the free list. |
133 | 31 | Block* block = static_cast<Block*>(malloc(sizeof(Block))); |
134 | 31 | blocks_.push_back(block); |
135 | 31 | bytes_allocated_ += kBlockSize; |
136 | 31 | num_free_ += CellsPerBlock; |
137 | | |
138 | | // The starting cell_id for Cells in this block. |
139 | 31 | int cell_id = (blocks_.size() - 1) * CellsPerBlock; |
140 | 13.3k | for (Cell& cell : block->cells) { |
141 | 13.3k | FreeCell* free_cell = reinterpret_cast<FreeCell*>(cell); |
142 | 13.3k | free_cell->id = cell_id++; |
143 | 13.3k | free_cell->next = free_list_; |
144 | 13.3k | free_list_ = free_cell; |
145 | 13.3k | } |
146 | 31 | } |
147 | | |
148 | 2.77k | FreeCell* cell = free_list_; |
149 | 2.77k | free_list_ = free_list_->next; |
150 | 2.77k | num_free_--; |
151 | 2.77k | *obj_id = cell->id; |
152 | 2.77k | return cell; |
153 | 2.77k | } _ZN4PoolILi682ELm24EE8AllocateEPi Line | Count | Source | 128 | 1.87k | void* Allocate(int* obj_id) { | 129 | 1.87k | num_allocated_++; | 130 | | | 131 | 1.87k | if (!free_list_) { | 132 | | // Allocate a new Block and add every new Cell to the free list. | 133 | 13 | Block* block = static_cast<Block*>(malloc(sizeof(Block))); | 134 | 13 | blocks_.push_back(block); | 135 | 13 | bytes_allocated_ += kBlockSize; | 136 | 13 | num_free_ += CellsPerBlock; | 137 | | | 138 | | // The starting cell_id for Cells in this block. | 139 | 13 | int cell_id = (blocks_.size() - 1) * CellsPerBlock; | 140 | 8.86k | for (Cell& cell : block->cells) { | 141 | 8.86k | FreeCell* free_cell = reinterpret_cast<FreeCell*>(cell); | 142 | 8.86k | free_cell->id = cell_id++; | 143 | 8.86k | free_cell->next = free_list_; | 144 | 8.86k | free_list_ = free_cell; | 145 | 8.86k | } | 146 | 13 | } | 147 | | | 148 | 1.87k | FreeCell* cell = free_list_; | 149 | 1.87k | free_list_ = free_list_->next; | 150 | 1.87k | num_free_--; | 151 | 1.87k | *obj_id = cell->id; | 152 | 1.87k | return cell; | 153 | 1.87k | } |
_ZN4PoolILi341ELm48EE8AllocateEPi Line | Count | Source | 128 | 893 | void* Allocate(int* obj_id) { | 129 | 893 | num_allocated_++; | 130 | | | 131 | 893 | if (!free_list_) { | 132 | | // Allocate a new Block and add every new Cell to the free list. | 133 | 13 | Block* block = static_cast<Block*>(malloc(sizeof(Block))); | 134 | 13 | blocks_.push_back(block); | 135 | 13 | bytes_allocated_ += kBlockSize; | 136 | 13 | num_free_ += CellsPerBlock; | 137 | | | 138 | | // The starting cell_id for Cells in this block. | 139 | 13 | int cell_id = (blocks_.size() - 1) * CellsPerBlock; | 140 | 4.43k | for (Cell& cell : block->cells) { | 141 | 4.43k | FreeCell* free_cell = reinterpret_cast<FreeCell*>(cell); | 142 | 4.43k | free_cell->id = cell_id++; | 143 | 4.43k | free_cell->next = free_list_; | 144 | 4.43k | free_list_ = free_cell; | 145 | 4.43k | } | 146 | 13 | } | 147 | | | 148 | 893 | FreeCell* cell = free_list_; | 149 | 893 | free_list_ = free_list_->next; | 150 | 893 | num_free_--; | 151 | 893 | *obj_id = cell->id; | 152 | 893 | return cell; | 153 | 893 | } |
_ZN4PoolILi2ELm32EE8AllocateEPi Line | Count | Source | 128 | 7 | void* Allocate(int* obj_id) { | 129 | 7 | num_allocated_++; | 130 | | | 131 | 7 | if (!free_list_) { | 132 | | // Allocate a new Block and add every new Cell to the free list. | 133 | 3 | Block* block = static_cast<Block*>(malloc(sizeof(Block))); | 134 | 3 | blocks_.push_back(block); | 135 | 3 | bytes_allocated_ += kBlockSize; | 136 | 3 | num_free_ += CellsPerBlock; | 137 | | | 138 | | // The starting cell_id for Cells in this block. | 139 | 3 | int cell_id = (blocks_.size() - 1) * CellsPerBlock; | 140 | 6 | for (Cell& cell : block->cells) { | 141 | 6 | FreeCell* free_cell = reinterpret_cast<FreeCell*>(cell); | 142 | 6 | free_cell->id = cell_id++; | 143 | 6 | free_cell->next = free_list_; | 144 | 6 | free_list_ = free_cell; | 145 | 6 | } | 146 | 3 | } | 147 | | | 148 | 7 | FreeCell* cell = free_list_; | 149 | 7 | free_list_ = free_list_->next; | 150 | 7 | num_free_--; | 151 | 7 | *obj_id = cell->id; | 152 | 7 | return cell; | 153 | 7 | } |
_ZN4PoolILi1ELm32EE8AllocateEPi Line | Count | Source | 128 | 2 | void* Allocate(int* obj_id) { | 129 | 2 | num_allocated_++; | 130 | | | 131 | 2 | if (!free_list_) { | 132 | | // Allocate a new Block and add every new Cell to the free list. | 133 | 2 | Block* block = static_cast<Block*>(malloc(sizeof(Block))); | 134 | 2 | blocks_.push_back(block); | 135 | 2 | bytes_allocated_ += kBlockSize; | 136 | 2 | num_free_ += CellsPerBlock; | 137 | | | 138 | | // The starting cell_id for Cells in this block. | 139 | 2 | int cell_id = (blocks_.size() - 1) * CellsPerBlock; | 140 | 2 | for (Cell& cell : block->cells) { | 141 | 2 | FreeCell* free_cell = reinterpret_cast<FreeCell*>(cell); | 142 | 2 | free_cell->id = cell_id++; | 143 | 2 | free_cell->next = free_list_; | 144 | 2 | free_list_ = free_cell; | 145 | 2 | } | 146 | 2 | } | 147 | | | 148 | 2 | FreeCell* cell = free_list_; | 149 | 2 | free_list_ = free_list_->next; | 150 | 2 | num_free_--; | 151 | 2 | *obj_id = cell->id; | 152 | 2 | return cell; | 153 | 2 | } |
|
154 | | |
155 | 81 | void PrepareForGc() { |
156 | 81 | DCHECK(!gc_underway_); |
157 | 0 | gc_underway_ = true; |
158 | 81 | mark_set_.ReInit(blocks_.size() * CellsPerBlock); |
159 | 81 | } _ZN4PoolILi682ELm24EE12PrepareForGcEv Line | Count | Source | 155 | 39 | void PrepareForGc() { | 156 | 39 | DCHECK(!gc_underway_); | 157 | 0 | gc_underway_ = true; | 158 | 39 | mark_set_.ReInit(blocks_.size() * CellsPerBlock); | 159 | 39 | } |
_ZN4PoolILi341ELm48EE12PrepareForGcEv Line | Count | Source | 155 | 39 | void PrepareForGc() { | 156 | 39 | DCHECK(!gc_underway_); | 157 | 0 | gc_underway_ = true; | 158 | 39 | mark_set_.ReInit(blocks_.size() * CellsPerBlock); | 159 | 39 | } |
_ZN4PoolILi2ELm32EE12PrepareForGcEv Line | Count | Source | 155 | 2 | void PrepareForGc() { | 156 | 2 | DCHECK(!gc_underway_); | 157 | 0 | gc_underway_ = true; | 158 | 2 | mark_set_.ReInit(blocks_.size() * CellsPerBlock); | 159 | 2 | } |
_ZN4PoolILi1ELm32EE12PrepareForGcEv Line | Count | Source | 155 | 1 | void PrepareForGc() { | 156 | 1 | DCHECK(!gc_underway_); | 157 | 0 | gc_underway_ = true; | 158 | 1 | mark_set_.ReInit(blocks_.size() * CellsPerBlock); | 159 | 1 | } |
|
160 | | |
161 | 61 | bool IsMarked(int cell_id) { |
162 | 61 | DCHECK(gc_underway_); |
163 | 0 | return mark_set_.IsMarked(cell_id); |
164 | 61 | } _ZN4PoolILi682ELm24EE8IsMarkedEi Line | Count | Source | 161 | 56 | bool IsMarked(int cell_id) { | 162 | 56 | DCHECK(gc_underway_); | 163 | 0 | return mark_set_.IsMarked(cell_id); | 164 | 56 | } |
_ZN4PoolILi341ELm48EE8IsMarkedEi Line | Count | Source | 161 | 5 | bool IsMarked(int cell_id) { | 162 | 5 | DCHECK(gc_underway_); | 163 | 0 | return mark_set_.IsMarked(cell_id); | 164 | 5 | } |
|
165 | | |
166 | 48 | void Mark(int cell_id) { |
167 | 48 | DCHECK(gc_underway_); |
168 | 0 | mark_set_.Mark(cell_id); |
169 | 48 | } _ZN4PoolILi682ELm24EE4MarkEi Line | Count | Source | 166 | 42 | void Mark(int cell_id) { | 167 | 42 | DCHECK(gc_underway_); | 168 | 0 | mark_set_.Mark(cell_id); | 169 | 42 | } |
_ZN4PoolILi341ELm48EE4MarkEi Line | Count | Source | 166 | 5 | void Mark(int cell_id) { | 167 | 5 | DCHECK(gc_underway_); | 168 | 0 | mark_set_.Mark(cell_id); | 169 | 5 | } |
_ZN4PoolILi1ELm32EE4MarkEi Line | Count | Source | 166 | 1 | void Mark(int cell_id) { | 167 | 1 | DCHECK(gc_underway_); | 168 | 0 | mark_set_.Mark(cell_id); | 169 | 1 | } |
|
170 | | |
171 | 81 | void Sweep() { |
172 | 81 | DCHECK(gc_underway_); |
173 | | // Iterate over every Cell linking the free ones into a new free list. |
174 | 0 | num_free_ = 0; |
175 | 81 | free_list_ = nullptr; |
176 | 81 | int cell_id = 0; |
177 | 82 | for (Block* block : blocks_) { |
178 | 40.5k | for (Cell& cell : block->cells) { |
179 | 40.5k | if (!mark_set_.IsMarked(cell_id)) { |
180 | 40.5k | num_free_++; |
181 | 40.5k | FreeCell* free_cell = reinterpret_cast<FreeCell*>(cell); |
182 | 40.5k | free_cell->id = cell_id; |
183 | 40.5k | free_cell->next = free_list_; |
184 | 40.5k | free_list_ = free_cell; |
185 | 40.5k | } |
186 | 40.5k | cell_id++; |
187 | 40.5k | } |
188 | 82 | } |
189 | 81 | gc_underway_ = false; |
190 | 81 | } _ZN4PoolILi682ELm24EE5SweepEv Line | Count | Source | 171 | 39 | void Sweep() { | 172 | 39 | DCHECK(gc_underway_); | 173 | | // Iterate over every Cell linking the free ones into a new free list. | 174 | 0 | num_free_ = 0; | 175 | 39 | free_list_ = nullptr; | 176 | 39 | int cell_id = 0; | 177 | 40 | for (Block* block : blocks_) { | 178 | 27.2k | for (Cell& cell : block->cells) { | 179 | 27.2k | if (!mark_set_.IsMarked(cell_id)) { | 180 | 27.2k | num_free_++; | 181 | 27.2k | FreeCell* free_cell = reinterpret_cast<FreeCell*>(cell); | 182 | 27.2k | free_cell->id = cell_id; | 183 | 27.2k | free_cell->next = free_list_; | 184 | 27.2k | free_list_ = free_cell; | 185 | 27.2k | } | 186 | 27.2k | cell_id++; | 187 | 27.2k | } | 188 | 40 | } | 189 | 39 | gc_underway_ = false; | 190 | 39 | } |
_ZN4PoolILi341ELm48EE5SweepEv Line | Count | Source | 171 | 39 | void Sweep() { | 172 | 39 | DCHECK(gc_underway_); | 173 | | // Iterate over every Cell linking the free ones into a new free list. | 174 | 0 | num_free_ = 0; | 175 | 39 | free_list_ = nullptr; | 176 | 39 | int cell_id = 0; | 177 | 39 | for (Block* block : blocks_) { | 178 | 13.2k | for (Cell& cell : block->cells) { | 179 | 13.2k | if (!mark_set_.IsMarked(cell_id)) { | 180 | 13.2k | num_free_++; | 181 | 13.2k | FreeCell* free_cell = reinterpret_cast<FreeCell*>(cell); | 182 | 13.2k | free_cell->id = cell_id; | 183 | 13.2k | free_cell->next = free_list_; | 184 | 13.2k | free_list_ = free_cell; | 185 | 13.2k | } | 186 | 13.2k | cell_id++; | 187 | 13.2k | } | 188 | 39 | } | 189 | 39 | gc_underway_ = false; | 190 | 39 | } |
_ZN4PoolILi2ELm32EE5SweepEv Line | Count | Source | 171 | 2 | void Sweep() { | 172 | 2 | DCHECK(gc_underway_); | 173 | | // Iterate over every Cell linking the free ones into a new free list. | 174 | 0 | num_free_ = 0; | 175 | 2 | free_list_ = nullptr; | 176 | 2 | int cell_id = 0; | 177 | 2 | for (Block* block : blocks_) { | 178 | 2 | for (Cell& cell : block->cells) { | 179 | 2 | if (!mark_set_.IsMarked(cell_id)) { | 180 | 2 | num_free_++; | 181 | 2 | FreeCell* free_cell = reinterpret_cast<FreeCell*>(cell); | 182 | 2 | free_cell->id = cell_id; | 183 | 2 | free_cell->next = free_list_; | 184 | 2 | free_list_ = free_cell; | 185 | 2 | } | 186 | 2 | cell_id++; | 187 | 2 | } | 188 | 1 | } | 189 | 2 | gc_underway_ = false; | 190 | 2 | } |
_ZN4PoolILi1ELm32EE5SweepEv Line | Count | Source | 171 | 1 | void Sweep() { | 172 | 1 | DCHECK(gc_underway_); | 173 | | // Iterate over every Cell linking the free ones into a new free list. | 174 | 0 | num_free_ = 0; | 175 | 1 | free_list_ = nullptr; | 176 | 1 | int cell_id = 0; | 177 | 2 | for (Block* block : blocks_) { | 178 | 2 | for (Cell& cell : block->cells) { | 179 | 2 | if (!mark_set_.IsMarked(cell_id)) { | 180 | 1 | num_free_++; | 181 | 1 | FreeCell* free_cell = reinterpret_cast<FreeCell*>(cell); | 182 | 1 | free_cell->id = cell_id; | 183 | 1 | free_cell->next = free_list_; | 184 | 1 | free_list_ = free_cell; | 185 | 1 | } | 186 | 2 | cell_id++; | 187 | 2 | } | 188 | 2 | } | 189 | 1 | gc_underway_ = false; | 190 | 1 | } |
|
191 | | |
192 | 27 | void Free() { |
193 | 31 | for (Block* block : blocks_) { |
194 | 31 | free(block); |
195 | 31 | } |
196 | 27 | blocks_.clear(); |
197 | 27 | num_free_ = 0; |
198 | 27 | } _ZN4PoolILi682ELm24EE4FreeEv Line | Count | Source | 192 | 12 | void Free() { | 193 | 13 | for (Block* block : blocks_) { | 194 | 13 | free(block); | 195 | 13 | } | 196 | 12 | blocks_.clear(); | 197 | 12 | num_free_ = 0; | 198 | 12 | } |
_ZN4PoolILi341ELm48EE4FreeEv Line | Count | Source | 192 | 12 | void Free() { | 193 | 13 | for (Block* block : blocks_) { | 194 | 13 | free(block); | 195 | 13 | } | 196 | 12 | blocks_.clear(); | 197 | 12 | num_free_ = 0; | 198 | 12 | } |
_ZN4PoolILi2ELm32EE4FreeEv Line | Count | Source | 192 | 2 | void Free() { | 193 | 3 | for (Block* block : blocks_) { | 194 | 3 | free(block); | 195 | 3 | } | 196 | 2 | blocks_.clear(); | 197 | 2 | num_free_ = 0; | 198 | 2 | } |
_ZN4PoolILi1ELm32EE4FreeEv Line | Count | Source | 192 | 1 | void Free() { | 193 | 2 | for (Block* block : blocks_) { | 194 | 2 | free(block); | 195 | 2 | } | 196 | 1 | blocks_.clear(); | 197 | 1 | num_free_ = 0; | 198 | 1 | } |
|
199 | | |
200 | 14 | int num_allocated() { |
201 | 14 | return num_allocated_; |
202 | 14 | } _ZN4PoolILi682ELm24EE13num_allocatedEv Line | Count | Source | 200 | 6 | int num_allocated() { | 201 | 6 | return num_allocated_; | 202 | 6 | } |
_ZN4PoolILi341ELm48EE13num_allocatedEv Line | Count | Source | 200 | 6 | int num_allocated() { | 201 | 6 | return num_allocated_; | 202 | 6 | } |
_ZN4PoolILi2ELm32EE13num_allocatedEv Line | Count | Source | 200 | 2 | int num_allocated() { | 201 | 2 | return num_allocated_; | 202 | 2 | } |
|
203 | | |
204 | 8 | int64_t bytes_allocated() { |
205 | 8 | return bytes_allocated_; |
206 | 8 | } _ZN4PoolILi682ELm24EE15bytes_allocatedEv Line | Count | Source | 204 | 3 | int64_t bytes_allocated() { | 205 | 3 | return bytes_allocated_; | 206 | 3 | } |
_ZN4PoolILi341ELm48EE15bytes_allocatedEv Line | Count | Source | 204 | 3 | int64_t bytes_allocated() { | 205 | 3 | return bytes_allocated_; | 206 | 3 | } |
_ZN4PoolILi2ELm32EE15bytes_allocatedEv Line | Count | Source | 204 | 2 | int64_t bytes_allocated() { | 205 | 2 | return bytes_allocated_; | 206 | 2 | } |
|
207 | | |
208 | 298 | int num_live() { |
209 | 298 | #ifndef OPTIMIZED |
210 | 298 | int capacity = blocks_.size() * CellsPerBlock; |
211 | | // log("Pool capacity = %d", capacity); |
212 | | // log("Pool num_free_ = %d", num_free_); |
213 | 298 | DCHECK(num_free_ <= capacity); |
214 | 0 | #endif |
215 | 0 | return blocks_.size() * CellsPerBlock - num_free_; |
216 | 298 | } _ZN4PoolILi682ELm24EE8num_liveEv Line | Count | Source | 208 | 147 | int num_live() { | 209 | 147 | #ifndef OPTIMIZED | 210 | 147 | int capacity = blocks_.size() * CellsPerBlock; | 211 | | // log("Pool capacity = %d", capacity); | 212 | | // log("Pool num_free_ = %d", num_free_); | 213 | 147 | DCHECK(num_free_ <= capacity); | 214 | 0 | #endif | 215 | 0 | return blocks_.size() * CellsPerBlock - num_free_; | 216 | 147 | } |
_ZN4PoolILi341ELm48EE8num_liveEv Line | Count | Source | 208 | 147 | int num_live() { | 209 | 147 | #ifndef OPTIMIZED | 210 | 147 | int capacity = blocks_.size() * CellsPerBlock; | 211 | | // log("Pool capacity = %d", capacity); | 212 | | // log("Pool num_free_ = %d", num_free_); | 213 | 147 | DCHECK(num_free_ <= capacity); | 214 | 0 | #endif | 215 | 0 | return blocks_.size() * CellsPerBlock - num_free_; | 216 | 147 | } |
_ZN4PoolILi2ELm32EE8num_liveEv Line | Count | Source | 208 | 3 | int num_live() { | 209 | 3 | #ifndef OPTIMIZED | 210 | 3 | int capacity = blocks_.size() * CellsPerBlock; | 211 | | // log("Pool capacity = %d", capacity); | 212 | | // log("Pool num_free_ = %d", num_free_); | 213 | 3 | DCHECK(num_free_ <= capacity); | 214 | 0 | #endif | 215 | 0 | return blocks_.size() * CellsPerBlock - num_free_; | 216 | 3 | } |
_ZN4PoolILi1ELm32EE8num_liveEv Line | Count | Source | 208 | 1 | int num_live() { | 209 | 1 | #ifndef OPTIMIZED | 210 | 1 | int capacity = blocks_.size() * CellsPerBlock; | 211 | | // log("Pool capacity = %d", capacity); | 212 | | // log("Pool num_free_ = %d", num_free_); | 213 | 1 | DCHECK(num_free_ <= capacity); | 214 | 0 | #endif | 215 | 0 | return blocks_.size() * CellsPerBlock - num_free_; | 216 | 1 | } |
|
217 | | |
218 | | private: |
219 | | using Cell = uint8_t[CellSize]; |
220 | | |
221 | | struct Block { |
222 | | Cell cells[CellsPerBlock]; |
223 | | }; |
224 | | |
225 | | // Unused/free cells are tracked via a linked list of FreeCells. The FreeCells |
226 | | // are stored in the unused Cells, so it takes no extra memory to track them. |
227 | | struct FreeCell { |
228 | | int id; |
229 | | FreeCell* next; |
230 | | }; |
231 | | static_assert(CellSize >= sizeof(FreeCell), "CellSize is too small"); |
232 | | |
233 | | // Whether a GC is underway, for asserting that calls are in order. |
234 | | bool gc_underway_ = false; |
235 | | |
236 | | FreeCell* free_list_ = nullptr; |
237 | | int num_free_ = 0; |
238 | | int num_allocated_ = 0; |
239 | | int64_t bytes_allocated_ = 0; |
240 | | std::vector<Block*> blocks_; |
241 | | MarkSet mark_set_; |
242 | | |
243 | | DISALLOW_COPY_AND_ASSIGN(Pool); |
244 | | }; |
245 | | |
246 | | class MarkSweepHeap { |
247 | | public: |
248 | | // reserve 32 frames to start |
249 | 13 | MarkSweepHeap() { |
250 | 13 | } |
251 | | |
252 | | void Init(); // use default threshold |
253 | | void Init(int gc_threshold); |
254 | | |
255 | 107 | void PushRoot(RawObject** p) { |
256 | | #if VALIDATE_ROOTS |
257 | | ValidateRoot(*p); |
258 | | #endif |
259 | 107 | roots_.push_back(p); |
260 | 107 | } |
261 | | |
262 | 107 | void PopRoot() { |
263 | 107 | roots_.pop_back(); |
264 | 107 | } |
265 | | |
266 | 3 | void RootGlobalVar(void* root) { |
267 | 3 | global_roots_.push_back(reinterpret_cast<RawObject*>(root)); |
268 | 3 | } |
269 | | |
270 | | void* Allocate(size_t num_bytes, int* obj_id, int* pool_id); |
271 | | |
272 | | #if 0 |
273 | | void* Reallocate(void* p, size_t num_bytes); |
274 | | #endif |
275 | | int MaybeCollect(); |
276 | | int Collect(); |
277 | | |
278 | | void MaybeMarkAndPush(RawObject* obj); |
279 | | void TraceChildren(); |
280 | | |
281 | | void Sweep(); |
282 | | |
283 | | void PrintStats(int fd); // public for testing |
284 | | void PrintShortStats(); |
285 | | |
286 | | void CleanProcessExit(); // do one last GC, used in unit tests |
287 | | void ProcessExit(); // main() lets OS clean up, except ASAN variant |
288 | | |
289 | 147 | int num_live() { |
290 | 147 | return num_live_ |
291 | 147 | #ifndef NO_POOL_ALLOC |
292 | 147 | + pool1_.num_live() + pool2_.num_live() |
293 | 147 | #endif |
294 | 147 | ; |
295 | 147 | } |
296 | | |
297 | | bool is_initialized_ = true; // mark/sweep doesn't need to be initialized |
298 | | |
299 | | // Runtime params |
300 | | |
301 | | // Threshold is a number of live objects, since we aren't keeping track of |
302 | | // total bytes |
303 | | int gc_threshold_; |
304 | | |
305 | | // Show debug logging |
306 | | bool gc_verbose_ = false; |
307 | | |
308 | | // Current stats |
309 | | int num_live_ = 0; |
310 | | // Should we keep track of sizes? |
311 | | // int64_t bytes_live_ = 0; |
312 | | |
313 | | // Cumulative stats |
314 | | int max_survived_ = 0; // max # live after a collection |
315 | | int num_allocated_ = 0; |
316 | | int64_t bytes_allocated_ = 0; // avoid overflow |
317 | | int num_gc_points_ = 0; // manual collection points |
318 | | int num_collections_ = 0; |
319 | | int num_growths_; |
320 | | double max_gc_millis_ = 0.0; |
321 | | double total_gc_millis_ = 0.0; |
322 | | |
323 | | #ifndef NO_POOL_ALLOC |
324 | | // 16,384 / 24 bytes = 682 cells (rounded), 16,368 bytes |
325 | | // 16,384 / 48 bytes = 341 cells (rounded), 16,368 bytes |
326 | | // Conveniently, the glibc malloc header is 16 bytes, giving exactly 16 Ki |
327 | | // differences |
328 | | Pool<682, 24> pool1_; |
329 | | Pool<341, 48> pool2_; |
330 | | #endif |
331 | | |
332 | | std::vector<RawObject**> roots_; |
333 | | std::vector<RawObject*> global_roots_; |
334 | | |
335 | | // Allocate() appends live objects, and Sweep() compacts it |
336 | | std::vector<ObjHeader*> live_objs_; |
337 | | // Allocate lazily frees these, and Sweep() replenishes it |
338 | | std::vector<ObjHeader*> to_free_; |
339 | | |
340 | | std::vector<ObjHeader*> gray_stack_; |
341 | | MarkSet mark_set_; |
342 | | |
343 | | int greatest_obj_id_ = 0; |
344 | | |
345 | | private: |
346 | | void FreeEverything(); |
347 | | void MaybePrintStats(); |
348 | | |
349 | | DISALLOW_COPY_AND_ASSIGN(MarkSweepHeap); |
350 | | }; |
351 | | |
352 | | #endif // MARKSWEEP_HEAP_H |