A tiny timer task manager used on embedded system