]> Cypherpunks repositories - gostls13.git/commit
runtime: always update stack bounds on cgocallback
authorMichael Pratt <mpratt@google.com>
Thu, 9 May 2024 20:54:41 +0000 (16:54 -0400)
committerMichael Pratt <mpratt@google.com>
Thu, 16 May 2024 01:32:45 +0000 (01:32 +0000)
commit1ffc296717ba27d5ca5dd9a81439a49367363c89
treea5a7be29c5af761c934feb7fdf500c96ce26f60e
parentfba90c90964703e84bcb43a3567884960043b756
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.

Fixes #62440.

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