123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355 |
- /*
- * Copyright (c) 2020, Andreas Kling <kling@serenityos.org>
- *
- * SPDX-License-Identifier: BSD-2-Clause
- */
- #include <AK/Badge.h>
- #include <AK/Debug.h>
- #include <AK/HashTable.h>
- #include <AK/StackInfo.h>
- #include <AK/TemporaryChange.h>
- #include <LibCore/ElapsedTimer.h>
- #include <LibJS/Heap/CellAllocator.h>
- #include <LibJS/Heap/Handle.h>
- #include <LibJS/Heap/Heap.h>
- #include <LibJS/Heap/HeapBlock.h>
- #include <LibJS/Interpreter.h>
- #include <LibJS/Runtime/Object.h>
- #include <LibJS/Runtime/WeakContainer.h>
- #include <setjmp.h>
- #ifdef __serenity__
- # include <serenity.h>
- #endif
- namespace JS {
- #ifdef __serenity__
- static int gc_perf_string_id;
- #endif
- Heap::Heap(VM& vm)
- : m_vm(vm)
- {
- #ifdef __serenity__
- auto gc_signpost_string = "Garbage collection"sv;
- gc_perf_string_id = perf_register_string(gc_signpost_string.characters_without_null_termination(), gc_signpost_string.length());
- #endif
- if constexpr (HeapBlock::min_possible_cell_size <= 16) {
- m_allocators.append(make<CellAllocator>(16));
- }
- static_assert(HeapBlock::min_possible_cell_size <= 24, "Heap Cell tracking uses too much data!");
- m_allocators.append(make<CellAllocator>(32));
- m_allocators.append(make<CellAllocator>(64));
- m_allocators.append(make<CellAllocator>(128));
- m_allocators.append(make<CellAllocator>(256));
- m_allocators.append(make<CellAllocator>(512));
- m_allocators.append(make<CellAllocator>(1024));
- m_allocators.append(make<CellAllocator>(3072));
- }
- Heap::~Heap()
- {
- vm().string_cache().clear();
- collect_garbage(CollectionType::CollectEverything);
- }
- ALWAYS_INLINE CellAllocator& Heap::allocator_for_size(size_t cell_size)
- {
- for (auto& allocator : m_allocators) {
- if (allocator->cell_size() >= cell_size)
- return *allocator;
- }
- dbgln("Cannot get CellAllocator for cell size {}, largest available is {}!", cell_size, m_allocators.last()->cell_size());
- VERIFY_NOT_REACHED();
- }
- Cell* Heap::allocate_cell(size_t size)
- {
- if (should_collect_on_every_allocation()) {
- collect_garbage();
- } else if (m_allocations_since_last_gc > m_max_allocations_between_gc) {
- m_allocations_since_last_gc = 0;
- collect_garbage();
- } else {
- ++m_allocations_since_last_gc;
- }
- auto& allocator = allocator_for_size(size);
- return allocator.allocate_cell(*this);
- }
- void Heap::collect_garbage(CollectionType collection_type, bool print_report)
- {
- VERIFY(!m_collecting_garbage);
- TemporaryChange change(m_collecting_garbage, true);
- #ifdef __serenity__
- static size_t global_gc_counter = 0;
- perf_event(PERF_EVENT_SIGNPOST, gc_perf_string_id, global_gc_counter++);
- #endif
- auto collection_measurement_timer = Core::ElapsedTimer::start_new();
- if (collection_type == CollectionType::CollectGarbage) {
- if (m_gc_deferrals) {
- m_should_gc_when_deferral_ends = true;
- return;
- }
- HashTable<Cell*> roots;
- gather_roots(roots);
- mark_live_cells(roots);
- }
- sweep_dead_cells(print_report, collection_measurement_timer);
- }
- void Heap::gather_roots(HashTable<Cell*>& roots)
- {
- vm().gather_roots(roots);
- gather_conservative_roots(roots);
- for (auto& handle : m_handles)
- roots.set(handle.cell());
- for (auto& list : m_marked_value_lists) {
- for (auto& value : list.values()) {
- if (value.is_cell())
- roots.set(&value.as_cell());
- }
- }
- if constexpr (HEAP_DEBUG) {
- dbgln("gather_roots:");
- for (auto* root : roots)
- dbgln(" + {}", root);
- }
- }
- __attribute__((no_sanitize("address"))) void Heap::gather_conservative_roots(HashTable<Cell*>& roots)
- {
- FlatPtr dummy;
- dbgln_if(HEAP_DEBUG, "gather_conservative_roots:");
- jmp_buf buf;
- setjmp(buf);
- HashTable<FlatPtr> possible_pointers;
- auto* raw_jmp_buf = reinterpret_cast<FlatPtr const*>(buf);
- for (size_t i = 0; i < ((size_t)sizeof(buf)) / sizeof(FlatPtr); i += sizeof(FlatPtr))
- possible_pointers.set(raw_jmp_buf[i]);
- auto stack_reference = bit_cast<FlatPtr>(&dummy);
- auto& stack_info = m_vm.stack_info();
- for (FlatPtr stack_address = stack_reference; stack_address < stack_info.top(); stack_address += sizeof(FlatPtr)) {
- auto data = *reinterpret_cast<FlatPtr*>(stack_address);
- possible_pointers.set(data);
- }
- HashTable<HeapBlock*> all_live_heap_blocks;
- for_each_block([&](auto& block) {
- all_live_heap_blocks.set(&block);
- return IterationDecision::Continue;
- });
- for (auto possible_pointer : possible_pointers) {
- if (!possible_pointer)
- continue;
- dbgln_if(HEAP_DEBUG, " ? {}", (const void*)possible_pointer);
- auto* possible_heap_block = HeapBlock::from_cell(reinterpret_cast<const Cell*>(possible_pointer));
- if (all_live_heap_blocks.contains(possible_heap_block)) {
- if (auto* cell = possible_heap_block->cell_from_possible_pointer(possible_pointer)) {
- if (cell->state() == Cell::State::Live) {
- dbgln_if(HEAP_DEBUG, " ?-> {}", (const void*)cell);
- roots.set(cell);
- } else {
- dbgln_if(HEAP_DEBUG, " #-> {}", (const void*)cell);
- }
- }
- }
- }
- }
- class MarkingVisitor final : public Cell::Visitor {
- public:
- MarkingVisitor() { }
- virtual void visit_impl(Cell& cell)
- {
- if (cell.is_marked())
- return;
- dbgln_if(HEAP_DEBUG, " ! {}", &cell);
- #ifdef JS_TRACK_ZOMBIE_CELLS
- if (cell.state() == Cell::State::Zombie) {
- dbgln("BUG! Marking a zombie cell, {} @ {:p}", cell.class_name(), &cell);
- cell.vm().dump_backtrace();
- VERIFY_NOT_REACHED();
- }
- #endif
- cell.set_marked(true);
- cell.visit_edges(*this);
- }
- };
- void Heap::mark_live_cells(const HashTable<Cell*>& roots)
- {
- dbgln_if(HEAP_DEBUG, "mark_live_cells:");
- MarkingVisitor visitor;
- for (auto* root : roots)
- visitor.visit(root);
- for (auto& inverse_root : m_uprooted_cells)
- inverse_root->set_marked(false);
- m_uprooted_cells.clear();
- }
- void Heap::sweep_dead_cells(bool print_report, const Core::ElapsedTimer& measurement_timer)
- {
- dbgln_if(HEAP_DEBUG, "sweep_dead_cells:");
- Vector<HeapBlock*, 32> empty_blocks;
- Vector<HeapBlock*, 32> full_blocks_that_became_usable;
- size_t collected_cells = 0;
- size_t live_cells = 0;
- size_t collected_cell_bytes = 0;
- size_t live_cell_bytes = 0;
- for_each_block([&](auto& block) {
- bool block_has_live_cells = false;
- bool block_was_full = block.is_full();
- block.template for_each_cell_in_state<Cell::State::Live>([&](Cell* cell) {
- if (!cell->is_marked()) {
- dbgln_if(HEAP_DEBUG, " ~ {}", cell);
- #ifdef JS_TRACK_ZOMBIE_CELLS
- if (m_zombify_dead_cells) {
- cell->set_state(Cell::State::Zombie);
- cell->did_become_zombie();
- } else {
- #endif
- block.deallocate(cell);
- #ifdef JS_TRACK_ZOMBIE_CELLS
- }
- #endif
- ++collected_cells;
- collected_cell_bytes += block.cell_size();
- } else {
- cell->set_marked(false);
- block_has_live_cells = true;
- ++live_cells;
- live_cell_bytes += block.cell_size();
- }
- });
- if (!block_has_live_cells)
- empty_blocks.append(&block);
- else if (block_was_full != block.is_full())
- full_blocks_that_became_usable.append(&block);
- return IterationDecision::Continue;
- });
- for (auto& weak_container : m_weak_containers)
- weak_container.remove_dead_cells({});
- for (auto* block : empty_blocks) {
- dbgln_if(HEAP_DEBUG, " - HeapBlock empty @ {}: cell_size={}", block, block->cell_size());
- allocator_for_size(block->cell_size()).block_did_become_empty({}, *block);
- }
- for (auto* block : full_blocks_that_became_usable) {
- dbgln_if(HEAP_DEBUG, " - HeapBlock usable again @ {}: cell_size={}", block, block->cell_size());
- allocator_for_size(block->cell_size()).block_did_become_usable({}, *block);
- }
- if constexpr (HEAP_DEBUG) {
- for_each_block([&](auto& block) {
- dbgln(" > Live HeapBlock @ {}: cell_size={}", &block, block.cell_size());
- return IterationDecision::Continue;
- });
- }
- int time_spent = measurement_timer.elapsed();
- if (print_report) {
- size_t live_block_count = 0;
- for_each_block([&](auto&) {
- ++live_block_count;
- return IterationDecision::Continue;
- });
- dbgln("Garbage collection report");
- dbgln("=============================================");
- dbgln(" Time spent: {} ms", time_spent);
- dbgln(" Live cells: {} ({} bytes)", live_cells, live_cell_bytes);
- dbgln("Collected cells: {} ({} bytes)", collected_cells, collected_cell_bytes);
- dbgln(" Live blocks: {} ({} bytes)", live_block_count, live_block_count * HeapBlock::block_size);
- dbgln(" Freed blocks: {} ({} bytes)", empty_blocks.size(), empty_blocks.size() * HeapBlock::block_size);
- dbgln("=============================================");
- }
- }
- void Heap::did_create_handle(Badge<HandleImpl>, HandleImpl& impl)
- {
- VERIFY(!m_handles.contains(impl));
- m_handles.append(impl);
- }
- void Heap::did_destroy_handle(Badge<HandleImpl>, HandleImpl& impl)
- {
- VERIFY(m_handles.contains(impl));
- m_handles.remove(impl);
- }
- void Heap::did_create_marked_value_list(Badge<MarkedValueList>, MarkedValueList& list)
- {
- VERIFY(!m_marked_value_lists.contains(list));
- m_marked_value_lists.append(list);
- }
- void Heap::did_destroy_marked_value_list(Badge<MarkedValueList>, MarkedValueList& list)
- {
- VERIFY(m_marked_value_lists.contains(list));
- m_marked_value_lists.remove(list);
- }
- void Heap::did_create_weak_container(Badge<WeakContainer>, WeakContainer& set)
- {
- VERIFY(!m_weak_containers.contains(set));
- m_weak_containers.append(set);
- }
- void Heap::did_destroy_weak_container(Badge<WeakContainer>, WeakContainer& set)
- {
- VERIFY(m_weak_containers.contains(set));
- m_weak_containers.remove(set);
- }
- void Heap::defer_gc(Badge<DeferGC>)
- {
- ++m_gc_deferrals;
- }
- void Heap::undefer_gc(Badge<DeferGC>)
- {
- VERIFY(m_gc_deferrals > 0);
- --m_gc_deferrals;
- if (!m_gc_deferrals) {
- if (m_should_gc_when_deferral_ends)
- collect_garbage();
- m_should_gc_when_deferral_ends = false;
- }
- }
- void Heap::uproot_cell(Cell* cell)
- {
- m_uprooted_cells.append(cell);
- }
- }
|