search

lf-lang / reactor-c

A reactor runtime written in C
Other
11 stars 24 forks source link

What is the correct behavior if a microstep index wraps #430

Open erlingrj opened 4 months ago

erlingrj commented 4 months ago

This issue was identified by @lhstrh in #425 image

erlingrj commented 4 months ago

There are two relevant implementations:

  1. lf_tag_add
  2. lf_tag_delay

This discussion was on (1) where a microstep overflow leads to returning FOREVER_TAG. In (2) we don't handle overflows. Meaning that lf_tag_delay could actually produce an earlier tag.