mirror of
https://github.com/tinygo-org/tinygo.git
synced 2026-08-06 03:53:42 +00:00
9404bb8712
In order to scan stacks, the GC preempts all other threads and has them scan their own stack. This is somewhat expensive since all of these threads have to fight over a single lock. Instead, save the stack bounds and let the GC thread perform the scan. This also fixes a few other bugs I ran into: 1. The GC starts scanning before the world stops. This can cause it to miss some objects (and mistakenly free them) if memory is modified while stopping. 2. The GC does not wait for threads to resume. This can cause notifications to be misinterpreted due to signal nesting if the GC is re-run before all threads wake.
191 lines
5.2 KiB
Go
191 lines
5.2 KiB
Go
//go:build gc.boehm
|
|
|
|
// This is the Boehm-Demers-Weiser conservative garbage collector, integrated
|
|
// into TinyGo.
|
|
//
|
|
// Note that we use a special way of dealing with threads:
|
|
// * All calls to the bdwgc library are serialized using locks.
|
|
// * When the bdwgc library wants to push GC roots, all other threads that are
|
|
// running are stopped.
|
|
// * After returning from a bdwgc library call, the caller checks whether
|
|
// other threads were stopped (meaning a GC cycle happened) and resumes the
|
|
// world.
|
|
// This is not exactly the most efficient way to do this. We can likely speed
|
|
// things up by using bdwgc-native wrappers for starting/stopping threads (and
|
|
// also to resume the world while sweeping). Also, thread local allocation might
|
|
// help. But we don't do any of these right now, it is left as a possible future
|
|
// improvement.
|
|
|
|
package runtime
|
|
|
|
import (
|
|
"internal/gclayout"
|
|
"internal/task"
|
|
"unsafe"
|
|
)
|
|
|
|
const needsStaticHeap = false
|
|
|
|
// zeroSizedAlloc is just a sentinel that gets returned when allocating 0 bytes.
|
|
var zeroSizedAlloc uint8
|
|
|
|
var gcLock task.PMutex
|
|
|
|
func initHeap() {
|
|
libgc_init()
|
|
|
|
// Call GC_set_push_other_roots(gcCallback) in C because of function
|
|
// signature differences that do matter in WebAssembly.
|
|
gcInit()
|
|
}
|
|
|
|
//export tinygo_runtime_bdwgc_init
|
|
func gcInit()
|
|
|
|
//export tinygo_runtime_bdwgc_callback
|
|
func gcCallback() {
|
|
// Mark globals and all stacks, and stop the world if we're using threading.
|
|
gcMarkReachable()
|
|
}
|
|
|
|
func markRoots(start, end uintptr) {
|
|
libgc_push_all(start, end)
|
|
}
|
|
|
|
func markCurrentGoroutineStack(sp uintptr) {
|
|
// Only mark the area of the stack that is currently in use.
|
|
// (This doesn't work for other goroutines, but at least it doesn't keep
|
|
// more pointers alive than needed on the current stack).
|
|
base := libgc_base(sp)
|
|
if base == 0 { // && asserts
|
|
runtimePanic("goroutine stack not in a heap allocation?")
|
|
}
|
|
stackBottom := base + libgc_size(base)
|
|
libgc_push_all_stack(sp, stackBottom)
|
|
}
|
|
|
|
//go:noinline
|
|
func alloc(size uintptr, layout unsafe.Pointer) unsafe.Pointer {
|
|
if size == 0 {
|
|
return unsafe.Pointer(&zeroSizedAlloc)
|
|
}
|
|
|
|
gcLock.Lock()
|
|
var ptr unsafe.Pointer
|
|
if layout == gclayout.NoPtrs.AsPtr() {
|
|
// This object is entirely pointer free, for example make([]int, ...).
|
|
// Make sure the GC knows this so it doesn't scan the object
|
|
// unnecessarily to improve performance.
|
|
ptr = libgc_malloc_atomic(size)
|
|
// Memory returned from libgc_malloc_atomic has not been zeroed so we
|
|
// have to do that manually.
|
|
memzero(ptr, size)
|
|
} else {
|
|
// TODO: bdwgc supports typed allocations, which could be useful to
|
|
// implement a mostly-precise GC.
|
|
ptr = libgc_malloc(size)
|
|
// Memory returned from libgc_malloc has already been zeroed, so nothing
|
|
// to do here.
|
|
}
|
|
gcResumeWorld()
|
|
gcLock.Unlock()
|
|
if ptr == nil {
|
|
runtimePanic("gc: out of memory")
|
|
}
|
|
|
|
return ptr
|
|
}
|
|
|
|
func free(ptr unsafe.Pointer) {
|
|
libgc_free(ptr)
|
|
}
|
|
|
|
func GC() {
|
|
gcLock.Lock()
|
|
libgc_gcollect()
|
|
gcResumeWorld()
|
|
gcLock.Unlock()
|
|
}
|
|
|
|
// This should be stack-allocated, but we don't currently have a good way of
|
|
// ensuring that happens.
|
|
var gcMemStats libgc_prof_stats
|
|
|
|
func ReadMemStats(m *MemStats) {
|
|
gcLock.Lock()
|
|
|
|
libgc_get_prof_stats(&gcMemStats, unsafe.Sizeof(gcMemStats))
|
|
|
|
// Fill in MemStats as well as we can, given the information that bdwgc
|
|
// provides to us.
|
|
m.HeapIdle = uint64(gcMemStats.free_bytes_full - gcMemStats.unmapped_bytes)
|
|
m.HeapInuse = uint64(gcMemStats.heapsize_full - gcMemStats.unmapped_bytes)
|
|
m.HeapReleased = uint64(gcMemStats.unmapped_bytes)
|
|
m.HeapSys = uint64(m.HeapInuse + m.HeapIdle)
|
|
m.GCSys = 0 // not provided by bdwgc
|
|
m.TotalAlloc = uint64(gcMemStats.allocd_bytes_before_gc + gcMemStats.bytes_allocd_since_gc)
|
|
m.Mallocs = 0 // not provided by bdwgc
|
|
m.Frees = 0 // not provided by bdwgc
|
|
m.Sys = uint64(gcMemStats.obtained_from_os_bytes)
|
|
|
|
gcLock.Unlock()
|
|
}
|
|
|
|
func setHeapEnd(newHeapEnd uintptr) {
|
|
runtimePanic("gc: did not expect setHeapEnd call")
|
|
}
|
|
|
|
func SetFinalizer(obj interface{}, finalizer interface{}) {
|
|
// Unimplemented.
|
|
// The GC *does* support finalization, so this could be added relatively
|
|
// easily I think.
|
|
}
|
|
|
|
//export GC_init
|
|
func libgc_init()
|
|
|
|
//export GC_malloc
|
|
func libgc_malloc(uintptr) unsafe.Pointer
|
|
|
|
//export GC_malloc_atomic
|
|
func libgc_malloc_atomic(uintptr) unsafe.Pointer
|
|
|
|
//export GC_free
|
|
func libgc_free(unsafe.Pointer)
|
|
|
|
//export GC_base
|
|
func libgc_base(ptr uintptr) uintptr
|
|
|
|
//export GC_size
|
|
func libgc_size(ptr uintptr) uintptr
|
|
|
|
//export GC_push_all
|
|
func libgc_push_all(bottom, top uintptr)
|
|
|
|
//export GC_push_all_stack
|
|
func libgc_push_all_stack(bottom, top uintptr)
|
|
|
|
//export GC_gcollect
|
|
func libgc_gcollect()
|
|
|
|
//export GC_get_prof_stats
|
|
func libgc_get_prof_stats(*libgc_prof_stats, uintptr) uintptr
|
|
|
|
//export GC_set_push_other_roots
|
|
func libgc_set_push_other_roots(unsafe.Pointer)
|
|
|
|
type libgc_prof_stats struct {
|
|
heapsize_full uintptr
|
|
free_bytes_full uintptr
|
|
unmapped_bytes uintptr
|
|
bytes_allocd_since_gc uintptr
|
|
allocd_bytes_before_gc uintptr
|
|
non_gc_bytes uintptr
|
|
gc_no uintptr
|
|
markers_m1 uintptr
|
|
bytes_reclaimed_since_gc uintptr
|
|
reclaimed_bytes_before_gc uintptr
|
|
expl_freed_bytes_since_gc uintptr
|
|
obtained_from_os_bytes uintptr
|
|
}
|