]> Cypherpunks repositories - gostls13.git/commit
runtime: yield to GC coordinator after assist completion
authorAustin Clements <austin@google.com>
Thu, 23 Jul 2015 21:55:01 +0000 (17:55 -0400)
committerAustin Clements <austin@google.com>
Mon, 27 Jul 2015 19:59:00 +0000 (19:59 +0000)
commit500c88d40db6798dddf181f39b6148415544ef94
treea1819bfe760a6f23e3ab5783dd37323e3eeeb456
parent4f188c2d1c88d68d3f74a82c148cde804573d691
runtime: yield to GC coordinator after assist completion

Currently it's possible for the GC assist to signal completion of the
mark phase, which puts the GC coordinator goroutine on the current P's
run queue, and then return to mutator code that delays until the next
forced preemption before actually yielding control to the GC
coordinator, dragging out completion of the mark phase. This delay can
be further exacerbated if the mutator makes other goroutines runnable
before yielding control, since this will push the GC coordinator on
the back of the P's run queue.

To fix this, this adds a Gosched to the assist if it completed the
mark phase. This immediately and directly yields control to the GC
coordinator. This already happens implicitly in the background mark
workers because they park immediately after completing the mark.

This is one of the reasons completion of the mark phase is being
dragged out and allowing the mutator to allocate without assisting,
leading to the large heap goal overshoot in issue #11677. This is also
a prerequisite to making the assist block when it can't pay off its
debt.

Change-Id: I586adfbecb3ca042a37966752c1dc757f5c7fc78
Reviewed-on: https://go-review.googlesource.com/12670
Reviewed-by: Russ Cox <rsc@golang.org>
src/runtime/mgc.go
src/runtime/mgcmark.go