scheduler: implementing scheduler for tickless processes