Skip to content

Commit 7fff741

Browse files
committed
syscall: mark SyscallN as noescape
syscall.SyscallN is implemented by runtime.syscall_syscalln, which makes sure that the variadic argument doesn't escape. There is no need to worry about the lifetime of the elements of the variadic argument, as the compiler will keep them live until the function returns. Fixes #70197. Cq-Include-Trybots: luci.golang.try:gotip-windows-amd64-longtest,gotip-windows-amd64-race Change-Id: I12991f0be12062eea68f2b103fa0a794c1b527eb Reviewed-on: https://go-review.googlesource.com/c/go/+/625297 Reviewed-by: Ian Lance Taylor <[email protected]> Reviewed-by: Alex Brainman <[email protected]> Reviewed-by: David Chase <[email protected]> LUCI-TryBot-Result: Go LUCI <[email protected]>
1 parent 067d58b commit 7fff741

2 files changed

Lines changed: 48 additions & 0 deletions

File tree

src/syscall/dll_windows.go

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -42,6 +42,7 @@ func Syscall15(trap, nargs, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a
4242
// Deprecated: Use [SyscallN] instead.
4343
func Syscall18(trap, nargs, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18 uintptr) (r1, r2 uintptr, err Errno)
4444

45+
//go:noescape
4546
func SyscallN(trap uintptr, args ...uintptr) (r1, r2 uintptr, err Errno)
4647
func loadlibrary(filename *uint16) (handle uintptr, err Errno)
4748
func loadsystemlibrary(filename *uint16) (handle uintptr, err Errno)

src/syscall/syscall_windows_test.go

Lines changed: 47 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -227,6 +227,53 @@ func TestGetStartupInfo(t *testing.T) {
227227
}
228228
}
229229

230+
func TestSyscallAllocations(t *testing.T) {
231+
testenv.SkipIfOptimizationOff(t)
232+
233+
t.Parallel()
234+
235+
// Test that syscall.SyscallN arguments do not escape.
236+
// The function used (in this case GetVersion) doesn't matter
237+
// as long as it is always available and doesn't panic.
238+
h, err := syscall.LoadLibrary("kernel32.dll")
239+
if err != nil {
240+
t.Fatal(err)
241+
}
242+
defer syscall.FreeLibrary(h)
243+
proc, err := syscall.GetProcAddress(h, "GetVersion")
244+
if err != nil {
245+
t.Fatal(err)
246+
}
247+
248+
testAllocs := func(t *testing.T, name string, fn func() error) {
249+
t.Run(name, func(t *testing.T) {
250+
n := int(testing.AllocsPerRun(10, func() {
251+
if err := fn(); err != nil {
252+
t.Fatalf("%s: %v", name, err)
253+
}
254+
}))
255+
if n > 0 {
256+
t.Errorf("allocs = %d, want 0", n)
257+
}
258+
})
259+
}
260+
261+
testAllocs(t, "SyscallN", func() error {
262+
r0, _, e1 := syscall.SyscallN(proc, 0, 0, 0)
263+
if r0 == 0 {
264+
return syscall.Errno(e1)
265+
}
266+
return nil
267+
})
268+
testAllocs(t, "Syscall", func() error {
269+
r0, _, e1 := syscall.Syscall(proc, 3, 0, 0, 0)
270+
if r0 == 0 {
271+
return syscall.Errno(e1)
272+
}
273+
return nil
274+
})
275+
}
276+
230277
func FuzzUTF16FromString(f *testing.F) {
231278
f.Add("hi") // ASCII
232279
f.Add("â") // latin1

0 commit comments

Comments
 (0)