[mercury-users] SEC: UNCLASSIFIED:-

[Ralph Becket]

Fergus Henderson, Wednesday, 30 October 2002:
> 
> In particular, it turns out that values of type `clock_t' can have two
> different meanings [...]

Good grief.

> This is true for time__clock, but naming this argument "ElapsedClockTicks"
> would be misleading, since it measures *processor* time, not *elapsed* time
> (i.e. it excludes time spent in other processes).
> Ian Sykes was asking about the ElapsedRealTime returned by the time__times
> procedure, and that one has no relation with time__clocks_per_sec.

Ah, I stand corrected.

- Ralph
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------