]> Cypherpunks repositories - gostls13.git/commit
[release-branch.go1.21] 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:00 +0000 (17:52 +0000)
commitac14d4d9cea31109b475bdba3cc8afd823a07c21
treea038f29479217522744f52e10aa6dbb3cd20bdc8
parent29d378aa877210a4c6eed3110a0b1744ae71431c
[release-branch.go1.21] 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 #67297.

Cq-Include-Trybots: luci.golang.try:go1.21-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/+/585337
src/runtime/cgo/gcc_stack_darwin.c
src/runtime/cgo/gcc_stack_unix.c
src/runtime/cgocall.go