Deterministic parallel random-number generation for dynamic-multithreading platforms