[runtime.c] Race condition in TimerService and PTimer Handler
Due the concurrency of ATimerService and PTimer port handler at the actor, it can happen that a wrong timeout event is received. The port handler cannot distinguish the timeout events. It always accepts the most recent one, but that could have been fired from an already obsolete startTimer/startTimeout request.
To solve this race condition, there must be a synchronization between ATimerService and PTimer port handler.