| Title | On Windows, pause times are measured using clock(), which is wall-clock time | 
| Status | open | 
| Priority | optional | 
| Assigned user | Gareth Rees | 
| Organization | Ravenbrook | 
| Description | On Windows, the clock() library function is non-standard, and returns the wall-clock time since the start of the process. I also hear rumours that it does not update smoothly, and so may not be a suitably fine-grained clock. | 
| Analysis | 1. Investigate higher resolution virtual time clocks that are cheap to obtain. 2. Implement clockan.c and clockw3.c containing the relevant clock calls, and add this to the porting guide. | 
| How found | inspection | 
| Evidence | MSDN < https://msdn.microsoft.com/en-us/library/4e2ess30.aspx>DL's claims about clock resolution. | 
| Created by | Richard Brooksby | 
| Created on | 2016-03-18 15:31:50 | 
| Last modified by | Gareth Rees | 
| Last modified on | 2016-09-13 10:36:04 | 
| History | 2016-03-18 RB Created. |