A timer task manager powered by boost