A thread schedueler in user space