From 47f68dc2318a708b375768a09ae42833109e0bce Mon Sep 17 00:00:00 2001 From: Ian Lance Taylor Date: Thu, 22 Jun 2017 15:46:47 +0000 Subject: [PATCH] runtime: make NumGoroutine wait for system goroutines to register In libgo system goroutines register themselves after they start. That means that there is a small race between the goroutine being seen by the scheduler and the scheduler knowing that the goroutine is a system goroutine. That in turn means that runtime.NumGoroutines can overestimate the number of goroutines at times. This patch fixes the overestimate by counting the number of system goroutines waiting to start, and pausing NumGoroutines until those goroutines have all registered. This is kind of a lot of mechanism for this not very important problem, but I couldn't think of a better approach. The test for this is TestNumGoroutine in runtime/proc_test.go. The test is not currently run, but it will be soon. Reviewed-on: https://go-review.googlesource.com/46457 From-SVN: r249565 --- gcc/go/gofrontend/MERGE | 2 +- libgo/go/runtime/debug.go | 1 + libgo/go/runtime/mfinal.go | 1 + libgo/go/runtime/mgc.go | 2 ++ libgo/go/runtime/proc.go | 24 ++++++++++++++++++++++++ libgo/go/runtime/time.go | 1 + 6 files changed, 30 insertions(+), 1 deletion(-) diff --git a/gcc/go/gofrontend/MERGE b/gcc/go/gofrontend/MERGE index dbff708d932..ccc7919d2c2 100644 --- a/gcc/go/gofrontend/MERGE +++ b/gcc/go/gofrontend/MERGE @@ -1,4 +1,4 @@ -54d83c2d67c35ad4f622936d2fbf81c17354fff9 +681c8a7b0a9d52c0b81e7a4b1c55fe65ed889573 The first line of this file holds the git revision number of the last merge done from the gofrontend repository. diff --git a/libgo/go/runtime/debug.go b/libgo/go/runtime/debug.go index 6a9efcd7da7..fdd73463aba 100644 --- a/libgo/go/runtime/debug.go +++ b/libgo/go/runtime/debug.go @@ -54,6 +54,7 @@ func NumCgoCall() int64 { // NumGoroutine returns the number of goroutines that currently exist. func NumGoroutine() int { + waitForSystemGoroutines() return int(gcount()) } diff --git a/libgo/go/runtime/mfinal.go b/libgo/go/runtime/mfinal.go index 615a2b29522..229ccb55387 100644 --- a/libgo/go/runtime/mfinal.go +++ b/libgo/go/runtime/mfinal.go @@ -106,6 +106,7 @@ var ( func createfing() { // start the finalizer goroutine exactly once if fingCreate == 0 && atomic.Cas(&fingCreate, 0, 1) { + expectSystemGoroutine() go runfinq() } } diff --git a/libgo/go/runtime/mgc.go b/libgo/go/runtime/mgc.go index 5cee12d8b81..ebb00e155d0 100644 --- a/libgo/go/runtime/mgc.go +++ b/libgo/go/runtime/mgc.go @@ -209,6 +209,7 @@ func readgogc() int32 { // It kicks off the background sweeper goroutine and enables GC. func gcenable() { c := make(chan int, 1) + expectSystemGoroutine() go bgsweep(c) <-c memstats.enablegc = true // now that runtime is initialized, GC is okay @@ -1399,6 +1400,7 @@ func gcBgMarkStartWorkers() { break } if p.gcBgMarkWorker == 0 { + expectSystemGoroutine() go gcBgMarkWorker(p) notetsleepg(&work.bgMarkReady, -1) noteclear(&work.bgMarkReady) diff --git a/libgo/go/runtime/proc.go b/libgo/go/runtime/proc.go index 066d0e52de6..cb1e974eb53 100644 --- a/libgo/go/runtime/proc.go +++ b/libgo/go/runtime/proc.go @@ -233,6 +233,7 @@ func os_beforeExit() { // start forcegc helper goroutine func init() { + expectSystemGoroutine() go forcegchelper() } @@ -2728,6 +2729,28 @@ func newproc(fn uintptr, arg unsafe.Pointer) *g { return newg } +// expectedSystemGoroutines counts the number of goroutines expected +// to mark themselves as system goroutines. After they mark themselves +// by calling setSystemGoroutine, this is decremented. NumGoroutines +// uses this to wait for all system goroutines to mark themselves +// before it counts them. +var expectedSystemGoroutines uint32 + +// expectSystemGoroutine is called when starting a goroutine that will +// call setSystemGoroutine. It increments expectedSystemGoroutines. +func expectSystemGoroutine() { + atomic.Xadd(&expectedSystemGoroutines, +1) +} + +// waitForSystemGoroutines waits for all currently expected system +// goroutines to register themselves. +func waitForSystemGoroutines() { + for atomic.Load(&expectedSystemGoroutines) > 0 { + Gosched() + osyield() + } +} + // setSystemGoroutine marks this goroutine as a "system goroutine". // In the gc toolchain this is done by comparing startpc to a list of // saved special PCs. In gccgo that approach does not work as startpc @@ -2738,6 +2761,7 @@ func newproc(fn uintptr, arg unsafe.Pointer) *g { func setSystemGoroutine() { getg().isSystemGoroutine = true atomic.Xadd(&sched.ngsys, +1) + atomic.Xadd(&expectedSystemGoroutines, -1) } // Put on gfree list. diff --git a/libgo/go/runtime/time.go b/libgo/go/runtime/time.go index e85fc7a54fa..cc167a8bcfe 100644 --- a/libgo/go/runtime/time.go +++ b/libgo/go/runtime/time.go @@ -113,6 +113,7 @@ func addtimerLocked(t *timer) { } if !timers.created { timers.created = true + expectSystemGoroutine() go timerproc() } } -- 2.30.2