Timeout vs. Message to self

• Timeout

  • conditional event

    receive (Interrupt i) {} or timeout in (GoodNoInterruptions) {}
    

  • catch and cancel

    while (true) { receive (Message m) {/*drop message*/
    
    or timeout in (10) break; }

• Message to self

  • periodic events

    nextPeriod = (2 Hours);
    
    send PeriodicEvent{} to self after (nextPeriod - simclock());

  • multiple timeouts

Previous slide

Next slide

Back to first slide

View graphic version