From: Neil Van Dyke (neil at neilvandyke.org) Date: Thu Oct 14 08:20:18 EDT 2010 |
|
Matthew Flatt wrote at 10/14/2010 08:08 AM: > I suppose that you could use `(current-memory-use)' and try to detect when memory use stops going down. Just running `(collect-garbage)' a couple of times should be good enough, though. You might still be misled in some way by using only three `(collect-garbage)' calls, but other things like OS scheduling and paging are equally likely to mislead at that level. Thanks, Matthew, that'll work fine. -- http://www.neilvandyke.org/
Posted on the users mailing list. |
|