mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

remove an out of date comment

Browse source 
The mentioned todo was closed.
This commit is contained in:
Joey Hess 2023-10-25 13:08:01 -04:00
parent c9866d2164
commit 3a3a5a2fd3
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
1 changed files with 0 additions and 18 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
doc/profiling/comment_9_7e1a06690b52d241b2d57be0864d6f26._comment
View file

@ -1,18 +0,0 @@
[[!comment format=mdwn
username="joey"
subject="""comment 9"""
date="2020-10-19T18:35:02Z"
content="""
Also, /usr/bin/time git-annex find:
1.70user 0.27system 0:01.55elapsed 126%CPU (0avgtext+0avgdata 97352maxresident)k
0inputs+0outputs (0major+9303minor)pagefaults 0swaps
The maxresident seems high, but a stack profile does not show a memory
leak, or such a large amount of memory use at all. Currently, I
think that memory is being preallocated by the ghc runtime,
or something like that. (See [[todo/memory_use_increase]].)
ghc 8.8.4
Should keep an eye on this with newer ghc versions.
"""]]