Closed
Description
In a fresh WASI build, time.process_time
, which should be in seconds, counts 10⁶ times faster than time.time
:
>>> import time >>> time.time(); time.process_time() 1708435312.596558 4775079350.12 >>> time.time(); time.process_time() 1708435313.0949461 4780063256.54 >>> time.get_clock_info('process_time') namespace(implementation='clock_gettime(CLOCK_PROCESS_CPUTIME_ID)', monotonic=True, adjustable=False, resolution=1e-09)
It looks like WASI might remove CLOCK_PROCESS_CPUTIME_ID
. Should we wait for that? Remove it from Python sooner? Work around the issue?
(Codespaces has an “unexpected error” for me right now, so I built the container from .devcontainer/Dockerfile
directly. Hope that doesn't affect the result.)
Linked PRs
Metadata
Metadata
Assignees
Projects
Status
Done