You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Vere's serf correctly handles event timeouts (an ITIMER_VIRTUAL is set, generation SIGVTALRM if exceeded, canceling the computation non-deterministically -- bail: alrm). Vere's king never sets them on any of the events it sends to the serf (it always sends 0 -- unbounded execution). It's a mere question of policy, but we'll need a lot of work on the arvo side before we can change that.
Ares needs a way to kills events to due to timeout.
The text was updated successfully, but these errors were encountered: