-
-
Notifications
You must be signed in to change notification settings - Fork 32.2k
On WASI, time.process_time is not in seconds #115714
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Comments
@brettcannon, your thoughts on this? |
We should just remove it. |
It shouldn't. All Codespaces does on top of that container is inject a git checkout and configures VS Code automatically. |
It turns out the return value of I'll prepare a PR that avoids calling them in |
Thanks! |
…SI (pythonGH-115757) * pythongh-115714: Don't use CLOCK_PROCESS_CPUTIME_ID and times() on WASI * Add blurb
…SI (pythonGH-115757) * pythongh-115714: Don't use CLOCK_PROCESS_CPUTIME_ID and times() on WASI * Add blurb
…SI (pythonGH-115757) * pythongh-115714: Don't use CLOCK_PROCESS_CPUTIME_ID and times() on WASI * Add blurb
Uh oh!
There was an error while loading. Please reload this page.
In a fresh WASI build,
time.process_time
, which should be in seconds, counts 10⁶ times faster thantime.time
: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
The text was updated successfully, but these errors were encountered: