Message-based non-reentrant timers