Thu Jan 26 06:59:00 EST 2012
State machines / parallellism and resource allocation
And then.. I'm thinking that in this whole parallellism debate,
shouldn't we go back to "writing" electronics instead of programs?
So I wonder, is that really just a problem of resource allocation?
SM's are finite, but most programming models are infinite (infinite
memory for storage and execution stacks/continuations). Of course
this model breaks down because this infinite general model has to be
"small enough" to be implemented on a finite machine.