]> Cypherpunks repositories - gostls13.git/commit
[release-branch.go1.22] runtime: always update stack bounds on cgocallback
authorMichael Pratt <mpratt@google.com>
Thu, 9 May 2024 20:54:41 +0000 (16:54 -0400)
committerJoedian Reid <joedian@google.com>
Mon, 24 Jun 2024 17:52:06 +0000 (17:52 +0000)
commit3560cf0afb3c29300a6c88ccd98256949ca7a6f6
tree3131ada11482736f0d63bcf2647cd6c088c96a51
parent5159a7193ac77b26c7fa7b18309e17709358a411
[release-branch.go1.22] runtime: always update stack bounds on cgocallback

callbackUpdateSystemStack contains a fast path to exit early without
update if SP is already within the g0.stack bounds.

This is not safe, as a subsequent call may have new stack bounds that
only partially overlap the old stack bounds. In this case it is possible
to see an SP that is in the old stack bounds, but very close to the
bottom of the bounds due to the partial overlap. In that case we're very
likely to "run out" of space on the system stack.

We only need to do this on extra Ms, as normal Ms have precise bounds
defined when we allocated the stack.

TSAN annotations are added to x_cgo_getstackbounds because bounds is a
pointer into the Go stack. The stack can be reused when an old thread
exits and a new thread starts, but TSAN can't see the synchronization
there. This isn't a new case, but we are now calling more often.

For #62440.
Fixes #67298.

Cq-Include-Trybots: luci.golang.try:go1.22-linux-amd64-longtest
Change-Id: I5389050494987b7668d0b317fb92f85e61d798ac
Reviewed-on: https://go-review.googlesource.com/c/go/+/584597
Reviewed-by: Cherry Mui <cherryyz@google.com>
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
(cherry picked from commit 1ffc296717ba27d5ca5dd9a81439a49367363c89)
Reviewed-on: https://go-review.googlesource.com/c/go/+/585935
Run-TryBot: Joedian Reid <joedian@google.com>
TryBot-Result: Gopher Robot <gobot@golang.org>
src/runtime/cgo/gcc_stack_darwin.c
src/runtime/cgo/gcc_stack_unix.c
src/runtime/cgocall.go