Skip to content

Commit ab5a40c

Browse files
committed
runtime: fix rounding in materializeGCProg
materializeGCProg allocates a temporary buffer for unrolling a GC program. Unfortunately, when computing the size of the buffer, it rounds *down* the number of bytes needed to store bitmap before rounding up the number of pages needed to store those bytes. The fact that it rounds up to pages usually mitigates the rounding down, but the type from #37470 exists right on the boundary where this doesn't work: type Sequencer struct { htable [1 << 17]uint32 buf []byte } On 64-bit, this GC bitmap is exactly 8 KiB of zeros, followed by three one bits. Hence, this needs 8193 bytes of storage, but the current math in materializeGCProg rounds *down* the three one bits to 8192 bytes. Since this is exactly pageSize, the next step of rounding up to the page size doesn't mitigate this error, and materializeGCProg allocates a buffer that is one byte too small. runGCProg then writes one byte past the end of this buffer, causing either a segfault (if you're lucky!) or memory corruption. Fixes #37470. Change-Id: Iad24c463c501cd9b1dc1924bc2ad007991a094a0 Reviewed-on: https://go-review.googlesource.com/c/go/+/221197 Run-TryBot: Austin Clements <[email protected]> TryBot-Result: Gobot Gobot <[email protected]> Reviewed-by: Cherry Zhang <[email protected]>
1 parent 776a9d0 commit ab5a40c

File tree

2 files changed

+12
-1
lines changed

2 files changed

+12
-1
lines changed

src/runtime/mbitmap.go

+5-1
Original file line numberDiff line numberDiff line change
@@ -1921,7 +1921,11 @@ Run:
19211921
// The bitmask starts at s.startAddr.
19221922
// The result must be deallocated with dematerializeGCProg.
19231923
func materializeGCProg(ptrdata uintptr, prog *byte) *mspan {
1924-
s := mheap_.allocManual((ptrdata/(8*sys.PtrSize)+pageSize-1)/pageSize, &memstats.gc_sys)
1924+
// Each word of ptrdata needs one bit in the bitmap.
1925+
bitmapBytes := divRoundUp(ptrdata, 8*sys.PtrSize)
1926+
// Compute the number of pages needed for bitmapBytes.
1927+
pages := divRoundUp(bitmapBytes, pageSize)
1928+
s := mheap_.allocManual(pages, &memstats.gc_sys)
19251929
runGCProg(addb(prog, 4), nil, (*byte)(unsafe.Pointer(s.startAddr)), 1)
19261930
return s
19271931
}

src/runtime/stubs.go

+7
Original file line numberDiff line numberDiff line change
@@ -310,6 +310,13 @@ func alignDown(n, a uintptr) uintptr {
310310
return n &^ (a - 1)
311311
}
312312

313+
// divRoundUp returns ceil(n / a).
314+
func divRoundUp(n, a uintptr) uintptr {
315+
// a is generally a power of two. This will get inlined and
316+
// the compiler will optimize the division.
317+
return (n + a - 1) / a
318+
}
319+
313320
// checkASM reports whether assembly runtime checks have passed.
314321
func checkASM() bool
315322

0 commit comments

Comments
 (0)