Fri Mar 28 18:45:02 EDT 2014
Real time and stacks
So.. if you have a real-time system, isn't it so that it has to be a
FSM? Anything with stacks and tasks has the possibility to go
unbounded, and if all tasks are bounded they are actually FSMs.
What is this? Why does everyone keep talking about multitasking while
what we really need is a way to better write FSMs without pretending
they are (finitely used, infinite) stack machines?
Using tasks when FSMs will work is wasting resources (and introducing
a whole class of problems that FSMs don't have.)
Why am I getting infatuated with FSMs? Because they somehow seem to
drag in message passing / event systems instead of relying the
combination of shared resources + non-deterministic scheduling.