You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 3850 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Shivkumar Chandrasekaran
Version: 3.08
OS: Mac OS X
Submission from: gimli.ece.ucsb.edu (128.111.56.252)
In our tests on Mac OS X (10.4.3) Unix.times gives processor usage times that
seem to be consistently higher than the actual processor times by as much as 50%
sometimes. Looking through the source I see that Unix.times calls the underlying
C function sys/times which is a deprecated function on Mac OS X. I suggest that
this be replaced with a call to getrusage instead. Thanks.
--shiv--
The text was updated successfully, but these errors were encountered:
Full_Name: Shivkumar Chandrasekaran
Version: 3.08
OS: Mac OS X
In our tests on Mac OS X (10.4.3) Unix.times gives processor usage times that
seem to be consistently higher than the actual processor times by as much as
50%
sometimes. Looking through the source I see that Unix.times calls the
underlying
C function sys/times which is a deprecated function on Mac OS X. I suggest
that
this be replaced with a call to getrusage instead. Thanks.
Thanks for the suggestion. This will be changed in 3.09.1.
Original bug ID: 3850
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Shivkumar Chandrasekaran
Version: 3.08
OS: Mac OS X
Submission from: gimli.ece.ucsb.edu (128.111.56.252)
In our tests on Mac OS X (10.4.3) Unix.times gives processor usage times that
seem to be consistently higher than the actual processor times by as much as 50%
sometimes. Looking through the source I see that Unix.times calls the underlying
C function sys/times which is a deprecated function on Mac OS X. I suggest that
this be replaced with a call to getrusage instead. Thanks.
--shiv--
The text was updated successfully, but these errors were encountered: