diff options
| author | Ayush Ranjan <ayushranjan@google.com> | 2020-10-19 09:00:08 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-10-19 09:02:19 -0700 |
| commit | c206fcbfc2b951a49798a1b84e9cd3c6097ffdca (patch) | |
| tree | bf074df09147f84ef88ce7ec86ddd153fad83fd6 /tools/nogo/check/BUILD | |
| parent | 9a3d8973c4fcd1475b3748c10eb3e255d44e8a20 (diff) | |
pgalloc: Do not hold MemoryFile.mu while calling mincore.
This change makes the following changes:
- Unlocks MemoryFile.mu while calling mincore (checkCommitted) because mincore
can take a really long time. Accordingly looks up the segment in the tree
tree again and handles changes to the segment.
- MemoryFile.UpdateUsage() can now only be called at frequency at most 100Hz.
100 Hz = linux.CLOCKS_PER_SEC.
Co-authored-by: Jamie Liu <jamieliu@google.com>
PiperOrigin-RevId: 337865250
Diffstat (limited to 'tools/nogo/check/BUILD')
0 files changed, 0 insertions, 0 deletions