diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-22 12:00:17 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-22 12:00:17 +0100 |
commit | 2e73ba1b49b70a2cfc6f70659d77ddf3e209448a (patch) | |
tree | e06cb44bd6702343665b6c070bf151c1acfce05d /crates/ra_hir_def/src/path/lower | |
parent | 8b98eaa573f42e346049bb90473b9f821e7fbaf3 (diff) | |
parent | 56c090d0d0ad68c0dd195684e4d8180ea149692f (diff) |
Merge #5479
5479: Allow gathering memory stats on non-jemalloc Linux r=matklad a=jonas-schievink
I could also parse `/proc/$PID/statm` to get the resident set size, but decided against that for now as it isn't terribly useful.
Note that `mallinfo()` is incredibly slow for some reason, and unfortunately this will be exposed to users via the "Memory Usage" command (even worse, the opened document will show the outdated values while the server is processing). So, not very ideal, but it keeps me from recompiling r-a with different feature sets all the time.
Co-authored-by: Jonas Schievink <jonas.schievink@ferrous-systems.com>
Diffstat (limited to 'crates/ra_hir_def/src/path/lower')
0 files changed, 0 insertions, 0 deletions