| // Copyright 2022 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. | |
| package runtime | |
| import "unsafe" | |
| // OS memory management abstraction layer | |
| // | |
| // Regions of the address space managed by the runtime may be in one of four | |
| // states at any given time: | |
| // 1) None - Unreserved and unmapped, the default state of any region. | |
| // 2) Reserved - Owned by the runtime, but accessing it would cause a fault. | |
| // Does not count against the process' memory footprint. | |
| // 3) Prepared - Reserved, intended not to be backed by physical memory (though | |
| // an OS may implement this lazily). Can transition efficiently to | |
| // Ready. Accessing memory in such a region is undefined (may | |
| // fault, may give back unexpected zeroes, etc.). | |
| // 4) Ready - may be accessed safely. | |
| // | |
| // This set of states is more than is strictly necessary to support all the | |
| // currently supported platforms. One could get by with just None, Reserved, and | |
| // Ready. However, the Prepared state gives us flexibility for performance | |
| // purposes. For example, on POSIX-y operating systems, Reserved is usually a | |
| // private anonymous mmap'd region with PROT_NONE set, and to transition | |
| // to Ready would require setting PROT_READ|PROT_WRITE. However the | |
| // underspecification of Prepared lets us use just MADV_FREE to transition from | |
| // Ready to Prepared. Thus with the Prepared state we can set the permission | |
| // bits just once early on, we can efficiently tell the OS that it's free to | |
| // take pages away from us when we don't strictly need them. | |
| // | |
| // This file defines a cross-OS interface for a common set of helpers | |
| // that transition memory regions between these states. The helpers call into | |
| // OS-specific implementations that handle errors, while the interface boundary | |
| // implements cross-OS functionality, like updating runtime accounting. | |
| // sysAlloc transitions an OS-chosen region of memory from None to Ready. | |
| // More specifically, it obtains a large chunk of zeroed memory from the | |
| // operating system, typically on the order of a hundred kilobytes | |
| // or a megabyte. This memory is always immediately available for use. | |
| // | |
| // sysStat must be non-nil. | |
| // | |
| // Don't split the stack as this function may be invoked without a valid G, | |
| // which prevents us from allocating more stack. | |
| // | |
| //go:nosplit | |
| func sysAlloc(n uintptr, sysStat *sysMemStat, vmaName string) unsafe.Pointer { | |
| sysStat.add(int64(n)) | |
| gcController.mappedReady.Add(int64(n)) | |
| p := sysAllocOS(n, vmaName) | |
| // When using ASAN leak detection, we must tell ASAN about | |
| // cases where we store pointers in mmapped memory. | |
| if asanenabled { | |
| lsanregisterrootregion(p, n) | |
| } | |
| return p | |
| } | |
| // sysUnused transitions a memory region from Ready to Prepared. It notifies the | |
| // operating system that the physical pages backing this memory region are no | |
| // longer needed and can be reused for other purposes. The contents of a | |
| // sysUnused memory region are considered forfeit and the region must not be | |
| // accessed again until sysUsed is called. | |
| func sysUnused(v unsafe.Pointer, n uintptr) { | |
| gcController.mappedReady.Add(-int64(n)) | |
| sysUnusedOS(v, n) | |
| } | |
| // sysUsed transitions a memory region from Prepared to Ready. It notifies the | |
| // operating system that the memory region is needed and ensures that the region | |
| // may be safely accessed. This is typically a no-op on systems that don't have | |
| // an explicit commit step and hard over-commit limits, but is critical on | |
| // Windows, for example. | |
| // | |
| // This operation is idempotent for memory already in the Prepared state, so | |
| // it is safe to refer, with v and n, to a range of memory that includes both | |
| // Prepared and Ready memory. However, the caller must provide the exact amount | |
| // of Prepared memory for accounting purposes. | |
| func sysUsed(v unsafe.Pointer, n, prepared uintptr) { | |
| gcController.mappedReady.Add(int64(prepared)) | |
| sysUsedOS(v, n) | |
| } | |
| // sysHugePage does not transition memory regions, but instead provides a | |
| // hint to the OS that it would be more efficient to back this memory region | |
| // with pages of a larger size transparently. | |
| func sysHugePage(v unsafe.Pointer, n uintptr) { | |
| sysHugePageOS(v, n) | |
| } | |
| // sysNoHugePage does not transition memory regions, but instead provides a | |
| // hint to the OS that it would be less efficient to back this memory region | |
| // with pages of a larger size transparently. | |
| func sysNoHugePage(v unsafe.Pointer, n uintptr) { | |
| sysNoHugePageOS(v, n) | |
| } | |
| // sysHugePageCollapse attempts to immediately back the provided memory region | |
| // with huge pages. It is best-effort and may fail silently. | |
| func sysHugePageCollapse(v unsafe.Pointer, n uintptr) { | |
| sysHugePageCollapseOS(v, n) | |
| } | |
| // sysFree transitions a memory region from any state to None. Therefore, it | |
| // returns memory unconditionally. It is used if an out-of-memory error has been | |
| // detected midway through an allocation or to carve out an aligned section of | |
| // the address space. It is okay if sysFree is a no-op only if sysReserve always | |
| // returns a memory region aligned to the heap allocator's alignment | |
| // restrictions. | |
| // | |
| // sysStat must be non-nil. | |
| // | |
| // Don't split the stack as this function may be invoked without a valid G, | |
| // which prevents us from allocating more stack. | |
| // | |
| //go:nosplit | |
| func sysFree(v unsafe.Pointer, n uintptr, sysStat *sysMemStat) { | |
| // When using ASAN leak detection, the memory being freed is | |
| // known by the sanitizer. We need to unregister it so it's | |
| // not accessed by it. | |
| if asanenabled { | |
| lsanunregisterrootregion(v, n) | |
| } | |
| sysStat.add(-int64(n)) | |
| gcController.mappedReady.Add(-int64(n)) | |
| sysFreeOS(v, n) | |
| } | |
| // sysFault transitions a memory region from Ready to Reserved. It | |
| // marks a region such that it will always fault if accessed. Used only for | |
| // debugging the runtime. | |
| // | |
| // TODO(mknyszek): Currently it's true that all uses of sysFault transition | |
| // memory from Ready to Reserved, but this may not be true in the future | |
| // since on every platform the operation is much more general than that. | |
| // If a transition from Prepared is ever introduced, create a new function | |
| // that elides the Ready state accounting. | |
| func sysFault(v unsafe.Pointer, n uintptr) { | |
| gcController.mappedReady.Add(-int64(n)) | |
| sysFaultOS(v, n) | |
| } | |
| // sysReserve transitions a memory region from None to Reserved. It reserves | |
| // address space in such a way that it would cause a fatal fault upon access | |
| // (either via permissions or not committing the memory). Such a reservation is | |
| // thus never backed by physical memory. | |
| // | |
| // If the pointer passed to it is non-nil, the caller wants the | |
| // reservation there, but sysReserve can still choose another | |
| // location if that one is unavailable. | |
| // | |
| // NOTE: sysReserve returns OS-aligned memory, but the heap allocator | |
| // may use larger alignment, so the caller must be careful to realign the | |
| // memory obtained by sysReserve. | |
| func sysReserve(v unsafe.Pointer, n uintptr, vmaName string) unsafe.Pointer { | |
| p := sysReserveOS(v, n, vmaName) | |
| // When using ASAN leak detection, we must tell ASAN about | |
| // cases where we store pointers in mmapped memory. | |
| if asanenabled { | |
| lsanregisterrootregion(p, n) | |
| } | |
| return p | |
| } | |
| // sysMap transitions a memory region from Reserved to Prepared. It ensures the | |
| // memory region can be efficiently transitioned to Ready. | |
| // | |
| // sysStat must be non-nil. | |
| func sysMap(v unsafe.Pointer, n uintptr, sysStat *sysMemStat, vmaName string) { | |
| sysStat.add(int64(n)) | |
| sysMapOS(v, n, vmaName) | |
| } |