mirror of
https://github.com/golang/go
synced 2024-11-14 13:20:30 -07:00
ef50373983
During a call to a reflect-generated function or method (via makeFuncStub or methodValueCall), when should we scan the return values? When we're starting a reflect call, the space on the stack for the return values is not initialized yet, as it contains whatever junk was on the stack of the caller at the time. The return space must not be scanned during a GC. When we're finishing a reflect call, the return values are initialized, and must be scanned during a GC to make sure that any pointers in the return values are found and their referents retained. When the GC stack walk comes across a reflect call in progress on the stack, it needs to know whether to scan the results or not. It doesn't know the progress of the reflect call, so it can't decide by itself. The reflect package needs to tell it. This CL adds another slot in the frame of makeFuncStub and methodValueCall so we can put a boolean in there which tells the runtime whether to scan the results or not. This CL also adds the args length to reflectMethodValue so the runtime can restrict its scanning to only the args section (not the results) if the reflect package says the results aren't ready yet. Do a delicate dance in the reflect package to set the "results are valid" bit. We need to make sure we set the bit only after we've copied the results back to the stack. But we must set the bit before we drop reflect's copy of the results. Otherwise, we might have a state where (temporarily) no one has a live copy of the results. That's the state we were observing in issue #27695 before this CL. The bitmap used by the runtime currently contains only the args. (Actually, it contains all the bits, but the size is set so we use only the args portion.) This is safe for early in a reflect call, but unsafe late in a reflect call. The test issue27695.go demonstrates this unsafety. We change the bitmap to always include both args and results, and decide at runtime which portion to use. issue27695.go only has a test for method calls. Function calls were ok because there wasn't a safepoint between when reflect dropped its copy of the return values and when the caller is resumed. This may change when we introduce safepoints everywhere. This truncate-to-only-the-args was part of CL 9888 (in 2015). That part of the CL fixed the problem demonstrated in issue27695b.go but introduced the problem demonstrated in issue27695.go. TODO, in another CL: simplify FuncLayout and its test. stack return value is now identical to frametype.ptrdata + frametype.gcdata. Fixes #27695 Change-Id: I2d49b34e34a82c6328b34f02610587a291b25c5f Reviewed-on: https://go-review.googlesource.com/137440 Run-TryBot: Keith Randall <khr@golang.org> TryBot-Result: Gobot Gobot <gobot@golang.org> Reviewed-by: Austin Clements <austin@google.com>
63 lines
1.2 KiB
Go
63 lines
1.2 KiB
Go
// run
|
|
|
|
// Copyright 2018 The Go Authors. All rights reserved.
|
|
// Use of this source code is governed by a BSD-style
|
|
// license that can be found in the LICENSE file.
|
|
|
|
// Make sure return values are always scanned, when
|
|
// calling methods (+functions, TODO) with reflect.
|
|
|
|
package main
|
|
|
|
import (
|
|
"reflect"
|
|
"runtime/debug"
|
|
"sync"
|
|
)
|
|
|
|
func main() {
|
|
debug.SetGCPercent(1) // run GC frequently
|
|
var wg sync.WaitGroup
|
|
for i := 0; i < 20; i++ {
|
|
wg.Add(1)
|
|
go func() {
|
|
defer wg.Done()
|
|
for i := 0; i < 2000; i++ {
|
|
_test()
|
|
}
|
|
}()
|
|
}
|
|
wg.Wait()
|
|
}
|
|
|
|
type Stt struct {
|
|
Data interface{}
|
|
}
|
|
|
|
type My struct {
|
|
b byte
|
|
}
|
|
|
|
func (this *My) Run(rawData []byte) (Stt, error) {
|
|
var data string = "hello"
|
|
stt := Stt{
|
|
Data: data,
|
|
}
|
|
return stt, nil
|
|
}
|
|
|
|
func _test() (interface{}, error) {
|
|
f := reflect.ValueOf(&My{}).MethodByName("Run")
|
|
if method, ok := f.Interface().(func([]byte) (Stt, error)); ok {
|
|
s, e := method(nil)
|
|
// The bug in issue27695 happens here, during the return
|
|
// from the above call (at the end of reflect.callMethod
|
|
// when preparing to return). The result value that
|
|
// is assigned to s was not being scanned if GC happens
|
|
// to occur there.
|
|
i := interface{}(s)
|
|
return i, e
|
|
}
|
|
return nil, nil
|
|
}
|