A low-overhead constant-time Lowest-Timestamp-First CPU scheduler for high-performance optimistic simulation platforms