ares icon indicating copy to clipboard operation
ares copied to clipboard

Published 20 hours ago • verified publisher icon urbit

Event timeout

Open ashelkovnykov opened this issue 1 year ago • 4 comments

Ares needs a way to kills events to due to timeout.

ashelkovnykov avatar Dec 01 '23 15:12 ashelkovnykov

@joemfb does Vere currently implement this at all? If so is the timer kept by king or serf?

eamsden avatar Dec 01 '23 15:12 eamsden

No, Vere does not implement event timeouts at present.

belisarius222 avatar Dec 01 '23 15:12 belisarius222

OK this is going in the post-release bin then

eamsden avatar Dec 01 '23 16:12 eamsden

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.

joemfb avatar Dec 02 '23 00:12 joemfb