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

runtime: fix check for vacuous page boundary rounding

sysUnused (e.g., madvise MADV_FREE) is only sensible to call on
physical page boundaries, so scavengelist rounds in the bounds of the
region being released to the nearest physical page boundaries.
However, if the region is smaller than a physical page and neither the
start nor end fall on a boundary, then rounding the start up to a page
boundary and the end down to a page boundary will result in end < start.
Currently, we only give up on the region if start == end, so if we
encounter end < start, we'll call madvise with a negative length and
the madvise will fail.

Issue #16644 gives a concrete example of this:

    start = 0x1285ac000
    end   = 0x1285ae000 (1 8K page)

This leads to the rounded values

    start = 0x1285b0000
    end   = 0x1285a0000

which leads to len = -65536.

Fix this by giving up on the region if end <= start, not just if
end == start.

Fixes #16644.

Change-Id: I8300db492dbadc82ac1ad878318b36bcb7c39524
Reviewed-on: https://go-review.googlesource.com/27230
Reviewed-by: Keith Randall <khr@golang.org>
This commit is contained in:
Austin Clements 2016-08-16 22:05:57 -04:00
parent 5dc7525b3e
commit 336dad2a07

View File

@ -917,7 +917,7 @@ func scavengelist(list *mSpanList, now, limit uint64) uintptr {
// more memory than we want.) // more memory than we want.)
start = (start + sys.PhysPageSize - 1) &^ (sys.PhysPageSize - 1) start = (start + sys.PhysPageSize - 1) &^ (sys.PhysPageSize - 1)
end &^= sys.PhysPageSize - 1 end &^= sys.PhysPageSize - 1
if start == end { if start <= end {
continue continue
} }
} }