> Some background thread regularly updates three double-words there, which contain the high part of the value, the low part, and the high part again.
So to implement a clock, they are using a different thread that updates a counter every millisecond or so? Isn't this a bit inefficient?