Timers in the thread scheduler

[KCreate]

• Mechanism to trigger some action at some specified point in time
  • Wake a suspended thread (useful for sleep, timeouts)
  • Create a new fiber from function
• Timers can be awaited (See Select statement to await multiple values #73):

  • const timeout_timer = Timer.after(1.second)
    const channel = get_some_channel()
    
    select {
      case channel => message {
        print("received: {message}")
      }
    
      case timeout_timer {
        print("timeout!")
      }
    }

• Timers can be used to implement sleep

  • func sleep(delay) {
      const t = Timer.after(delay)
      await t
    }

• Timers can be used to call a callback after some time

  • Timer.call_after(1.second) -> {
      print("hello world after 1 second")
    }