Index: src/platform.h |
diff --git a/src/platform.h b/src/platform.h |
index 4f8fdc34923db4809325548d2e519bcabe35fed0..cf0d90fcf328cdd862e3fa30e79700562362ec06 100644 |
--- a/src/platform.h |
+++ b/src/platform.h |
@@ -429,6 +429,11 @@ class VirtualMemory { |
// and the same size it was reserved with. |
static bool ReleaseRegion(void* base, size_t size); |
+ // Returns true if OS performs lazy commits, i.e. the memory allocation call |
+ // defers actual physical memory allocation till the first memory access. |
+ // Otherwise returns false. |
+ static bool HasLazyCommits(); |
+ |
private: |
void* address_; // Start address of the virtual memory. |
size_t size_; // Size of the virtual memory. |