on 6d45ede help sign in
22 lines 807 B history raw
1---
2navhome: /docs
3sort: 2
4---
6`%behn`
7=======
9Our simple timer.
11It allows vanes and applications to set and timer events, which are
12managed in a simple priority queue. `%behn` produces effects to start
13the unix timer, and when the requested `%behn` passes, unix sends wake
14events to `%behn`, which time routes back to original sender. We don't
15guarantee that a timer event will happen at exactly the `%behn` it was
16set for, or even that it'll be particularly close. A timer event is a
17request to not be woken until after the given time.
19`%eyre` uses `%behn` for timing out sessions, and `%clay` uses `%behn`
20for keeping track of time-specified file requests. `%ames` should
21probably use `%behn` to keep track of things like network timeouts and
22retry timing, but it currently uses its own alarm system.