1
0
mirror of https://github.com/golang/go synced 2024-11-22 03:24:41 -07:00

[release-branch.go1.23] unique: don't retain uncloned input as key

Currently the unique package tries to clone strings that get stored in
its internal map to avoid retaining large strings.

However, this falls over entirely due to the fact that the original
string is *still* stored in the map as a key. Whoops. Fix this by
storing the cloned value in the map instead.

This change also adds a test which fails without this change.

For #69370.
Fixes #69383.

Change-Id: I1a6bb68ed79b869ea12ab6be061a5ae4b4377ddb
Reviewed-on: https://go-review.googlesource.com/c/go/+/610738
Reviewed-by: Michael Pratt <mpratt@google.com>
Auto-Submit: Michael Knyszek <mknyszek@google.com>
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
(cherry picked from commit 21ac23a96f)
Reviewed-on: https://go-review.googlesource.com/c/go/+/612295
Auto-Submit: Tim King <taking@google.com>
This commit is contained in:
Michael Anthony Knyszek 2024-09-04 16:46:33 +00:00 committed by Gopher Robot
parent e6598e7baa
commit a74951c5af
2 changed files with 26 additions and 3 deletions

View File

@ -50,13 +50,13 @@ func Make[T comparable](value T) Handle[T] {
toInsert *T // Keep this around to keep it alive.
toInsertWeak weak.Pointer[T]
)
newValue := func() weak.Pointer[T] {
newValue := func() (T, weak.Pointer[T]) {
if toInsert == nil {
toInsert = new(T)
*toInsert = clone(value, &m.cloneSeq)
toInsertWeak = weak.Make(toInsert)
}
return toInsertWeak
return *toInsert, toInsertWeak
}
var ptr *T
for {
@ -64,7 +64,8 @@ func Make[T comparable](value T) Handle[T] {
wp, ok := m.Load(value)
if !ok {
// Try to insert a new value into the map.
wp, _ = m.LoadOrStore(value, newValue())
k, v := newValue()
wp, _ = m.LoadOrStore(k, v)
}
// Now that we're sure there's a value in the map, let's
// try to get the pointer we need out of it.

View File

@ -9,7 +9,10 @@ import (
"internal/abi"
"reflect"
"runtime"
"strings"
"testing"
"time"
"unsafe"
)
// Set up special types. Because the internal maps are sharded by type,
@ -110,3 +113,22 @@ func checkMapsFor[T comparable](t *testing.T, value T) {
}
t.Errorf("failed to drain internal maps of %v", value)
}
func TestMakeClonesStrings(t *testing.T) {
s := strings.Clone("abcdefghijklmnopqrstuvwxyz") // N.B. Must be big enough to not be tiny-allocated.
ran := make(chan bool)
runtime.SetFinalizer(unsafe.StringData(s), func(_ *byte) {
ran <- true
})
h := Make(s)
// Clean up s (hopefully) and run the finalizer.
runtime.GC()
select {
case <-time.After(1 * time.Second):
t.Fatal("string was improperly retained")
case <-ran:
}
runtime.KeepAlive(h)
}