search

ssm-lang / Scoria

This is an embedding of the Sparse Synchronous Model, in Haskell!
BSD 3-Clause "New" or "Revised" License
4 stars 0 forks source link

Generate tick alongside the program #7

Closed Rewbert closed 3 years ago

Rewbert commented 3 years ago

So in order to detect cases where the continuation queue gets full I need to perform checks. The eventqueue gets populated either by forking processes explicitly or by the RTS performing updates via scheduled events. To be able to detect that there's no more room for continuation while performing events, I had to modify the tick function in peng-scheduler.c. Perhaps this whole function should also be generated alongside the rest of the program?

Rewbert commented 3 years ago

I already created two tiny functions in peng-scheduler.c, and I suppose they can be generated already alongside the program.

j-hui commented 3 years ago

@Rewbert , if I remember correctly, this issue is resolved by the microtick in your DEBUG_PRINT function, right?

Rewbert commented 3 years ago

Not necessarily! But since some more debug stuff was offloaded to the RTS anyway, it doesn't make as much sense to worry about this anymore. This was at the point when I had just had to modify the RTS to acommodate some debug things (which we do more of now).

I think this can be closed :)