process time vs real time for stats

Hi,

I noticed that the gc stats (with verbose-gc) uses the real-time as
opposed to process time.  Is there a reason why real time would be
prefered as opposed to process time (user + system time)?

I'm currently looking at collecting more performance data for my jit
compiler and I implemented it initially with real time but then I added
code for process time since I'm using process time (as returned by the
time command) for the total running time.

Thanks,
David

---

David Bélanger
Web page:   http://www.cs.mcgill.ca/~dbelan2/
Public key: http://www.cs.mcgill.ca/~dbelan2/public_key.txt