Make tick interval configurable
The hardwired tick interval of 0.02 seconds is too long. We should make this shorter, and preferably configurable at runtime by an RTS option.
Trac metadata
Trac field | Value |
---|---|
Version | 6.4.1 |
Type | Task |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Runtime System |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | Unknown |
Architecture | Unknown |