A time-accurate python task function scheduler using a fixed size worker pool