sched-clock (cargo): A timer for task scheduling
Keywords: timer|clock|deadline|scheduling|scheduler