HomeIsabelle/Phabricator

Introduce a new RTS call for OS.IO.poll, and incidentally OS.Process.sleep…

Description

Introduce a new RTS call for OS.IO.poll, and incidentally OS.Process.sleep, that waits for only a short
period. Retrying for longer periods is done in ML code. Retrying in the RTS itself has been a source of problems
in the past.

Details

Provenance
dcjmAuthored on Jan 22 2019, 5:09 PM
Parents
rPOLYML1df55e3556e5: Add Unix basicio.cpp to Visual Studio project but excluded from all builds.
Branches
Unknown
Tags
Unknown